runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-301826-1178842212 -o ROOT/results/node18/solver-301826-1178842212 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/301826-1178842212/MiraXTv1_dyn /tmp/evaluation/301826-1178842212/instance-301826-1178842212.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 1.08 3/77 5893
/proc/meminfo: memFree=1850120/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=3788 CPUtime=0
/proc/5893/stat : 5893 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194304 398 0 0 0 0 0 0 0 18 0 1 0 332138568 3878912 373 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8296059 0 0 4096 0 0 0 0 17 0 0 0
/proc/5893/statm: 947 376 205 20 0 305 0
[startup+0.089595 s]
/proc/loadavg: 0.92 0.98 1.08 3/77 5893
/proc/meminfo: memFree=1850120/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=5704 CPUtime=0.08
/proc/5893/stat : 5893 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194304 874 0 0 0 8 0 0 0 18 0 1 0 332138568 5840896 849 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134587772 0 0 4096 0 0 0 0 17 0 0 0
/proc/5893/statm: 1426 849 207 20 0 784 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5704
[startup+0.101595 s]
/proc/loadavg: 0.92 0.98 1.08 3/77 5893
/proc/meminfo: memFree=1850120/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=5704 CPUtime=0.09
/proc/5893/stat : 5893 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194304 874 0 0 0 9 0 0 0 18 0 1 0 332138568 5840896 849 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134587781 0 0 4096 0 0 0 0 17 0 0 0
/proc/5893/statm: 1426 849 207 20 0 784 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5704
[startup+0.301615 s]
/proc/loadavg: 0.92 0.98 1.08 3/77 5893
/proc/meminfo: memFree=1850120/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=10296 CPUtime=0.29
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 1528 0 0 0 29 0 0 0 18 0 2 0 332138568 10543104 1415 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 2574 1415 218 20 0 1932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10296
[startup+0.701654 s]
/proc/loadavg: 0.92 0.98 1.08 3/77 5893
/proc/meminfo: memFree=1850120/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=13200 CPUtime=0.69
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 2282 0 0 0 69 0 0 0 18 0 2 0 332138568 13516800 2169 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 3300 2169 218 20 0 2658 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13200
[startup+1.50173 s]
/proc/loadavg: 0.92 0.98 1.08 3/79 5895
/proc/meminfo: memFree=1839992/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=18612 CPUtime=1.49
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 3680 0 0 0 148 1 0 0 18 0 2 0 332138568 19058688 3567 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 4653 3568 218 20 0 4011 0
[pid=5893/tid=5895] ppid=5891 vsize=18612 CPUtime=1.34
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 2625 0 0 0 133 1 0 0 25 0 2 0 332138584 19058688 3568 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8296059 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18612
[startup+3.10289 s]
/proc/loadavg: 0.92 0.98 1.08 2/79 5895
/proc/meminfo: memFree=1834104/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=24000 CPUtime=3.09
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 4923 0 0 0 306 3 0 0 18 0 2 0 332138568 24576000 4810 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 6000 4810 218 20 0 5358 0
[pid=5893/tid=5895] ppid=5891 vsize=24000 CPUtime=2.93
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 3867 0 0 0 291 2 0 0 25 0 2 0 332138584 24576000 4810 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24000
[startup+6.30119 s]
/proc/loadavg: 0.93 0.98 1.08 2/79 5895
/proc/meminfo: memFree=1818872/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=39132 CPUtime=6.28
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 8790 0 0 0 624 4 0 0 18 0 2 0 332138568 40071168 8641 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 9783 8641 218 20 0 9141 0
[pid=5893/tid=5895] ppid=5891 vsize=39132 CPUtime=6.13
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 7734 0 0 0 609 4 0 0 25 0 2 0 332138584 40071168 8641 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565740 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 39132
[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 1.08 2/79 5895
/proc/meminfo: memFree=1804472/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=53124 CPUtime=12.69
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 12448 0 0 0 1262 7 0 0 18 0 2 0 332138568 54398976 12216 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 13281 12216 218 20 0 12639 0
[pid=5893/tid=5895] ppid=5891 vsize=53124 CPUtime=12.53
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 11392 0 0 0 1246 7 0 0 25 0 2 0 332138584 54398976 12216 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53124
[startup+25.501 s]
/proc/loadavg: 0.95 0.98 1.08 2/79 5895
/proc/meminfo: memFree=1786616/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=68708 CPUtime=25.48
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 16567 0 0 0 2538 10 0 0 18 0 2 0 332138568 70356992 16174 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 17177 16174 218 20 0 16535 0
[pid=5893/tid=5895] ppid=5891 vsize=68708 CPUtime=25.33
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 15511 0 0 0 2523 10 0 0 25 0 2 0 332138584 70356992 16174 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68708
[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 1.08 2/79 5895
/proc/meminfo: memFree=1774520/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=80016 CPUtime=51.07
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 19736 0 0 0 5095 12 0 0 18 0 2 0 332138568 81936384 18971 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 20004 18971 218 20 0 19362 0
[pid=5893/tid=5895] ppid=5891 vsize=80016 CPUtime=50.91
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 18680 0 0 0 5079 12 0 0 25 0 2 0 332138584 81936384 18971 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 80016
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 1.07 2/79 5895
/proc/meminfo: memFree=1765880/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=88380 CPUtime=102.24
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 22441 0 0 0 10210 14 0 0 18 0 2 0 332138568 90501120 21089 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 22095 21089 218 20 0 21453 0
[pid=5893/tid=5895] ppid=5891 vsize=88380 CPUtime=102.09
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 21385 0 0 0 10195 14 0 0 25 0 2 0 332138584 90501120 21089 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 88380
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.07 2/79 5895
/proc/meminfo: memFree=1760056/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=94228 CPUtime=162.21
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 24566 0 0 0 16206 15 0 0 18 0 2 0 332138568 96489472 22554 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 23557 22554 218 20 0 22915 0
[pid=5893/tid=5895] ppid=5891 vsize=94228 CPUtime=162.04
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 23510 0 0 0 16190 14 0 0 25 0 2 0 332138584 96489472 22554 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 94228
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.06 2/79 5895
/proc/meminfo: memFree=1759928/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=94516 CPUtime=222.17
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 25274 0 0 0 22202 15 0 0 18 0 2 0 332138568 96784384 22602 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 23629 22602 218 20 0 22987 0
[pid=5893/tid=5895] ppid=5891 vsize=94516 CPUtime=222.01
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 24218 0 0 0 22186 15 0 0 25 0 2 0 332138584 96784384 22602 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 94516
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 1.05 2/79 5895
/proc/meminfo: memFree=1759800/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=94648 CPUtime=282.14
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 25965 0 0 0 28198 16 0 0 18 0 2 0 332138568 96919552 22633 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 23662 22633 218 20 0 23020 0
[pid=5893/tid=5895] ppid=5891 vsize=94648 CPUtime=281.97
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 24909 0 0 0 28182 15 0 0 25 0 2 0 332138584 96919552 22633 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 94648
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.05 2/79 5895
/proc/meminfo: memFree=1756344/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=97988 CPUtime=342.11
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 27272 0 0 0 34194 17 0 0 18 0 2 0 332138568 100339712 23478 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 24497 23478 218 20 0 23855 0
[pid=5893/tid=5895] ppid=5891 vsize=97988 CPUtime=341.94
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 26216 0 0 0 34178 16 0 0 25 0 2 0 332138584 100339712 23478 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 97988
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/79 5895
/proc/meminfo: memFree=1754488/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=99748 CPUtime=402.06
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 28231 0 0 0 40188 18 0 0 18 0 2 0 332138568 102141952 23909 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 24937 23909 218 20 0 24295 0
[pid=5893/tid=5895] ppid=5891 vsize=99748 CPUtime=401.91
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 27175 0 0 0 40173 18 0 0 25 0 2 0 332138584 102141952 23909 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 99748
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/79 5895
/proc/meminfo: memFree=1754424/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=99748 CPUtime=462.02
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 28586 0 0 0 46184 18 0 0 18 0 2 0 332138568 102141952 23934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 24937 23934 218 20 0 24295 0
[pid=5893/tid=5895] ppid=5891 vsize=99748 CPUtime=461.87
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 27530 0 0 0 46169 18 0 0 25 0 2 0 332138584 102141952 23934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 99748
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 1.03 2/79 5895
/proc/meminfo: memFree=1749240/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=104956 CPUtime=521.99
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 30464 0 0 0 52180 19 0 0 18 0 2 0 332138568 107474944 25218 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 26239 25218 218 20 0 25597 0
[pid=5893/tid=5895] ppid=5891 vsize=104956 CPUtime=521.83
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 29408 0 0 0 52164 19 0 0 25 0 2 0 332138584 107474944 25218 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526613 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 104956
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 1.03 2/79 5895
/proc/meminfo: memFree=1749240/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=104956 CPUtime=581.95
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 31131 0 0 0 58175 20 0 0 18 0 2 0 332138568 107474944 25219 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 26239 25219 218 20 0 25597 0
[pid=5893/tid=5895] ppid=5891 vsize=104956 CPUtime=581.79
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 30075 0 0 0 58160 19 0 0 25 0 2 0 332138584 107474944 25219 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 104956
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 1.02 2/79 5895
/proc/meminfo: memFree=1749112/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=105096 CPUtime=641.92
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 31708 0 0 0 64172 20 0 0 18 0 2 0 332138568 107618304 25260 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 26274 25260 218 20 0 25632 0
[pid=5893/tid=5895] ppid=5891 vsize=105096 CPUtime=641.76
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 30652 0 0 0 64156 20 0 0 25 0 2 0 332138584 107618304 25260 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 105096
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/79 5895
/proc/meminfo: memFree=1749048/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=105228 CPUtime=701.88
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 32198 0 0 0 70168 20 0 0 18 0 2 0 332138568 107753472 25281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 26307 25281 218 20 0 25665 0
[pid=5893/tid=5895] ppid=5891 vsize=105228 CPUtime=701.73
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 31142 0 0 0 70153 20 0 0 25 0 2 0 332138584 107753472 25281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 105228
[startup+762.306 s]
/proc/loadavg: 1.04 1.00 1.01 2/79 5895
/proc/meminfo: memFree=1748280/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=105944 CPUtime=761.85
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 32867 0 0 0 76165 20 0 0 18 0 2 0 332138568 108486656 25481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 26486 25481 218 20 0 25844 0
[pid=5893/tid=5895] ppid=5891 vsize=105944 CPUtime=761.69
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 31811 0 0 0 76149 20 0 0 25 0 2 0 332138584 108486656 25481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8296092 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 105944
[startup+822.302 s]
/proc/loadavg: 1.02 1.00 1.01 2/79 5895
/proc/meminfo: memFree=1748152/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=106236 CPUtime=821.82
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 33377 0 0 0 82161 21 0 0 18 0 2 0 332138568 108785664 25522 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 26559 25522 218 20 0 25917 0
[pid=5893/tid=5895] ppid=5891 vsize=106236 CPUtime=821.66
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 32321 0 0 0 82146 20 0 0 25 0 2 0 332138584 108785664 25522 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 106236
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5895
/proc/meminfo: memFree=1747960/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=106408 CPUtime=881.78
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 33846 0 0 0 88157 21 0 0 18 0 2 0 332138568 108961792 25589 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 26602 25589 218 20 0 25960 0
[pid=5893/tid=5895] ppid=5891 vsize=106408 CPUtime=881.61
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 32790 0 0 0 88141 20 0 0 25 0 2 0 332138584 108961792 25589 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 106408
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5895
/proc/meminfo: memFree=1745656/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=108680 CPUtime=941.74
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 34870 0 0 0 94153 21 0 0 18 0 2 0 332138568 111288320 26144 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 27170 26144 218 20 0 26528 0
[pid=5893/tid=5895] ppid=5891 vsize=108680 CPUtime=941.58
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 33814 0 0 0 94137 21 0 0 25 0 2 0 332138584 111288320 26144 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526719 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 108680
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5895
/proc/meminfo: memFree=1745528/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=108812 CPUtime=1001.71
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 35446 0 0 0 100149 22 0 0 18 0 2 0 332138568 111423488 26184 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 27203 26184 218 20 0 26561 0
[pid=5893/tid=5895] ppid=5891 vsize=108812 CPUtime=1001.55
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 34390 0 0 0 100134 21 0 0 25 0 2 0 332138584 111423488 26184 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 108812
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5895
/proc/meminfo: memFree=1745528/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=108812 CPUtime=1061.67
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 35848 0 0 0 106145 22 0 0 18 0 2 0 332138568 111423488 26184 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 27203 26184 218 20 0 26561 0
[pid=5893/tid=5895] ppid=5891 vsize=108812 CPUtime=1061.52
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 34792 0 0 0 106130 22 0 0 25 0 2 0 332138584 111423488 26184 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (KiB) 108812
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5895
/proc/meminfo: memFree=1743672/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=110660 CPUtime=1121.64
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 36715 0 0 0 112142 22 0 0 18 0 2 0 332138568 113315840 26649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 27665 26649 218 20 0 27023 0
[pid=5893/tid=5895] ppid=5891 vsize=110660 CPUtime=1121.48
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 35659 0 0 0 112126 22 0 0 25 0 2 0 332138584 113315840 26649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 110660
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5895
/proc/meminfo: memFree=1743736/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=110660 CPUtime=1181.61
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 37117 0 0 0 118138 23 0 0 18 0 2 0 332138568 113315840 26649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 27665 26649 218 20 0 27023 0
[pid=5893/tid=5895] ppid=5891 vsize=110660 CPUtime=1181.45
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 36061 0 0 0 118123 22 0 0 25 0 2 0 332138584 113315840 26649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.61
Current children cumulated vsize (KiB) 110660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5895
/proc/meminfo: memFree=1743224/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=111188 CPUtime=1200
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 37382 0 0 0 119977 23 0 0 18 0 2 0 332138568 113856512 26780 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 27797 26780 218 20 0 27155 0
[pid=5893/tid=5895] ppid=5891 vsize=111188 CPUtime=1199.85
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 36326 0 0 0 119962 23 0 0 25 0 2 0 332138584 113856512 26780 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 111188
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5895
/proc/meminfo: memFree=1743224/2055920 swapFree=4144420/4192956
[pid=5893] ppid=5891 vsize=111188 CPUtime=1200
/proc/5893/stat : 5893 (MiraXTv1_dyn) S 5891 5893 4462 0 -1 4194304 37382 0 0 0 119977 23 0 0 18 0 2 0 332138568 113856512 26780 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5893/statm: 27797 26780 218 20 0 27155 0
[pid=5893/tid=5895] ppid=5891 vsize=111188 CPUtime=1199.85
/proc/5893/task/5895/stat : 5895 (MiraXTv1_dyn) R 5891 5893 4462 0 -1 4194368 36326 0 0 0 119962 23 0 0 25 0 2 0 332138584 113856512 26780 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 111188
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.73
CPU time (s): 1200.04
CPU user time (s): 1199.79
CPU system time (s): 0.251961
CPU usage (%): 99.9423
Max. virtual memory (cumulated for all children) (KiB): 111188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.79
system time used= 0.251961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 23062
runsolver used 1.3298 second user time and 3.04354 second system time
The end
Begin job on node18 on Fri May 11 00:10:12 UTC 2007
IDJOB= 301826
IDBENCH= 20068
IDSOLVER= 130
FILE ID= node18/301826-1178842212
PBS_JOBID= 5250996
Free space on /tmp= 66556 MiB
SOLVER NAME= MiraXT v1
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v1100/unif-k5-r20-v1100-c22000-S485928362-15.cnf
COMMAND LINE= /tmp/evaluation/301826-1178842212/MiraXTv1_dyn /tmp/evaluation/301826-1178842212/instance-301826-1178842212.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-301826-1178842212 -o ROOT/results/node18/solver-301826-1178842212 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/301826-1178842212/MiraXTv1_dyn /tmp/evaluation/301826-1178842212/instance-301826-1178842212.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 73f8500dfa90695f93ebe5edace82ac9
RANDOM SEED= 74014375
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1850400 kB
Buffers: 39544 kB
Cached: 96624 kB
SwapCached: 18464 kB
Active: 89400 kB
Inactive: 75004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1850400 kB
SwapTotal: 4192956 kB
SwapFree: 4144420 kB
Dirty: 4448 kB
Writeback: 0 kB
Mapped: 30100 kB
Slab: 26712 kB
Committed_AS: 8729312 kB
PageTables: 1776 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66556 MiB
End job on node18 on Fri May 11 00:30:15 UTC 2007