runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-310313-1178871744 -o ROOT/results/node10/solver-310313-1178871744 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/310313-1178871744/MiraXTv1_dyn /tmp/evaluation/310313-1178871744/instance-310313-1178871744.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.97 3/77 15882
/proc/meminfo: memFree=1701128/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=3788 CPUtime=0
/proc/15882/stat : 15882 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194304 300 0 0 0 0 0 0 0 18 0 1 0 363211928 3878912 275 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 9343949 0 0 4096 0 0 0 0 17 1 0 0
/proc/15882/statm: 947 277 205 20 0 305 0
[startup+0.096157 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 15882
/proc/meminfo: memFree=1701128/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=5320 CPUtime=0.09
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 579 0 0 0 9 0 0 0 18 0 2 0 363211928 5447680 554 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 1330 554 218 20 0 688 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5320
[startup+0.101157 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 15882
/proc/meminfo: memFree=1701128/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=5320 CPUtime=0.09
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 583 0 0 0 9 0 0 0 18 0 2 0 363211928 5447680 558 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 1330 558 218 20 0 688 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5320
[startup+0.301199 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 15882
/proc/meminfo: memFree=1701128/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=5980 CPUtime=0.29
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 757 0 0 0 29 0 0 0 18 0 2 0 363211928 6123520 732 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 1495 732 218 20 0 853 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5980
[startup+0.701282 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 15882
/proc/meminfo: memFree=1701128/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=7776 CPUtime=0.69
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 1064 0 0 0 69 0 0 0 18 0 2 0 363211928 7962624 1039 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 1944 1039 218 20 0 1302 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7776
[startup+1.50145 s]
/proc/loadavg: 0.91 0.95 0.97 2/79 15884
/proc/meminfo: memFree=1696952/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=9736 CPUtime=1.49
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 1585 0 0 0 149 0 0 0 18 0 2 0 363211928 9969664 1560 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 2434 1560 218 20 0 1792 0
[pid=15882/tid=15884] ppid=15880 vsize=9736 CPUtime=1.47
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 1165 0 0 0 147 0 0 0 25 0 2 0 363211930 9969664 1560 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9736
[startup+3.10178 s]
/proc/loadavg: 0.92 0.95 0.97 2/79 15884
/proc/meminfo: memFree=1695352/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=11628 CPUtime=3.09
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 2084 0 0 0 308 1 0 0 18 0 2 0 363211928 11907072 2059 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 2907 2059 218 20 0 2265 0
[pid=15882/tid=15884] ppid=15880 vsize=11628 CPUtime=3.07
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 1664 0 0 0 307 0 0 0 25 0 2 0 363211930 11907072 2059 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 9340539 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11628
[startup+6.30144 s]
/proc/loadavg: 0.92 0.95 0.97 2/79 15884
/proc/meminfo: memFree=1689400/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=16356 CPUtime=6.29
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 3318 0 0 0 628 1 0 0 18 0 2 0 363211928 16748544 3257 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 4089 3257 218 20 0 3447 0
[pid=15882/tid=15884] ppid=15880 vsize=16356 CPUtime=6.27
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 2898 0 0 0 626 1 0 0 25 0 2 0 363211930 16748544 3257 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16356
[startup+12.7018 s]
/proc/loadavg: 0.93 0.96 0.97 2/79 15884
/proc/meminfo: memFree=1684864/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=20924 CPUtime=12.69
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 4559 0 0 0 1267 2 0 0 18 0 2 0 363211928 21426176 4413 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 5231 4413 218 20 0 4589 0
[pid=15882/tid=15884] ppid=15880 vsize=20924 CPUtime=12.67
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 4139 0 0 0 1266 1 0 0 25 0 2 0 363211930 21426176 4413 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20924
[startup+25.5014 s]
/proc/loadavg: 0.94 0.96 0.97 2/79 15884
/proc/meminfo: memFree=1678848/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=26400 CPUtime=25.48
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 6078 0 0 0 2545 3 0 0 18 0 2 0 363211928 27033600 5765 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 6600 5765 218 20 0 5958 0
[pid=15882/tid=15884] ppid=15880 vsize=26400 CPUtime=25.46
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 5658 0 0 0 2544 2 0 0 25 0 2 0 363211930 27033600 5765 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26400
[startup+51.1017 s]
/proc/loadavg: 0.96 0.96 0.97 2/79 15884
/proc/meminfo: memFree=1672448/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=32096 CPUtime=51.07
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 7902 0 0 0 5103 4 0 0 18 0 2 0 363211928 32866304 7262 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 8024 7262 218 20 0 7382 0
[pid=15882/tid=15884] ppid=15880 vsize=32096 CPUtime=51.05
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 7482 0 0 0 5101 4 0 0 25 0 2 0 363211930 32866304 7262 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) 32096
[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.97 2/79 15884
/proc/meminfo: memFree=1668608/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=36192 CPUtime=102.26
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 9442 0 0 0 10220 6 0 0 18 0 2 0 363211928 37060608 8232 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 9048 8232 218 20 0 8406 0
[pid=15882/tid=15884] ppid=15880 vsize=36192 CPUtime=102.23
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 9022 0 0 0 10218 5 0 0 25 0 2 0 363211930 37060608 8232 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 36192
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1666304/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=38532 CPUtime=162.23
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 10774 0 0 0 16216 7 0 0 18 0 2 0 363211928 39456768 8816 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 9633 8816 218 20 0 8991 0
[pid=15882/tid=15884] ppid=15880 vsize=38532 CPUtime=162.21
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 10354 0 0 0 16214 7 0 0 25 0 2 0 363211930 39456768 8816 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 38532
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1665280/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=39404 CPUtime=222.21
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 11611 0 0 0 22213 8 0 0 18 0 2 0 363211928 40349696 9034 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 9851 9034 218 20 0 9209 0
[pid=15882/tid=15884] ppid=15880 vsize=39404 CPUtime=222.18
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 11191 0 0 0 22211 7 0 0 25 0 2 0 363211930 40349696 9034 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 39404
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1664768/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=39820 CPUtime=282.18
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 12523 0 0 0 28210 8 0 0 18 0 2 0 363211928 40775680 9147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 9955 9147 218 20 0 9313 0
[pid=15882/tid=15884] ppid=15880 vsize=39820 CPUtime=282.16
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 12103 0 0 0 28208 8 0 0 25 0 2 0 363211930 40775680 9147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 39820
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1662976/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=41472 CPUtime=342.16
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 13636 0 0 0 34206 10 0 0 18 0 2 0 363211928 42467328 9600 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 10368 9600 218 20 0 9726 0
[pid=15882/tid=15884] ppid=15880 vsize=41472 CPUtime=342.14
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 13216 0 0 0 34205 9 0 0 25 0 2 0 363211930 42467328 9600 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526189 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 41472
[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1662528/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=41884 CPUtime=402.13
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 14333 0 0 0 40203 10 0 0 18 0 2 0 363211928 42889216 9706 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 10471 9706 218 20 0 9829 0
[pid=15882/tid=15884] ppid=15880 vsize=41884 CPUtime=402.12
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 13913 0 0 0 40202 10 0 0 25 0 2 0 363211930 42889216 9706 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 41884
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1661824/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=42560 CPUtime=462.11
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 15112 0 0 0 46200 11 0 0 18 0 2 0 363211928 43581440 9883 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 10640 9883 218 20 0 9998 0
[pid=15882/tid=15884] ppid=15880 vsize=42560 CPUtime=462.1
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 14692 0 0 0 46199 11 0 0 25 0 2 0 363211930 43581440 9883 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 42560
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1660928/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=43528 CPUtime=522.09
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 15964 0 0 0 52197 12 0 0 18 0 2 0 363211928 44572672 10123 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 10882 10123 218 20 0 10240 0
[pid=15882/tid=15884] ppid=15880 vsize=43528 CPUtime=522.07
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 15544 0 0 0 52195 12 0 0 25 0 2 0 363211930 44572672 10123 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 43528
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1660736/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=43528 CPUtime=582.06
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 16706 0 0 0 58193 13 0 0 18 0 2 0 363211928 44572672 10154 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 10882 10154 218 20 0 10240 0
[pid=15882/tid=15884] ppid=15880 vsize=43528 CPUtime=582.05
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 16286 0 0 0 58192 13 0 0 25 0 2 0 363211930 44572672 10154 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 43528
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1659904/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=44872 CPUtime=642.04
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 17600 0 0 0 64190 14 0 0 18 0 2 0 363211928 45948928 10413 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 11218 10413 218 20 0 10576 0
[pid=15882/tid=15884] ppid=15880 vsize=44872 CPUtime=642.03
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 17180 0 0 0 64189 14 0 0 25 0 2 0 363211930 45948928 10413 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 44872
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1659456/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=45292 CPUtime=702.02
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 18348 0 0 0 70187 15 0 0 18 0 2 0 363211928 46379008 10516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 11323 10516 218 20 0 10681 0
[pid=15882/tid=15884] ppid=15880 vsize=45292 CPUtime=702
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 17928 0 0 0 70185 15 0 0 25 0 2 0 363211930 46379008 10516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 45292
[startup+762.307 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1658560/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=46012 CPUtime=762
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 19182 0 0 0 76184 16 0 0 18 0 2 0 363211928 47116288 10696 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 11503 10696 218 20 0 10861 0
[pid=15882/tid=15884] ppid=15880 vsize=46012 CPUtime=761.98
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 18762 0 0 0 76182 16 0 0 25 0 2 0 363211930 47116288 10696 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 46012
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1658112/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=46640 CPUtime=821.97
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 19863 0 0 0 82180 17 0 0 18 0 2 0 363211928 47759360 10809 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 11660 10809 218 20 0 11018 0
[pid=15882/tid=15884] ppid=15880 vsize=46640 CPUtime=821.96
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 19443 0 0 0 82179 17 0 0 25 0 2 0 363211930 47759360 10809 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 46640
[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 15884
/proc/meminfo: memFree=1657856/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=46944 CPUtime=881.95
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 20508 0 0 0 88177 18 0 0 18 0 2 0 363211928 48070656 10880 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 11736 10880 218 20 0 11094 0
[pid=15882/tid=15884] ppid=15880 vsize=46944 CPUtime=881.93
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 20088 0 0 0 88175 18 0 0 25 0 2 0 363211930 48070656 10880 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 46944
[startup+942.301 s]
/proc/loadavg: 1.04 0.99 0.98 2/79 15884
/proc/meminfo: memFree=1657536/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=47224 CPUtime=941.92
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 21254 0 0 0 94173 19 0 0 18 0 2 0 363211928 48357376 10949 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 11806 10949 218 20 0 11164 0
[pid=15882/tid=15884] ppid=15880 vsize=47224 CPUtime=941.91
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 20834 0 0 0 94172 19 0 0 25 0 2 0 363211930 48357376 10949 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 47224
[startup+1002.3 s]
/proc/loadavg: 1.05 1.00 0.98 2/79 15886
/proc/meminfo: memFree=1657024/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=47620 CPUtime=1001.9
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 21972 0 0 0 100170 20 0 0 18 0 2 0 363211928 48762880 11080 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 11905 11080 218 20 0 11263 0
[pid=15882/tid=15884] ppid=15880 vsize=47620 CPUtime=1001.88
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 21552 0 0 0 100169 19 0 0 25 0 2 0 363211930 48762880 11080 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 47620
[startup+1062.3 s]
/proc/loadavg: 1.13 1.04 1.00 2/79 15886
/proc/meminfo: memFree=1656320/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=48468 CPUtime=1061.88
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 22653 0 0 0 106168 20 0 0 18 0 2 0 363211928 49631232 11268 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 12117 11268 218 20 0 11475 0
[pid=15882/tid=15884] ppid=15880 vsize=48468 CPUtime=1061.86
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 22233 0 0 0 106166 20 0 0 25 0 2 0 363211930 49631232 11268 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 48468
[startup+1122.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/79 15886
/proc/meminfo: memFree=1655488/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=49276 CPUtime=1121.85
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 23472 0 0 0 112164 21 0 0 18 0 2 0 363211928 50458624 11491 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 12319 11491 218 20 0 11677 0
[pid=15882/tid=15884] ppid=15880 vsize=49276 CPUtime=1121.84
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 23052 0 0 0 112163 21 0 0 25 0 2 0 363211930 50458624 11491 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 49276
[startup+1182.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/79 15886
/proc/meminfo: memFree=1654272/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=50380 CPUtime=1181.83
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 24356 0 0 0 118161 22 0 0 18 0 2 0 363211928 51589120 11774 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 12595 11774 218 20 0 11953 0
[pid=15882/tid=15884] ppid=15880 vsize=50380 CPUtime=1181.81
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 23936 0 0 0 118159 22 0 0 25 0 2 0 363211930 51589120 11774 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 50380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.02 1.03 1.00 3/79 15886
/proc/meminfo: memFree=1654144/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=51152 CPUtime=1200.03
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 24584 0 0 0 119980 23 0 0 18 0 2 0 363211928 52379648 11800 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 12788 11800 218 20 0 12146 0
[pid=15882/tid=15884] ppid=15880 vsize=51152 CPUtime=1200.01
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 24164 0 0 0 119979 22 0 0 25 0 2 0 363211930 52379648 11800 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526397 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 51152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.02 1.03 1.00 3/79 15886
/proc/meminfo: memFree=1654144/2055920 swapFree=4143928/4192956
[pid=15882] ppid=15880 vsize=51152 CPUtime=1200.03
/proc/15882/stat : 15882 (MiraXTv1_dyn) S 15880 15882 15500 0 -1 4194304 24584 0 0 0 119980 23 0 0 18 0 2 0 363211928 52379648 11800 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15882/statm: 12788 11800 218 20 0 12146 0
[pid=15882/tid=15884] ppid=15880 vsize=51152 CPUtime=1200.01
/proc/15882/task/15884/stat : 15884 (MiraXTv1_dyn) R 15880 15882 15500 0 -1 4194368 24164 0 0 0 119979 22 0 0 25 0 2 0 363211930 52379648 11800 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526397 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 51152
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.52
CPU time (s): 1200.05
CPU user time (s): 1199.81
CPU system time (s): 0.238963
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 51556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.81
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24584
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= 1902
runsolver used 1.27181 second user time and 3.10153 second system time
The end
Begin job on node10 on Fri May 11 08:22:24 UTC 2007
IDJOB= 310313
IDBENCH= 20283
IDSOLVER= 130
FILE ID= node10/310313-1178871744
PBS_JOBID= 5251043
Free space on /tmp= 66560 MiB
SOLVER NAME= MiraXT v1
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v1170/unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf
COMMAND LINE= /tmp/evaluation/310313-1178871744/MiraXTv1_dyn /tmp/evaluation/310313-1178871744/instance-310313-1178871744.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-310313-1178871744 -o ROOT/results/node10/solver-310313-1178871744 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/310313-1178871744/MiraXTv1_dyn /tmp/evaluation/310313-1178871744/instance-310313-1178871744.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 19bf4df3850e38181cad28d3dbbeced7
RANDOM SEED= 996562056
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node10.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.259
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.259
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: 1701344 kB
Buffers: 49420 kB
Cached: 217612 kB
SwapCached: 18024 kB
Active: 128060 kB
Inactive: 163192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1701344 kB
SwapTotal: 4192956 kB
SwapFree: 4143928 kB
Dirty: 3984 kB
Writeback: 0 kB
Mapped: 30124 kB
Slab: 48920 kB
Committed_AS: 5264180 kB
PageTables: 1708 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 node10 on Fri May 11 08:42:27 UTC 2007