runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-367551-1176943021 -o ROOT/results/node42/solver-367551-1176943021 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/367551-1176943021/mxc /tmp/evaluation/367551-1176943021/instance-367551-1176943021.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.80 0.94 0.95 3/77 2156
/proc/meminfo: memFree=1817512/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=20916 CPUtime=0
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 751 0 0 0 0 0 0 0 18 0 1 0 142214113 21417984 735 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134550509 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 5229 742 43 122 0 5103 0
[startup+0.0809971 s]
/proc/loadavg: 0.80 0.94 0.95 3/77 2156
/proc/meminfo: memFree=1817512/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=49752 CPUtime=0.07
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 12241 0 0 0 1 6 0 0 18 0 1 0 142214113 50946048 12225 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134523695 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 12438 12227 46 122 0 12312 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 49752
[startup+0.102001 s]
/proc/loadavg: 0.80 0.94 0.95 3/77 2156
/proc/meminfo: memFree=1817512/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=61712 CPUtime=0.09
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 13467 0 0 0 3 6 0 0 18 0 1 0 142214113 63193088 13451 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134522432 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 15428 13452 46 122 0 15302 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61712
[startup+0.301038 s]
/proc/loadavg: 0.80 0.94 0.95 3/77 2156
/proc/meminfo: memFree=1817512/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=71584 CPUtime=0.29
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 15830 0 0 0 22 7 0 0 19 0 1 0 142214113 73302016 15814 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 17896 15814 46 122 0 17770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71584
[startup+0.701115 s]
/proc/loadavg: 0.80 0.94 0.95 3/77 2156
/proc/meminfo: memFree=1817512/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=67540 CPUtime=0.69
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 19777 0 0 0 61 8 0 0 22 0 1 0 142214113 69160960 14765 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134520563 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 16885 14765 47 122 0 16759 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67540
[startup+1.50127 s]
/proc/loadavg: 0.80 0.94 0.95 2/78 2157
/proc/meminfo: memFree=1758176/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=67540 CPUtime=1.49
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 19806 0 0 0 141 8 0 0 25 0 1 0 142214113 69160960 14794 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 16885 14794 58 122 0 16759 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67540
[startup+3.10157 s]
/proc/loadavg: 0.80 0.94 0.95 2/78 2157
/proc/meminfo: memFree=1758048/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=67672 CPUtime=3.09
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 19824 0 0 0 301 8 0 0 25 0 1 0 142214113 69296128 14812 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 16918 14812 58 122 0 16792 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67672
[startup+6.30118 s]
/proc/loadavg: 0.81 0.94 0.95 2/78 2157
/proc/meminfo: memFree=1758048/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=67804 CPUtime=6.28
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 19862 0 0 0 620 8 0 0 25 0 1 0 142214113 69431296 14850 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134529591 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 16951 14850 59 122 0 16825 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 67804
[startup+12.7014 s]
/proc/loadavg: 0.83 0.94 0.95 2/78 2157
/proc/meminfo: memFree=1757728/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=68332 CPUtime=12.67
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 19978 0 0 0 1259 8 0 0 25 0 1 0 142214113 69971968 14966 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 17083 14966 59 122 0 16957 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 68332
[startup+25.5018 s]
/proc/loadavg: 0.86 0.94 0.95 2/78 2157
/proc/meminfo: memFree=1756320/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=69784 CPUtime=25.47
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 20346 0 0 0 2538 9 0 0 25 0 1 0 142214113 71458816 15334 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 17446 15334 59 122 0 17320 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 69784
[startup+51.1017 s]
/proc/loadavg: 0.91 0.95 0.95 2/78 2157
/proc/meminfo: memFree=1753184/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=73084 CPUtime=51.05
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 21173 0 0 0 5095 10 0 0 25 0 1 0 142214113 74838016 16161 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 18271 16161 59 122 0 18145 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 73084
[startup+102.305 s]
/proc/loadavg: 0.96 0.95 0.95 2/78 2157
/proc/meminfo: memFree=1745440/2055920 swapFree=4111744/4192956
[pid=2156] ppid=2154 vsize=80740 CPUtime=102.24
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 23083 0 0 0 10211 13 0 0 25 0 1 0 142214113 82677760 18071 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519890 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 20185 18071 59 122 0 20059 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 80740
[startup+162.303 s]
/proc/loadavg: 0.98 0.96 0.95 2/78 2159
/proc/meminfo: memFree=1739680/2055920 swapFree=4111808/4192956
[pid=2156] ppid=2154 vsize=86540 CPUtime=162.21
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 24493 0 0 0 16206 15 0 0 25 0 1 0 142214113 88616960 19481 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519757 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 21635 19481 59 122 0 21509 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 86540
[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.95 2/78 2159
/proc/meminfo: memFree=1730592/2055920 swapFree=4111808/4192956
[pid=2156] ppid=2154 vsize=95408 CPUtime=222.19
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 26768 0 0 0 22200 19 0 0 25 0 1 0 142214113 97697792 21756 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519249 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 23852 21756 59 122 0 23726 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 95408
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 2159
/proc/meminfo: memFree=1720224/2055920 swapFree=4111808/4192956
[pid=2156] ppid=2154 vsize=106364 CPUtime=282.17
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 29397 0 0 0 28194 23 0 0 25 0 1 0 142214113 108916736 24385 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530562 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 26591 24385 59 122 0 26465 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 106364
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 2159
/proc/meminfo: memFree=1707488/2055920 swapFree=4111872/4192956
[pid=2156] ppid=2154 vsize=119320 CPUtime=342.16
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 32584 0 0 0 34187 29 0 0 25 0 1 0 142214113 122183680 27572 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519291 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 29830 27572 59 122 0 29704 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 119320
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 2159
/proc/meminfo: memFree=1697760/2055920 swapFree=4111872/4192956
[pid=2156] ppid=2154 vsize=128952 CPUtime=402.13
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 35018 0 0 0 40181 32 0 0 25 0 1 0 142214113 132046848 30006 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134529588 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 32238 30006 59 122 0 32112 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 128952
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 2159
/proc/meminfo: memFree=1688736/2055920 swapFree=4111936/4192956
[pid=2156] ppid=2154 vsize=138904 CPUtime=462.11
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 37237 0 0 0 46177 34 0 0 25 0 1 0 142214113 142237696 32225 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530564 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 34726 32225 59 122 0 34600 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 138904
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 2159
/proc/meminfo: memFree=1681760/2055920 swapFree=4111936/4192956
[pid=2156] ppid=2154 vsize=146060 CPUtime=522.09
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 38998 0 0 0 52172 37 0 0 25 0 1 0 142214113 149565440 33986 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530564 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 36515 33986 59 122 0 36389 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 146060
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 2159
/proc/meminfo: memFree=1671904/2055920 swapFree=4111936/4192956
[pid=2156] ppid=2154 vsize=155596 CPUtime=582.07
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 41434 0 0 0 58167 40 0 0 25 0 1 0 142214113 159330304 36422 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 38899 36422 59 122 0 38773 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 155596
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 2159
/proc/meminfo: memFree=1663584/2055920 swapFree=4112000/4192956
[pid=2156] ppid=2154 vsize=164016 CPUtime=642.06
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 43516 0 0 0 64163 43 0 0 25 0 1 0 142214113 167952384 38504 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530564 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 41004 38504 59 122 0 40878 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 164016
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1310432/2055920 swapFree=4115620/4192956
[pid=2156] ppid=2154 vsize=479696 CPUtime=9098.73
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 124073 0 0 0 909676 197 0 0 25 0 1 0 142214113 491208704 116398 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 119924 116398 67 122 0 119798 0
Current children cumulated CPU time (s) 9098.73
Current children cumulated vsize (KiB) 479696
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1304608/2055920 swapFree=4115684/4192956
[pid=2156] ppid=2154 vsize=485512 CPUtime=9158.71
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 125511 0 0 0 915672 199 0 0 25 0 1 0 142214113 497164288 117836 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 121378 117836 67 122 0 121252 0
Current children cumulated CPU time (s) 9158.71
Current children cumulated vsize (KiB) 485512
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1298208/2055920 swapFree=4115684/4192956
[pid=2156] ppid=2154 vsize=491976 CPUtime=9218.69
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 127085 0 0 0 921667 202 0 0 25 0 1 0 142214113 503783424 119410 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530562 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 122994 119410 67 122 0 122868 0
Current children cumulated CPU time (s) 9218.69
Current children cumulated vsize (KiB) 491976
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1292576/2055920 swapFree=4115748/4192956
[pid=2156] ppid=2154 vsize=497676 CPUtime=9278.67
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 128497 0 0 0 927664 203 0 0 25 0 1 0 142214113 509620224 120822 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 124419 120822 67 122 0 124293 0
Current children cumulated CPU time (s) 9278.67
Current children cumulated vsize (KiB) 497676
[startup+9342.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 3233
/proc/meminfo: memFree=1286816/2055920 swapFree=4115748/4192956
[pid=2156] ppid=2154 vsize=503400 CPUtime=9338.64
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 129933 0 0 0 933660 204 0 0 25 0 1 0 142214113 515481600 122258 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519964 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 125850 122258 67 122 0 125724 0
Current children cumulated CPU time (s) 9338.64
Current children cumulated vsize (KiB) 503400
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1280736/2055920 swapFree=4115748/4192956
[pid=2156] ppid=2154 vsize=509492 CPUtime=9398.62
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 131446 0 0 0 939656 206 0 0 25 0 1 0 142214113 521719808 123771 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 127373 123771 67 122 0 127247 0
Current children cumulated CPU time (s) 9398.62
Current children cumulated vsize (KiB) 509492
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1275808/2055920 swapFree=4115812/4192956
[pid=2156] ppid=2154 vsize=514416 CPUtime=9458.6
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 132663 0 0 0 945652 208 0 0 25 0 1 0 142214113 526761984 124988 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531106 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 128604 124988 67 122 0 128478 0
Current children cumulated CPU time (s) 9458.6
Current children cumulated vsize (KiB) 514416
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1271136/2055920 swapFree=4115812/4192956
[pid=2156] ppid=2154 vsize=519304 CPUtime=9518.59
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 133847 0 0 0 951648 211 0 0 25 0 1 0 142214113 531767296 126172 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134529588 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 129826 126172 67 122 0 129700 0
Current children cumulated CPU time (s) 9518.59
Current children cumulated vsize (KiB) 519304
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1266144/2055920 swapFree=4115876/4192956
[pid=2156] ppid=2154 vsize=524248 CPUtime=9578.56
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 135093 0 0 0 957644 212 0 0 25 0 1 0 142214113 536829952 127418 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134534099 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 131062 127418 67 122 0 130936 0
Current children cumulated CPU time (s) 9578.56
Current children cumulated vsize (KiB) 524248
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1261856/2055920 swapFree=4115876/4192956
[pid=2156] ppid=2154 vsize=528604 CPUtime=9638.54
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 136168 0 0 0 963640 214 0 0 25 0 1 0 142214113 541290496 128493 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134529993 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 132151 128493 67 122 0 132025 0
Current children cumulated CPU time (s) 9638.54
Current children cumulated vsize (KiB) 528604
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1256352/2055920 swapFree=4115940/4192956
[pid=2156] ppid=2154 vsize=534028 CPUtime=9698.52
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 137521 0 0 0 969636 216 0 0 25 0 1 0 142214113 546844672 129846 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 133507 129846 67 122 0 133381 0
Current children cumulated CPU time (s) 9698.52
Current children cumulated vsize (KiB) 534028
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1251808/2055920 swapFree=4115940/4192956
[pid=2156] ppid=2154 vsize=538660 CPUtime=9758.5
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 138674 0 0 0 975632 218 0 0 25 0 1 0 142214113 551587840 130999 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 134665 130999 67 122 0 134539 0
Current children cumulated CPU time (s) 9758.5
Current children cumulated vsize (KiB) 538660
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1246944/2055920 swapFree=4115940/4192956
[pid=2156] ppid=2154 vsize=543552 CPUtime=9818.48
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 139878 0 0 0 981628 220 0 0 25 0 1 0 142214113 556597248 132203 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134529588 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 135888 132203 67 122 0 135762 0
Current children cumulated CPU time (s) 9818.48
Current children cumulated vsize (KiB) 543552
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1242976/2055920 swapFree=4116004/4192956
[pid=2156] ppid=2154 vsize=547528 CPUtime=9878.46
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 140870 0 0 0 987625 221 0 0 25 0 1 0 142214113 560668672 133195 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530562 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 136882 133195 67 122 0 136756 0
Current children cumulated CPU time (s) 9878.46
Current children cumulated vsize (KiB) 547528
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1238944/2055920 swapFree=4116004/4192956
[pid=2156] ppid=2154 vsize=551620 CPUtime=9938.43
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 141893 0 0 0 993621 222 0 0 25 0 1 0 142214113 564858880 134218 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134529591 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 137905 134218 67 122 0 137779 0
Current children cumulated CPU time (s) 9938.43
Current children cumulated vsize (KiB) 551620
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1235104/2055920 swapFree=4116068/4192956
[pid=2156] ppid=2154 vsize=555360 CPUtime=9998.42
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 142839 0 0 0 999618 224 0 0 25 0 1 0 142214113 568688640 135164 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 138840 135164 67 122 0 138714 0
Current children cumulated CPU time (s) 9998.42
Current children cumulated vsize (KiB) 555360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1234976/2055920 swapFree=4116068/4192956
[pid=2156] ppid=2154 vsize=555492 CPUtime=10000
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 142872 0 0 0 999778 224 0 0 25 0 1 0 142214113 568823808 135197 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 138873 135197 67 122 0 138747 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 555492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3233
/proc/meminfo: memFree=1234976/2055920 swapFree=4116068/4192956
[pid=2156] ppid=2154 vsize=555492 CPUtime=10000
/proc/2156/stat : 2156 (mxc) R 2154 2156 2093 0 -1 4194304 142872 0 0 0 999778 224 0 0 25 0 1 0 142214113 568823808 135197 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 138873 135197 67 122 0 138747 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 555492
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10004
CPU time (s): 10000.1
CPU user time (s): 9997.78
CPU system time (s): 2.33365
CPU usage (%): 99.9613
Max. virtual memory (cumulated for all children) (KiB): 555492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.78
system time used= 2.33364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142872
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= 84296
runsolver used 11.4633 second user time and 24.8662 second system time
The end
Begin job on node42 on Thu Apr 19 00:37:02 UTC 2007
IDJOB= 367551
IDBENCH= 20504
IDSOLVER= 174
FILE ID= node42/367551-1176943021
PBS_JOBID= 4605757
Free space on /tmp= 66429 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/manolios/manol-pipe-f10ni.cnf
COMMAND LINE= /tmp/evaluation/367551-1176943021/mxc /tmp/evaluation/367551-1176943021/instance-367551-1176943021.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-367551-1176943021 -o ROOT/results/node42/solver-367551-1176943021 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/367551-1176943021/mxc /tmp/evaluation/367551-1176943021/instance-367551-1176943021.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= b99a5b8844b4e1d2656eb1422e6e888f
RANDOM SEED= 327874915
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node42.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.277
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.277
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: 1817856 kB
Buffers: 30440 kB
Cached: 126064 kB
SwapCached: 17168 kB
Active: 103648 kB
Inactive: 83404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1817856 kB
SwapTotal: 4192956 kB
SwapFree: 4111744 kB
Dirty: 20732 kB
Writeback: 0 kB
Mapped: 38660 kB
Slab: 36404 kB
Committed_AS: 2971724 kB
PageTables: 1912 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= 66429 MiB
End job on node42 on Thu Apr 19 03:23:48 UTC 2007