runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-310149-1178871047 -o ROOT/results/node4/solver-310149-1178871047 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/310149-1178871047/MiraXTv1_dyn /tmp/evaluation/310149-1178871047/instance-310149-1178871047.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.85 0.97 0.99 3/77 18299
/proc/meminfo: memFree=1798680/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=3788 CPUtime=0
/proc/18299/stat : 18299 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 363142418 3878912 279 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/18299/statm: 947 282 206 20 0 305 0
[startup+0.10138 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 18299
/proc/meminfo: memFree=1798680/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=5424 CPUtime=0.09
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 589 0 0 0 9 0 0 0 18 0 2 0 363142418 5554176 564 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 1356 564 218 20 0 714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5424
[startup+0.201389 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 18299
/proc/meminfo: memFree=1798680/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=5688 CPUtime=0.19
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 687 0 0 0 19 0 0 0 18 0 2 0 363142418 5824512 662 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 1422 662 218 20 0 780 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5688
[startup+0.301399 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 18299
/proc/meminfo: memFree=1798680/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=6908 CPUtime=0.29
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 780 0 0 0 29 0 0 0 18 0 2 0 363142418 7073792 755 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 1727 764 219 20 0 1085 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6908
[startup+0.701436 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 18299
/proc/meminfo: memFree=1798680/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=7924 CPUtime=0.69
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 1099 0 0 0 69 0 0 0 18 0 2 0 363142418 8114176 1074 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 1981 1074 218 20 0 1339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7924
[startup+1.50151 s]
/proc/loadavg: 0.85 0.97 0.99 2/79 18301
/proc/meminfo: memFree=1794248/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=9780 CPUtime=1.49
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 1593 0 0 0 149 0 0 0 18 0 2 0 363142418 10014720 1568 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 2445 1568 218 20 0 1803 0
[pid=18299/tid=18301] ppid=18297 vsize=9780 CPUtime=1.47
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 1174 0 0 0 147 0 0 0 25 0 2 0 363142419 10014720 1568 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9780
[startup+3.10167 s]
/proc/loadavg: 0.85 0.97 0.99 2/79 18301
/proc/meminfo: memFree=1792904/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=11852 CPUtime=3.09
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 2146 0 0 0 309 0 0 0 18 0 2 0 363142418 12136448 2121 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 2963 2121 218 20 0 2321 0
[pid=18299/tid=18301] ppid=18297 vsize=11852 CPUtime=3.07
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 1727 0 0 0 307 0 0 0 25 0 2 0 363142419 12136448 2121 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11852
[startup+6.30197 s]
/proc/loadavg: 0.94 0.98 0.99 2/79 18301
/proc/meminfo: memFree=1786632/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=16276 CPUtime=6.29
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 3302 0 0 0 628 1 0 0 18 0 2 0 363142418 16666624 3241 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 4069 3241 218 20 0 3427 0
[pid=18299/tid=18301] ppid=18297 vsize=16276 CPUtime=6.27
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 2883 0 0 0 626 1 0 0 25 0 2 0 363142419 16666624 3241 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16276
[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/79 18301
/proc/meminfo: memFree=1781704/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=21640 CPUtime=12.69
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 4718 0 0 0 1267 2 0 0 18 0 2 0 363142418 22159360 4572 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 5410 4572 218 20 0 4768 0
[pid=18299/tid=18301] ppid=18297 vsize=21640 CPUtime=12.67
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 4299 0 0 0 1265 2 0 0 25 0 2 0 363142419 22159360 4572 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11023995 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21640
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/79 18301
/proc/meminfo: memFree=1775432/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=27352 CPUtime=25.49
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 6321 0 0 0 2545 4 0 0 18 0 2 0 363142418 28008448 6008 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 6838 6008 218 20 0 6196 0
[pid=18299/tid=18301] ppid=18297 vsize=27352 CPUtime=25.46
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 5902 0 0 0 2543 3 0 0 25 0 2 0 363142419 28008448 6008 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27352
[startup+51.1013 s]
/proc/loadavg: 0.97 0.98 0.99 2/79 18301
/proc/meminfo: memFree=1769928/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=32248 CPUtime=51.08
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 7951 0 0 0 5103 5 0 0 18 0 2 0 363142418 33021952 7311 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 8062 7311 218 20 0 7420 0
[pid=18299/tid=18301] ppid=18297 vsize=32248 CPUtime=51.06
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 7532 0 0 0 5101 5 0 0 25 0 2 0 363142419 33021952 7311 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526512 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32248
[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/79 18301
/proc/meminfo: memFree=1765704/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=36628 CPUtime=102.27
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 9640 0 0 0 10220 7 0 0 18 0 2 0 363142418 37507072 8356 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 9157 8356 218 20 0 8515 0
[pid=18299/tid=18301] ppid=18297 vsize=36628 CPUtime=102.25
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 9221 0 0 0 10218 7 0 0 25 0 2 0 363142419 37507072 8356 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36628
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 18301
/proc/meminfo: memFree=1764872/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=37772 CPUtime=162.25
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 10649 0 0 0 16217 8 0 0 18 0 2 0 363142418 38678528 8611 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 9443 8611 218 20 0 8801 0
[pid=18299/tid=18301] ppid=18297 vsize=37772 CPUtime=162.23
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 10230 0 0 0 16215 8 0 0 25 0 2 0 363142419 38678528 8611 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37772
[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 18301
/proc/meminfo: memFree=1761992/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=40348 CPUtime=222.23
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 11944 0 0 0 22214 9 0 0 18 0 2 0 363142418 41316352 9281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 10087 9281 218 20 0 9445 0
[pid=18299/tid=18301] ppid=18297 vsize=40348 CPUtime=222.22
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 11525 0 0 0 22213 9 0 0 25 0 2 0 363142419 41316352 9281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 40348
[startup+282.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1761672/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=40624 CPUtime=282.21
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 12835 0 0 0 28211 10 0 0 18 0 2 0 363142418 41598976 9366 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 10156 9366 218 20 0 9514 0
[pid=18299/tid=18301] ppid=18297 vsize=40624 CPUtime=282.2
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 12416 0 0 0 28210 10 0 0 25 0 2 0 363142419 41598976 9366 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 40624
[startup+342.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1759816/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=42404 CPUtime=342.19
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 14056 0 0 0 34208 11 0 0 18 0 2 0 363142418 43421696 9838 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 10601 9838 218 20 0 9959 0
[pid=18299/tid=18301] ppid=18297 vsize=42404 CPUtime=342.18
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 13637 0 0 0 34207 11 0 0 25 0 2 0 363142419 43421696 9838 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 42404
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1757640/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=44612 CPUtime=402.18
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 15101 0 0 0 40206 12 0 0 18 0 2 0 363142418 45682688 10374 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 11153 10374 218 20 0 10511 0
[pid=18299/tid=18301] ppid=18297 vsize=44612 CPUtime=402.16
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 14682 0 0 0 40204 12 0 0 25 0 2 0 363142419 45682688 10374 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 44612
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1757256/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=44928 CPUtime=462.16
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 15797 0 0 0 46203 13 0 0 18 0 2 0 363142418 46006272 10465 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 11232 10465 218 20 0 10590 0
[pid=18299/tid=18301] ppid=18297 vsize=44928 CPUtime=462.15
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 15378 0 0 0 46202 13 0 0 25 0 2 0 363142419 46006272 10465 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) 44928
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1757064/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=45080 CPUtime=522.15
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 16550 0 0 0 52201 14 0 0 18 0 2 0 363142418 46161920 10515 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 11270 10515 218 20 0 10628 0
[pid=18299/tid=18301] ppid=18297 vsize=45080 CPUtime=522.13
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 16131 0 0 0 52199 14 0 0 25 0 2 0 363142419 46161920 10515 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 45080
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1756936/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=45452 CPUtime=582.13
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 17298 0 0 0 58198 15 0 0 18 0 2 0 363142418 46542848 10544 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 11363 10544 218 20 0 10721 0
[pid=18299/tid=18301] ppid=18297 vsize=45452 CPUtime=582.12
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 16879 0 0 0 58197 15 0 0 25 0 2 0 363142419 46542848 10544 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 45452
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1756744/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=45744 CPUtime=642.12
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 18018 0 0 0 64196 16 0 0 18 0 2 0 363142418 46841856 10623 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 11436 10623 218 20 0 10794 0
[pid=18299/tid=18301] ppid=18297 vsize=45744 CPUtime=642.1
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 17599 0 0 0 64195 15 0 0 25 0 2 0 363142419 46841856 10623 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 45744
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1756168/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=46444 CPUtime=702.1
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 18803 0 0 0 70194 16 0 0 18 0 2 0 363142418 47558656 10754 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 11611 10754 218 20 0 10969 0
[pid=18299/tid=18301] ppid=18297 vsize=46444 CPUtime=702.08
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 18384 0 0 0 70192 16 0 0 25 0 2 0 363142419 47558656 10754 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) 46444
[startup+762.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1755912/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=46612 CPUtime=762.09
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 19512 0 0 0 76192 17 0 0 18 0 2 0 363142418 47730688 10801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 11653 10801 218 20 0 11011 0
[pid=18299/tid=18301] ppid=18297 vsize=46612 CPUtime=762.07
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 19093 0 0 0 76190 17 0 0 25 0 2 0 363142419 47730688 10801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 46612
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1755208/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=47300 CPUtime=822.07
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 20267 0 0 0 82189 18 0 0 18 0 2 0 363142418 48435200 10981 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 11825 10981 218 20 0 11183 0
[pid=18299/tid=18301] ppid=18297 vsize=47300 CPUtime=822.04
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 19848 0 0 0 82187 17 0 0 25 0 2 0 363142419 48435200 10981 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 47300
[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1754760/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=47852 CPUtime=882.05
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 20991 0 0 0 88187 18 0 0 18 0 2 0 363142418 49000448 11123 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 11963 11123 218 20 0 11321 0
[pid=18299/tid=18301] ppid=18297 vsize=47852 CPUtime=882.03
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 20572 0 0 0 88185 18 0 0 25 0 2 0 363142419 49000448 11123 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134522018 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 47852
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1752840/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=49540 CPUtime=942.03
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 22010 0 0 0 94184 19 0 0 18 0 2 0 363142418 50728960 11553 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 12385 11553 218 20 0 11743 0
[pid=18299/tid=18301] ppid=18297 vsize=49540 CPUtime=942.02
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 21591 0 0 0 94183 19 0 0 25 0 2 0 363142419 50728960 11553 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 49540
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1752520/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=49988 CPUtime=1002.02
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 22604 0 0 0 100182 20 0 0 18 0 2 0 363142418 51187712 11652 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 12497 11652 218 20 0 11855 0
[pid=18299/tid=18301] ppid=18297 vsize=49988 CPUtime=1002
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 22185 0 0 0 100181 19 0 0 25 0 2 0 363142419 51187712 11652 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 49988
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1752072/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=50412 CPUtime=1062
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 23314 0 0 0 106179 21 0 0 18 0 2 0 363142418 51621888 11763 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 12603 11763 218 20 0 11961 0
[pid=18299/tid=18301] ppid=18297 vsize=50412 CPUtime=1061.98
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 22895 0 0 0 106178 20 0 0 25 0 2 0 363142419 51621888 11763 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 50412
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1751688/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=51348 CPUtime=1121.98
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 24024 0 0 0 112177 21 0 0 18 0 2 0 363142418 52580352 11870 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 12837 11870 218 20 0 12195 0
[pid=18299/tid=18301] ppid=18297 vsize=51348 CPUtime=1121.97
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 23605 0 0 0 112176 21 0 0 25 0 2 0 363142419 52580352 11870 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521333 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 51348
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1751368/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=51688 CPUtime=1181.97
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 24696 0 0 0 118175 22 0 0 18 0 2 0 363142418 52928512 11934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 12922 11934 218 20 0 12280 0
[pid=18299/tid=18301] ppid=18297 vsize=51688 CPUtime=1181.95
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 24277 0 0 0 118174 21 0 0 25 0 2 0 363142419 52928512 11934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 51688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1751304/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=51840 CPUtime=1200.07
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 24837 0 0 0 119985 22 0 0 18 0 2 0 363142418 53084160 11973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 12960 11973 218 20 0 12318 0
[pid=18299/tid=18301] ppid=18297 vsize=51840 CPUtime=1200.05
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 24418 0 0 0 119983 22 0 0 25 0 2 0 363142419 53084160 11973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 51840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18301
/proc/meminfo: memFree=1751304/2055920 swapFree=4141212/4192956
[pid=18299] ppid=18297 vsize=51840 CPUtime=1200.07
/proc/18299/stat : 18299 (MiraXTv1_dyn) S 18297 18299 18227 0 -1 4194304 24837 0 0 0 119985 22 0 0 18 0 2 0 363142418 53084160 11973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18299/statm: 12960 11973 218 20 0 12318 0
[pid=18299/tid=18301] ppid=18297 vsize=51840 CPUtime=1200.05
/proc/18299/task/18301/stat : 18301 (MiraXTv1_dyn) R 18297 18299 18227 0 -1 4194368 24418 0 0 0 119983 22 0 0 25 0 2 0 363142419 53084160 11973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 51840
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.42
CPU time (s): 1200.09
CPU user time (s): 1199.86
CPU system time (s): 0.231964
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 51840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.231964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24837
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= 25611
runsolver used 1.24081 second user time and 3.13352 second system time
The end
Begin job on node4 on Fri May 11 08:10:47 UTC 2007
IDJOB= 310149
IDBENCH= 20279
IDSOLVER= 130
FILE ID= node4/310149-1178871047
PBS_JOBID= 5251054
Free space on /tmp= 66561 MiB
SOLVER NAME= MiraXT v1
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v1170/unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf
COMMAND LINE= /tmp/evaluation/310149-1178871047/MiraXTv1_dyn /tmp/evaluation/310149-1178871047/instance-310149-1178871047.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-310149-1178871047 -o ROOT/results/node4/solver-310149-1178871047 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/310149-1178871047/MiraXTv1_dyn /tmp/evaluation/310149-1178871047/instance-310149-1178871047.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 08c9dc3eb03c6eeaa15210bb25b83d4d
RANDOM SEED= 343154818
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: 1799088 kB
Buffers: 46068 kB
Cached: 124644 kB
SwapCached: 15676 kB
Active: 109172 kB
Inactive: 84896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1799088 kB
SwapTotal: 4192956 kB
SwapFree: 4141212 kB
Dirty: 4156 kB
Writeback: 0 kB
Mapped: 29756 kB
Slab: 48272 kB
Committed_AS: 9911384 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= 66561 MiB
End job on node4 on Fri May 11 08:30:49 UTC 2007