runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-304901-1178853561 -o ROOT/results/node4/solver-304901-1178853561 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/304901-1178853561/MiraXTv1_dyn /tmp/evaluation/304901-1178853561/instance-304901-1178853561.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.91 0.95 0.98 3/77 16331
/proc/meminfo: memFree=1806360/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=3788 CPUtime=0
/proc/16331/stat : 16331 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 361393872 3878912 323 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/16331/statm: 947 326 206 20 0 305 0
[startup+0.045592 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 16331
/proc/meminfo: memFree=1806360/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=4780 CPUtime=0.03
/proc/16331/stat : 16331 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194304 622 0 0 0 3 0 0 0 18 0 1 0 361393872 4894720 597 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 1 0 0
/proc/16331/statm: 1195 597 207 20 0 553 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4780
[startup+0.101597 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 16331
/proc/meminfo: memFree=1806360/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=4780 CPUtime=0.09
/proc/16331/stat : 16331 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 361393872 4894720 597 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583719 0 0 4096 0 0 0 0 17 1 0 0
/proc/16331/statm: 1195 597 207 20 0 553 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4780
[startup+0.301616 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 16331
/proc/meminfo: memFree=1806360/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=7336 CPUtime=0.29
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 914 0 0 0 29 0 0 0 19 0 2 0 361393872 7512064 889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 1834 889 218 20 0 1192 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7336
[startup+0.701654 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 16331
/proc/meminfo: memFree=1806360/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=8604 CPUtime=0.69
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 1295 0 0 0 68 1 0 0 19 0 2 0 361393872 8810496 1270 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 2151 1271 218 20 0 1509 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8604
[startup+1.50273 s]
/proc/loadavg: 0.91 0.95 0.98 2/79 16333
/proc/meminfo: memFree=1800968/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=11364 CPUtime=1.49
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 1873 0 0 0 148 1 0 0 19 0 2 0 361393872 11636736 1848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 2841 1848 218 20 0 2199 0
[pid=16331/tid=16333] ppid=16329 vsize=11364 CPUtime=1.19
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 1181 0 0 0 119 0 0 0 25 0 2 0 361393901 11636736 1848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11364
[startup+3.10189 s]
/proc/loadavg: 0.91 0.95 0.98 2/79 16333
/proc/meminfo: memFree=1798280/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=15320 CPUtime=3.09
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 2892 0 0 0 308 1 0 0 19 0 2 0 361393872 15687680 2867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 3830 2867 218 20 0 3188 0
[pid=16331/tid=16333] ppid=16329 vsize=15320 CPUtime=2.8
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 2200 0 0 0 279 1 0 0 25 0 2 0 361393901 15687680 2867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11023995 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15320
[startup+6.30119 s]
/proc/loadavg: 0.92 0.95 0.98 2/79 16333
/proc/meminfo: memFree=1793096/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=17616 CPUtime=6.28
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 3604 0 0 0 627 1 0 0 19 0 2 0 361393872 18038784 3505 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 4404 3505 218 20 0 3762 0
[pid=16331/tid=16333] ppid=16329 vsize=17616 CPUtime=5.99
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 2912 0 0 0 598 1 0 0 25 0 2 0 361393901 18038784 3505 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11023995 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17616
[startup+12.7018 s]
/proc/loadavg: 0.93 0.95 0.98 2/79 16333
/proc/meminfo: memFree=1785160/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=24840 CPUtime=12.69
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 5560 0 0 0 1267 2 0 0 19 0 2 0 361393872 25436160 5366 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 6210 5366 218 20 0 5568 0
[pid=16331/tid=16333] ppid=16329 vsize=24840 CPUtime=12.39
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 4868 0 0 0 1238 1 0 0 25 0 2 0 361393901 25436160 5366 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24840
[startup+25.501 s]
/proc/loadavg: 0.94 0.96 0.98 2/79 16333
/proc/meminfo: memFree=1780680/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=29268 CPUtime=25.48
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 6989 0 0 0 2545 3 0 0 19 0 2 0 361393872 29970432 6503 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 7317 6503 218 20 0 6675 0
[pid=16331/tid=16333] ppid=16329 vsize=29268 CPUtime=25.19
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 6297 0 0 0 2516 3 0 0 25 0 2 0 361393901 29970432 6503 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29268
[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.98 2/79 16333
/proc/meminfo: memFree=1777096/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=32928 CPUtime=51.07
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 8373 0 0 0 5103 4 0 0 19 0 2 0 361393872 33718272 7440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 8232 7440 218 20 0 7590 0
[pid=16331/tid=16333] ppid=16329 vsize=32928 CPUtime=50.78
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 7681 0 0 0 5074 4 0 0 25 0 2 0 361393901 33718272 7440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32928
[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.98 2/79 16333
/proc/meminfo: memFree=1775240/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=34836 CPUtime=102.27
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 9705 0 0 0 10221 6 0 0 19 0 2 0 361393872 35672064 7927 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 8709 7927 218 20 0 8067 0
[pid=16331/tid=16333] ppid=16329 vsize=34836 CPUtime=101.97
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 9013 0 0 0 10192 5 0 0 25 0 2 0 361393901 35672064 7927 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530009 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34836
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1773768/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=36208 CPUtime=162.24
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 11140 0 0 0 16218 6 0 0 19 0 2 0 361393872 37076992 8257 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 9052 8257 218 20 0 8410 0
[pid=16331/tid=16333] ppid=16329 vsize=36208 CPUtime=161.95
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 10448 0 0 0 16189 6 0 0 25 0 2 0 361393901 37076992 8257 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11022687 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 36208
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1772360/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=37664 CPUtime=222.22
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 12403 0 0 0 22215 7 0 0 19 0 2 0 361393872 38567936 8610 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 9416 8610 218 20 0 8774 0
[pid=16331/tid=16333] ppid=16329 vsize=37664 CPUtime=221.94
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 11711 0 0 0 22187 7 0 0 25 0 2 0 361393901 38567936 8610 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 37664
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1771080/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=38920 CPUtime=282.21
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 13623 0 0 0 28213 8 0 0 19 0 2 0 361393872 39854080 8920 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 9730 8920 218 20 0 9088 0
[pid=16331/tid=16333] ppid=16329 vsize=38920 CPUtime=281.92
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 12931 0 0 0 28184 8 0 0 25 0 2 0 361393901 39854080 8920 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 38920
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1770376/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=39648 CPUtime=342.2
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 14836 0 0 0 34210 10 0 0 19 0 2 0 361393872 40599552 9093 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 9912 9093 218 20 0 9270 0
[pid=16331/tid=16333] ppid=16329 vsize=39648 CPUtime=341.9
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 14144 0 0 0 34181 9 0 0 25 0 2 0 361393901 40599552 9093 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526356 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 39648
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1769416/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=40752 CPUtime=402.18
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 15998 0 0 0 40207 11 0 0 19 0 2 0 361393872 41730048 9345 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 10188 9345 218 20 0 9546 0
[pid=16331/tid=16333] ppid=16329 vsize=40752 CPUtime=401.88
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 15306 0 0 0 40178 10 0 0 25 0 2 0 361393901 41730048 9345 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 40752
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1768520/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=41748 CPUtime=462.16
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 17136 0 0 0 46204 12 0 0 19 0 2 0 361393872 42749952 9573 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 10437 9573 218 20 0 9795 0
[pid=16331/tid=16333] ppid=16329 vsize=41748 CPUtime=461.87
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 16444 0 0 0 46175 12 0 0 25 0 2 0 361393901 42749952 9573 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) 41748
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1767752/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=42408 CPUtime=522.15
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 18157 0 0 0 52202 13 0 0 19 0 2 0 361393872 43425792 9744 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 10602 9744 218 20 0 9960 0
[pid=16331/tid=16333] ppid=16329 vsize=42408 CPUtime=521.86
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 17465 0 0 0 52173 13 0 0 25 0 2 0 361393901 43425792 9744 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 42408
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1767304/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=42868 CPUtime=582.13
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 19105 0 0 0 58199 14 0 0 19 0 2 0 361393872 43896832 9845 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 10717 9845 218 20 0 10075 0
[pid=16331/tid=16333] ppid=16329 vsize=42868 CPUtime=581.83
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 18413 0 0 0 58170 13 0 0 25 0 2 0 361393901 43896832 9845 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) 42868
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1766792/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=43488 CPUtime=642.12
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 20026 0 0 0 64197 15 0 0 19 0 2 0 361393872 44531712 9985 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 10872 9985 218 20 0 10230 0
[pid=16331/tid=16333] ppid=16329 vsize=43488 CPUtime=641.82
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 19334 0 0 0 64168 14 0 0 25 0 2 0 361393901 44531712 9985 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 43488
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1766536/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=43620 CPUtime=702.1
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 20994 0 0 0 70194 16 0 0 19 0 2 0 361393872 44666880 10043 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 10905 10043 218 20 0 10263 0
[pid=16331/tid=16333] ppid=16329 vsize=43620 CPUtime=701.8
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 20302 0 0 0 70165 15 0 0 25 0 2 0 361393901 44666880 10043 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 43620
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1766216/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=43952 CPUtime=762.08
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 22126 0 0 0 76191 17 0 0 19 0 2 0 361393872 45006848 10128 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 10988 10128 218 20 0 10346 0
[pid=16331/tid=16333] ppid=16329 vsize=43952 CPUtime=761.8
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 21434 0 0 0 76163 17 0 0 25 0 2 0 361393901 45006848 10128 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 43952
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1765960/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=44304 CPUtime=822.06
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 23062 0 0 0 82188 18 0 0 19 0 2 0 361393872 45367296 10206 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 11076 10206 218 20 0 10434 0
[pid=16331/tid=16333] ppid=16329 vsize=44304 CPUtime=821.78
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 22370 0 0 0 82160 18 0 0 25 0 2 0 361393901 45367296 10206 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 44304
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1765512/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=44800 CPUtime=882.05
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 24031 0 0 0 88186 19 0 0 19 0 2 0 361393872 45875200 10323 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 11200 10323 218 20 0 10558 0
[pid=16331/tid=16333] ppid=16329 vsize=44800 CPUtime=881.75
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 23339 0 0 0 88157 18 0 0 25 0 2 0 361393901 45875200 10323 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 44800
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16333
/proc/meminfo: memFree=1765256/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=44964 CPUtime=942.04
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 24929 0 0 0 94183 21 0 0 19 0 2 0 361393872 46043136 10369 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 11241 10369 218 20 0 10599 0
[pid=16331/tid=16333] ppid=16329 vsize=44964 CPUtime=941.74
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 24237 0 0 0 94154 20 0 0 25 0 2 0 361393901 46043136 10369 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 44964
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16335
/proc/meminfo: memFree=1765192/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=45172 CPUtime=1002.02
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 25829 0 0 0 100180 22 0 0 19 0 2 0 361393872 46256128 10415 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 11293 10415 218 20 0 10651 0
[pid=16331/tid=16333] ppid=16329 vsize=45172 CPUtime=1001.72
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 25137 0 0 0 100151 21 0 0 25 0 2 0 361393901 46256128 10415 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) 45172
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16335
/proc/meminfo: memFree=1764680/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=45696 CPUtime=1062
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 26808 0 0 0 106177 23 0 0 19 0 2 0 361393872 46792704 10541 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 11424 10541 218 20 0 10782 0
[pid=16331/tid=16333] ppid=16329 vsize=45696 CPUtime=1061.7
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 26116 0 0 0 106148 22 0 0 25 0 2 0 361393901 46792704 10541 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 45696
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16335
/proc/meminfo: memFree=1764488/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=45916 CPUtime=1121.99
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 27707 0 0 0 112175 24 0 0 19 0 2 0 361393872 47017984 10583 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 11479 10583 218 20 0 10837 0
[pid=16331/tid=16333] ppid=16329 vsize=45916 CPUtime=1121.69
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 27015 0 0 0 112146 23 0 0 25 0 2 0 361393901 47017984 10583 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 45916
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16335
/proc/meminfo: memFree=1764296/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=46084 CPUtime=1181.97
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 28542 0 0 0 118172 25 0 0 19 0 2 0 361393872 47190016 10628 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 11521 10628 218 20 0 10879 0
[pid=16331/tid=16333] ppid=16329 vsize=46084 CPUtime=1181.67
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 27850 0 0 0 118143 24 0 0 25 0 2 0 361393901 47190016 10628 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 46084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 16335
/proc/meminfo: memFree=1764168/2055920 swapFree=4141212/4192956
[pid=16331] ppid=16329 vsize=46292 CPUtime=1200.06
/proc/16331/stat : 16331 (MiraXTv1_dyn) S 16329 16331 14645 0 -1 4194304 28829 0 0 0 119981 25 0 0 19 0 2 0 361393872 47403008 10651 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16331/statm: 11573 10651 218 20 0 10931 0
[pid=16331/tid=16333] ppid=16329 vsize=46292 CPUtime=1199.77
/proc/16331/task/16333/stat : 16333 (MiraXTv1_dyn) R 16329 16331 14645 0 -1 4194368 28137 0 0 0 119953 24 0 0 25 0 2 0 361393901 47403008 10651 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 46292
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.09
CPU user time (s): 1199.82
CPU system time (s): 0.26296
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 46292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.82
system time used= 0.26296
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28829
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= 2428
runsolver used 1.24581 second user time and 3.12752 second system time
The end
Begin job on node4 on Fri May 11 03:19:21 UTC 2007
IDJOB= 304901
IDBENCH= 20143
IDSOLVER= 130
FILE ID= node4/304901-1178853561
PBS_JOBID= 5251007
Free space on /tmp= 66560 MiB
SOLVER NAME= MiraXT v1
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v140/unif-k7-r85-v140-c11900-S1426208256-08.cnf
COMMAND LINE= /tmp/evaluation/304901-1178853561/MiraXTv1_dyn /tmp/evaluation/304901-1178853561/instance-304901-1178853561.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-304901-1178853561 -o ROOT/results/node4/solver-304901-1178853561 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/304901-1178853561/MiraXTv1_dyn /tmp/evaluation/304901-1178853561/instance-304901-1178853561.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 32c7108510845a898764d9e87c0505ce
RANDOM SEED= 589036340
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node4.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.218
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 : 5931.00
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.218
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: 1806704 kB
Buffers: 45696 kB
Cached: 117264 kB
SwapCached: 15676 kB
Active: 109104 kB
Inactive: 77444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1806704 kB
SwapTotal: 4192956 kB
SwapFree: 4141212 kB
Dirty: 4308 kB
Writeback: 0 kB
Mapped: 30028 kB
Slab: 48164 kB
Committed_AS: 9894956 kB
PageTables: 1816 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= 66560 MiB
End job on node4 on Fri May 11 03:39:24 UTC 2007