runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node57/watcher-424471-1177668662 -o ROOT/results/node57/solver-424471-1177668662 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/424471-1177668662/mxc /tmp/evaluation/424471-1177668662/instance-424471-1177668662.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.00 3/64 8944
/proc/meminfo: memFree=1705928/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=1064 CPUtime=0
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 133 0 0 0 0 0 0 0 18 0 1 0 208002128 1089536 118 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519981 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 266 118 57 122 0 140 0
[startup+0.037182 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8944
/proc/meminfo: memFree=1705928/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=1196 CPUtime=0.03
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 160 0 0 0 3 0 0 0 18 0 1 0 208002128 1224704 145 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519311 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 299 145 59 122 0 173 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1196
[startup+0.101187 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8944
/proc/meminfo: memFree=1705928/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=1336 CPUtime=0.09
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 198 0 0 0 9 0 0 0 18 0 1 0 208002128 1368064 181 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530017 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 334 181 67 122 0 208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1336
[startup+0.301204 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8944
/proc/meminfo: memFree=1705928/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=1468 CPUtime=0.29
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 231 0 0 0 29 0 0 0 19 0 1 0 208002128 1503232 214 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519319 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 367 214 67 122 0 241 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1468
[startup+0.701238 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8944
/proc/meminfo: memFree=1705928/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=1468 CPUtime=0.69
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 259 0 0 0 69 0 0 0 23 0 1 0 208002128 1503232 242 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 367 242 67 122 0 241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1468
[startup+1.50131 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1705152/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=1600 CPUtime=1.49
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 293 0 0 0 149 0 0 0 25 0 1 0 208002128 1638400 276 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134529807 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 400 276 67 122 0 274 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1600
[startup+3.10145 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1704896/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=1852 CPUtime=3.09
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 335 0 0 0 309 0 0 0 25 0 1 0 208002128 1896448 318 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519964 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 463 318 67 122 0 337 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1852
[startup+6.30173 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1704520/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=2100 CPUtime=6.29
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 393 0 0 0 629 0 0 0 25 0 1 0 208002128 2150400 376 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 525 376 67 122 0 399 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2100
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1704136/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=2356 CPUtime=12.69
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 471 0 0 0 1269 0 0 0 25 0 1 0 208002128 2412544 454 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519243 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 589 454 67 122 0 463 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2356
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1703880/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=2584 CPUtime=25.49
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 524 0 0 0 2549 0 0 0 25 0 1 0 208002128 2646016 507 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134529837 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 646 507 67 122 0 520 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2584
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1703432/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=3072 CPUtime=51.07
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 645 0 0 0 5107 0 0 0 25 0 1 0 208002128 3145728 628 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519964 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 768 628 67 122 0 642 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3072
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1702856/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=3512 CPUtime=102.26
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 769 0 0 0 10226 0 0 0 25 0 1 0 208002128 3596288 752 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519238 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 878 752 67 122 0 752 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 3512
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1702600/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=3860 CPUtime=162.25
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 849 0 0 0 16224 1 0 0 25 0 1 0 208002128 3952640 832 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519284 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 965 832 67 122 0 839 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 3860
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1702216/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=4196 CPUtime=222.23
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 928 0 0 0 22222 1 0 0 25 0 1 0 208002128 4296704 911 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134534730 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 1049 911 67 122 0 923 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 4196
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1702024/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=4392 CPUtime=282.21
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 981 0 0 0 28220 1 0 0 25 0 1 0 208002128 4497408 964 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519948 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 1098 964 67 122 0 972 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 4392
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1701832/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=4636 CPUtime=342.2
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 1044 0 0 0 34219 1 0 0 25 0 1 0 208002128 4747264 1027 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519311 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 1159 1027 67 122 0 1033 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 4636
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8945
/proc/meminfo: memFree=1701704/2055920 swapFree=4183108/4192956
[pid=8944] ppid=8942 vsize=4732 CPUtime=402.18
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 1060 0 0 0 40217 1 0 0 25 0 1 0 208002128 4845568 1043 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 1183 1043 67 122 0 1057 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 4732
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8966
/proc/meminfo: memFree=1700544/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=4960 CPUtime=462.16
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 1115 0 0 0 46214 2 0 0 25 0 1 0 208002128 5079040 1098 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519297 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 1240 1098 67 122 0 1114 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 4960
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8966
/proc/meminfo: memFree=1700288/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=5168 CPUtime=522.14
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 1174 0 0 0 52212 2 0 0 25 0 1 0 208002128 5292032 1157 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519297 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 1292 1157 67 122 0 1166 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 5168
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8966
/proc/meminfo: memFree=1700224/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=5260 CPUtime=582.12
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 1199 0 0 0 58210 2 0 0 25 0 1 0 208002128 5386240 1182 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519220 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 1315 1182 67 122 0 1189 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 5260
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8966
/proc/meminfo: memFree=1700032/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=5440 CPUtime=642.11
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 1230 0 0 0 64209 2 0 0 25 0 1 0 208002128 5570560 1213 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 1360 1213 67 122 0 1234 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 5440
################
# More data... #
################
[startup+4062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9166
/proc/meminfo: memFree=1696968/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8368 CPUtime=4061.1
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 1980 0 0 0 406101 9 0 0 25 0 1 0 208002128 8568832 1961 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519261 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2092 1961 67 122 0 1966 0
Current children cumulated CPU time (s) 4061.1
Current children cumulated vsize (KiB) 8368
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9166
/proc/meminfo: memFree=1696840/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8404 CPUtime=4121.09
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 1998 0 0 0 412099 10 0 0 25 0 1 0 208002128 8605696 1978 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2101 1978 67 122 0 1975 0
Current children cumulated CPU time (s) 4121.09
Current children cumulated vsize (KiB) 8404
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9166
/proc/meminfo: memFree=1696776/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8404 CPUtime=4181.07
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 1998 0 0 0 418097 10 0 0 25 0 1 0 208002128 8605696 1978 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2101 1978 67 122 0 1975 0
Current children cumulated CPU time (s) 4181.07
Current children cumulated vsize (KiB) 8404
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9166
/proc/meminfo: memFree=1696904/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8404 CPUtime=4241.06
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 1998 0 0 0 424096 10 0 0 25 0 1 0 208002128 8605696 1978 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2101 1978 67 122 0 1975 0
Current children cumulated CPU time (s) 4241.06
Current children cumulated vsize (KiB) 8404
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9166
/proc/meminfo: memFree=1696904/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8404 CPUtime=4301.04
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 1998 0 0 0 430094 10 0 0 25 0 1 0 208002128 8605696 1978 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2101 1978 67 122 0 1975 0
Current children cumulated CPU time (s) 4301.04
Current children cumulated vsize (KiB) 8404
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9166
/proc/meminfo: memFree=1696840/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8476 CPUtime=4361.03
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2005 0 0 0 436093 10 0 0 25 0 1 0 208002128 8679424 1985 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519249 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2119 1985 67 122 0 1993 0
Current children cumulated CPU time (s) 4361.03
Current children cumulated vsize (KiB) 8476
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9166
/proc/meminfo: memFree=1696712/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8520 CPUtime=4421.01
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2029 0 0 0 442091 10 0 0 25 0 1 0 208002128 8724480 2007 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519287 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2130 2007 67 122 0 2004 0
Current children cumulated CPU time (s) 4421.01
Current children cumulated vsize (KiB) 8520
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9166
/proc/meminfo: memFree=1696712/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8652 CPUtime=4480.99
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2046 0 0 0 448089 10 0 0 25 0 1 0 208002128 8859648 2024 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134534811 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2163 2024 67 122 0 2037 0
Current children cumulated CPU time (s) 4480.99
Current children cumulated vsize (KiB) 8652
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9166
/proc/meminfo: memFree=1696712/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8576 CPUtime=4540.98
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2046 0 0 0 454088 10 0 0 25 0 1 0 208002128 8781824 2021 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519890 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2144 2021 67 122 0 2018 0
Current children cumulated CPU time (s) 4540.98
Current children cumulated vsize (KiB) 8576
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9166
/proc/meminfo: memFree=1696648/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8576 CPUtime=4600.96
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2046 0 0 0 460086 10 0 0 25 0 1 0 208002128 8781824 2021 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2144 2021 67 122 0 2018 0
Current children cumulated CPU time (s) 4600.96
Current children cumulated vsize (KiB) 8576
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9166
/proc/meminfo: memFree=1696648/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8576 CPUtime=4660.95
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2046 0 0 0 466085 10 0 0 25 0 1 0 208002128 8781824 2021 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2144 2021 67 122 0 2018 0
Current children cumulated CPU time (s) 4660.95
Current children cumulated vsize (KiB) 8576
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9168
/proc/meminfo: memFree=1696584/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8576 CPUtime=4720.93
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2046 0 0 0 472083 10 0 0 25 0 1 0 208002128 8781824 2021 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2144 2021 67 122 0 2018 0
Current children cumulated CPU time (s) 4720.93
Current children cumulated vsize (KiB) 8576
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9168
/proc/meminfo: memFree=1696456/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8756 CPUtime=4780.91
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2081 0 0 0 478081 10 0 0 25 0 1 0 208002128 8966144 2056 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519311 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2189 2056 67 122 0 2063 0
Current children cumulated CPU time (s) 4780.91
Current children cumulated vsize (KiB) 8756
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9168
/proc/meminfo: memFree=1696456/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8884 CPUtime=4840.89
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2102 0 0 0 484079 10 0 0 25 0 1 0 208002128 9097216 2077 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519310 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2221 2077 67 122 0 2095 0
Current children cumulated CPU time (s) 4840.89
Current children cumulated vsize (KiB) 8884
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9168
/proc/meminfo: memFree=1696392/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8956 CPUtime=4900.88
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2123 0 0 0 490078 10 0 0 25 0 1 0 208002128 9170944 2098 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519890 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2239 2098 67 122 0 2113 0
Current children cumulated CPU time (s) 4900.88
Current children cumulated vsize (KiB) 8956
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9168
/proc/meminfo: memFree=1696264/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=9040 CPUtime=4960.87
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2140 0 0 0 496076 11 0 0 25 0 1 0 208002128 9256960 2115 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519962 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2260 2115 67 122 0 2134 0
Current children cumulated CPU time (s) 4960.87
Current children cumulated vsize (KiB) 9040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9168
/proc/meminfo: memFree=1696328/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8992 CPUtime=5000.06
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2140 0 0 0 499995 11 0 0 25 0 1 0 208002128 9207808 2115 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134528471 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2248 2115 67 122 0 2122 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 8992
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5001.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9168
/proc/meminfo: memFree=1696328/2055920 swapFree=4183136/4192956
[pid=8944] ppid=8942 vsize=8992 CPUtime=5000.06
/proc/8944/stat : 8944 (mxc) R 8942 8944 8455 0 -1 4194304 2140 0 0 0 499995 11 0 0 25 0 1 0 208002128 9207808 2115 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134528471 0 0 4096 0 0 0 0 17 1 0 0
/proc/8944/statm: 2248 2115 67 122 0 2122 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 8992
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.51
CPU time (s): 5000.07
CPU user time (s): 4999.95
CPU system time (s): 0.114982
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 9044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.95
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2140
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= 6
involuntary context switches= 6645
runsolver used 3.78242 second user time and 9.92149 second system time
The end
Begin job on node57 on Fri Apr 27 10:11:02 UTC 2007
IDJOB= 424471
IDBENCH= 19959
IDSOLVER= 174
FILE ID= node57/424471-1177668662
PBS_JOBID= 4698563
Free space on /tmp= 66511 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v550/unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/424471-1177668662/mxc /tmp/evaluation/424471-1177668662/instance-424471-1177668662.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-424471-1177668662 -o ROOT/results/node57/solver-424471-1177668662 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/424471-1177668662/mxc /tmp/evaluation/424471-1177668662/instance-424471-1177668662.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 9278c1d1a76bef19bacee2a78120fe47
RANDOM SEED= 789438569
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node57.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: 1706400 kB
Buffers: 36552 kB
Cached: 255896 kB
SwapCached: 4168 kB
Active: 157256 kB
Inactive: 145248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1706400 kB
SwapTotal: 4192956 kB
SwapFree: 4183108 kB
Dirty: 616 kB
Writeback: 0 kB
Mapped: 15532 kB
Slab: 33120 kB
Committed_AS: 2672024 kB
PageTables: 1408 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= 66511 MiB
End job on node57 on Fri Apr 27 11:34:25 UTC 2007