runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-329934-1178890828 -o ROOT/results/node12/solver-329934-1178890828 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/329934-1178890828/MiraXTv1_dyn /tmp/evaluation/329934-1178890828/instance-329934-1178890828.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.97 0.99 3/77 10680
/proc/meminfo: memFree=1576488/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=3788 CPUtime=0
/proc/10680/stat : 10680 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194304 434 0 0 0 0 0 0 0 18 0 1 0 365120260 3878912 409 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/10680/statm: 947 417 202 20 0 305 0
[startup+0.063366 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 10680
/proc/meminfo: memFree=1576488/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=7648 CPUtime=0.05
/proc/10680/stat : 10680 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194304 1384 0 0 0 5 0 0 0 18 0 1 0 365120260 7831552 1359 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134571806 0 0 4096 0 0 0 0 17 0 0 0
/proc/10680/statm: 1912 1359 206 20 0 1270 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7648
[startup+0.101369 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 10680
/proc/meminfo: memFree=1576488/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=9856 CPUtime=0.09
/proc/10680/stat : 10680 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194304 1958 0 0 0 8 1 0 0 18 0 1 0 365120260 10092544 1933 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10131067 0 0 4096 0 0 0 0 17 0 0 0
/proc/10680/statm: 2464 1933 206 20 0 1822 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9856
[startup+0.301389 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 10680
/proc/meminfo: memFree=1576488/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=23636 CPUtime=0.29
/proc/10680/stat : 10680 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194304 5041 0 0 0 27 2 0 0 19 0 1 0 365120260 24203264 5016 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134579267 0 0 4096 0 0 0 0 17 0 0 0
/proc/10680/statm: 5909 5017 206 20 0 5267 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23636
[startup+0.70143 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 10680
/proc/meminfo: memFree=1576488/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=41492 CPUtime=0.69
/proc/10680/stat : 10680 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194304 9202 0 0 0 64 5 0 0 23 0 1 0 365120260 42487808 9177 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583890 0 0 4096 0 0 0 0 17 0 0 0
/proc/10680/statm: 10373 9177 207 20 0 9731 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41492
[startup+1.50151 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 10681
/proc/meminfo: memFree=1536800/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=56384 CPUtime=1.49
/proc/10680/stat : 10680 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194304 12777 0 0 0 142 7 0 0 25 0 1 0 365120260 57737216 12752 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10131013 0 0 4096 0 0 0 0 17 0 0 0
/proc/10680/statm: 14096 12753 207 20 0 13454 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56384
[startup+3.10167 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 10681
/proc/meminfo: memFree=1519520/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=102212 CPUtime=3.09
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 19696 0 0 0 299 10 0 0 25 0 2 0 365120260 104665088 17897 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 25553 17897 217 20 0 24911 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102212
[startup+6.30199 s]
/proc/loadavg: 0.92 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1504472/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=99468 CPUtime=6.29
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 19929 0 0 0 619 10 0 0 25 0 2 0 365120260 101855232 17373 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 24867 17373 218 20 0 24225 0
[pid=10680/tid=10682] ppid=10678 vsize=99468 CPUtime=3.43
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 4627 0 0 0 342 1 0 0 25 0 2 0 365120546 101855232 17373 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99468
[startup+12.7016 s]
/proc/loadavg: 0.93 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1507096/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=99468 CPUtime=12.68
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 20055 0 0 0 1258 10 0 0 25 0 2 0 365120260 101855232 17499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 24867 17499 218 20 0 24225 0
[pid=10680/tid=10682] ppid=10678 vsize=99468 CPUtime=9.82
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 4753 0 0 0 981 1 0 0 25 0 2 0 365120546 101855232 17499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 99468
[startup+25.5019 s]
/proc/loadavg: 0.94 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1498968/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=106732 CPUtime=25.49
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 22137 0 0 0 2537 12 0 0 25 0 2 0 365120260 109293568 19548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 26683 19548 218 20 0 26041 0
[pid=10680/tid=10682] ppid=10678 vsize=106732 CPUtime=22.62
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 6835 0 0 0 2260 2 0 0 25 0 2 0 365120546 109293568 19548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106732
[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1480088/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=124552 CPUtime=51.05
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 26961 0 0 0 5088 17 0 0 25 0 2 0 365120260 127541248 24204 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 31138 24204 218 20 0 30496 0
[pid=10680/tid=10682] ppid=10678 vsize=124552 CPUtime=48.18
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 11659 0 0 0 4811 7 0 0 25 0 2 0 365120546 127541248 24204 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 124552
[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1453592/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=150564 CPUtime=102.22
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 34007 0 0 0 10200 22 0 0 25 0 2 0 365120260 154177536 30864 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 37641 30864 218 20 0 36999 0
[pid=10680/tid=10682] ppid=10678 vsize=150564 CPUtime=99.36
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 18705 0 0 0 9923 13 0 0 25 0 2 0 365120546 154177536 30864 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 150564
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1435992/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=167472 CPUtime=162.19
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 38973 0 0 0 16193 26 0 0 25 0 2 0 365120260 171491328 35197 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 41868 35197 218 20 0 41226 0
[pid=10680/tid=10682] ppid=10678 vsize=167472 CPUtime=159.33
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 23671 0 0 0 15916 17 0 0 25 0 2 0 365120546 171491328 35197 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10131100 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 167472
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1424920/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=178468 CPUtime=222.15
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 42213 0 0 0 22186 29 0 0 25 0 2 0 365120260 182751232 37951 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 44617 37951 218 20 0 43975 0
[pid=10680/tid=10682] ppid=10678 vsize=178468 CPUtime=219.29
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 26911 0 0 0 21909 20 0 0 25 0 2 0 365120546 182751232 37951 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 178468
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1424856/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=178468 CPUtime=282.11
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 42852 0 0 0 28182 29 0 0 25 0 2 0 365120260 182751232 37985 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 44617 37985 218 20 0 43975 0
[pid=10680/tid=10682] ppid=10678 vsize=178468 CPUtime=279.25
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 27550 0 0 0 27905 20 0 0 25 0 2 0 365120546 182751232 37985 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 178468
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1424792/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=178468 CPUtime=342.09
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 43392 0 0 0 34179 30 0 0 25 0 2 0 365120260 182751232 38004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 44617 38004 218 20 0 43975 0
[pid=10680/tid=10682] ppid=10678 vsize=178468 CPUtime=339.23
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 28090 0 0 0 33902 21 0 0 25 0 2 0 365120546 182751232 38004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 178468
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1422296/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=180844 CPUtime=402.04
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 44552 0 0 0 40174 30 0 0 25 0 2 0 365120260 185184256 38631 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 45211 38631 218 20 0 44569 0
[pid=10680/tid=10682] ppid=10678 vsize=180844 CPUtime=399.18
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 29250 0 0 0 39897 21 0 0 25 0 2 0 365120546 185184256 38631 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 180844
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1413528/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=189576 CPUtime=462.01
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 47186 0 0 0 46169 32 0 0 25 0 2 0 365120260 194125824 40833 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 47394 40833 218 20 0 46752 0
[pid=10680/tid=10682] ppid=10678 vsize=189576 CPUtime=459.15
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 31884 0 0 0 45892 23 0 0 25 0 2 0 365120546 194125824 40833 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 189576
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1413336/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=189576 CPUtime=521.98
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 47757 0 0 0 52166 32 0 0 25 0 2 0 365120260 194125824 40855 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 47394 40855 218 20 0 46752 0
[pid=10680/tid=10682] ppid=10678 vsize=189576 CPUtime=519.12
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 32455 0 0 0 51889 23 0 0 25 0 2 0 365120546 194125824 40855 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134529049 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 189576
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1413208/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=189576 CPUtime=581.94
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 48329 0 0 0 58161 33 0 0 25 0 2 0 365120260 194125824 40866 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 47394 40866 218 20 0 46752 0
[pid=10680/tid=10682] ppid=10678 vsize=189576 CPUtime=579.08
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 33027 0 0 0 57884 24 0 0 25 0 2 0 365120546 194125824 40866 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 189576
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1401752/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=201068 CPUtime=641.91
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 51662 0 0 0 64156 35 0 0 25 0 2 0 365120260 205893632 43742 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 50267 43742 218 20 0 49625 0
[pid=10680/tid=10682] ppid=10678 vsize=201068 CPUtime=639.05
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 36360 0 0 0 63879 26 0 0 25 0 2 0 365120546 205893632 43742 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 201068
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1401752/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=201068 CPUtime=701.88
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 52010 0 0 0 70152 36 0 0 25 0 2 0 365120260 205893632 43745 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 50267 43745 218 20 0 49625 0
[pid=10680/tid=10682] ppid=10678 vsize=201068 CPUtime=699.02
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 36708 0 0 0 69875 27 0 0 25 0 2 0 365120546 205893632 43745 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) 201068
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1400088/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=203056 CPUtime=761.84
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 52970 0 0 0 76148 36 0 0 25 0 2 0 365120260 207929344 44242 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 50764 44242 218 20 0 50122 0
[pid=10680/tid=10682] ppid=10678 vsize=203056 CPUtime=758.98
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 37668 0 0 0 75871 27 0 0 25 0 2 0 365120546 207929344 44242 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 203056
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1360280/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=242544 CPUtime=821.8
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 63196 0 0 0 82138 42 0 0 25 0 2 0 365120260 248365056 54117 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 60636 54117 218 20 0 59994 0
[pid=10680/tid=10682] ppid=10678 vsize=242544 CPUtime=818.94
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 47894 0 0 0 81861 33 0 0 25 0 2 0 365120546 248365056 54117 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 821.8
Current children cumulated vsize (KiB) 242544
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1300760/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=301916 CPUtime=881.77
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 78279 0 0 0 88124 53 0 0 25 0 2 0 365120260 309161984 68964 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 75479 68964 218 20 0 74837 0
[pid=10680/tid=10682] ppid=10678 vsize=301916 CPUtime=878.91
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 62977 0 0 0 87847 44 0 0 25 0 2 0 365120546 309161984 68964 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 301916
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1300696/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=301916 CPUtime=941.74
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 78640 0 0 0 94120 54 0 0 25 0 2 0 365120260 309161984 68970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 75479 68970 218 20 0 74837 0
[pid=10680/tid=10682] ppid=10678 vsize=301916 CPUtime=938.87
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 63338 0 0 0 93843 44 0 0 25 0 2 0 365120546 309161984 68970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565504 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 301916
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1300696/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=301800 CPUtime=1001.7
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 78650 0 0 0 100116 54 0 0 25 0 2 0 365120260 309043200 68979 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 75450 68979 218 20 0 74808 0
[pid=10680/tid=10682] ppid=10678 vsize=301800 CPUtime=998.84
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 63348 0 0 0 99839 45 0 0 25 0 2 0 365120546 309043200 68979 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 301800
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1300760/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=301752 CPUtime=1061.67
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 78659 0 0 0 106113 54 0 0 25 0 2 0 365120260 308994048 68976 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 75438 68976 218 20 0 74796 0
[pid=10680/tid=10682] ppid=10678 vsize=301752 CPUtime=1058.81
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 63357 0 0 0 105836 45 0 0 25 0 2 0 365120546 308994048 68976 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (KiB) 301752
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1300824/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=301656 CPUtime=1121.62
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 78666 0 0 0 112108 54 0 0 25 0 2 0 365120260 308895744 68959 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 75414 68959 218 20 0 74772 0
[pid=10680/tid=10682] ppid=10678 vsize=301656 CPUtime=1118.76
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 63364 0 0 0 111831 45 0 0 25 0 2 0 365120546 308895744 68959 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 301656
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1300824/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=301656 CPUtime=1181.58
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 78671 0 0 0 118104 54 0 0 25 0 2 0 365120260 308895744 68964 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 75414 68964 218 20 0 74772 0
[pid=10680/tid=10682] ppid=10678 vsize=301656 CPUtime=1178.72
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 63369 0 0 0 117827 45 0 0 25 0 2 0 365120546 308895744 68964 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.58
Current children cumulated vsize (KiB) 301656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 10682
/proc/meminfo: memFree=1300760/2055920 swapFree=4154876/4192956
[pid=10680] ppid=10678 vsize=301656 CPUtime=1200.07
/proc/10680/stat : 10680 (MiraXTv1_dyn) S 10678 10680 9882 0 -1 4194304 78674 0 0 0 119953 54 0 0 25 0 2 0 365120260 308895744 68967 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10680/statm: 75414 68967 218 20 0 74772 0
[pid=10680/tid=10682] ppid=10678 vsize=301656 CPUtime=1197.21
/proc/10680/task/10682/stat : 10682 (MiraXTv1_dyn) R 10678 10680 9882 0 -1 4194368 63372 0 0 0 119676 45 0 0 25 0 2 0 365120546 308895744 68967 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 301656
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.86
CPU time (s): 1200.13
CPU user time (s): 1199.54
CPU system time (s): 0.59191
CPU usage (%): 99.9399
Max. virtual memory (cumulated for all children) (KiB): 302392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.54
system time used= 0.59191
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78674
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= 27856
runsolver used 1.26081 second user time and 3.11453 second system time
The end
Begin job on node12 on Fri May 11 13:40:29 UTC 2007
IDJOB= 329934
IDBENCH= 20551
IDSOLVER= 130
FILE ID= node12/329934-1178890828
PBS_JOBID= 5251076
Free space on /tmp= 66541 MiB
SOLVER NAME= MiraXT v1
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_31_1_rule_1/SAT_dat.k65.cnf
COMMAND LINE= /tmp/evaluation/329934-1178890828/MiraXTv1_dyn /tmp/evaluation/329934-1178890828/instance-329934-1178890828.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-329934-1178890828 -o ROOT/results/node12/solver-329934-1178890828 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/329934-1178890828/MiraXTv1_dyn /tmp/evaluation/329934-1178890828/instance-329934-1178890828.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 5e5ff9a8f4e99a8a5a1ebc8850b3b06a
RANDOM SEED= 216887903
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node12.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.239
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.239
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: 1576640 kB
Buffers: 50736 kB
Cached: 293080 kB
SwapCached: 17536 kB
Active: 224944 kB
Inactive: 189432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1576640 kB
SwapTotal: 4192956 kB
SwapFree: 4154876 kB
Dirty: 13748 kB
Writeback: 0 kB
Mapped: 76052 kB
Slab: 50248 kB
Committed_AS: 11002116 kB
PageTables: 1932 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= 66541 MiB
End job on node12 on Fri May 11 14:00:32 UTC 2007