runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1785671-1241925010/watcher-1785671-1241925010 -o /tmp/evaluation-result-1785671-1241925010/solver-1785671-1241925010 -C 5000 -W 6000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1234940529 HOME/instance-1785671-1241925010.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): 6000 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 134217728 bytes. The first 1048576 bytes and the last 133169152 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 25938
/proc/meminfo: memFree=922032/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=9896 CPUtime=0
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 220529914 10133504 168 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 2474 168 90 283 0 2188 0
[startup+0.0513351 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 25938
/proc/meminfo: memFree=922032/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=12648 CPUtime=0.04
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 870 0 0 0 4 0 0 0 18 0 1 0 220529914 12951552 855 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 3162 855 90 283 0 2876 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12648
[startup+0.102378 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 25938
/proc/meminfo: memFree=922032/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=15684 CPUtime=0.09
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 1622 0 0 0 9 0 0 0 19 0 1 0 220529914 16060416 1606 1992294400 134512640 135674940 4294956208 18446744073709551615 134579471 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 3921 1607 90 283 0 3635 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15684
[startup+0.301361 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 25938
/proc/meminfo: memFree=922032/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=28036 CPUtime=0.29
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 5131 0 0 0 27 2 0 0 19 0 1 0 220529914 28708864 4494 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 7009 4495 90 283 0 6723 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28036
[startup+0.702442 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 25938
/proc/meminfo: memFree=922032/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=51780 CPUtime=0.7
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 11524 0 0 0 64 6 0 0 24 0 1 0 220529914 53022720 10371 1992294400 134512640 135674940 4294956208 18446744073709551615 135076267 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 12945 10371 90 283 0 12659 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 51780
[startup+1.50149 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 25939
/proc/meminfo: memFree=862952/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=100540 CPUtime=1.49
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 25901 0 0 0 135 14 0 0 25 0 1 0 220529914 102952960 21658 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 25135 21658 90 283 0 24849 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100540
[startup+3.10167 s]
/proc/loadavg: 1.09 1.02 1.01 2/65 25939
/proc/meminfo: memFree=801768/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=198488 CPUtime=3.09
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 52186 0 0 0 280 29 0 0 25 0 1 0 220529914 203251712 44853 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 49622 44854 96 283 0 49336 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 198488
[startup+6.30202 s]
/proc/loadavg: 1.09 1.02 1.01 2/65 25939
/proc/meminfo: memFree=720936/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=232412 CPUtime=6.29
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 61909 0 0 0 596 33 0 0 25 0 1 0 220529914 237989888 50967 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 58103 50967 98 283 0 57817 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 232412
[startup+12.7017 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 25939
/proc/meminfo: memFree=711016/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=245252 CPUtime=12.69
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 65906 0 0 0 1233 36 0 0 25 0 1 0 220529914 251138048 53290 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 61313 53290 98 283 0 61027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 245252
[startup+25.5011 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 25939
/proc/meminfo: memFree=703208/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=254868 CPUtime=25.49
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 69272 0 0 0 2511 38 0 0 25 0 1 0 220529914 260984832 54983 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 63717 54983 98 283 0 63431 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 254868
[startup+51.102 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 25939
/proc/meminfo: memFree=697960/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=260192 CPUtime=51.04
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 70751 0 0 0 5065 39 0 0 25 0 1 0 220529914 266436608 56333 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 65048 56333 98 283 0 64762 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 260192
[startup+102.307 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 25939
/proc/meminfo: memFree=690792/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=270800 CPUtime=102.23
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 73403 0 0 0 10182 41 0 0 25 0 1 0 220529914 277299200 58084 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 67700 58084 98 283 0 67414 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 270800
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25939
/proc/meminfo: memFree=685160/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=277284 CPUtime=162.2
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 75342 0 0 0 16177 43 0 0 25 0 1 0 220529914 283938816 59507 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 69321 59507 98 283 0 69035 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 277284
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25939
/proc/meminfo: memFree=679464/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=285584 CPUtime=222.17
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 77517 0 0 0 22171 46 0 0 25 0 1 0 220529914 292438016 60909 1992294400 134512640 135674940 4294956208 18446744073709551615 134564294 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 71396 60909 98 283 0 71110 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 285584
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25939
/proc/meminfo: memFree=674664/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=292120 CPUtime=282.15
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 79240 0 0 0 28167 48 0 0 25 0 1 0 220529914 299130880 62117 1992294400 134512640 135674940 4294956208 18446744073709551615 134564617 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 73030 62117 98 283 0 72744 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 292120
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25939
/proc/meminfo: memFree=669736/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=296968 CPUtime=342.12
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 80447 0 0 0 34163 49 0 0 25 0 1 0 220529914 304095232 63324 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 74242 63324 98 283 0 73956 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 296968
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25939
/proc/meminfo: memFree=665128/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=301772 CPUtime=402.1
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 81738 0 0 0 40159 51 0 0 25 0 1 0 220529914 309014528 64486 1992294400 134512640 135674940 4294956208 18446744073709551615 134564241 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 75443 64486 98 283 0 75157 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 301772
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25939
/proc/meminfo: memFree=660392/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=305884 CPUtime=462.07
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 82950 0 0 0 46154 53 0 0 25 0 1 0 220529914 313225216 65698 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 76471 65698 98 283 0 76185 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 305884
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25939
/proc/meminfo: memFree=655144/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=311872 CPUtime=522.04
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 84678 0 0 0 52150 54 0 0 25 0 1 0 220529914 319356928 67039 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 77968 67039 98 283 0 77682 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 311872
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25939
/proc/meminfo: memFree=649064/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=318912 CPUtime=582.02
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 86801 0 0 0 58146 56 0 0 25 0 1 0 220529914 326565888 68518 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 79728 68518 98 283 0 79442 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 318912
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25939
/proc/meminfo: memFree=644392/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=323636 CPUtime=642.01
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 88071 0 0 0 64142 59 0 0 25 0 1 0 220529914 331403264 69659 1992294400 134512640 135674940 4294956208 18446744073709551615 134565288 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 80909 69659 98 283 0 80623 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 323636
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=447208/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=536080 CPUtime=4000.58
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 147273 0 0 0 399920 138 0 0 25 0 1 0 220529914 548945920 118697 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 134020 118697 98 283 0 133734 0
Current children cumulated CPU time (s) 4000.58
Current children cumulated vsize (KiB) 536080
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=444904/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=539204 CPUtime=4060.56
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 148066 0 0 0 405916 140 0 0 25 0 1 0 220529914 552144896 119233 1992294400 134512640 135674940 4294956208 18446744073709551615 134565290 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 134801 119233 98 283 0 134515 0
Current children cumulated CPU time (s) 4060.56
Current children cumulated vsize (KiB) 539204
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=442920/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=542076 CPUtime=4120.54
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 148824 0 0 0 411913 141 0 0 25 0 1 0 220529914 555085824 119734 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 135519 119734 98 283 0 135233 0
Current children cumulated CPU time (s) 4120.54
Current children cumulated vsize (KiB) 542076
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=440680/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=544056 CPUtime=4180.51
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 149393 0 0 0 417909 142 0 0 25 0 1 0 220529914 557113344 120303 1992294400 134512640 135674940 4294956208 18446744073709551615 134565282 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 136014 120303 98 283 0 135728 0
Current children cumulated CPU time (s) 4180.51
Current children cumulated vsize (KiB) 544056
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=438184/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=546432 CPUtime=4240.49
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 150033 0 0 0 423906 143 0 0 25 0 1 0 220529914 559546368 120943 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 136608 120943 98 283 0 136322 0
Current children cumulated CPU time (s) 4240.49
Current children cumulated vsize (KiB) 546432
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=435752/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=548676 CPUtime=4300.46
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 150625 0 0 0 429902 144 0 0 25 0 1 0 220529914 561844224 121535 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 137169 121535 98 283 0 136883 0
Current children cumulated CPU time (s) 4300.46
Current children cumulated vsize (KiB) 548676
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=433256/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=550788 CPUtime=4360.44
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 151272 0 0 0 435899 145 0 0 25 0 1 0 220529914 564006912 122182 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 137697 122182 98 283 0 137411 0
Current children cumulated CPU time (s) 4360.44
Current children cumulated vsize (KiB) 550788
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=430504/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=553676 CPUtime=4420.41
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 152067 0 0 0 441895 146 0 0 25 0 1 0 220529914 566964224 122848 1992294400 134512640 135674940 4294956208 18446744073709551615 134564857 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 138419 122848 98 283 0 138133 0
Current children cumulated CPU time (s) 4420.41
Current children cumulated vsize (KiB) 553676
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=428072/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=556944 CPUtime=4480.38
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 152935 0 0 0 447892 146 0 0 25 0 1 0 220529914 570310656 123459 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 139236 123459 98 283 0 138950 0
Current children cumulated CPU time (s) 4480.38
Current children cumulated vsize (KiB) 556944
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=425896/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=558924 CPUtime=4540.35
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 153473 0 0 0 453888 147 0 0 25 0 1 0 220529914 572338176 123997 1992294400 134512640 135674940 4294956208 18446744073709551615 134564261 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 139731 123997 98 283 0 139445 0
Current children cumulated CPU time (s) 4540.35
Current children cumulated vsize (KiB) 558924
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=423336/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=561416 CPUtime=4600.34
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 154196 0 0 0 459886 148 0 0 25 0 1 0 220529914 574889984 124591 1992294400 134512640 135674940 4294956208 18446744073709551615 134564611 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 140354 124591 98 283 0 140068 0
Current children cumulated CPU time (s) 4600.34
Current children cumulated vsize (KiB) 561416
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=420648/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=566468 CPUtime=4660.32
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 155633 0 0 0 465882 150 0 0 25 0 1 0 220529914 580063232 125257 1992294400 134512640 135674940 4294956208 18446744073709551615 134564234 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 141617 125257 98 283 0 141331 0
Current children cumulated CPU time (s) 4660.32
Current children cumulated vsize (KiB) 566468
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=418280/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=568580 CPUtime=4720.29
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 156233 0 0 0 471879 150 0 0 25 0 1 0 220529914 582225920 125857 1992294400 134512640 135674940 4294956208 18446744073709551615 134564626 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 142145 125857 98 283 0 141859 0
Current children cumulated CPU time (s) 4720.29
Current children cumulated vsize (KiB) 568580
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=414312/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=573632 CPUtime=4780.26
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 158040 0 0 0 477875 151 0 0 25 0 1 0 220529914 587399168 126892 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 143408 126892 98 283 0 143122 0
Current children cumulated CPU time (s) 4780.26
Current children cumulated vsize (KiB) 573632
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=410728/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=578668 CPUtime=4840.25
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 159801 0 0 0 483871 154 0 0 25 0 1 0 220529914 592556032 127752 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 144667 127752 98 283 0 144381 0
Current children cumulated CPU time (s) 4840.25
Current children cumulated vsize (KiB) 578668
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=407464/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=582828 CPUtime=4900.21
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 161148 0 0 0 489867 154 0 0 25 0 1 0 220529914 596815872 128585 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 145707 128585 98 283 0 145421 0
Current children cumulated CPU time (s) 4900.21
Current children cumulated vsize (KiB) 582828
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=404456/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=585468 CPUtime=4960.2
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 161883 0 0 0 495864 156 0 0 25 0 1 0 220529914 599519232 129320 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 146367 129320 98 283 0 146081 0
Current children cumulated CPU time (s) 4960.2
Current children cumulated vsize (KiB) 585468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5002.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25947
/proc/meminfo: memFree=401896/2055920 swapFree=4180856/4192956
[pid=25938] ppid=25936 vsize=587696 CPUtime=5000.09
/proc/25938/stat : 25938 (SApperloT-base) R 25936 25938 20990 0 -1 4194304 162641 0 0 0 499852 157 0 0 25 0 1 0 220529914 601800704 129949 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/25938/statm: 146924 129949 98 283 0 146638 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 587696
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): 5002.29
CPU time (s): 5000.17
CPU user time (s): 4998.52
CPU system time (s): 1.65075
CPU usage (%): 99.9578
Max. virtual memory (cumulated for all children) (KiB): 587696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.52
system time used= 1.65075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162641
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= 2
involuntary context switches= 13330
runsolver used 4.42833 second user time and 13.7689 second system time
The end
Begin job on node42 at 2009-05-10 05:10:17
IDJOB=1785671
IDBENCH=71127
IDSOLVER=642
FILE ID=node42/1785671-1241925010
PBS_JOBID= 9264856
Free space on /tmp= 66076 MiB
SOLVER NAME= SApperloT base
BENCH NAME= SAT09/CRAFTED/ramseycube/Q3inK13.cnf
COMMAND LINE= HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1785671-1241925010/watcher-1785671-1241925010 -o /tmp/evaluation-result-1785671-1241925010/solver-1785671-1241925010 -C 5000 -W 6000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1234940529 HOME/instance-1785671-1241925010.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ee4a2d6030f643cfa5b109579b0e5c45
RANDOM SEED=1234940529
node42.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.232
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.232
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: 922512 kB
Buffers: 67044 kB
Cached: 976416 kB
SwapCached: 5916 kB
Active: 198692 kB
Inactive: 853716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 922512 kB
SwapTotal: 4192956 kB
SwapFree: 4180856 kB
Dirty: 91556 kB
Writeback: 0 kB
Mapped: 14640 kB
Slab: 67016 kB
Committed_AS: 797812 kB
PageTables: 1392 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= 66076 MiB
End job on node42 at 2009-05-10 06:33:42