runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-424614-1177743578 -o ROOT/results/node34/solver-424614-1177743578 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/424614-1177743578/mxc /tmp/evaluation/424614-1177743578/instance-424614-1177743578.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: 0.77 0.92 0.97 3/77 16205
/proc/meminfo: memFree=1560128/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=1692 CPUtime=0
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 222273217 1732608 252 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134691428 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 423 252 46 122 0 297 0
[startup+0.0717001 s]
/proc/loadavg: 0.77 0.92 0.97 3/77 16205
/proc/meminfo: memFree=1560128/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=2144 CPUtime=0.06
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 523 0 0 0 6 0 0 0 18 0 1 0 222273217 2195456 384 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 536 384 59 122 0 410 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2144
[startup+0.101702 s]
/proc/loadavg: 0.77 0.92 0.97 3/77 16205
/proc/meminfo: memFree=1560128/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=2276 CPUtime=0.09
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 543 0 0 0 9 0 0 0 18 0 1 0 222273217 2330624 404 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 569 404 59 122 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2276
[startup+0.301718 s]
/proc/loadavg: 0.77 0.92 0.97 3/77 16205
/proc/meminfo: memFree=1560128/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=2804 CPUtime=0.29
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 683 0 0 0 29 0 0 0 19 0 1 0 222273217 2871296 544 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 701 544 59 122 0 575 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2804
[startup+0.701749 s]
/proc/loadavg: 0.77 0.92 0.97 3/77 16205
/proc/meminfo: memFree=1560128/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=3728 CPUtime=0.69
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 911 0 0 0 69 0 0 0 22 0 1 0 222273217 3817472 772 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 932 772 59 122 0 806 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3728
[startup+1.50181 s]
/proc/loadavg: 0.77 0.92 0.97 2/78 16206
/proc/meminfo: memFree=1556664/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=5088 CPUtime=1.49
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 1253 0 0 0 149 0 0 0 25 0 1 0 222273217 5210112 1114 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 1272 1114 59 122 0 1146 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5088
[startup+3.10194 s]
/proc/loadavg: 0.77 0.92 0.97 2/78 16206
/proc/meminfo: memFree=1554936/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=5888 CPUtime=3.09
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 1468 0 0 0 309 0 0 0 25 0 1 0 222273217 6029312 1327 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 1472 1327 67 122 0 1346 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5888
[startup+6.30119 s]
/proc/loadavg: 0.79 0.92 0.97 2/78 16206
/proc/meminfo: memFree=1554104/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=7048 CPUtime=6.29
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 1736 0 0 0 629 0 0 0 25 0 1 0 222273217 7217152 1595 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519297 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 1762 1595 67 122 0 1636 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7048
[startup+12.7017 s]
/proc/loadavg: 0.81 0.92 0.97 2/78 16206
/proc/meminfo: memFree=1553016/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=7700 CPUtime=12.69
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 1902 0 0 0 1268 1 0 0 25 0 1 0 222273217 7884800 1761 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519261 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 1925 1761 67 122 0 1799 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7700
[startup+25.5017 s]
/proc/loadavg: 0.85 0.93 0.97 2/78 16206
/proc/meminfo: memFree=1551544/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=9128 CPUtime=25.48
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 2272 0 0 0 2547 1 0 0 25 0 1 0 222273217 9347072 2131 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 2282 2131 67 122 0 2156 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9128
[startup+51.1017 s]
/proc/loadavg: 0.90 0.93 0.97 2/78 16206
/proc/meminfo: memFree=1550264/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=10424 CPUtime=51.08
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 2594 0 0 0 5106 2 0 0 25 0 1 0 222273217 10674176 2453 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 2606 2453 67 122 0 2480 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10424
[startup+102.306 s]
/proc/loadavg: 0.95 0.94 0.97 3/84 16322
/proc/meminfo: memFree=1546936/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=12392 CPUtime=102.22
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 3095 0 0 0 10218 4 0 0 25 0 1 0 222273217 12689408 2954 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 3098 2954 67 122 0 2972 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 12392
[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.97 2/78 16404
/proc/meminfo: memFree=1546680/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=13840 CPUtime=162.14
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 3475 0 0 0 16210 4 0 0 25 0 1 0 222273217 14172160 3266 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 3460 3266 67 122 0 3334 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 13840
[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 16404
/proc/meminfo: memFree=1546616/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=13948 CPUtime=222.13
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 3764 0 0 0 22208 5 0 0 25 0 1 0 222273217 14282752 3283 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 3487 3283 67 122 0 3361 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 13948
[startup+282.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 16404
/proc/meminfo: memFree=1545592/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=15008 CPUtime=282.11
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 4290 0 0 0 28205 6 0 0 25 0 1 0 222273217 15368192 3555 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 3752 3555 67 122 0 3626 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 15008
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16404
/proc/meminfo: memFree=1545464/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=15272 CPUtime=342.09
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 4604 0 0 0 34203 6 0 0 25 0 1 0 222273217 15638528 3603 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 3818 3603 67 122 0 3692 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 15272
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16404
/proc/meminfo: memFree=1545208/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=15404 CPUtime=402.08
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 4878 0 0 0 40201 7 0 0 25 0 1 0 222273217 15773696 3649 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 3851 3649 67 122 0 3725 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 15404
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16404
/proc/meminfo: memFree=1543864/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=16724 CPUtime=462.07
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 5463 0 0 0 46199 8 0 0 25 0 1 0 222273217 17125376 3988 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 4181 3988 67 122 0 4055 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 16724
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16404
/proc/meminfo: memFree=1543672/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=17124 CPUtime=522.05
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 5738 0 0 0 52197 8 0 0 25 0 1 0 222273217 17534976 4058 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519284 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 4281 4058 67 122 0 4155 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 17124
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16404
/proc/meminfo: memFree=1543544/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=17272 CPUtime=582.04
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 5973 0 0 0 58195 9 0 0 25 0 1 0 222273217 17686528 4088 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519218 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 4318 4088 67 122 0 4192 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 17272
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16404
/proc/meminfo: memFree=1543480/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=17272 CPUtime=642.03
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 6237 0 0 0 64194 9 0 0 25 0 1 0 222273217 17686528 4106 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134528471 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 4318 4106 67 122 0 4192 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 17272
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 16604
/proc/meminfo: memFree=1534136/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26752 CPUtime=4001.15
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 18075 0 0 0 400071 44 0 0 25 0 1 0 222273217 27394048 6370 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519610 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6688 6370 67 122 0 6562 0
Current children cumulated CPU time (s) 4001.15
Current children cumulated vsize (KiB) 26752
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 16604
/proc/meminfo: memFree=1534200/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26752 CPUtime=4061.15
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 18195 0 0 0 406070 45 0 0 25 0 1 0 222273217 27394048 6370 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6688 6370 67 122 0 6562 0
Current children cumulated CPU time (s) 4061.15
Current children cumulated vsize (KiB) 26752
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 16604
/proc/meminfo: memFree=1534200/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26732 CPUtime=4121.13
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 18375 0 0 0 412067 46 0 0 25 0 1 0 222273217 27373568 6370 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6683 6370 67 122 0 6557 0
Current children cumulated CPU time (s) 4121.13
Current children cumulated vsize (KiB) 26732
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 16604
/proc/meminfo: memFree=1534200/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26732 CPUtime=4181.12
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 18495 0 0 0 418066 46 0 0 25 0 1 0 222273217 27373568 6370 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6683 6370 67 122 0 6557 0
Current children cumulated CPU time (s) 4181.12
Current children cumulated vsize (KiB) 26732
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 16604
/proc/meminfo: memFree=1534136/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26732 CPUtime=4241.1
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 18676 0 0 0 424063 47 0 0 25 0 1 0 222273217 27373568 6371 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6683 6371 67 122 0 6557 0
Current children cumulated CPU time (s) 4241.1
Current children cumulated vsize (KiB) 26732
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 16604
/proc/meminfo: memFree=1534200/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26732 CPUtime=4301.09
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 18796 0 0 0 430062 47 0 0 25 0 1 0 222273217 27373568 6371 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519619 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6683 6371 67 122 0 6557 0
Current children cumulated CPU time (s) 4301.09
Current children cumulated vsize (KiB) 26732
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 16604
/proc/meminfo: memFree=1534200/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26732 CPUtime=4361.08
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 18979 0 0 0 436060 48 0 0 25 0 1 0 222273217 27373568 6374 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6683 6374 67 122 0 6557 0
Current children cumulated CPU time (s) 4361.08
Current children cumulated vsize (KiB) 26732
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 16604
/proc/meminfo: memFree=1534264/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26732 CPUtime=4421.07
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 19099 0 0 0 442058 49 0 0 25 0 1 0 222273217 27373568 6374 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519284 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6683 6374 67 122 0 6557 0
Current children cumulated CPU time (s) 4421.07
Current children cumulated vsize (KiB) 26732
[startup+4482.3 s]
/proc/loadavg: 1.11 1.03 0.99 2/78 16604
/proc/meminfo: memFree=1534200/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26732 CPUtime=4481.05
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 19288 0 0 0 448056 49 0 0 25 0 1 0 222273217 27373568 6383 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519587 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6683 6383 67 122 0 6557 0
Current children cumulated CPU time (s) 4481.05
Current children cumulated vsize (KiB) 26732
[startup+4542.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/78 16604
/proc/meminfo: memFree=1534200/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26732 CPUtime=4541.03
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 19408 0 0 0 454054 49 0 0 25 0 1 0 222273217 27373568 6383 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519249 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6683 6383 67 122 0 6557 0
Current children cumulated CPU time (s) 4541.03
Current children cumulated vsize (KiB) 26732
[startup+4602.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 16604
/proc/meminfo: memFree=1534136/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26732 CPUtime=4601.03
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 19589 0 0 0 460053 50 0 0 25 0 1 0 222273217 27373568 6384 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6683 6384 67 122 0 6557 0
Current children cumulated CPU time (s) 4601.03
Current children cumulated vsize (KiB) 26732
[startup+4662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 16604
/proc/meminfo: memFree=1534200/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26732 CPUtime=4661
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 19710 0 0 0 466050 50 0 0 25 0 1 0 222273217 27373568 6385 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6683 6385 67 122 0 6557 0
Current children cumulated CPU time (s) 4661
Current children cumulated vsize (KiB) 26732
[startup+4722.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 16604
/proc/meminfo: memFree=1534072/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26864 CPUtime=4721
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 19919 0 0 0 472049 51 0 0 25 0 1 0 222273217 27508736 6414 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530302 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6716 6414 67 122 0 6590 0
Current children cumulated CPU time (s) 4721
Current children cumulated vsize (KiB) 26864
[startup+4782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 16604
/proc/meminfo: memFree=1534008/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26864 CPUtime=4780.97
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 20040 0 0 0 478046 51 0 0 25 0 1 0 222273217 27508736 6415 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519229 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6716 6415 67 122 0 6590 0
Current children cumulated CPU time (s) 4780.97
Current children cumulated vsize (KiB) 26864
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16604
/proc/meminfo: memFree=1533944/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26864 CPUtime=4840.96
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 20220 0 0 0 484044 52 0 0 25 0 1 0 222273217 27508736 6415 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6716 6415 67 122 0 6590 0
Current children cumulated CPU time (s) 4840.96
Current children cumulated vsize (KiB) 26864
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16604
/proc/meminfo: memFree=1533944/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26864 CPUtime=4900.95
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 20340 0 0 0 490042 53 0 0 25 0 1 0 222273217 27508736 6415 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6716 6415 67 122 0 6590 0
Current children cumulated CPU time (s) 4900.95
Current children cumulated vsize (KiB) 26864
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16604
/proc/meminfo: memFree=1534072/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=26864 CPUtime=4960.93
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 20521 0 0 0 496040 53 0 0 25 0 1 0 222273217 27508736 6416 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519238 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 6716 6416 67 122 0 6590 0
Current children cumulated CPU time (s) 4960.93
Current children cumulated vsize (KiB) 26864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16604
/proc/meminfo: memFree=1532920/2055920 swapFree=4159684/4192956
[pid=16205] ppid=16203 vsize=28308 CPUtime=5000.03
/proc/16205/stat : 16205 (mxc) R 16203 16205 16151 0 -1 4194304 20881 0 0 0 499949 54 0 0 25 0 1 0 222273217 28987392 6710 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16205/statm: 7077 6710 67 122 0 6951 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 28308
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): 5001.41
CPU time (s): 5000.05
CPU user time (s): 4999.5
CPU system time (s): 0.550916
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 28572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.5
system time used= 0.550916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20881
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= 11273
runsolver used 3.89941 second user time and 11.0793 second system time
The end
Begin job on node34 on Sat Apr 28 06:59:38 UTC 2007
IDJOB= 424614
IDBENCH= 20116
IDSOLVER= 174
FILE ID= node34/424614-1177743578
PBS_JOBID= 4715510
Free space on /tmp= 66496 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v200/unif-k7-r85-v200-c17000-S849793820-03.cnf
COMMAND LINE= /tmp/evaluation/424614-1177743578/mxc /tmp/evaluation/424614-1177743578/instance-424614-1177743578.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-424614-1177743578 -o ROOT/results/node34/solver-424614-1177743578 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/424614-1177743578/mxc /tmp/evaluation/424614-1177743578/instance-424614-1177743578.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= ed1f689cc6976e9722bcb1ee5f3d8edc
RANDOM SEED= 153320799
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node34.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: 1560536 kB
Buffers: 48980 kB
Cached: 353188 kB
SwapCached: 3112 kB
Active: 257228 kB
Inactive: 168480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1560536 kB
SwapTotal: 4192956 kB
SwapFree: 4159684 kB
Dirty: 1248 kB
Writeback: 0 kB
Mapped: 30380 kB
Slab: 55020 kB
Committed_AS: 1669036 kB
PageTables: 1976 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= 66496 MiB
End job on node34 on Sat Apr 28 08:23:01 UTC 2007