runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1831672-1242775044/watcher-1831672-1242775044 -o /tmp/evaluation-result-1831672-1242775044/solver-1831672-1242775044 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=606133321 HOME/instance-1831672-1242775044.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): 12000 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: 0.85 0.98 0.99 3/64 32045
/proc/meminfo: memFree=1834112/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=4312 CPUtime=0
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 685 0 0 0 0 0 0 0 18 0 1 0 305530692 4415488 669 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 1078 670 90 283 0 792 0
[startup+0.0962589 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 32045
/proc/meminfo: memFree=1834112/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=7612 CPUtime=0.09
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 1562 0 0 0 9 0 0 0 18 0 1 0 305530692 7794688 1546 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 1903 1547 90 283 0 1617 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7612
[startup+0.101259 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 32045
/proc/meminfo: memFree=1834112/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=7876 CPUtime=0.09
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 1609 0 0 0 9 0 0 0 18 0 1 0 305530692 8065024 1593 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 1969 1593 90 283 0 1683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7876
[startup+0.301295 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 32045
/proc/meminfo: memFree=1834112/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=9108 CPUtime=0.29
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 1951 0 0 0 29 0 0 0 19 0 1 0 305530692 9326592 1903 1992294400 134512640 135674940 4294956208 18446744073709551615 134560429 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 2277 1903 98 283 0 1991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9108
[startup+0.701366 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 32045
/proc/meminfo: memFree=1834112/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=9636 CPUtime=0.69
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 2082 0 0 0 69 0 0 0 22 0 1 0 305530692 9867264 2034 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 2409 2034 98 283 0 2123 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9636
[startup+1.50151 s]
/proc/loadavg: 0.85 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1825912/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=10292 CPUtime=1.5
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 2280 0 0 0 149 1 0 0 25 0 1 0 305530692 10539008 2199 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 2573 2199 98 283 0 2287 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10292
[startup+3.1018 s]
/proc/loadavg: 0.85 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1825208/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=11216 CPUtime=3.09
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 2516 0 0 0 308 1 0 0 25 0 1 0 305530692 11485184 2435 1992294400 134512640 135674940 4294956208 18446744073709551615 134564571 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 2804 2435 98 283 0 2518 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11216
[startup+6.30138 s]
/proc/loadavg: 0.86 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1823032/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=13088 CPUtime=6.29
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 2980 0 0 0 627 2 0 0 25 0 1 0 305530692 13402112 2899 1992294400 134512640 135674940 4294956208 18446744073709551615 134564608 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 3272 2899 98 283 0 2986 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13088
[startup+12.7015 s]
/proc/loadavg: 0.87 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1819192/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=17360 CPUtime=12.69
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 4053 0 0 0 1266 3 0 0 25 0 1 0 305530692 17776640 3907 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 4340 3907 98 283 0 4054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17360
[startup+25.5019 s]
/proc/loadavg: 0.90 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1809336/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=26700 CPUtime=25.48
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 6382 0 0 0 2542 6 0 0 25 0 1 0 305530692 27340800 6236 1992294400 134512640 135674940 4294956208 18446744073709551615 134550677 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 6675 6236 98 283 0 6389 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26700
[startup+51.1015 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1795128/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=41008 CPUtime=51.08
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 9969 0 0 0 5098 10 0 0 25 0 1 0 305530692 41992192 9823 1992294400 134512640 135674940 4294956208 18446744073709551615 134552233 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 10252 9823 98 283 0 9966 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41008
[startup+102.306 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1790584/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=45524 CPUtime=102.26
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 11082 0 0 0 10215 11 0 0 25 0 1 0 305530692 46616576 10936 1992294400 134512640 135674940 4294956208 18446744073709551615 134555985 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 11381 10936 99 283 0 11095 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 45524
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1753016/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=83504 CPUtime=162.24
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 20516 0 0 0 16204 20 0 0 25 0 1 0 305530692 85508096 20370 1992294400 134512640 135674940 4294956208 18446744073709551615 134565236 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 20876 20370 99 283 0 20590 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 83504
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1738168/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=98800 CPUtime=222.22
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 24517 0 0 0 22199 23 0 0 25 0 1 0 305530692 101171200 23985 1992294400 134512640 135674940 4294956208 18446744073709551615 134564824 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 24700 23985 99 283 0 24414 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 98800
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1726392/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=111032 CPUtime=282.2
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 27496 0 0 0 28193 27 0 0 25 0 1 0 305530692 113696768 26964 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 27758 26964 99 283 0 27472 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 111032
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1720056/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=117688 CPUtime=342.18
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 29048 0 0 0 34190 28 0 0 25 0 1 0 305530692 120512512 28516 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 29422 28516 99 283 0 29136 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 117688
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1707064/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=131036 CPUtime=402.16
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 32385 0 0 0 40183 33 0 0 25 0 1 0 305530692 134180864 31853 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 32759 31853 99 283 0 32473 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 131036
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1704376/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=134140 CPUtime=462.14
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 33432 0 0 0 46181 33 0 0 25 0 1 0 305530692 137359360 32387 1992294400 134512640 135674940 4294956208 18446744073709551615 134552024 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 33535 32387 99 283 0 33249 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 134140
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1696120/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=142892 CPUtime=522.12
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 35553 0 0 0 52177 35 0 0 25 0 1 0 305530692 146321408 34508 1992294400 134512640 135674940 4294956208 18446744073709551615 134551805 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 35723 34508 99 283 0 35437 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 142892
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1683512/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=156060 CPUtime=582.1
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 38808 0 0 0 58172 38 0 0 25 0 1 0 305530692 159805440 37634 1992294400 134512640 135674940 4294956208 18446744073709551615 134581583 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 39015 37634 99 283 0 38729 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 156060
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32046
/proc/meminfo: memFree=1680632/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=158808 CPUtime=642.08
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 39480 0 0 0 64169 39 0 0 25 0 1 0 305530692 162619392 38306 1992294400 134512640 135674940 4294956208 18446744073709551615 134556439 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 39702 38306 99 283 0 39416 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 158808
################
# More data... #
################
[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1474872/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=372944 CPUtime=9039.26
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 91194 0 0 0 903820 106 0 0 25 0 1 0 305530692 381894656 88472 1992294400 134512640 135674940 4294956208 18446744073709551615 134565166 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 93236 88472 99 283 0 92950 0
Current children cumulated CPU time (s) 9039.26
Current children cumulated vsize (KiB) 372944
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1474872/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=372944 CPUtime=9099.24
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 91194 0 0 0 909818 106 0 0 25 0 1 0 305530692 381894656 88472 1992294400 134512640 135674940 4294956208 18446744073709551615 134564247 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 93236 88472 99 283 0 92950 0
Current children cumulated CPU time (s) 9099.24
Current children cumulated vsize (KiB) 372944
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1473400/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=374660 CPUtime=9159.22
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 91623 0 0 0 915815 107 0 0 25 0 1 0 305530692 383651840 88901 1992294400 134512640 135674940 4294956208 18446744073709551615 134564773 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 93665 88901 99 283 0 93379 0
Current children cumulated CPU time (s) 9159.22
Current children cumulated vsize (KiB) 374660
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1461752/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=386656 CPUtime=9219.21
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 94481 0 0 0 921811 110 0 0 25 0 1 0 305530692 395935744 91759 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 96664 91759 99 283 0 96378 0
Current children cumulated CPU time (s) 9219.21
Current children cumulated vsize (KiB) 386656
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1445624/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=402924 CPUtime=9279.17
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 98577 0 0 0 927803 114 0 0 25 0 1 0 305530692 412594176 95855 1992294400 134512640 135674940 4294956208 18446744073709551615 134581310 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 100731 95855 99 283 0 100445 0
Current children cumulated CPU time (s) 9279.17
Current children cumulated vsize (KiB) 402924
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1413368/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=435000 CPUtime=9339.17
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 106565 0 0 0 933795 122 0 0 25 0 1 0 305530692 445440000 103843 1992294400 134512640 135674940 4294956208 18446744073709551615 134581560 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 108750 103843 99 283 0 108464 0
Current children cumulated CPU time (s) 9339.17
Current children cumulated vsize (KiB) 435000
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1407608/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=440756 CPUtime=9399.14
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 107984 0 0 0 939791 123 0 0 25 0 1 0 305530692 451334144 105262 1992294400 134512640 135674940 4294956208 18446744073709551615 134551581 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 110189 105262 99 283 0 109903 0
Current children cumulated CPU time (s) 9399.14
Current children cumulated vsize (KiB) 440756
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1405944/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=442560 CPUtime=9459.12
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 108418 0 0 0 945788 124 0 0 25 0 1 0 305530692 453181440 105696 1992294400 134512640 135674940 4294956208 18446744073709551615 134565273 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 110640 105696 99 283 0 110354 0
Current children cumulated CPU time (s) 9459.12
Current children cumulated vsize (KiB) 442560
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1380856/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=467880 CPUtime=9519.1
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 114706 0 0 0 951778 132 0 0 25 0 1 0 305530692 479109120 111984 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 116970 111984 99 283 0 116684 0
Current children cumulated CPU time (s) 9519.1
Current children cumulated vsize (KiB) 467880
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1374648/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=473840 CPUtime=9579.07
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 116196 0 0 0 957774 133 0 0 25 0 1 0 305530692 485212160 113474 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 118460 113474 99 283 0 118174 0
Current children cumulated CPU time (s) 9579.07
Current children cumulated vsize (KiB) 473840
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1374520/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=473840 CPUtime=9639.06
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 116212 0 0 0 963772 134 0 0 25 0 1 0 305530692 485212160 113490 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 118460 113490 99 283 0 118174 0
Current children cumulated CPU time (s) 9639.06
Current children cumulated vsize (KiB) 473840
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1374264/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=474144 CPUtime=9699.04
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 116250 0 0 0 969770 134 0 0 25 0 1 0 305530692 485523456 113528 1992294400 134512640 135674940 4294956208 18446744073709551615 134551355 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 118536 113528 99 283 0 118250 0
Current children cumulated CPU time (s) 9699.04
Current children cumulated vsize (KiB) 474144
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32064
/proc/meminfo: memFree=1369080/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=479160 CPUtime=9759.01
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 117540 0 0 0 975766 135 0 0 25 0 1 0 305530692 490659840 114818 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 119790 114818 99 283 0 119504 0
Current children cumulated CPU time (s) 9759.01
Current children cumulated vsize (KiB) 479160
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32070
/proc/meminfo: memFree=1368824/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=479160 CPUtime=9818.99
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 117540 0 0 0 981764 135 0 0 25 0 1 0 305530692 490659840 114818 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 119790 114818 99 283 0 119504 0
Current children cumulated CPU time (s) 9818.99
Current children cumulated vsize (KiB) 479160
[startup+9882.3 s]
/proc/loadavg: 1.16 1.03 1.01 2/70 32503
/proc/meminfo: memFree=1347552/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=479160 CPUtime=9878.83
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 117543 0 0 0 987746 137 0 0 25 0 1 0 305530692 490659840 114821 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 119790 114821 99 283 0 119504 0
Current children cumulated CPU time (s) 9878.83
Current children cumulated vsize (KiB) 479160
[startup+9942.3 s]
/proc/loadavg: 1.12 1.05 1.02 2/65 32558
/proc/meminfo: memFree=1253112/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=496280 CPUtime=9938.8
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 121782 0 0 0 993727 153 0 0 25 0 1 0 305530692 508190720 119060 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 124070 119060 99 283 0 123784 0
Current children cumulated CPU time (s) 9938.8
Current children cumulated vsize (KiB) 496280
[startup+10002.3 s]
/proc/loadavg: 1.04 1.04 1.01 2/65 32558
/proc/meminfo: memFree=1241400/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=507640 CPUtime=9998.78
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 124622 0 0 0 999721 157 0 0 25 0 1 0 305530692 519823360 121900 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 126910 121900 99 283 0 126624 0
Current children cumulated CPU time (s) 9998.78
Current children cumulated vsize (KiB) 507640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.6 s]
/proc/loadavg: 1.04 1.04 1.01 2/65 32558
/proc/meminfo: memFree=1241400/2055920 swapFree=4179888/4192956
[pid=32045] ppid=32043 vsize=507640 CPUtime=10000.1
/proc/32045/stat : 32045 (SApperloT-base) R 32043 32045 32008 0 -1 4194304 124622 0 0 0 999851 157 0 0 25 0 1 0 305530692 519823360 121900 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/32045/statm: 126910 121900 99 283 0 126624 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 507640
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): 10003.7
CPU time (s): 10000.2
CPU user time (s): 9998.52
CPU system time (s): 1.64775
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 507640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9998.52
system time used= 1.64775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124622
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= 8165
runsolver used 7.2579 second user time and 21.3508 second system time
The end
Begin job on node67 at 2009-05-20 01:17:25
IDJOB=1831672
IDBENCH=70817
IDSOLVER=642
FILE ID=node67/1831672-1242775044
PBS_JOBID= 9322349
Free space on /tmp= 66348 MiB
SOLVER NAME= SApperloT base
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf
COMMAND LINE= HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831672-1242775044/watcher-1831672-1242775044 -o /tmp/evaluation-result-1831672-1242775044/solver-1831672-1242775044 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=606133321 HOME/instance-1831672-1242775044.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED=606133321
node67.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.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: 1834592 kB
Buffers: 18840 kB
Cached: 165312 kB
SwapCached: 7676 kB
Active: 30732 kB
Inactive: 162500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1834592 kB
SwapTotal: 4192956 kB
SwapFree: 4179888 kB
Dirty: 3980 kB
Writeback: 0 kB
Mapped: 13868 kB
Slab: 14076 kB
Committed_AS: 1055008 kB
PageTables: 1440 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= 66344 MiB
End job on node67 at 2009-05-20 04:04:10