runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1831606-1242774455/watcher-1831606-1242774455 -o /tmp/evaluation-result-1831606-1242774455/solver-1831606-1242774455 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=431160699 HOME/instance-1831606-1242774455.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.97 0.99 3/64 8157
/proc/meminfo: memFree=1935936/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=10444 CPUtime=0
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 991 0 0 0 0 0 0 0 18 0 1 0 305479147 10694656 975 1992294400 134512640 135674940 4294956208 18446744073709551615 134545002 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 2611 980 88 283 0 2325 0
[startup+0.0767059 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 8157
/proc/meminfo: memFree=1935936/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=18588 CPUtime=0.06
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 3485 0 0 0 5 1 0 0 18 0 1 0 305479147 19034112 3469 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 4647 3470 90 283 0 4361 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18588
[startup+0.101708 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 8157
/proc/meminfo: memFree=1935936/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=19512 CPUtime=0.09
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 3739 0 0 0 8 1 0 0 18 0 1 0 305479147 19980288 3723 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 4878 3724 90 283 0 4592 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19512
[startup+0.30173 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 8157
/proc/meminfo: memFree=1935936/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=26904 CPUtime=0.3
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 5669 0 0 0 27 3 0 0 19 0 1 0 305479147 27549696 5653 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 6726 5653 90 283 0 6440 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 26904
[startup+0.701774 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 8157
/proc/meminfo: memFree=1935936/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=38200 CPUtime=0.69
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 8678 0 0 0 64 5 0 0 23 0 1 0 305479147 39116800 8563 1992294400 134512640 135674940 4294956208 18446744073709551615 134564258 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 9550 8563 98 283 0 9264 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38200
[startup+1.50186 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1901816/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=38712 CPUtime=1.49
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 8873 0 0 0 144 5 0 0 25 0 1 0 305479147 39641088 8629 1992294400 134512640 135674940 4294956208 18446744073709551615 134564558 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 9678 8629 98 283 0 9392 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38712
[startup+3.10105 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1901304/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=39240 CPUtime=3.09
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 9035 0 0 0 304 5 0 0 25 0 1 0 305479147 40181760 8791 1992294400 134512640 135674940 4294956208 18446744073709551615 134564276 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 9810 8791 98 283 0 9524 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39240
[startup+6.30142 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1900280/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=39636 CPUtime=6.29
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 9185 0 0 0 623 6 0 0 25 0 1 0 305479147 40587264 8941 1992294400 134512640 135674940 4294956208 18446744073709551615 134564241 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 9909 8941 98 283 0 9623 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39636
[startup+12.7011 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1899720/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=40560 CPUtime=12.69
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 9406 0 0 0 1262 7 0 0 25 0 1 0 305479147 41533440 9162 1992294400 134512640 135674940 4294956208 18446744073709551615 134564164 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 10140 9162 98 283 0 9854 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40560
[startup+25.5016 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1894536/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=45796 CPUtime=25.48
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 10732 0 0 0 2541 7 0 0 25 0 1 0 305479147 46895104 10488 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 11449 10488 98 283 0 11163 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45796
[startup+51.1015 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1888584/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=51736 CPUtime=51.06
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 12214 0 0 0 5097 9 0 0 25 0 1 0 305479147 52977664 11970 1992294400 134512640 135674940 4294956208 18446744073709551615 134564181 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 12934 11970 99 283 0 12648 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 51736
[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1871368/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=69072 CPUtime=102.24
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 16515 0 0 0 10211 13 0 0 25 0 1 0 305479147 70729728 16271 1992294400 134512640 135674940 4294956208 18446744073709551615 134556795 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 17268 16271 99 283 0 16982 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 69072
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1849480/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=91816 CPUtime=162.21
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 22135 0 0 0 16202 19 0 0 25 0 1 0 305479147 94019584 21762 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 22954 21762 99 283 0 22668 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 91816
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1823112/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=118216 CPUtime=222.17
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 28659 0 0 0 22191 26 0 0 25 0 1 0 305479147 121053184 28286 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 29554 28286 99 283 0 29268 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 118216
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1796040/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=146656 CPUtime=282.14
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 35681 0 0 0 28179 35 0 0 25 0 1 0 305479147 150175744 35051 1992294400 134512640 135674940 4294956208 18446744073709551615 134564420 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 36664 35051 99 283 0 36378 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 146656
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1781704/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=161204 CPUtime=342.1
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 39249 0 0 0 34171 39 0 0 25 0 1 0 305479147 165072896 38619 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 40301 38619 99 283 0 40015 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 161204
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1768392/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=174488 CPUtime=402.08
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 42613 0 0 0 40165 43 0 0 25 0 1 0 305479147 178675712 41983 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 43622 41983 99 283 0 43336 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 174488
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1753416/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=189304 CPUtime=462.06
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 46291 0 0 0 46157 49 0 0 25 0 1 0 305479147 193847296 45661 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 47326 45661 99 283 0 47040 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 189304
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1734536/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=208784 CPUtime=522.04
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 51041 0 0 0 52149 55 0 0 25 0 1 0 305479147 213794816 50411 1992294400 134512640 135674940 4294956208 18446744073709551615 134565290 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 52196 50411 99 283 0 51910 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 208784
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1718472/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=227084 CPUtime=582.02
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 55567 0 0 0 58142 60 0 0 25 0 1 0 305479147 232534016 54424 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 56771 54424 99 283 0 56485 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 227084
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8158
/proc/meminfo: memFree=1705096/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=241084 CPUtime=641.99
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 58843 0 0 0 64137 62 0 0 25 0 1 0 305479147 246870016 57700 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 60271 57700 99 283 0 59985 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 241084
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8174
/proc/meminfo: memFree=1288072/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9098.38
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174323 0 0 0 909652 186 0 0 25 0 1 0 305479147 702156800 160566 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160566 99 283 0 171139 0
Current children cumulated CPU time (s) 9098.38
Current children cumulated vsize (KiB) 685700
[startup+9162.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8174
/proc/meminfo: memFree=1288008/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9158.36
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174334 0 0 0 915650 186 0 0 25 0 1 0 305479147 702156800 160577 1992294400 134512640 135674940 4294956208 18446744073709551615 134565083 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160577 99 283 0 171139 0
Current children cumulated CPU time (s) 9158.36
Current children cumulated vsize (KiB) 685700
[startup+9222.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8174
/proc/meminfo: memFree=1287880/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9218.34
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174365 0 0 0 921648 186 0 0 25 0 1 0 305479147 702156800 160608 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160608 99 283 0 171139 0
Current children cumulated CPU time (s) 9218.34
Current children cumulated vsize (KiB) 685700
[startup+9282.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8174
/proc/meminfo: memFree=1287880/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9278.31
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174370 0 0 0 927645 186 0 0 25 0 1 0 305479147 702156800 160613 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160613 99 283 0 171139 0
Current children cumulated CPU time (s) 9278.31
Current children cumulated vsize (KiB) 685700
[startup+9342.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287688/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9338.29
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174372 0 0 0 933643 186 0 0 25 0 1 0 305479147 702156800 160615 1992294400 134512640 135674940 4294956208 18446744073709551615 134565230 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160615 99 283 0 171139 0
Current children cumulated CPU time (s) 9338.29
Current children cumulated vsize (KiB) 685700
[startup+9402.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287688/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9398.26
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174384 0 0 0 939640 186 0 0 25 0 1 0 305479147 702156800 160627 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160627 99 283 0 171139 0
Current children cumulated CPU time (s) 9398.26
Current children cumulated vsize (KiB) 685700
[startup+9462.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287624/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9458.23
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174384 0 0 0 945637 186 0 0 25 0 1 0 305479147 702156800 160627 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160627 99 283 0 171139 0
Current children cumulated CPU time (s) 9458.23
Current children cumulated vsize (KiB) 685700
[startup+9522.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287624/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9518.21
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174384 0 0 0 951635 186 0 0 25 0 1 0 305479147 702156800 160627 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160627 99 283 0 171139 0
Current children cumulated CPU time (s) 9518.21
Current children cumulated vsize (KiB) 685700
[startup+9582.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287560/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9578.18
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174389 0 0 0 957632 186 0 0 25 0 1 0 305479147 702156800 160632 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160632 99 283 0 171139 0
Current children cumulated CPU time (s) 9578.18
Current children cumulated vsize (KiB) 685700
[startup+9642.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287496/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9638.17
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174397 0 0 0 963630 187 0 0 25 0 1 0 305479147 702156800 160640 1992294400 134512640 135674940 4294956208 18446744073709551615 134565166 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160640 99 283 0 171139 0
Current children cumulated CPU time (s) 9638.17
Current children cumulated vsize (KiB) 685700
[startup+9702.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287368/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9698.13
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174397 0 0 0 969626 187 0 0 25 0 1 0 305479147 702156800 160640 1992294400 134512640 135674940 4294956208 18446744073709551615 134564291 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160640 99 283 0 171139 0
Current children cumulated CPU time (s) 9698.13
Current children cumulated vsize (KiB) 685700
[startup+9762.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287304/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9758.11
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174397 0 0 0 975624 187 0 0 25 0 1 0 305479147 702156800 160640 1992294400 134512640 135674940 4294956208 18446744073709551615 134564252 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160640 99 283 0 171139 0
Current children cumulated CPU time (s) 9758.11
Current children cumulated vsize (KiB) 685700
[startup+9822.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287304/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9818.09
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174397 0 0 0 981622 187 0 0 25 0 1 0 305479147 702156800 160640 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160640 99 283 0 171139 0
Current children cumulated CPU time (s) 9818.09
Current children cumulated vsize (KiB) 685700
[startup+9882.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287304/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9878.06
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174397 0 0 0 987619 187 0 0 25 0 1 0 305479147 702156800 160640 1992294400 134512640 135674940 4294956208 18446744073709551615 134551574 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160640 99 283 0 171139 0
Current children cumulated CPU time (s) 9878.06
Current children cumulated vsize (KiB) 685700
[startup+9942.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287304/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9938.03
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174398 0 0 0 993616 187 0 0 25 0 1 0 305479147 702156800 160641 1992294400 134512640 135674940 4294956208 18446744073709551615 134558387 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160641 99 283 0 171139 0
Current children cumulated CPU time (s) 9938.03
Current children cumulated vsize (KiB) 685700
[startup+10002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287240/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=9998.01
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174400 0 0 0 999614 187 0 0 25 0 1 0 305479147 702156800 160643 1992294400 134512640 135674940 4294956208 18446744073709551615 134539875 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160643 99 283 0 171139 0
Current children cumulated CPU time (s) 9998.01
Current children cumulated vsize (KiB) 685700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287240/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=10000
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174400 0 0 0 999814 187 0 0 25 0 1 0 305479147 702156800 160643 1992294400 134512640 135674940 4294956208 18446744073709551615 134539767 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160643 99 283 0 171139 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 685700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10004.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8176
/proc/meminfo: memFree=1287240/2055920 swapFree=4180064/4192956
[pid=8157] ppid=8155 vsize=685700 CPUtime=10000
/proc/8157/stat : 8157 (SApperloT-base) R 8155 8157 8120 0 -1 4194304 174400 0 0 0 999814 187 0 0 25 0 1 0 305479147 702156800 160643 1992294400 134512640 135674940 4294956208 18446744073709551615 134539767 0 0 4096 0 0 0 0 17 0 0 0
/proc/8157/statm: 171425 160643 99 283 0 171139 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 685700
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10004.4
CPU time (s): 10000.1
CPU user time (s): 9998.14
CPU system time (s): 1.9657
CPU usage (%): 99.9571
Max. virtual memory (cumulated for all children) (KiB): 686732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9998.14
system time used= 1.9657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174400
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= 28283
runsolver used 8.32673 second user time and 28.0607 second system time
The end
Begin job on node23 at 2009-05-20 01:07:36
IDJOB=1831606
IDBENCH=69630
IDSOLVER=642
FILE ID=node23/1831606-1242774455
PBS_JOBID= 9322315
Free space on /tmp= 66440 MiB
SOLVER NAME= SApperloT base
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nid_i.cnf
COMMAND LINE= HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831606-1242774455/watcher-1831606-1242774455 -o /tmp/evaluation-result-1831606-1242774455/solver-1831606-1242774455 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=431160699 HOME/instance-1831606-1242774455.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5845608382cee59cce4973c50f16416c
RANDOM SEED=431160699
node23.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.238
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.238
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: 1936352 kB
Buffers: 14292 kB
Cached: 69996 kB
SwapCached: 6968 kB
Active: 38796 kB
Inactive: 54064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1936352 kB
SwapTotal: 4192956 kB
SwapFree: 4180064 kB
Dirty: 15020 kB
Writeback: 0 kB
Mapped: 13820 kB
Slab: 12720 kB
Committed_AS: 1018472 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= 66436 MiB
End job on node23 at 2009-05-20 03:54:23