Seeding trinity by 27018774 based on vm-snb/debian-11.1-i386-20220923.cgz/i386-randconfig-013-20260610
2026-06-10 08:32:44 chroot --userspec nobody:nogroup / trinity -q -q -l off -s 27018774 -N 999999999 -c alarm -c brk -c clock_adjtime -c close -c delete_module -c dup3 -c epoll_create -c eventfd2 -c fchownat -c fgetxattr -c fremovexattr -c fstat64 -c fstatfs -c ftruncate -c getcpu -c getcwd -c getdents64 -c getgid -c getgroups -c getgroups16 -c getpgid -c getpriority -c getresuid16 -c getrlimit -c gettid -c gettimeofday -c init_module -c inotify_init -c io_getevents -c keyctl -c lchown16 -c lookup_dcookie -c lremovexattr -c lseek -c modify_ldt -c mq_notify -c mq_unlink -c msgctl -c msync -c nfsservctl -c old_readdir -c open_tree -c pipe -c pivot_root -c process_vm_writev -c pwritev -c pwritev2 -c reboot -c renameat2 -c restart_syscall -c rt_sigqueueinfo -c rt_tgsigqueueinfo -c sched_get_priority_min -c sched_getaffinity -c sched_getscheduler -c sched_setaffinity -c sched_setscheduler -c seccomp -c sendfile -c sendmsg -c setfsgid16 -c setgroups16 -c setpriority -c setsockopt -c setuid -c sgetmask -c signalfd4 -c sigprocmask -c sigsuspend -c ssetmask -c symlinkat -c sysinfo -c tee -c timer_settime -c timerfd_settime -c unlink -c userfaultfd -c vhangup -c wait4
Trinity 2023.01  Dave Jones <davej@codemonkey.org.uk>
shm:0x77fbf000-0x8476be14 (4 pages)
[main] alarm is marked as AVOID. Skipping
[main] Marking syscall alarm (27) as to be enabled.
[main] brk is marked as AVOID. Skipping
[main] Marking syscall brk (45) as to be enabled.
[main] Marking syscall clock_adjtime (343) as to be enabled.
[main] close is marked as AVOID. Skipping
[main] Marking syscall close (6) as to be enabled.
[main] Marking syscall delete_module (129) as to be enabled.
[main] Marking syscall dup3 (330) as to be enabled.
[main] Marking syscall epoll_create (254) as to be enabled.
[main] Marking syscall eventfd2 (328) as to be enabled.
[main] Marking syscall fchownat (298) as to be enabled.
[main] Marking syscall fgetxattr (231) as to be enabled.
[main] Marking syscall fremovexattr (237) as to be enabled.
[main] Marking syscall fstat64 (197) as to be enabled.
[main] Marking syscall fstatfs (28) as to be enabled.
[main] Marking syscall ftruncate (93) as to be enabled.
[main] Marking syscall getcpu (318) as to be enabled.
[main] Marking syscall getcwd (183) as to be enabled.
[main] Marking syscall getdents64 (220) as to be enabled.
[main] Marking syscall getgid (200) as to be enabled.
[main] Marking syscall getgroups (205) as to be enabled.
[main] Marking syscall getgroups16 (80) as to be enabled.
[main] Marking syscall getpgid (132) as to be enabled.
[main] Marking syscall getpriority (96) as to be enabled.
[main] Marking syscall getresuid16 (165) as to be enabled.
[main] Marking syscall getrlimit (76) as to be enabled.
[main] Marking syscall gettid (224) as to be enabled.
[main] Marking syscall gettimeofday (78) as to be enabled.
[main] Marking syscall init_module (128) as to be enabled.
[main] Marking syscall inotify_init (291) as to be enabled.
[main] Marking syscall io_getevents (247) as to be enabled.
[main] Marking syscall keyctl (288) as to be enabled.
[main] Marking syscall lchown16 (16) as to be enabled.
[main] Marking syscall lookup_dcookie (253) as to be enabled.
[main] Marking syscall lremovexattr (236) as to be enabled.
[main] Marking syscall lseek (19) as to be enabled.
[main] Marking syscall modify_ldt (123) as to be enabled.
[main] Marking syscall mq_notify (281) as to be enabled.
[main] Marking syscall mq_unlink (278) as to be enabled.
[main] Marking syscall msgctl (396) as to be enabled.
[main] Marking syscall msync (144) as to be enabled.
[main] Marking syscall nfsservctl (169) as to be enabled.
[main] Marking syscall old_readdir (89) as to be enabled.
[main] Marking syscall open_tree (421) as to be enabled.
[main] Marking syscall pipe (42) as to be enabled.
[main] Marking syscall pivot_root (217) as to be enabled.
[main] Marking syscall process_vm_writev (348) as to be enabled.
[main] Marking syscall pwritev (334) as to be enabled.
[main] Marking syscall pwritev2 (379) as to be enabled.
[main] Marking syscall reboot (88) as to be enabled.
[main] Marking syscall renameat2 (353) as to be enabled.
[main] restart_syscall is marked as AVOID. Skipping
[main] Marking syscall restart_syscall (0) as to be enabled.
[main] rt_sigqueueinfo is marked as AVOID. Skipping
[main] Marking syscall rt_sigqueueinfo (178) as to be enabled.
[main] Marking syscall rt_tgsigqueueinfo (335) as to be enabled.
[main] Marking syscall sched_get_priority_min (160) as to be enabled.
[main] Marking syscall sched_getaffinity (242) as to be enabled.
[main] Marking syscall sched_getscheduler (157) as to be enabled.
[main] Marking syscall sched_setaffinity (241) as to be enabled.
[main] Marking syscall sched_setscheduler (156) as to be enabled.
[main] Marking syscall seccomp (354) as to be enabled.
[main] Marking syscall sendfile (187) as to be enabled.
[main] Marking syscall sendmsg (370) as to be enabled.
[main] Marking syscall setfsgid16 (139) as to be enabled.
[main] Marking syscall setgroups16 (81) as to be enabled.
[main] Marking syscall setpriority (97) as to be enabled.
[main] Marking syscall setsockopt (366) as to be enabled.
[main] Marking syscall setuid (213) as to be enabled.
[main] Marking syscall sgetmask (68) as to be enabled.
[main] Marking syscall signalfd4 (327) as to be enabled.
[main] Marking syscall sigprocmask (126) as to be enabled.
[main] sigsuspend is marked as AVOID. Skipping
[main] Marking syscall sigsuspend (72) as to be enabled.
[main] Marking syscall ssetmask (69) as to be enabled.
[main] Marking syscall symlinkat (304) as to be enabled.
[main] Marking syscall sysinfo (116) as to be enabled.
[main] Marking syscall tee (315) as to be enabled.
[main] Marking syscall timer_settime (260) as to be enabled.
[main] Marking syscall timerfd_settime (325) as to be enabled.
[main] Marking syscall unlink (10) as to be enabled.
[main] Marking syscall userfaultfd (374) as to be enabled.
[main] vhangup is marked as AVOID. Skipping
[main] Marking syscall vhangup (111) as to be enabled.
[main] Marking syscall wait4 (114) as to be enabled.
[main] Couldn't chmod tmp/ to 0777.
[main] Using user passed random seed: 27018774.
[main] Kernel was tainted on startup. Will ignore flags that are already set.
[main] Enabled 79 syscalls. Disabled 350 syscalls.
[main] Using pid_max = 32768
[main] futex: 0 owner:0 global:1
[main] futex: 0 owner:0 global:1
[main] futex: 0 owner:0 global:1
[main] futex: 0 owner:0 global:1
[main] futex: 0 owner:0 global:1
[main] futex: 0 owner:0 global:1
[main] futex: 0 owner:0 global:1
[main] futex: 0 owner:0 global:1
[main] futex: 0 owner:0 global:1
[main] futex: 0 owner:0 global:1
[main] Reserved/initialized 10 futexes.
[main] sysv_shm: id:0 size:4096 flags:7b0 ptr:(nil) global:1
[main] sysv_shm: id:1 size:28672 flags:17b0 ptr:(nil) global:1
[main] Added 18 filenames from /dev
[main] Added 22317 filenames from /proc
[main] Added 10371 filenames from /sys
[main] Couldn't open socket (6:5:0). Address family not supported by protocol
Can't do protocol ASH
[main] Couldn't open socket (3:5:0). Address family not supported by protocol
[main] Couldn't open socket (27:5:6). Address family not supported by protocol
[main] Couldn't open socket (20:2:0). Address family not supported by protocol
[main] Couldn't open socket (23:2:2). Address family not supported by protocol
[main] Couldn't open socket (44:3:0). Address family not supported by protocol
[main] Couldn't open socket (36:3:4). Address family not supported by protocol
Can't do protocol BRIDGE
[main] Couldn't open socket (21:5:0). Address family not supported by protocol
[main] Couldn't open socket (32:5:1). Address family not supported by protocol
[main] Couldn't open socket (31:1:0). Address family not supported by protocol
Can't do protocol NETBEUI
[main] Couldn't open socket (29:3:1). Address family not supported by protocol
Can't do protocol BRIDGE
Can't do protocol SNA
[main] Couldn't open socket (12:3:3). Address family not supported by protocol
[main] Couldn't open socket (33:2:2). Address family not supported by protocol
[main] Couldn't open socket (11:2:1). Address family not supported by protocol
Can't do protocol PACKET
[main] Couldn't open socket (40:2:4). Address family not supported by protocol
[main] Couldn't open socket (32:2:5). Address family not supported by protocol
[main] Couldn't open socket (9:5:0). Address family not supported by protocol
[main] Couldn't open socket (3:5:0). Address family not supported by protocol
[main] Couldn't open socket (41:2:0). Address family not supported by protocol
[main] Couldn't open socket (9:5:0). Address family not supported by protocol
[main] Couldn't open socket (39:5:0). Address family not supported by protocol
Can't do protocol BRIDGE
[main] Couldn't open socket (28:5:6). Address family not supported by protocol
[main] Couldn't open socket (16:2:7). Protocol not supported
[main] Couldn't open socket (8:2:0). Address family not supported by protocol
[main] Couldn't open socket (10:6:33). Socket type not supported
[main] Couldn't open socket (42:2:0). Address family not supported by protocol
Can't do protocol NETBEUI
[main] Couldn't open socket (4:2:0). Address family not supported by protocol
[main] Couldn't open socket (41:2:0). Address family not supported by protocol
[main] Couldn't open socket (32:2:10). Address family not supported by protocol
Can't do protocol SECURITY
[main] Couldn't open socket (16:3:11). Protocol not supported
[main] Couldn't open socket (41:10:0). Address family not supported by protocol
[main] Couldn't open socket (20:2:0). Address family not supported by protocol
[main] Couldn't open socket (42:2:0). Address family not supported by protocol
[main] Couldn't open socket (43:1:1). Address family not supported by protocol
[main] Couldn't open socket (29:3:1). Address family not supported by protocol
[main] Couldn't open socket (2:5:132). Socket type not supported
Can't do protocol NETBEUI
Can't do protocol BRIDGE
[main] Couldn't open socket (39:3:1). Address family not supported by protocol
Can't do protocol BRIDGE
[main] Couldn't open socket (4:2:0). Address family not supported by protocol
Can't do protocol ECONET
[main] Couldn't open socket (11:2:5). Address family not supported by protocol
Can't do protocol KEY
[main] Couldn't open socket (36:2:4). Address family not supported by protocol
Can't do protocol UNSPEC
[main] Couldn't open socket (42:2:0). Address family not supported by protocol
Can't do protocol SNA
[main] Couldn't open socket (31:1:0). Address family not supported by protocol
Can't do protocol SNA
Can't do protocol PACKET
Can't do protocol KEY
[main] Couldn't open socket (24:3:0). Address family not supported by protocol
[main] Couldn't open socket (38:5:0). Address family not supported by protocol
[main] Couldn't open socket (10:5:132). Socket type not supported
Can't do protocol SECURITY
[main] Couldn't open socket (12:5:2). Address family not supported by protocol
[main] Couldn't open socket (9:5:0). Address family not supported by protocol
Can't do protocol SNA
[main] Couldn't open socket (10:6:33). Socket type not supported
[main] Couldn't open socket (21:5:0). Address family not supported by protocol
[main] Couldn't open socket (24:1:1). Address family not supported by protocol
[main] Couldn't open socket (16:3:14). Protocol not supported
[main] Couldn't open socket (23:3:2). Address family not supported by protocol
[main] Couldn't open socket (29:3:1). Address family not supported by protocol
[main] Couldn't open socket (4:2:0). Address family not supported by protocol
[main] Couldn't open socket (20:2:0). Address family not supported by protocol
[main] Couldn't open socket (30:1:0). Address family not supported by protocol
[main] Couldn't open socket (41:10:0). Address family not supported by protocol
[main] Couldn't open socket (28:10:3). Address family not supported by protocol
[main] Couldn't open socket (2:1:132). Protocol not supported
[main] Couldn't open socket (31:3:3). Address family not supported by protocol
[main] Couldn't open socket (4:2:0). Address family not supported by protocol
Can't do protocol ECONET
[main] Couldn't open socket (37:5:5). Address family not supported by protocol
[main] Couldn't open socket (28:5:4). Address family not supported by protocol
[main] Couldn't open socket (32:5:2). Address family not supported by protocol
Can't do protocol BRIDGE
[main] Couldn't open socket (10:5:0). Socket type not supported
[main] Couldn't open socket (6:5:0). Address family not supported by protocol
[main] Couldn't open socket (9:5:0). Address family not supported by protocol
[main] Couldn't open socket (28:5:1). Address family not supported by protocol
[main] Couldn't open socket (23:5:4). Address family not supported by protocol
[main] Couldn't open socket (12:5:2). Address family not supported by protocol
[main] Couldn't open socket (2:1:132). Protocol not supported
[main] Couldn't open socket (43:1:0). Address family not supported by protocol
[main] Couldn't open socket (23:1:6). Address family not supported by protocol
Can't do protocol PACKET
[main] Couldn't open socket (3:3:0). Address family not supported by protocol
[main] Couldn't open socket (10:5:132). Socket type not supported
[main] Couldn't open socket (33:2:2). Address family not supported by protocol
[main] Couldn't open socket (5:2:0). Address family not supported by protocol
[main] Couldn't open socket (21:5:0). Address family not supported by protocol
[main] Couldn't open socket (27:5:2). Address family not supported by protocol
[main] Couldn't open socket (27:5:10). Address family not supported by protocol
Can't do protocol UNSPEC
[main] Couldn't open socket (31:3:1). Address family not supported by protocol
[main] Couldn't open socket (21:5:0). Address family not supported by protocol
[main] Couldn't open socket (37:1:5). Address family not supported by protocol
[main] Couldn't open socket (2:2:136). Protocol not supported
[main] Couldn't open socket (12:2:1). Address family not supported by protocol
[main] Couldn't open socket (8:2:0). Address family not supported by protocol
Can't do protocol NETBEUI
[main] Couldn't open socket (42:2:0). Address family not supported by protocol
Can't do protocol PACKET
Can't do protocol ECONET
[main] Couldn't open socket (16:3:6). Protocol not supported
[main] Couldn't open socket (5:3:0). Address family not supported by protocol
[main] Couldn't open socket (6:5:0). Address family not supported by protocol
[main] Couldn't open socket (11:5:5). Address family not supported by protocol
[main] Couldn't open socket (40:5:6). Address family not supported by protocol
[main] Couldn't open socket (3:3:0). Address family not supported by protocol
[main] Couldn't open socket (9:5:0). Address family not supported by protocol
[main] Couldn't open socket (30:1:0). Address family not supported by protocol
Can't do protocol SECURITY
Can't do protocol KEY
Can't do protocol WANPIPE
[main] Couldn't open socket (40:1:5). Address family not supported by protocol
Can't do protocol KEY
[main] Couldn't open socket (27:1:2). Address family not supported by protocol
[main] Couldn't open socket (33:2:2). Address family not supported by protocol
[main] Couldn't open socket (39:3:0). Address family not supported by protocol
[main] Couldn't open socket (12:3:4). Address family not supported by protocol
Can't do protocol SECURITY
[main] Couldn't open socket (24:3:2). Address family not supported by protocol
[main] Couldn't open socket (44:3:0). Address family not supported by protocol
[main] Couldn't open socket (38:5:0). Address family not supported by protocol
[main] Couldn't open socket (34:5:4). Address family not supported by protocol
[main] Couldn't open socket (11:5:3). Address family not supported by protocol
[main] Couldn't open socket (16:3:6). Protocol not supported
[main] Couldn't open socket (5:3:0). Address family not supported by protocol
[main] Couldn't open socket (38:5:0). Address family not supported by protocol
[main] Couldn't open socket (39:5:0). Address family not supported by protocol
Can't do protocol BRIDGE
[main] Couldn't open socket (11:5:1). Address family not supported by protocol
[main] Couldn't open socket (35:2:1). Address family not supported by protocol
[main] Couldn't open socket (34:2:3). Address family not supported by protocol
[main] Couldn't open socket (28:2:1). Address family not supported by protocol
[main] Couldn't open socket (24:5:2). Address family not supported by protocol
[main] Couldn't open socket (35:2:0). Address family not supported by protocol
Can't do protocol NETBEUI
Can't do protocol LLC
[main] Couldn't open socket (42:2:0). Address family not supported by protocol
Can't do protocol KEY
Can't do protocol ECONET
[main] Couldn't open socket (39:3:1). Address family not supported by protocol
[main] Couldn't open socket (38:5:0). Address family not supported by protocol
[main] Couldn't open socket (11:5:4). Address family not supported by protocol
[main] Couldn't open socket (2:5:0). Socket type not supported
[main] Couldn't open socket (43:1:0). Address family not supported by protocol
[main] Couldn't open socket (33:2:2). Address family not supported by protocol
Can't do protocol ECONET
[main] Couldn't open socket (8:2:0). Address family not supported by protocol
[main] Couldn't open socket (31:3:6). Address family not supported by protocol
Can't do protocol NETBEUI
[main] Couldn't open socket (29:3:1). Address family not supported by protocol
[main] Couldn't open socket (6:5:0). Address family not supported by protocol
[main] Couldn't open socket (16:2:20). Protocol not supported
Can't do protocol SNA
[main] Couldn't open socket (28:2:3). Address family not supported by protocol
Can't do protocol NETBEUI
[main] Couldn't open socket (44:3:0). Address family not supported by protocol
[main] Couldn't open socket (40:3:1). Address family not supported by protocol
[main] Couldn't open socket (33:2:2). Address family not supported by protocol
Can't do protocol UNSPEC
Can't do protocol LLC
Can't do protocol BRIDGE
[main] Couldn't open socket (5:2:0). Address family not supported by protocol
[main] Couldn't open socket (2:5:132). Socket type not supported
[main] Couldn't open socket (34:5:6). Address family not supported by protocol
[main] Couldn't open socket (20:2:0). Address family not supported by protocol
Can't do protocol UNSPEC
[main] Couldn't open socket (32:2:2). Address family not supported by protocol
[main] Couldn't open socket (43:1:0). Address family not supported by protocol
[main] Couldn't open socket (5:2:0). Address family not supported by protocol
Can't do protocol UNSPEC
[main] Couldn't open socket (23:2:2). Address family not supported by protocol
[main] Couldn't open socket (4:2:0). Address family not supported by protocol
[main] Couldn't open socket (30:1:0). Address family not supported by protocol
[main] Couldn't open socket (42:2:0). Address family not supported by protocol
Can't do protocol KEY
[main] Couldn't open socket (6:5:0). Address family not supported by protocol
Can't do protocol SECURITY
[main] Couldn't open socket (27:5:5). Address family not supported by protocol
[main] Couldn't open socket (28:5:1). Address family not supported by protocol
[main] Couldn't open socket (12:5:2). Address family not supported by protocol
[main] Couldn't open socket (16:2:22). Protocol not supported
[main] Couldn't open socket (34:2:10). Address family not supported by protocol
[main] Couldn't open socket (34:2:2). Address family not supported by protocol
Can't do protocol WANPIPE
[main] Couldn't open socket (36:2:5). Address family not supported by protocol
Can't do protocol UNSPEC
[main] Couldn't open socket (27:2:2). Address family not supported by protocol
[main] Couldn't open socket (5:2:0). Address family not supported by protocol
[main] Couldn't open socket (24:5:1). Address family not supported by protocol
Can't do protocol ECONET
[main] Couldn't open socket (12:5:5). Address family not supported by protocol
[main] Couldn't open socket (33:2:2). Address family not supported by protocol
[main] Couldn't open socket (10:6:33). Socket type not supported
[main] Couldn't open socket (21:5:0). Address family not supported by protocol
[main] Couldn't open socket (3:2:0). Address family not supported by protocol
[main] Couldn't open socket (3:5:0). Address family not supported by protocol
[main] Couldn't open socket (34:5:1). Address family not supported by protocol
[main] Couldn't open socket (16:3:14). Protocol not supported
[main] Couldn't open socket (21:5:0). Address family not supported by protocol
Can't do protocol UNSPEC
[main] Couldn't open socket (28:5:10). Address family not supported by protocol
[main] Couldn't open socket (2:6:33). Socket type not supported
Can't do protocol ASH
[main] Couldn't open socket (38:5:0). Address family not supported by protocol
[main] Couldn't open socket (28:5:1). Address family not supported by protocol
[main] Couldn't open socket (11:5:6). Address family not supported by protocol
Can't do protocol BRIDGE
[main] Couldn't open socket (39:3:1). Address family not supported by protocol
[main] Couldn't open socket (27:3:4). Address family not supported by protocol
Can't do protocol SNA
[main] Couldn't open socket (11:3:6). Address family not supported by protocol
[main] Couldn't open socket (9:5:0). Address family not supported by protocol
Can't do protocol PACKET
[main] Couldn't open socket (8:2:0). Address family not supported by protocol
[main] Couldn't open socket (37:1:0). Address family not supported by protocol
[main] Couldn't open socket (10:6:33). Socket type not supported
[main] Couldn't open socket (37:5:2). Address family not supported by protocol
[main] Couldn't open socket (43:1:0). Address family not supported by protocol
Can't do protocol SNA
[main] Couldn't open socket (34:1:6). Address family not supported by protocol
[main] Couldn't open socket (30:1:0). Address family not supported by protocol
[main] Couldn't open socket (29:2:2). Address family not supported by protocol
[main] Couldn't open socket (3:5:0). Address family not supported by protocol
Can't do protocol LLC
[main] Couldn't open socket (39:3:0). Address family not supported by protocol
[main] Couldn't open socket (12:3:4). Address family not supported by protocol
[main] Couldn't open socket (37:5:3). Address family not supported by protocol
Can't do protocol ASH
[main] Couldn't open socket (23:5:1). Address family not supported by protocol
[main] Couldn't open socket (43:1:1). Address family not supported by protocol
Can't do protocol LLC
[main] Couldn't open socket (39:3:0). Address family not supported by protocol
[main] Couldn't open socket (31:1:0). Address family not supported by protocol
Can't do protocol WANPIPE
[main] Couldn't open socket (27:1:3). Address family not supported by protocol
[main] Couldn't open socket (37:5:2). Address family not supported by protocol
Can't do protocol LLC
[main] Couldn't open socket (16:3:11). Protocol not supported
[main] Couldn't open socket (35:2:1). Address family not supported by protocol
[main] Couldn't open socket (28:2:6). Address family not supported by protocol
[main] Couldn't open socket (8:2:0). Address family not supported by protocol
[main] Couldn't open socket (4:2:0). Address family not supported by protocol
[main] Couldn't open socket (20:2:0). Address family not supported by protocol
[main] Couldn't open socket (32:2:1). Address family not supported by protocol
[main] Couldn't open socket (30:2:0). Address family not supported by protocol
Can't do protocol ECONET
[main] Couldn't open socket (9:5:0). Address family not supported by protocol
[main] Couldn't open socket (32:5:3). Address family not supported by protocol
[main] Couldn't open socket (10:6:33). Socket type not supported
[main] Enabled 14/14 fd providers. initialized:14.
[main] Error opening tracing_on : Permission denied
[main] 23240 iterations. [F:15573 S:7664 HI:5822]
[main] 34287 iterations. [F:23217 S:11067 HI:14188]
[main] 47906 iterations. [F:32590 S:15310 HI:16715]
[main] 69800 iterations. [F:47717 S:22078 HI:20723]
[main] 81392 iterations. [F:55833 S:25554 HI:21426]
[main] 94786 iterations. [F:65299 S:29482 HI:23132]
[main] 107234 iterations. [F:74060 S:33167 HI:27896]
[main] 119946 iterations. [F:83003 S:36938 HI:28317]
[main] 132092 iterations. [F:91779 S:40306 HI:29593]
[main] 145194 iterations. [F:101247 S:43941 HI:31877]
[main] 157159 iterations. [F:109856 S:47297 HI:32298]
[main] 170885 iterations. [F:119861 S:51017 HI:36133]
[main] 184267 iterations. [F:129569 S:54693 HI:37425]
[main] 198393 iterations. [F:139753 S:58633 HI:38566]
[main] 210383 iterations. [F:148500 S:61876 HI:39894]
[main] 225716 iterations. [F:159602 S:66110 HI:42905]
[main] 238274 iterations. [F:168611 S:69656 HI:44324]
[main] 249690 iterations. [F:176973 S:72712 HI:44324]
[main] 262197 iterations. [F:186152 S:76035 HI:45467]
[main] 275744 iterations. [F:196009 S:79727 HI:47017]
[main] 289166 iterations. [F:205799 S:83356 HI:47819]
[main] 312722 iterations. [F:223118 S:89594 HI:52855]
[main] 324656 iterations. [F:231798 S:92848 HI:55129]
[main] 342831 iterations. [F:245068 S:97753 HI:58036]
[main] 363091 iterations. [F:259509 S:103579 HI:59011]
[main] 380845 iterations. [F:272197 S:108645 HI:61983]
[main] 395879 iterations. [F:283037 S:112842 HI:63987]
[main] 406489 iterations. [F:290714 S:115775 HI:65125]
[main] 427486 iterations. [F:305792 S:121694 HI:66752]
[main] 463595 iterations. [F:332116 S:131490 HI:71154]
[main] 497244 iterations. [F:356683 S:140580 HI:76437]
[main] 538354 iterations. [F:386767 S:151616 HI:82330]
[main] 578612 iterations. [F:416131 S:162522 HI:89838]
[main] 616015 iterations. [F:443501 S:172575 HI:97199]
[main] 652351 iterations. [F:470182 S:182239 HI:104117]
[main] 688089 iterations. [F:496277 S:191895 HI:111447]
[main] 722290 iterations. [F:521247 S:201136 HI:118195]
[main] 759383 iterations. [F:548376 S:211109 HI:123474]
[main] 792755 iterations. [F:572778 S:220086 HI:125179]
[main] 830662 iterations. [F:600366 S:230421 HI:130808]
[main] 870584 iterations. [F:629461 S:241252 HI:135567]
[main] 905901 iterations. [F:655324 S:250718 HI:140973]
[main] 943058 iterations. [F:682511 S:260712 HI:146367]
[main] 978776 iterations. [F:708753 S:270223 HI:150228]
[main] 1012417 iterations. [F:733427 S:279219 HI:158319]
[main] 1052780 iterations. [F:763113 S:289906 HI:161902]
[main] 1084563 iterations. [F:786505 S:298313 HI:163000]
[main] 1124600 iterations. [F:815725 S:309140 HI:167563]
[main] 1158430 iterations. [F:840518 S:318175 HI:176466]
[main] 1189534 iterations. [F:863375 S:326430 HI:185703]
[main] 1226863 iterations. [F:890676 S:336469 HI:195219]
[main] 1267538 iterations. [F:920537 S:347307 HI:203921]
[main] 1302288 iterations. [F:946085 S:356516 HI:212757]
[main] 1338853 iterations. [F:972962 S:366217 HI:221709]
[main] 1374630 iterations. [F:999094 S:375873 HI:232090]
[main] 1411150 iterations. [F:1025732 S:385770 HI:239877]
[main] 1443760 iterations. [F:1049664 S:394453 HI:248290]
[main] 1482196 iterations. [F:1077851 S:404715 HI:258825]
[main] 1517692 iterations. [F:1103765 S:414308 HI:270736]
[main] 1554580 iterations. [F:1130775 S:424198 HI:280803 STALLED:1]
[main] 1588066 iterations. [F:1154925 S:433547 HI:287080]
[main] 1623301 iterations. [F:1180713 S:443006 HI:297105]
[main] 1659919 iterations. [F:1207585 S:452767 HI:306239]
[main] 1699078 iterations. [F:1236335 S:463181 HI:315421]
[main] 1737273 iterations. [F:1264345 S:473376 HI:324785]
[main] 1775920 iterations. [F:1292667 S:483714 HI:336471]
[main] 1817218 iterations. [F:1323043 S:494646 HI:345345]
[main] 1862926 iterations. [F:1356427 S:506986 HI:357544]
[main] 1900286 iterations. [F:1383765 S:517024 HI:365632]
[main] 1942980 iterations. [F:1414911 S:528592 HI:377170]
[main] 1972638 iterations. [F:1436587 S:536586 HI:377170]
[main] 2009747 iterations. [F:1463745 S:546547 HI:385154]
[main] 2038894 iterations. [F:1484991 S:554451 HI:393423]
[main] 2052398 iterations. [F:1494821 S:558123 HI:397310]
[main] 2079117 iterations. [F:1514199 S:565487 HI:411068 STALLED:1]
[main] 2110764 iterations. [F:1536956 S:574411 HI:423562]
[main] 2145110 iterations. [F:1562155 S:583585 HI:436402]
[main] 2190162 iterations. [F:1595096 S:595715 HI:451737 STALLED:1]
[main] 2226662 iterations. [F:1621786 S:605535 HI:464578]
[main] 2265599 iterations. [F:1650277 S:615994 HI:478133]
[main] 2297984 iterations. [F:1674056 S:624608 HI:489518]
[main] 2334516 iterations. [F:1700828 S:634375 HI:500914]
[main] 2372326 iterations. [F:1728591 S:644433 HI:512844]
[main] 2412428 iterations. [F:1757933 S:655211 HI:528433 STALLED:1]
[main] 2445162 iterations. [F:1781837 S:664044 HI:543174]
[main] 2479024 iterations. [F:1806645 S:673114 HI:556101]
[main] 2517330 iterations. [F:1834824 S:683276 HI:568429]
[main] 2559059 iterations. [F:1865312 S:694528 HI:582292]
[main] 2596318 iterations. [F:1892674 S:704435 HI:593890]
[main] 2635035 iterations. [F:1921050 S:714782 HI:605923]
[main] 2672359 iterations. [F:1948205 S:724967 HI:617967 STALLED:1]
[main] 2706083 iterations. [F:1972869 S:734043 HI:631446]
[main] 2742507 iterations. [F:1999302 S:744041 HI:644697]
[main] 2781306 iterations. [F:2027576 S:754573 HI:658779]
[main] 2812571 iterations. [F:2050415 S:763004 HI:672676]
[main] 2846449 iterations. [F:2075079 S:772224 HI:672676]
[main] 2878509 iterations. [F:2098491 S:780879 HI:674533]
[main] 2910588 iterations. [F:2121833 S:789629 HI:691824]
[main] 2941064 iterations. [F:2144017 S:797923 HI:706973]
[main] 2968836 iterations. [F:2164178 S:805537 HI:721299]
[main] 2996935 iterations. [F:2184803 S:813020 HI:737063]
[main] 3027744 iterations. [F:2207250 S:821380 HI:753239]
[main] 3062721 iterations. [F:2232849 S:830766 HI:771024]
[main] 3099232 iterations. [F:2259656 S:840477 HI:789735 STALLED:1]
[main] 3129435 iterations. [F:2281764 S:848576 HI:804443 STALLED:1]
[main] 3160776 iterations. [F:2304513 S:857175 HI:818916]
[main] 3192879 iterations. [F:2328044 S:865755 HI:834421]
[main] 3229644 iterations. [F:2354823 S:875753 HI:852524 STALLED:1]
[main] 3263142 iterations. [F:2378697 S:885386 HI:862048]
[main] 3280881 iterations. [F:2391627 S:890199 HI:862048]
[main] 3304568 iterations. [F:2408832 S:896690 HI:862048]
[main] 3326446 iterations. [F:2424661 S:902736 HI:862048]
[main] 3347461 iterations. [F:2439924 S:908488 HI:862048]
[main] 3369668 iterations. [F:2456012 S:914607 HI:862048 STALLED:1]
[main] 3393260 iterations. [F:2473003 S:921205 HI:862048]
[main] 3417528 iterations. [F:2490398 S:928093 HI:862048]
[main] 3440499 iterations. [F:2507046 S:934416 HI:862048]
[main] 3464282 iterations. [F:2524265 S:940981 HI:862048]
[main] 3487529 iterations. [F:2541098 S:947394 HI:862048]
[main] 3510826 iterations. [F:2558027 S:953763 HI:862048]
[main] 3533640 iterations. [F:2574618 S:959986 HI:862048]
[main] 3555244 iterations. [F:2590324 S:965884 HI:862048]
[main] 3577789 iterations. [F:2606764 S:971989 HI:862048]
[main] 3600538 iterations. [F:2623360 S:978141 HI:862048]
[main] 3623659 iterations. [F:2640281 S:984341 HI:862048 STALLED:2]
[main] 3649494 iterations. [F:2658916 S:991541 HI:862048]
[main] 3673058 iterations. [F:2675955 S:998068 HI:862048]
[main] 3696076 iterations. [F:2692829 S:1004212 HI:862048]
[main] 3718387 iterations. [F:2709280 S:1010071 HI:862048]
[main] 3741584 iterations. [F:2726249 S:1016300 HI:862048]
[main] 3762957 iterations. [F:2741965 S:1021957 HI:862048]
[main] 3786084 iterations. [F:2758854 S:1028195 HI:862048]
[main] 3809110 iterations. [F:2775659 S:1034416 HI:862048]
[main] 3831397 iterations. [F:2792116 S:1040246 HI:862048]
[main] 3855717 iterations. [F:2809920 S:1046762 HI:862048]
[main] 3879202 iterations. [F:2827256 S:1052911 HI:862048 STALLED:2]
[main] 3903032 iterations. [F:2844517 S:1059478 HI:862048]
[main] 3929244 iterations. [F:2863610 S:1066599 HI:862048]
[main] 3951923 iterations. [F:2880285 S:1072603 HI:862048]
[main] 3975625 iterations. [F:2897867 S:1078723 HI:862048]
[main] 3999477 iterations. [F:2915457 S:1084985 HI:862048 STALLED:2]
[main] 4023836 iterations. [F:2933068 S:1091735 HI:862048]
[main] 4047132 iterations. [F:2950226 S:1097873 HI:862048]
[main] 4068277 iterations. [F:2965686 S:1103558 HI:862048]
[main] 4090029 iterations. [F:2981703 S:1109292 HI:862048]
[main] 4112448 iterations. [F:2998288 S:1115126 HI:862048 STALLED:1]
[main] 4135375 iterations. [F:3015091 S:1121251 HI:862048]
[main] 4157371 iterations. [F:3031205 S:1127134 HI:862048]
[main] 4179551 iterations. [F:3047558 S:1132961 HI:874967]
[main] 4202370 iterations. [F:3064278 S:1139059 HI:897786]
[main] 4225157 iterations. [F:3080926 S:1145199 HI:920574]
[main] 4239178 iterations. [F:3091155 S:1148990 HI:934594]
[main] 4260232 iterations. [F:3106470 S:1154729 HI:955648]
[main] 4282212 iterations. [F:3122479 S:1160700 HI:977628 STALLED:1]
[main] 4306632 iterations. [F:3140233 S:1167366 HI:1001505 STALLED:1]
[main] 4331125 iterations. [F:3157914 S:1174178 HI:1022826]
[main] 4354573 iterations. [F:3175040 S:1180500 HI:1045282]
[main] 4377223 iterations. [F:3191380 S:1186809 HI:1065081]
[main] 4401543 iterations. [F:3209072 S:1193436 HI:1087021]
[main] 4424710 iterations. [F:3225921 S:1199752 HI:1109544]
[main] 4449817 iterations. [F:3244213 S:1206570 HI:1131044]
[main] 4472898 iterations. [F:3261025 S:1212840 HI:1153080]
[main] 4494384 iterations. [F:3276756 S:1218595 HI:1174566]
[main] 4516030 iterations. [F:3292501 S:1224496 HI:1196212]
[main] 4537365 iterations. [F:3307916 S:1230415 HI:1217546]
[main] 4551624 iterations. [F:3318243 S:1234348 HI:1231806]
[main] 4573124 iterations. [F:3333854 S:1240237 HI:1253306 STALLED:2]
[main] 4596500 iterations. [F:3350706 S:1246760 HI:1275145]
[main] 4619948 iterations. [F:3367353 S:1253562 HI:1288717]
[main] 4643698 iterations. [F:3384455 S:1260213 HI:1309029]
[main] 4665198 iterations. [F:3400195 S:1265972 HI:1330017 STALLED:2]
[main] 4696379 iterations. [F:3422868 S:1274483 HI:1344820]
[main] 4724937 iterations. [F:3443695 S:1282220 HI:1359690]
[main] 4752633 iterations. [F:3464103 S:1289517 HI:1374926]
[main] 4779292 iterations. [F:3483467 S:1296822 HI:1390389]
[main] 4809473 iterations. [F:3505567 S:1304911 HI:1408556 STALLED:1]
[main] 4837446 iterations. [F:3525806 S:1312650 HI:1422416]
[main] 4868724 iterations. [F:3548544 S:1321194 HI:1437822]
[main] 4902585 iterations. [F:3572882 S:1330728 HI:1447304]
[main] 4929218 iterations. [F:3592072 S:1338178 HI:1454297]
[main] 4959547 iterations. [F:3614215 S:1346377 HI:1466069]
[main] 4987011 iterations. [F:3634279 S:1353780 HI:1474557]
[main] 5026060 iterations. [F:3662786 S:1364342 HI:1483486]
[main] 5060179 iterations. [F:3687679 S:1373569 HI:1497549]
[main] 5090678 iterations. [F:3709960 S:1381789 HI:1513653 STALLED:1]
[main] 5122282 iterations. [F:3732673 S:1390689 HI:1523933]
[main] 5152432 iterations. [F:3754464 S:1399050 HI:1538009]
[main] 5185401 iterations. [F:3778371 S:1408121 HI:1549708]
[main] 5218555 iterations. [F:3802602 S:1417048 HI:1562273]
[main] 5253048 iterations. [F:3827658 S:1426500 HI:1575857]
[main] 5277048 iterations. [F:3845125 S:1433034 HI:1586307]
[main] 5303509 iterations. [F:3864490 S:1440141 HI:1597751]
[main] 5336588 iterations. [F:3888629 S:1449089 HI:1615755]
[main] 5371197 iterations. [F:3913969 S:1458375 HI:1628787]
[main] 5405015 iterations. [F:3938743 S:1467424 HI:1641529]
[main] 5434863 iterations. [F:3960390 S:1475634 HI:1653557]
[main] 5465491 iterations. [F:3982718 S:1483948 HI:1667298]
[main] 5496725 iterations. [F:4005619 S:1492282 HI:1679102]
[main] 5526444 iterations. [F:4027313 S:1500308 HI:1694866]
[main] 5559207 iterations. [F:4051119 S:1509268 HI:1707422]
[main] 5595310 iterations. [F:4077506 S:1518988 HI:1720982]
[main] 5629469 iterations. [F:4102534 S:1528125 HI:1737915]
[main] 5672026 iterations. [F:4133931 S:1539301 HI:1750918]
[main] 5702899 iterations. [F:4156600 S:1547511 HI:1761341]
[main] 5743756 iterations. [F:4186598 S:1558386 HI:1774894]
[main] 5778134 iterations. [F:4211894 S:1567476 HI:1785239 STALLED:1]
[main] 5813285 iterations. [F:4237559 S:1576976 HI:1794758]
[main] 5846136 iterations. [F:4261620 S:1585779 HI:1805219 STALLED:1]
[main] 5889281 iterations. [F:4293275 S:1597283 HI:1819501]
[main] 5927091 iterations. [F:4321030 S:1607348 HI:1831829]
[main] 5967579 iterations. [F:4350508 S:1618378 HI:1843990]
[main] 6002652 iterations. [F:4376116 S:1627850 HI:1855762]
[main] 6040367 iterations. [F:4403807 S:1637888 HI:1868844 STALLED:2]
[main] 6077651 iterations. [F:4430764 S:1648223 HI:1879132]
[main] 6112080 iterations. [F:4456109 S:1657321 HI:1892581 STALLED:1]
[main] 6151150 iterations. [F:4484663 S:1667849 HI:1905748]
[main] 6185373 iterations. [F:4509738 S:1677008 HI:1918506]
[main] 6211213 iterations. [F:4528604 S:1683988 HI:1927986]
[main] 6238727 iterations. [F:4548367 S:1691741 HI:1941375]
[main] 6264997 iterations. [F:4567700 S:1698675 HI:1957258]
[main] 6290525 iterations. [F:4586399 S:1705507 HI:1974143]
[main] 6319820 iterations. [F:4607946 S:1713267 HI:1992829]
[main] 6350923 iterations. [F:4630783 S:1721540 HI:2010899]
[main] 6385219 iterations. [F:4655937 S:1730697 HI:2027911]
[main] 6414140 iterations. [F:4677182 S:1738394 HI:2043179]
[main] 6447432 iterations. [F:4701709 S:1747163 HI:2060984]
[main] 6485163 iterations. [F:4729463 S:1757152 HI:2079467]
[main] 6518606 iterations. [F:4754083 S:1765991 HI:2095766]
[main] 6545993 iterations. [F:4774165 S:1773306 HI:2108651]
[main] 6577787 iterations. [F:4797538 S:1781735 HI:2124899]
[main] 6608003 iterations. [F:4819585 S:1789906 HI:2141717]
[main] 6641168 iterations. [F:4844125 S:1798538 HI:2157975]
[main] 6674543 iterations. [F:4868642 S:1807401 HI:2173920]
[main] 6706533 iterations. [F:4892059 S:1815982 HI:2190136]
[main] 6746244 iterations. [F:4921222 S:1826547 HI:2210114 STALLED:1]
[main] 6783183 iterations. [F:4948212 S:1836502 HI:2228642]
[main] 6816531 iterations. [F:4972678 S:1845389 HI:2246956]
[main] 6852826 iterations. [F:4999395 S:1854972 HI:2265518]
[main] 6885985 iterations. [F:5023662 S:1863870 HI:2282967]
[main] 6922066 iterations. [F:5049887 S:1873733 HI:2300000 STALLED:1]
[main] 6952569 iterations. [F:5072110 S:1882018 HI:2315340]
[main] 6985175 iterations. [F:5095894 S:1890845 HI:2330770]
[main] 7017874 iterations. [F:5119944 S:1899501 HI:2346781 STALLED:2]
[main] 7060318 iterations. [F:5150903 S:1911005 HI:2368415]
[main] 7093423 iterations. [F:5174620 S:1920416 HI:2379353 STALLED:1]
[main] 7125379 iterations. [F:5198001 S:1929010 HI:2393577]
[main] 7158240 iterations. [F:5222052 S:1937843 HI:2405571]
[main] 7191245 iterations. [F:5246028 S:1946907 HI:2422406]
[main] 7223044 iterations. [F:5269355 S:1955408 HI:2438609 STALLED:1]
[main] 7253420 iterations. [F:5291631 S:1963529 HI:2454302]
[main] 7289801 iterations. [F:5318415 S:1973157 HI:2471547]
[main] 7322721 iterations. [F:5342577 S:1981933 HI:2487609]
[main] 7356013 iterations. [F:5366867 S:1990941 HI:2505271]
[main] 7389465 iterations. [F:5391200 S:2000065 HI:2520913]
[main] 7419243 iterations. [F:5412949 S:2008094 HI:2535934]
[main] 7450894 iterations. [F:5435963 S:2016739 HI:2551974]
[main] 7486494 iterations. [F:5462099 S:2026215 HI:2569630]
[main] 7518277 iterations. [F:5485274 S:2034827 HI:2587419]
[main] 7554059 iterations. [F:5511504 S:2044391 HI:2605500]
[main] 7587139 iterations. [F:5535681 S:2053310 HI:2622375]
[main] 7619052 iterations. [F:5558989 S:2061921 HI:2638591]
[main] 7654043 iterations. [F:5584577 S:2071332 HI:2655565]
[main] 7688627 iterations. [F:5609807 S:2080701 HI:2673029]
[main] 7724723 iterations. [F:5636205 S:2090420 HI:2691725]
[main] 7744924 iterations. [F:5650975 S:2095852 HI:2693292 STALLED:1]
[main] 7776648 iterations. [F:5673956 S:2104602 HI:2707141]
[main] 7813216 iterations. [F:5700702 S:2114436 HI:2726339]
[main] 7845922 iterations. [F:5724607 S:2123241 HI:2741773]
[main] 7880123 iterations. [F:5749566 S:2132485 HI:2758991]
[main] 7912298 iterations. [F:5773105 S:2141123 HI:2774765]
[main] 7948080 iterations. [F:5799248 S:2150771 HI:2792088 STALLED:1]
[main] 7978705 iterations. [F:5821399 S:2159246 HI:2806464]
[main] 8011948 iterations. [F:5845781 S:2168109 HI:2823434 STALLED:1]
[main] 8044104 iterations. [F:5869083 S:2176974 HI:2839449]
[main] 8080605 iterations. [F:5895587 S:2186991 HI:2856525 STALLED:1]
[main] 8113026 iterations. [F:5919127 S:2195876 HI:2871645]
[main] 8139492 iterations. [F:5938163 S:2203309 HI:2882135]
[main] 8172250 iterations. [F:5962115 S:2212120 HI:2898579 STALLED:1]
[main] 8206474 iterations. [F:5986819 S:2221652 HI:2914747]
[main] 8242177 iterations. [F:6012599 S:2231583 HI:2929479 STALLED:1]
[main] 8279554 iterations. [F:6040074 S:2241492 HI:2946508]
[main] 8315277 iterations. [F:6066175 S:2251124 HI:2960607]
[main] 8352679 iterations. [F:6093429 S:2261283 HI:2976145]
[main] 8384693 iterations. [F:6116837 S:2269894 HI:2988195]
[main] 8420585 iterations. [F:6142814 S:2279819 HI:3000828]
[main] 8458813 iterations. [F:6170754 S:2290114 HI:3019117]
[main] 8489719 iterations. [F:6193386 S:2298394 HI:3034945]
[main] 8519252 iterations. [F:6215086 S:2306227 HI:3047861]
[main] 8538719 iterations. [F:6229286 S:2311494 HI:3057823]
[main] 8562893 iterations. [F:6247033 S:2317925 HI:3071820]
[main] 8582946 iterations. [F:6261689 S:2323323 HI:3075634]
[main] 8606068 iterations. [F:6278555 S:2329578 HI:3086955]
[main] 8626846 iterations. [F:6293723 S:2335188 HI:3095811]
[main] 8647784 iterations. [F:6308948 S:2340902 HI:3106837 STALLED:1]