runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-426109-1179009401 -o ROOT/results/node52/solver-426109-1179009401 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426109-1179009401/MiraXTv3_dyn /tmp/evaluation/426109-1179009401/instance-426109-1179009401.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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: 1.00 1.00 1.20 3/64 1816
/proc/meminfo: memFree=1231220/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=2672 CPUtime=0
/proc/1816/stat : 1816 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194304 143 0 1 0 0 0 0 0 18 0 1 0 255785229 2736128 131 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4313176 0 0 4096 0 0 0 0 17 0 0 0
/proc/1816/statm: 668 132 113 20 0 14 0
[startup+0.095059 s]
/proc/loadavg: 1.00 1.00 1.20 3/64 1816
/proc/meminfo: memFree=1231220/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=4196 CPUtime=0.08
/proc/1816/stat : 1816 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194304 417 0 3 0 8 0 0 0 18 0 1 0 255785229 4296704 395 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583921 0 0 4096 0 0 0 0 17 0 0 0
/proc/1816/statm: 1049 395 207 20 0 407 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4196
[startup+0.101058 s]
/proc/loadavg: 1.00 1.00 1.20 3/64 1816
/proc/meminfo: memFree=1231220/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=4196 CPUtime=0.08
/proc/1816/stat : 1816 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194304 417 0 3 0 8 0 0 0 18 0 1 0 255785229 4296704 395 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 0 0 0
/proc/1816/statm: 1049 395 207 20 0 407 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4196
[startup+0.301076 s]
/proc/loadavg: 1.00 1.00 1.20 3/64 1816
/proc/meminfo: memFree=1231220/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=8536 CPUtime=0.47
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 1043 0 3 0 47 0 0 0 18 0 3 0 255785229 8740864 1021 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 2134 1021 218 20 0 1492 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 8536
[startup+0.701104 s]
/proc/loadavg: 1.00 1.00 1.20 3/64 1816
/proc/meminfo: memFree=1231220/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=11116 CPUtime=1.28
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 1792 0 3 0 127 1 0 0 18 0 3 0 255785229 11382784 1770 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 2779 1770 218 20 0 2137 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 11116
[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 1.20 3/67 1823
/proc/meminfo: memFree=1222556/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=15684 CPUtime=2.87
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 2554 0 3 0 286 1 0 0 18 0 3 0 255785229 16060416 2532 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 3921 2532 218 20 0 3279 0
[pid=1816/tid=1822] ppid=1814 vsize=15684 CPUtime=1.38
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 1093 0 0 0 138 0 0 0 18 0 3 0 255785239 16060416 2532 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1816/tid=1823] ppid=1814 vsize=15684 CPUtime=1.38
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 1015 0 0 0 138 0 0 0 18 0 3 0 255785239 16060416 2532 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 15684
[startup+3.10227 s]
/proc/loadavg: 1.08 1.02 1.20 3/67 1823
/proc/meminfo: memFree=1220572/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=18476 CPUtime=6.06
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 3525 0 3 0 604 2 0 0 18 0 3 0 255785229 18919424 3431 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 4619 3431 218 20 0 3977 0
[pid=1816/tid=1822] ppid=1814 vsize=18476 CPUtime=2.98
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 1519 0 0 0 298 0 0 0 25 0 3 0 255785239 18919424 3431 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134566316 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1816/tid=1823] ppid=1814 vsize=18476 CPUtime=2.98
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 1560 0 0 0 297 1 0 0 25 0 3 0 255785239 18919424 3431 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 18476
[startup+6.30149 s]
/proc/loadavg: 1.08 1.02 1.20 3/67 1823
/proc/meminfo: memFree=1211804/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=26444 CPUtime=12.45
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 5502 0 3 0 1241 4 0 0 18 0 3 0 255785229 27078656 5332 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 6611 5332 218 20 0 5969 0
[pid=1816/tid=1822] ppid=1814 vsize=26444 CPUtime=6.18
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 2508 0 0 0 617 1 0 0 25 0 3 0 255785239 27078656 5332 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1816/tid=1823] ppid=1814 vsize=26444 CPUtime=6.16
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 2548 0 0 0 614 2 0 0 25 0 3 0 255785239 27078656 5332 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 26444
[startup+12.7019 s]
/proc/loadavg: 1.22 1.05 1.21 3/67 1823
/proc/meminfo: memFree=1203804/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=32380 CPUtime=25.21
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 7320 0 3 0 2515 6 0 0 18 0 3 0 255785229 33157120 6852 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 8095 6852 218 20 0 7453 0
[pid=1816/tid=1822] ppid=1814 vsize=32380 CPUtime=12.57
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 3420 0 0 0 1255 2 0 0 25 0 3 0 255785239 33157120 6852 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1816/tid=1823] ppid=1814 vsize=32380 CPUtime=12.53
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 3454 0 0 0 1250 3 0 0 25 0 3 0 255785239 33157120 6852 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 32380
[startup+25.5016 s]
/proc/loadavg: 1.34 1.08 1.22 3/67 1823
/proc/meminfo: memFree=1193756/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=42480 CPUtime=50.74
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 10304 0 3 0 5066 8 0 0 18 0 3 0 255785229 43499520 9358 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 10620 9358 218 20 0 9978 0
[pid=1816/tid=1822] ppid=1814 vsize=42480 CPUtime=25.31
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 4898 0 0 0 2528 3 0 0 25 0 3 0 255785239 43499520 9358 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526341 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1816/tid=1823] ppid=1814 vsize=42480 CPUtime=25.33
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 4960 0 0 0 2529 4 0 0 19 0 3 0 255785239 43499520 9358 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 42480
[startup+51.1013 s]
/proc/loadavg: 1.71 1.18 1.25 3/67 1823
/proc/meminfo: memFree=1190300/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=45804 CPUtime=101.82
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 12123 0 3 0 10171 11 0 0 18 0 3 0 255785229 46903296 10203 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 11451 10203 218 20 0 10809 0
[pid=1816/tid=1822] ppid=1814 vsize=45804 CPUtime=50.8
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 5864 0 0 0 5075 5 0 0 25 0 3 0 255785239 46903296 10203 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1816/tid=1823] ppid=1814 vsize=45804 CPUtime=50.91
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 5813 0 0 0 5086 5 0 0 25 0 3 0 255785239 46903296 10203 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 45804
[startup+102.306 s]
/proc/loadavg: 1.88 1.32 1.29 3/67 1823
/proc/meminfo: memFree=1186716/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=50464 CPUtime=203.95
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 14788 0 3 0 20383 12 0 0 18 0 3 0 255785229 51675136 11067 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 12616 11067 218 20 0 11974 0
[pid=1816/tid=1822] ppid=1814 vsize=50464 CPUtime=101.75
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 7297 0 0 0 10170 5 0 0 25 0 3 0 255785239 51675136 11067 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1816/tid=1823] ppid=1814 vsize=50464 CPUtime=102.09
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 7045 0 0 0 10203 6 0 0 25 0 3 0 255785239 51675136 11067 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 50464
[startup+162.302 s]
/proc/loadavg: 1.99 1.45 1.33 3/67 1823
/proc/meminfo: memFree=1180956/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=55640 CPUtime=323.62
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 18509 0 3 0 32346 16 0 0 18 0 3 0 255785229 56975360 12491 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 13910 12491 218 20 0 13268 0
[pid=1816/tid=1822] ppid=1814 vsize=55640 CPUtime=161.47
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 9036 0 0 0 16140 7 0 0 25 0 3 0 255785239 56975360 12491 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1816/tid=1823] ppid=1814 vsize=55640 CPUtime=162.05
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 9027 0 0 0 16197 8 0 0 25 0 3 0 255785239 56975360 12491 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.62
Current children cumulated vsize (KiB) 55640
[startup+222.302 s]
/proc/loadavg: 1.99 1.55 1.37 3/67 1823
/proc/meminfo: memFree=1179292/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=57580 CPUtime=443.29
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 21137 0 3 0 44311 18 0 0 18 0 3 0 255785229 58961920 12943 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 14395 12943 218 20 0 13753 0
[pid=1816/tid=1822] ppid=1814 vsize=57580 CPUtime=221.19
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 10393 0 0 0 22111 8 0 0 25 0 3 0 255785239 58961920 12943 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1816/tid=1823] ppid=1814 vsize=57580 CPUtime=222
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 10298 0 0 0 22190 10 0 0 25 0 3 0 255785239 58961920 12943 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.29
Current children cumulated vsize (KiB) 57580
[startup+282.302 s]
/proc/loadavg: 1.99 1.63 1.41 3/67 1823
/proc/meminfo: memFree=1177756/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=59244 CPUtime=562.97
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 23586 0 3 0 56276 21 0 0 18 0 3 0 255785229 60665856 13326 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 14811 13326 218 20 0 14169 0
[pid=1816/tid=1822] ppid=1814 vsize=59244 CPUtime=280.94
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 11602 0 0 0 28085 9 0 0 25 0 3 0 255785239 60665856 13326 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1816/tid=1823] ppid=1814 vsize=59244 CPUtime=281.92
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 11538 0 0 0 28181 11 0 0 25 0 3 0 255785239 60665856 13326 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.97
Current children cumulated vsize (KiB) 59244
[startup+342.301 s]
/proc/loadavg: 2.04 1.71 1.45 3/67 1823
/proc/meminfo: memFree=1176860/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=60732 CPUtime=682.64
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 26007 0 3 0 68242 22 0 0 18 0 3 0 255785229 62189568 13539 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 15183 13539 218 20 0 14541 0
[pid=1816/tid=1822] ppid=1814 vsize=60732 CPUtime=340.89
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 12900 0 0 0 34080 9 0 0 25 0 3 0 255785239 62189568 13539 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1816/tid=1823] ppid=1814 vsize=60732 CPUtime=341.65
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 12661 0 0 0 34153 12 0 0 25 0 3 0 255785239 62189568 13539 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.64
Current children cumulated vsize (KiB) 60732
[startup+402.301 s]
/proc/loadavg: 2.04 1.77 1.48 3/67 1823
/proc/meminfo: memFree=1175836/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=61432 CPUtime=802.32
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 28371 0 3 0 80209 23 0 0 18 0 3 0 255785229 62906368 13821 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 15358 13821 218 20 0 14716 0
[pid=1816/tid=1822] ppid=1814 vsize=61432 CPUtime=400.85
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14097 0 0 0 40075 10 0 0 25 0 3 0 255785239 62906368 13821 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1816/tid=1823] ppid=1814 vsize=61432 CPUtime=401.37
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 13828 0 0 0 40125 12 0 0 25 0 3 0 255785239 62906368 13821 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.32
Current children cumulated vsize (KiB) 61432
Solver just ended. Dumping a history of the last processes samples
[startup+409.502 s]
/proc/loadavg: 2.04 1.78 1.49 3/67 1823
/proc/meminfo: memFree=1175708/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=61432 CPUtime=816.68
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 28609 0 3 0 81644 24 0 0 18 0 3 0 255785229 62906368 13849 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 15358 13849 218 20 0 14716 0
[pid=1816/tid=1822] ppid=1814 vsize=61432 CPUtime=408.05
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14238 0 0 0 40795 10 0 0 25 0 3 0 255785239 62906368 13849 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1816/tid=1823] ppid=1814 vsize=61432 CPUtime=408.52
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 13925 0 0 0 40840 12 0 0 25 0 3 0 255785239 62906368 13849 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 816.68
Current children cumulated vsize (KiB) 61432
[startup+422.302 s]
/proc/loadavg: 2.03 1.79 1.49 3/67 1823
/proc/meminfo: memFree=1175260/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=61620 CPUtime=842.21
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 29259 0 3 0 84197 24 0 0 18 0 3 0 255785229 63098880 13939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 15405 13939 218 20 0 14763 0
[pid=1816/tid=1822] ppid=1814 vsize=61620 CPUtime=420.85
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14542 0 0 0 42074 11 0 0 25 0 3 0 255785239 63098880 13939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1816/tid=1823] ppid=1814 vsize=61620 CPUtime=421.27
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14271 0 0 0 42114 13 0 0 25 0 3 0 255785239 63098880 13939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565836 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 842.21
Current children cumulated vsize (KiB) 61620
[startup+428.702 s]
/proc/loadavg: 2.03 1.79 1.50 3/67 1823
/proc/meminfo: memFree=1175260/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=61620 CPUtime=854.97
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 29423 0 3 0 85473 24 0 0 18 0 3 0 255785229 63098880 13963 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 15405 13963 218 20 0 14763 0
[pid=1816/tid=1822] ppid=1814 vsize=61620 CPUtime=427.24
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14618 0 0 0 42713 11 0 0 25 0 3 0 255785239 63098880 13963 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1816/tid=1823] ppid=1814 vsize=61620 CPUtime=427.63
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14359 0 0 0 42750 13 0 0 25 0 3 0 255785239 63098880 13963 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 854.97
Current children cumulated vsize (KiB) 61620
[startup+435.101 s]
/proc/loadavg: 2.02 1.79 1.50 3/67 1823
/proc/meminfo: memFree=1174940/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=61884 CPUtime=867.75
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 29690 0 3 0 86750 25 0 0 18 0 3 0 255785229 63369216 14020 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 15471 14020 218 20 0 14829 0
[pid=1816/tid=1822] ppid=1814 vsize=61884 CPUtime=433.64
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14785 0 0 0 43353 11 0 0 25 0 3 0 255785239 63369216 14020 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1816/tid=1823] ppid=1814 vsize=61884 CPUtime=434.01
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14459 0 0 0 43388 13 0 0 25 0 3 0 255785239 63369216 14020 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 867.75
Current children cumulated vsize (KiB) 61884
[startup+438.302 s]
/proc/loadavg: 2.02 1.80 1.50 3/67 1823
/proc/meminfo: memFree=1174940/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=61884 CPUtime=874.14
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 29830 0 3 0 87389 25 0 0 18 0 3 0 255785229 63369216 14020 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 15471 14020 218 20 0 14829 0
[pid=1816/tid=1822] ppid=1814 vsize=61884 CPUtime=436.83
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14855 0 0 0 43672 11 0 0 25 0 3 0 255785239 63369216 14020 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1816/tid=1823] ppid=1814 vsize=61884 CPUtime=437.2
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14529 0 0 0 43707 13 0 0 25 0 3 0 255785239 63369216 14020 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 874.14
Current children cumulated vsize (KiB) 61884
[startup+439.903 s]
/proc/loadavg: 2.02 1.80 1.50 3/67 1823
/proc/meminfo: memFree=1174940/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=61884 CPUtime=877.34
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 29830 0 3 0 87709 25 0 0 18 0 3 0 255785229 63369216 14020 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 15471 14020 218 20 0 14829 0
[pid=1816/tid=1822] ppid=1814 vsize=61884 CPUtime=438.44
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14855 0 0 0 43833 11 0 0 25 0 3 0 255785239 63369216 14020 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1816/tid=1823] ppid=1814 vsize=61884 CPUtime=438.79
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14529 0 0 0 43866 13 0 0 25 0 3 0 255785239 63369216 14020 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 877.34
Current children cumulated vsize (KiB) 61884
[startup+440.303 s]
/proc/loadavg: 2.02 1.80 1.50 3/67 1823
/proc/meminfo: memFree=1174940/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=62016 CPUtime=878.12
/proc/1816/stat : 1816 (MiraXTv3_dyn) S 1814 1816 1741 0 -1 4194304 29926 0 3 0 87787 25 0 0 18 0 3 0 255785229 63504384 14046 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1816/statm: 15504 14046 218 20 0 14862 0
[pid=1816/tid=1822] ppid=1814 vsize=62016 CPUtime=438.83
/proc/1816/task/1822/stat : 1822 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14881 0 0 0 43872 11 0 0 25 0 3 0 255785239 63504384 14046 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526483 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1816/tid=1823] ppid=1814 vsize=62016 CPUtime=439.19
/proc/1816/task/1823/stat : 1823 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194368 14599 0 0 0 43906 13 0 0 17 0 3 0 255785239 63504384 14046 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 878.12
Current children cumulated vsize (KiB) 62016
[startup+440.503 s]
/proc/loadavg: 2.02 1.80 1.50 3/67 1823
/proc/meminfo: memFree=1174940/2055920 swapFree=4183124/4192956
[pid=1816] ppid=1814 vsize=54156 CPUtime=878.48
/proc/1816/stat : 1816 (MiraXTv3_dyn) R 1814 1816 1741 0 -1 4194304 29933 0 3 0 87823 25 0 0 16 0 1 0 255785229 55455744 12114 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4742729 0 0 4096 0 0 0 0 17 1 0 0
/proc/1816/statm: 13539 12114 225 20 0 12897 0
Current children cumulated CPU time (s) 878.48
Current children cumulated vsize (KiB) 54156
Child status: 10
Real time (s): 440.532
CPU time (s): 878.52
CPU user time (s): 878.256
CPU system time (s): 0.263959
CPU usage (%): 199.423
Max. virtual memory (cumulated for all children) (KiB): 62016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 878.256
system time used= 0.263959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29936
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283
involuntary context switches= 6603
runsolver used 0.466929 second user time and 1.14482 second system time
The end
Begin job on node52 on Sat May 12 22:36:42 UTC 2007
IDJOB= 426109
IDBENCH= 19916
IDSOLVER= 196
FILE ID= node52/426109-1179009401
PBS_JOBID= 5252978
Free space on /tmp= 66550 MiB
SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v55/unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426109-1179009401/MiraXTv3_dyn /tmp/evaluation/426109-1179009401/instance-426109-1179009401.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-426109-1179009401 -o ROOT/results/node52/solver-426109-1179009401 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426109-1179009401/MiraXTv3_dyn /tmp/evaluation/426109-1179009401/instance-426109-1179009401.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 7db1dbd28711a9e9c5914ed4cfba8cd8
RANDOM SEED= 628386778
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node52.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.236
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.236
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: 1232908 kB
Buffers: 52032 kB
Cached: 644092 kB
SwapCached: 3936 kB
Active: 364796 kB
Inactive: 340964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1232908 kB
SwapTotal: 4192956 kB
SwapFree: 4183124 kB
Dirty: 4144 kB
Writeback: 0 kB
Mapped: 15540 kB
Slab: 103200 kB
Committed_AS: 5385388 kB
PageTables: 1484 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= 66550 MiB
End job on node52 on Sat May 12 22:44:02 UTC 2007