runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-299202-1178832938 -o ROOT/results/node9/solver-299202-1178832938 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/299202-1178832938/MiraXTv1_dyn /tmp/evaluation/299202-1178832938/instance-299202-1178832938.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.93 0.99 0.99 3/77 20411
/proc/meminfo: memFree=1842464/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=3788 CPUtime=0
/proc/20411/stat : 20411 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194304 300 0 0 0 0 0 0 0 18 0 1 0 359331364 3878912 275 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 9102285 0 0 4096 0 0 0 0 17 1 0 0
/proc/20411/statm: 947 275 206 20 0 305 0
[startup+0.098318 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 20411
/proc/meminfo: memFree=1842464/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=4848 CPUtime=0.09
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 511 0 0 0 9 0 0 0 18 0 2 0 359331364 4964352 486 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 1212 486 218 20 0 570 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4848
[startup+0.101318 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 20411
/proc/meminfo: memFree=1842464/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=4980 CPUtime=0.09
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 515 0 0 0 9 0 0 0 18 0 2 0 359331364 5099520 490 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 1245 490 218 20 0 603 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4980
[startup+0.30134 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 20411
/proc/meminfo: memFree=1842464/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=6400 CPUtime=0.29
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 732 0 0 0 29 0 0 0 18 0 2 0 359331364 6553600 707 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 1600 707 218 20 0 958 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6400
[startup+0.702386 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 20411
/proc/meminfo: memFree=1842464/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=7544 CPUtime=0.69
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 1052 0 0 0 69 0 0 0 18 0 2 0 359331364 7725056 1027 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 1886 1027 218 20 0 1244 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7544
[startup+1.50148 s]
/proc/loadavg: 0.93 0.99 0.99 2/79 20413
/proc/meminfo: memFree=1838352/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=8700 CPUtime=1.49
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 1373 0 0 0 149 0 0 0 18 0 2 0 359331364 8908800 1348 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 2175 1348 218 20 0 1533 0
[pid=20411/tid=20413] ppid=20409 vsize=8700 CPUtime=1.48
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 1012 0 0 0 148 0 0 0 25 0 2 0 359331365 8908800 1348 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8700
[startup+3.10166 s]
/proc/loadavg: 0.93 0.99 0.99 2/79 20413
/proc/meminfo: memFree=1836560/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=11680 CPUtime=3.09
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 2140 0 0 0 309 0 0 0 18 0 2 0 359331364 11960320 2115 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 2920 2115 218 20 0 2278 0
[pid=20411/tid=20413] ppid=20409 vsize=11680 CPUtime=3.08
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 1779 0 0 0 308 0 0 0 25 0 2 0 359331365 11960320 2115 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11680
[startup+6.30202 s]
/proc/loadavg: 0.93 0.99 0.99 2/79 20413
/proc/meminfo: memFree=1832080/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=14248 CPUtime=6.29
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 2779 0 0 0 628 1 0 0 18 0 2 0 359331364 14589952 2718 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 3562 2718 218 20 0 2920 0
[pid=20411/tid=20413] ppid=20409 vsize=14248 CPUtime=6.28
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 2418 0 0 0 627 1 0 0 25 0 2 0 359331365 14589952 2718 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565845 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14248
[startup+12.7017 s]
/proc/loadavg: 0.94 0.99 0.99 2/79 20413
/proc/meminfo: memFree=1825424/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=20796 CPUtime=12.69
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 4620 0 0 0 1267 2 0 0 18 0 2 0 359331364 21295104 4422 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 5199 4422 218 20 0 4557 0
[pid=20411/tid=20413] ppid=20409 vsize=20796 CPUtime=12.68
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 4259 0 0 0 1266 2 0 0 25 0 2 0 359331365 21295104 4422 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20796
[startup+25.5012 s]
/proc/loadavg: 0.95 0.99 0.99 2/79 20413
/proc/meminfo: memFree=1820880/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=25188 CPUtime=25.49
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 5865 0 0 0 2546 3 0 0 18 0 2 0 359331364 25792512 5490 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 6297 5490 218 20 0 5655 0
[pid=20411/tid=20413] ppid=20409 vsize=25188 CPUtime=25.47
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 5504 0 0 0 2545 2 0 0 25 0 2 0 359331365 25792512 5490 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25188
[startup+51.1011 s]
/proc/loadavg: 0.97 0.99 0.99 2/79 20413
/proc/meminfo: memFree=1817360/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=28572 CPUtime=51.08
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 7178 0 0 0 5104 4 0 0 18 0 2 0 359331364 29257728 6399 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 7143 6399 218 20 0 6501 0
[pid=20411/tid=20413] ppid=20409 vsize=28572 CPUtime=51.06
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 6817 0 0 0 5103 3 0 0 25 0 2 0 359331365 29257728 6399 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28572
[startup+102.307 s]
/proc/loadavg: 0.98 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1814416/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=31724 CPUtime=102.26
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 8688 0 0 0 10222 4 0 0 18 0 2 0 359331364 32485376 7104 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 7931 7104 218 20 0 7289 0
[pid=20411/tid=20413] ppid=20409 vsize=31724 CPUtime=102.25
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 8327 0 0 0 10221 4 0 0 25 0 2 0 359331365 32485376 7104 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 31724
[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1812432/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=33580 CPUtime=162.24
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 10022 0 0 0 16219 5 0 0 18 0 2 0 359331364 34385920 7585 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 8395 7585 218 20 0 7753 0
[pid=20411/tid=20413] ppid=20409 vsize=33580 CPUtime=162.23
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 9661 0 0 0 16218 5 0 0 25 0 2 0 359331365 34385920 7585 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 33580
[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1811792/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=34172 CPUtime=222.23
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 11086 0 0 0 22217 6 0 0 18 0 2 0 359331364 34992128 7758 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 8543 7758 218 20 0 7901 0
[pid=20411/tid=20413] ppid=20409 vsize=34172 CPUtime=222.22
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 10725 0 0 0 22216 6 0 0 25 0 2 0 359331365 34992128 7758 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526625 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 34172
[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1810832/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=34948 CPUtime=282.21
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 12079 0 0 0 28214 7 0 0 18 0 2 0 359331364 35786752 7993 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 8737 7993 218 20 0 8095 0
[pid=20411/tid=20413] ppid=20409 vsize=34948 CPUtime=282.2
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 11718 0 0 0 28213 7 0 0 25 0 2 0 359331365 35786752 7993 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 34948
[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1809296/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=36572 CPUtime=342.2
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 13163 0 0 0 34211 9 0 0 18 0 2 0 359331364 37449728 8385 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 9143 8385 218 20 0 8501 0
[pid=20411/tid=20413] ppid=20409 vsize=36572 CPUtime=342.19
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 12802 0 0 0 34210 9 0 0 25 0 2 0 359331365 37449728 8385 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 36572
[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1808528/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=37716 CPUtime=402.18
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 14164 0 0 0 40209 9 0 0 18 0 2 0 359331364 38621184 8588 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 9429 8588 218 20 0 8787 0
[pid=20411/tid=20413] ppid=20409 vsize=37716 CPUtime=402.17
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 13803 0 0 0 40208 9 0 0 25 0 2 0 359331365 38621184 8588 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 37716
[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1808144/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=38016 CPUtime=462.16
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 14964 0 0 0 46206 10 0 0 18 0 2 0 359331364 38928384 8662 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 9504 8662 218 20 0 8862 0
[pid=20411/tid=20413] ppid=20409 vsize=38016 CPUtime=462.15
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 14603 0 0 0 46205 10 0 0 25 0 2 0 359331365 38928384 8662 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 38016
[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1807376/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=39032 CPUtime=522.15
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 16131 0 0 0 52204 11 0 0 18 0 2 0 359331364 39968768 8896 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 9758 8896 218 20 0 9116 0
[pid=20411/tid=20413] ppid=20409 vsize=39032 CPUtime=522.14
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 15770 0 0 0 52203 11 0 0 25 0 2 0 359331365 39968768 8896 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 39032
[startup+582.303 s]
/proc/loadavg: 0.99 0.99 0.99 3/79 20415
/proc/meminfo: memFree=1806736/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=39604 CPUtime=582.13
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 17062 0 0 0 58201 12 0 0 18 0 2 0 359331364 40554496 9061 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 9901 9061 218 20 0 9259 0
[pid=20411/tid=20413] ppid=20409 vsize=39604 CPUtime=582.12
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 16701 0 0 0 58200 12 0 0 25 0 2 0 359331365 40554496 9061 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 39604
[startup+642.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1806096/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=40056 CPUtime=642.12
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 17847 0 0 0 64199 13 0 0 18 0 2 0 359331364 41017344 9164 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 10014 9164 218 20 0 9372 0
[pid=20411/tid=20413] ppid=20409 vsize=40056 CPUtime=642.11
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 17486 0 0 0 64198 13 0 0 25 0 2 0 359331365 41017344 9164 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 40056
[startup+702.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1805520/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=41568 CPUtime=702.1
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 18752 0 0 0 70196 14 0 0 18 0 2 0 359331364 42565632 9378 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 10392 9378 218 20 0 9750 0
[pid=20411/tid=20413] ppid=20409 vsize=41568 CPUtime=702.1
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 18391 0 0 0 70196 14 0 0 25 0 2 0 359331365 42565632 9378 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 41568
[startup+762.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1804688/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=42144 CPUtime=762.1
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 19608 0 0 0 76195 15 0 0 18 0 2 0 359331364 43155456 9533 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 10536 9533 218 20 0 9894 0
[pid=20411/tid=20413] ppid=20409 vsize=42144 CPUtime=762.08
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 19247 0 0 0 76194 14 0 0 25 0 2 0 359331365 43155456 9533 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 42144
[startup+822.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1804176/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=42604 CPUtime=822.08
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 20434 0 0 0 82192 16 0 0 18 0 2 0 359331364 43626496 9649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 10651 9649 218 20 0 10009 0
[pid=20411/tid=20413] ppid=20409 vsize=42604 CPUtime=822.07
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 20073 0 0 0 82191 16 0 0 25 0 2 0 359331365 43626496 9649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 42604
[startup+882.303 s]
/proc/loadavg: 0.99 0.99 0.99 3/79 20415
/proc/meminfo: memFree=1803984/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=42736 CPUtime=882.05
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 21213 0 0 0 88189 16 0 0 18 0 2 0 359331364 43761664 9710 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 10684 9710 218 20 0 10042 0
[pid=20411/tid=20413] ppid=20409 vsize=42736 CPUtime=882.04
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 20852 0 0 0 88188 16 0 0 25 0 2 0 359331365 43761664 9710 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 42736
[startup+942.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1803664/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=42948 CPUtime=942.04
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 22116 0 0 0 94187 17 0 0 18 0 2 0 359331364 43978752 9781 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 10737 9781 218 20 0 10095 0
[pid=20411/tid=20413] ppid=20409 vsize=42948 CPUtime=942.03
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 21755 0 0 0 94186 17 0 0 25 0 2 0 359331365 43978752 9781 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 42948
[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1803408/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=43272 CPUtime=1002.02
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 22805 0 0 0 100184 18 0 0 18 0 2 0 359331364 44310528 9838 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 10818 9838 218 20 0 10176 0
[pid=20411/tid=20413] ppid=20409 vsize=43272 CPUtime=1002.02
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 22444 0 0 0 100184 18 0 0 25 0 2 0 359331365 44310528 9838 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 43272
[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1803216/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=43412 CPUtime=1062.01
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 23593 0 0 0 106182 19 0 0 18 0 2 0 359331364 44453888 9881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 10853 9881 218 20 0 10211 0
[pid=20411/tid=20413] ppid=20409 vsize=43412 CPUtime=1061.99
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 23232 0 0 0 106181 18 0 0 25 0 2 0 359331365 44453888 9881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 43412
[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1803216/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=43412 CPUtime=1122
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 24355 0 0 0 112180 20 0 0 18 0 2 0 359331364 44453888 9891 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 10853 9891 218 20 0 10211 0
[pid=20411/tid=20413] ppid=20409 vsize=43412 CPUtime=1121.98
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 23994 0 0 0 112179 19 0 0 25 0 2 0 359331365 44453888 9891 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 43412
[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1802640/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=43868 CPUtime=1181.98
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 25136 0 0 0 118177 21 0 0 18 0 2 0 359331364 44920832 10022 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 10967 10022 218 20 0 10325 0
[pid=20411/tid=20413] ppid=20409 vsize=43868 CPUtime=1181.96
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 24775 0 0 0 118176 20 0 0 25 0 2 0 359331365 44920832 10022 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 43868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 20415
/proc/meminfo: memFree=1802640/2055920 swapFree=4145492/4192956
[pid=20411] ppid=20409 vsize=43868 CPUtime=1200.08
/proc/20411/stat : 20411 (MiraXTv1_dyn) S 20409 20411 19973 0 -1 4194304 25359 0 0 0 119987 21 0 0 18 0 2 0 359331364 44920832 10027 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20411/statm: 10967 10027 218 20 0 10325 0
[pid=20411/tid=20413] ppid=20409 vsize=43868 CPUtime=1200.07
/proc/20411/task/20413/stat : 20413 (MiraXTv1_dyn) R 20409 20411 19973 0 -1 4194368 24998 0 0 0 119986 21 0 0 25 0 2 0 359331365 44920832 10027 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 43868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.42
CPU time (s): 1200.1
CPU user time (s): 1199.88
CPU system time (s): 0.219966
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 43868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.88
system time used= 0.219966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25359
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= 1513
runsolver used 1.22781 second user time and 3.14552 second system time
The end
Begin job on node9 on Thu May 10 21:35:38 UTC 2007
IDJOB= 299202
IDBENCH= 20004
IDSOLVER= 130
FILE ID= node9/299202-1178832938
PBS_JOBID= 5250985
Free space on /tmp= 66557 MiB
SOLVER NAME= MiraXT v1
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v600/unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/299202-1178832938/MiraXTv1_dyn /tmp/evaluation/299202-1178832938/instance-299202-1178832938.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-299202-1178832938 -o ROOT/results/node9/solver-299202-1178832938 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/299202-1178832938/MiraXTv1_dyn /tmp/evaluation/299202-1178832938/instance-299202-1178832938.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= d80e4c0ebc99a45911a06aa336c2bf12
RANDOM SEED= 590394651
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node9.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.221
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.221
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: 1842744 kB
Buffers: 39024 kB
Cached: 95020 kB
SwapCached: 15556 kB
Active: 91892 kB
Inactive: 65588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1842744 kB
SwapTotal: 4192956 kB
SwapFree: 4145492 kB
Dirty: 3956 kB
Writeback: 0 kB
Mapped: 29952 kB
Slab: 41224 kB
Committed_AS: 8915848 kB
PageTables: 1784 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= 66557 MiB
End job on node9 on Thu May 10 21:55:41 UTC 2007