runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-424438-1177652807 -o ROOT/results/node7/solver-424438-1177652807 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/424438-1177652807/mxc /tmp/evaluation/424438-1177652807/instance-424438-1177652807.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.84 0.95 0.98 3/77 30435
/proc/meminfo: memFree=1726120/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=1328 CPUtime=0
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 241318288 1359872 169 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519930 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 332 169 57 122 0 206 0
[startup+0.0265199 s]
/proc/loadavg: 0.84 0.95 0.98 3/77 30435
/proc/meminfo: memFree=1726120/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=1328 CPUtime=0.02
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 186 0 0 0 2 0 0 0 18 0 1 0 241318288 1359872 171 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 332 171 59 122 0 206 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1328
[startup+0.101527 s]
/proc/loadavg: 0.84 0.95 0.98 3/77 30435
/proc/meminfo: memFree=1726120/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=1460 CPUtime=0.09
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 239 0 0 0 9 0 0 0 18 0 1 0 241318288 1495040 224 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 365 224 59 122 0 239 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1460
[startup+0.301548 s]
/proc/loadavg: 0.84 0.95 0.98 3/77 30435
/proc/meminfo: memFree=1726120/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=1600 CPUtime=0.29
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 287 0 0 0 29 0 0 0 19 0 1 0 241318288 1638400 270 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 400 271 67 122 0 274 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1600
[startup+0.70159 s]
/proc/loadavg: 0.84 0.95 0.98 3/77 30435
/proc/meminfo: memFree=1726120/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=1872 CPUtime=0.69
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 331 0 0 0 69 0 0 0 22 0 1 0 241318288 1916928 314 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519964 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 468 314 67 122 0 342 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1872
[startup+1.50167 s]
/proc/loadavg: 0.84 0.95 0.98 2/78 30436
/proc/meminfo: memFree=1725024/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=1996 CPUtime=1.49
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 375 0 0 0 149 0 0 0 25 0 1 0 241318288 2043904 358 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 499 358 67 122 0 373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1996
[startup+3.10184 s]
/proc/loadavg: 0.84 0.95 0.98 2/78 30436
/proc/meminfo: memFree=1724768/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=2128 CPUtime=3.09
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 415 0 0 0 309 0 0 0 25 0 1 0 241318288 2179072 398 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 532 398 67 122 0 406 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2128
[startup+6.30118 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 30436
/proc/meminfo: memFree=1724448/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=2392 CPUtime=6.29
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 481 0 0 0 629 0 0 0 25 0 1 0 241318288 2449408 464 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519311 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 598 464 67 122 0 472 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2392
[startup+12.7018 s]
/proc/loadavg: 0.87 0.95 0.98 2/78 30436
/proc/meminfo: memFree=1724072/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=2620 CPUtime=12.69
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 534 0 0 0 1269 0 0 0 25 0 1 0 241318288 2682880 517 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519246 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 655 517 67 122 0 529 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2620
[startup+25.5012 s]
/proc/loadavg: 0.89 0.95 0.98 2/78 30436
/proc/meminfo: memFree=1723688/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=3076 CPUtime=25.49
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 634 0 0 0 2549 0 0 0 25 0 1 0 241318288 3149824 617 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519240 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 769 617 67 122 0 643 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3076
[startup+51.1019 s]
/proc/loadavg: 0.93 0.96 0.98 2/78 30436
/proc/meminfo: memFree=1723368/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=3384 CPUtime=51.07
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 715 0 0 0 5107 0 0 0 25 0 1 0 241318288 3465216 698 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519243 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 846 698 67 122 0 720 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3384
[startup+102.305 s]
/proc/loadavg: 0.97 0.96 0.98 2/78 30436
/proc/meminfo: memFree=1722856/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=3756 CPUtime=102.27
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 811 0 0 0 10226 1 0 0 25 0 1 0 241318288 3846144 793 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 939 793 67 122 0 813 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3756
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30436
/proc/meminfo: memFree=1722408/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=4164 CPUtime=162.24
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 921 0 0 0 16223 1 0 0 25 0 1 0 241318288 4263936 903 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 1041 903 67 122 0 915 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 4164
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30436
/proc/meminfo: memFree=1721832/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=4744 CPUtime=222.23
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 1061 0 0 0 22221 2 0 0 25 0 1 0 241318288 4857856 1043 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 1186 1043 67 122 0 1060 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 4744
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30436
/proc/meminfo: memFree=1721576/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=4936 CPUtime=282.21
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 1117 0 0 0 28219 2 0 0 25 0 1 0 241318288 5054464 1099 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519249 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 1234 1099 67 122 0 1108 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 4936
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30436
/proc/meminfo: memFree=1721512/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=4936 CPUtime=342.2
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 1126 0 0 0 34217 3 0 0 25 0 1 0 241318288 5054464 1108 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 1234 1108 67 122 0 1108 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 4936
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30436
/proc/meminfo: memFree=1721448/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=5032 CPUtime=402.18
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 1142 0 0 0 40215 3 0 0 25 0 1 0 241318288 5152768 1124 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519311 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 1258 1124 67 122 0 1132 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 5032
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30436
/proc/meminfo: memFree=1721512/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=5032 CPUtime=462.16
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 1142 0 0 0 46212 4 0 0 25 0 1 0 241318288 5152768 1124 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 1258 1124 67 122 0 1132 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 5032
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30436
/proc/meminfo: memFree=1721384/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=5292 CPUtime=522.14
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 1186 0 0 0 52210 4 0 0 25 0 1 0 241318288 5419008 1168 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 1323 1168 67 122 0 1197 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 5292
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30436
/proc/meminfo: memFree=1721320/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=5292 CPUtime=582.13
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 1194 0 0 0 58208 5 0 0 25 0 1 0 241318288 5419008 1176 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 1323 1176 67 122 0 1197 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 5292
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30436
/proc/meminfo: memFree=1721320/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=5292 CPUtime=642.11
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 1194 0 0 0 64206 5 0 0 25 0 1 0 241318288 5419008 1176 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519596 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 1323 1176 67 122 0 1197 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 5292
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30636
/proc/meminfo: memFree=1718056/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8584 CPUtime=4061.02
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2033 0 0 0 406067 35 0 0 25 0 1 0 241318288 8790016 2007 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2146 2007 67 122 0 2020 0
Current children cumulated CPU time (s) 4061.02
Current children cumulated vsize (KiB) 8584
[startup+4122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30636
/proc/meminfo: memFree=1717992/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8584 CPUtime=4121
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2033 0 0 0 412064 36 0 0 25 0 1 0 241318288 8790016 2007 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134534724 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2146 2007 67 122 0 2020 0
Current children cumulated CPU time (s) 4121
Current children cumulated vsize (KiB) 8584
[startup+4182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30636
/proc/meminfo: memFree=1718056/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8584 CPUtime=4180.98
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2033 0 0 0 418062 36 0 0 25 0 1 0 241318288 8790016 2007 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2146 2007 67 122 0 2020 0
Current children cumulated CPU time (s) 4180.98
Current children cumulated vsize (KiB) 8584
[startup+4242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30636
/proc/meminfo: memFree=1717928/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8648 CPUtime=4240.97
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2049 0 0 0 424060 37 0 0 25 0 1 0 241318288 8855552 2023 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519599 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2162 2023 67 122 0 2036 0
Current children cumulated CPU time (s) 4240.97
Current children cumulated vsize (KiB) 8648
[startup+4302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30636
/proc/meminfo: memFree=1717864/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8712 CPUtime=4300.96
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2065 0 0 0 430058 38 0 0 25 0 1 0 241318288 8921088 2039 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519311 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2178 2039 67 122 0 2052 0
Current children cumulated CPU time (s) 4300.96
Current children cumulated vsize (KiB) 8712
[startup+4362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30636
/proc/meminfo: memFree=1717928/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8712 CPUtime=4360.94
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2065 0 0 0 436056 38 0 0 25 0 1 0 241318288 8921088 2039 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134517389 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2178 2039 67 122 0 2052 0
Current children cumulated CPU time (s) 4360.94
Current children cumulated vsize (KiB) 8712
[startup+4422.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30636
/proc/meminfo: memFree=1717864/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8712 CPUtime=4420.91
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2065 0 0 0 442053 38 0 0 25 0 1 0 241318288 8921088 2039 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2178 2039 67 122 0 2052 0
Current children cumulated CPU time (s) 4420.91
Current children cumulated vsize (KiB) 8712
[startup+4482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 30774
/proc/meminfo: memFree=1716472/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8712 CPUtime=4480.82
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2065 0 0 0 448042 40 0 0 25 0 1 0 241318288 8921088 2039 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2178 2039 67 122 0 2052 0
Current children cumulated CPU time (s) 4480.82
Current children cumulated vsize (KiB) 8712
[startup+4542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30834
/proc/meminfo: memFree=1717544/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8712 CPUtime=4540.78
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2065 0 0 0 454038 40 0 0 25 0 1 0 241318288 8921088 2039 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519249 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2178 2039 67 122 0 2052 0
Current children cumulated CPU time (s) 4540.78
Current children cumulated vsize (KiB) 8712
[startup+4602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30834
/proc/meminfo: memFree=1717544/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8712 CPUtime=4600.77
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2065 0 0 0 460036 41 0 0 25 0 1 0 241318288 8921088 2039 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2178 2039 67 122 0 2052 0
Current children cumulated CPU time (s) 4600.77
Current children cumulated vsize (KiB) 8712
[startup+4662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30834
/proc/meminfo: memFree=1717544/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8712 CPUtime=4660.75
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2065 0 0 0 466034 41 0 0 25 0 1 0 241318288 8921088 2039 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519194 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2178 2039 67 122 0 2052 0
Current children cumulated CPU time (s) 4660.75
Current children cumulated vsize (KiB) 8712
[startup+4722.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30834
/proc/meminfo: memFree=1717672/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8776 CPUtime=4720.74
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2081 0 0 0 472032 42 0 0 25 0 1 0 241318288 8986624 2055 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2194 2055 67 122 0 2068 0
Current children cumulated CPU time (s) 4720.74
Current children cumulated vsize (KiB) 8776
[startup+4782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30834
/proc/meminfo: memFree=1717608/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8776 CPUtime=4780.71
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2081 0 0 0 478029 42 0 0 25 0 1 0 241318288 8986624 2055 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530261 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2194 2055 67 122 0 2068 0
Current children cumulated CPU time (s) 4780.71
Current children cumulated vsize (KiB) 8776
[startup+4842.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30834
/proc/meminfo: memFree=1717672/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8776 CPUtime=4840.7
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2081 0 0 0 484027 43 0 0 25 0 1 0 241318288 8986624 2055 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134534751 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2194 2055 67 122 0 2068 0
Current children cumulated CPU time (s) 4840.7
Current children cumulated vsize (KiB) 8776
[startup+4902.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30834
/proc/meminfo: memFree=1717608/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8776 CPUtime=4900.68
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2081 0 0 0 490025 43 0 0 25 0 1 0 241318288 8986624 2055 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2194 2055 67 122 0 2068 0
Current children cumulated CPU time (s) 4900.68
Current children cumulated vsize (KiB) 8776
[startup+4962.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30834
/proc/meminfo: memFree=1717672/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8776 CPUtime=4960.67
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2081 0 0 0 496023 44 0 0 25 0 1 0 241318288 8986624 2055 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519587 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2194 2055 67 122 0 2068 0
Current children cumulated CPU time (s) 4960.67
Current children cumulated vsize (KiB) 8776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30834
/proc/meminfo: memFree=1717672/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8776 CPUtime=5000.06
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2081 0 0 0 499962 44 0 0 25 0 1 0 241318288 8986624 2055 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2194 2055 67 122 0 2068 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 8776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5001.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30834
/proc/meminfo: memFree=1717672/2055920 swapFree=4156316/4192956
[pid=30435] ppid=30433 vsize=8776 CPUtime=5000.06
/proc/30435/stat : 30435 (mxc) R 30433 30435 30381 0 -1 4194304 2081 0 0 0 499962 44 0 0 25 0 1 0 241318288 8986624 2055 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30435/statm: 2194 2055 67 122 0 2068 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 8776
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.71
CPU time (s): 5000.08
CPU user time (s): 4999.63
CPU system time (s): 0.450931
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 8876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.63
system time used= 0.450931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2081
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= 56369
runsolver used 3.9334 second user time and 10.4574 second system time
The end
Begin job on node7 on Fri Apr 27 05:46:47 UTC 2007
IDJOB= 424438
IDBENCH= 19913
IDSOLVER= 174
FILE ID= node7/424438-1177652807
PBS_JOBID= 4697378
Free space on /tmp= 66544 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v55/unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/424438-1177652807/mxc /tmp/evaluation/424438-1177652807/instance-424438-1177652807.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-424438-1177652807 -o ROOT/results/node7/solver-424438-1177652807 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/424438-1177652807/mxc /tmp/evaluation/424438-1177652807/instance-424438-1177652807.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= cc3368792acc31c53b7db8a3b6afc2f4
RANDOM SEED= 664165941
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node7.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.231
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.231
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: 1726528 kB
Buffers: 40116 kB
Cached: 221004 kB
SwapCached: 16796 kB
Active: 181232 kB
Inactive: 103776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1726528 kB
SwapTotal: 4192956 kB
SwapFree: 4156316 kB
Dirty: 892 kB
Writeback: 0 kB
Mapped: 29636 kB
Slab: 29804 kB
Committed_AS: 8933080 kB
PageTables: 1860 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= 66544 MiB
End job on node7 on Fri Apr 27 07:10:10 UTC 2007