runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1831432-1242759123/watcher-1831432-1242759123 -o /tmp/evaluation-result-1831432-1242759123/solver-1831432-1242759123 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=919144402 HOME/instance-1831432-1242759123.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.16 0.03 0.01 3/65 24858
/proc/meminfo: memFree=1874584/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=9260 CPUtime=0
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 1020 0 0 0 0 0 0 0 18 0 1 0 303944779 9482240 1004 1992294400 134512640 135674940 4294956208 18446744073709551615 134545002 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 2315 1010 88 283 0 2029 0
[startup+0.105181 s]
/proc/loadavg: 0.16 0.03 0.01 3/65 24858
/proc/meminfo: memFree=1874584/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=19480 CPUtime=0.1
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 3573 0 0 0 9 1 0 0 18 0 1 0 303944779 19947520 3557 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 4903 3558 90 283 0 4617 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19480
[startup+0.201192 s]
/proc/loadavg: 0.16 0.03 0.01 3/65 24858
/proc/meminfo: memFree=1874584/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=22780 CPUtime=0.19
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 4483 0 0 0 18 1 0 0 18 0 1 0 303944779 23326720 4467 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 5695 4467 90 283 0 5409 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22780
[startup+0.301203 s]
/proc/loadavg: 0.16 0.03 0.01 3/65 24858
/proc/meminfo: memFree=1874584/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=26212 CPUtime=0.3
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 5370 0 0 0 28 2 0 0 19 0 1 0 303944779 26841088 5354 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 6553 5354 90 283 0 6267 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 26212
[startup+0.701249 s]
/proc/loadavg: 0.16 0.03 0.01 3/65 24858
/proc/meminfo: memFree=1874584/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=40068 CPUtime=0.69
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 8877 0 0 0 66 3 0 0 23 0 1 0 303944779 41029632 8828 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 10017 8828 92 283 0 9731 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40068
[startup+1.50134 s]
/proc/loadavg: 0.16 0.03 0.01 2/66 24859
/proc/meminfo: memFree=1834064/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=45576 CPUtime=1.49
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 10474 0 0 0 145 4 0 0 25 0 1 0 303944779 46669824 10200 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 11394 10200 98 283 0 11108 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45576
[startup+3.10153 s]
/proc/loadavg: 0.16 0.03 0.01 2/66 24859
/proc/meminfo: memFree=1833616/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=46356 CPUtime=3.09
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 10640 0 0 0 305 4 0 0 25 0 1 0 303944779 47468544 10301 1992294400 134512640 135674940 4294956208 18446744073709551615 134550618 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 11589 10301 98 283 0 11303 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46356
[startup+6.3019 s]
/proc/loadavg: 0.31 0.07 0.02 2/66 24859
/proc/meminfo: memFree=1833360/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=46356 CPUtime=6.29
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 10651 0 0 0 625 4 0 0 25 0 1 0 303944779 47468544 10312 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 11589 10312 98 283 0 11303 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46356
[startup+12.7017 s]
/proc/loadavg: 0.36 0.08 0.03 2/66 24859
/proc/meminfo: memFree=1831696/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=48336 CPUtime=12.68
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 11193 0 0 0 1263 5 0 0 25 0 1 0 303944779 49496064 10854 1992294400 134512640 135674940 4294956208 18446744073709551615 134551120 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 12084 10854 98 283 0 11798 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48336
[startup+25.5022 s]
/proc/loadavg: 0.50 0.12 0.04 2/66 24859
/proc/meminfo: memFree=1827856/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=52412 CPUtime=25.48
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 12252 0 0 0 2542 6 0 0 25 0 1 0 303944779 53669888 11784 1992294400 134512640 135674940 4294956208 18446744073709551615 134552123 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 13103 11784 98 283 0 12817 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52412
[startup+51.1012 s]
/proc/loadavg: 0.67 0.19 0.06 2/66 24859
/proc/meminfo: memFree=1819856/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=60212 CPUtime=51.07
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 14214 0 0 0 5098 9 0 0 25 0 1 0 303944779 61657088 13746 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 15053 13746 98 283 0 14767 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60212
[startup+102.302 s]
/proc/loadavg: 0.86 0.32 0.11 2/66 24859
/proc/meminfo: memFree=1800464/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=79856 CPUtime=102.25
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 19066 0 0 0 10210 15 0 0 25 0 1 0 303944779 81772544 18598 1992294400 134512640 135674940 4294956208 18446744073709551615 134551250 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 19964 18598 98 283 0 19678 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 79856
[startup+162.302 s]
/proc/loadavg: 0.94 0.44 0.16 2/66 24859
/proc/meminfo: memFree=1782352/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=98000 CPUtime=162.21
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 23560 0 0 0 16201 20 0 0 25 0 1 0 303944779 100352000 23092 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 24500 23092 99 283 0 24214 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 98000
[startup+222.306 s]
/proc/loadavg: 0.98 0.54 0.21 2/66 24859
/proc/meminfo: memFree=1782032/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=98384 CPUtime=222.2
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 23641 0 0 0 22199 21 0 0 25 0 1 0 303944779 100745216 23173 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 24596 23173 99 283 0 24310 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 98384
[startup+282.301 s]
/proc/loadavg: 0.99 0.62 0.26 2/66 24859
/proc/meminfo: memFree=1781840/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=98712 CPUtime=282.17
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 23699 0 0 0 28196 21 0 0 25 0 1 0 303944779 101081088 23231 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 24678 23231 99 283 0 24392 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 98712
[startup+342.301 s]
/proc/loadavg: 0.99 0.69 0.30 2/66 24859
/proc/meminfo: memFree=1781712/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=98856 CPUtime=342.15
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 23725 0 0 0 34194 21 0 0 25 0 1 0 303944779 101228544 23257 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 24714 23257 99 283 0 24428 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 98856
[startup+402.301 s]
/proc/loadavg: 0.99 0.74 0.34 2/66 24859
/proc/meminfo: memFree=1781520/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=99000 CPUtime=402.12
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 23770 0 0 0 40191 21 0 0 25 0 1 0 303944779 101376000 23302 1992294400 134512640 135674940 4294956208 18446744073709551615 134564234 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 24750 23302 99 283 0 24464 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 99000
[startup+462.301 s]
/proc/loadavg: 0.99 0.78 0.38 2/66 24859
/proc/meminfo: memFree=1781328/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=99136 CPUtime=462.09
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 23799 0 0 0 46188 21 0 0 25 0 1 0 303944779 101515264 23331 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 24784 23331 99 283 0 24498 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 99136
[startup+522.301 s]
/proc/loadavg: 0.99 0.82 0.42 2/66 24859
/proc/meminfo: memFree=1781200/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=99272 CPUtime=522.06
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 23841 0 0 0 52185 21 0 0 25 0 1 0 303944779 101654528 23373 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 24818 23373 99 283 0 24532 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 99272
[startup+582.301 s]
/proc/loadavg: 0.99 0.85 0.45 2/66 24865
/proc/meminfo: memFree=1776784/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=103628 CPUtime=582.03
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 24912 0 0 0 58181 22 0 0 25 0 1 0 303944779 106115072 24444 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 25907 24444 99 283 0 25621 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 103628
[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.48 2/66 24865
/proc/meminfo: memFree=1758224/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=123088 CPUtime=642
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 29671 0 0 0 64172 28 0 0 25 0 1 0 303944779 126042112 29203 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 30772 29203 99 283 0 30486 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 123088
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.12 1.12 1.09 2/66 24881
/proc/meminfo: memFree=1056528/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=852896 CPUtime=9098.88
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 214439 0 0 0 909649 239 0 0 25 0 1 0 303944779 873365504 203027 1992294400 134512640 135674940 4294956208 18446744073709551615 134564611 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 213224 203027 99 283 0 212938 0
Current children cumulated CPU time (s) 9098.88
Current children cumulated vsize (KiB) 852896
[startup+9162.3 s]
/proc/loadavg: 1.11 1.11 1.09 2/66 24881
/proc/meminfo: memFree=1055824/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=854436 CPUtime=9158.85
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 214878 0 0 0 915646 239 0 0 25 0 1 0 303944779 874942464 203209 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 213609 203209 99 283 0 213323 0
Current children cumulated CPU time (s) 9158.85
Current children cumulated vsize (KiB) 854436
[startup+9222.3 s]
/proc/loadavg: 1.10 1.11 1.09 2/66 24881
/proc/meminfo: memFree=1055632/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=854436 CPUtime=9218.83
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 214912 0 0 0 921644 239 0 0 25 0 1 0 303944779 874942464 203243 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 213609 203243 99 283 0 213323 0
Current children cumulated CPU time (s) 9218.83
Current children cumulated vsize (KiB) 854436
[startup+9282.3 s]
/proc/loadavg: 1.09 1.10 1.09 2/66 24881
/proc/meminfo: memFree=1055184/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=854952 CPUtime=9278.81
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 215024 0 0 0 927642 239 0 0 25 0 1 0 303944779 875470848 203355 1992294400 134512640 135674940 4294956208 18446744073709551615 134565290 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 213738 203355 99 283 0 213452 0
Current children cumulated CPU time (s) 9278.81
Current children cumulated vsize (KiB) 854952
[startup+9342.3 s]
/proc/loadavg: 1.08 1.09 1.09 2/66 24881
/proc/meminfo: memFree=1054992/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=854952 CPUtime=9338.8
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 215083 0 0 0 933641 239 0 0 25 0 1 0 303944779 875470848 203414 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 213738 203414 99 283 0 213452 0
Current children cumulated CPU time (s) 9338.8
Current children cumulated vsize (KiB) 854952
[startup+9402.3 s]
/proc/loadavg: 1.08 1.09 1.09 2/66 24881
/proc/meminfo: memFree=1054416/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=855464 CPUtime=9398.78
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 215337 0 0 0 939638 240 0 0 25 0 1 0 303944779 875995136 203539 1992294400 134512640 135674940 4294956208 18446744073709551615 134565208 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 213866 203539 99 283 0 213580 0
Current children cumulated CPU time (s) 9398.78
Current children cumulated vsize (KiB) 855464
[startup+9462.31 s]
/proc/loadavg: 1.07 1.08 1.09 2/66 24881
/proc/meminfo: memFree=1052752/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=858036 CPUtime=9458.77
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 216006 0 0 0 945637 240 0 0 25 0 1 0 303944779 878628864 203950 1992294400 134512640 135674940 4294956208 18446744073709551615 134550595 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 214509 203950 99 283 0 214223 0
Current children cumulated CPU time (s) 9458.77
Current children cumulated vsize (KiB) 858036
[startup+9522.3 s]
/proc/loadavg: 1.07 1.08 1.09 2/66 24881
/proc/meminfo: memFree=1051984/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=859064 CPUtime=9518.75
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 216330 0 0 0 951634 241 0 0 25 0 1 0 303944779 879681536 204145 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 214766 204145 99 283 0 214480 0
Current children cumulated CPU time (s) 9518.75
Current children cumulated vsize (KiB) 859064
[startup+9582.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/66 24881
/proc/meminfo: memFree=1051472/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=860088 CPUtime=9578.73
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 216678 0 0 0 957632 241 0 0 25 0 1 0 303944779 880730112 204236 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 215022 204236 99 283 0 214736 0
Current children cumulated CPU time (s) 9578.73
Current children cumulated vsize (KiB) 860088
[startup+9642.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/66 24881
/proc/meminfo: memFree=1050960/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=860088 CPUtime=9638.71
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 216817 0 0 0 963630 241 0 0 25 0 1 0 303944779 880730112 204375 1992294400 134512640 135674940 4294956208 18446744073709551615 134564241 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 215022 204375 99 283 0 214736 0
Current children cumulated CPU time (s) 9638.71
Current children cumulated vsize (KiB) 860088
[startup+9702.3 s]
/proc/loadavg: 1.13 1.09 1.09 2/66 24881
/proc/meminfo: memFree=1049808/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=861120 CPUtime=9698.69
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 217054 0 0 0 969628 241 0 0 25 0 1 0 303944779 881786880 204612 1992294400 134512640 135674940 4294956208 18446744073709551615 134556795 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 215280 204612 99 283 0 214994 0
Current children cumulated CPU time (s) 9698.69
Current children cumulated vsize (KiB) 861120
[startup+9762.3 s]
/proc/loadavg: 1.12 1.09 1.09 2/66 24881
/proc/meminfo: memFree=1049360/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=862660 CPUtime=9758.67
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 217397 0 0 0 975626 241 0 0 25 0 1 0 303944779 883363840 204697 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 215665 204697 99 283 0 215379 0
Current children cumulated CPU time (s) 9758.67
Current children cumulated vsize (KiB) 862660
[startup+9822.3 s]
/proc/loadavg: 1.11 1.09 1.09 2/66 24881
/proc/meminfo: memFree=1049360/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=862660 CPUtime=9818.65
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 217406 0 0 0 981624 241 0 0 25 0 1 0 303944779 883363840 204706 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 215665 204706 99 283 0 215379 0
Current children cumulated CPU time (s) 9818.65
Current children cumulated vsize (KiB) 862660
[startup+9882.3 s]
/proc/loadavg: 1.10 1.08 1.09 2/66 24881
/proc/meminfo: memFree=1049168/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=863172 CPUtime=9878.63
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 217565 0 0 0 987622 241 0 0 25 0 1 0 303944779 883888128 204736 1992294400 134512640 135674940 4294956208 18446744073709551615 134564761 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 215793 204736 99 283 0 215507 0
Current children cumulated CPU time (s) 9878.63
Current children cumulated vsize (KiB) 863172
[startup+9942.3 s]
/proc/loadavg: 1.09 1.08 1.09 2/66 24881
/proc/meminfo: memFree=1049168/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=863172 CPUtime=9938.61
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 217565 0 0 0 993620 241 0 0 25 0 1 0 303944779 883888128 204736 1992294400 134512640 135674940 4294956208 18446744073709551615 134565273 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 215793 204736 99 283 0 215507 0
Current children cumulated CPU time (s) 9938.61
Current children cumulated vsize (KiB) 863172
[startup+10002.3 s]
/proc/loadavg: 1.08 1.08 1.09 2/66 24881
/proc/meminfo: memFree=1048720/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=863688 CPUtime=9998.6
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 217701 0 0 0 999619 241 0 0 25 0 1 0 303944779 884416512 204872 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 215922 204872 99 283 0 215636 0
Current children cumulated CPU time (s) 9998.6
Current children cumulated vsize (KiB) 863688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.8 s]
/proc/loadavg: 1.08 1.08 1.09 2/66 24881
/proc/meminfo: memFree=1048720/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=863688 CPUtime=10000.1
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4194304 217703 0 0 0 999769 241 0 0 25 0 1 0 303944779 884416512 204874 1992294400 134512640 135674940 4294956208 18446744073709551615 134564757 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 215922 204874 99 283 0 215636 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 863688
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.08 1.08 1.09 2/66 24881
/proc/meminfo: memFree=1048720/2055920 swapFree=4179688/4192956
[pid=24858] ppid=24856 vsize=0 CPUtime=10000.2
/proc/24858/stat : 24858 (SApperloT-base) R 24856 24858 24821 0 -1 4195332 217703 0 0 0 999769 251 0 0 25 0 1 0 303944779 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/24858/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003.9
CPU time (s): 10000.2
CPU user time (s): 9997.69
CPU system time (s): 2.53861
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 863688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.69
system time used= 2.53861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217703
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= 34502
runsolver used 10.2624 second user time and 26.12 second system time
The end
Begin job on node73 at 2009-05-19 20:52:05
IDJOB=1831432
IDBENCH=20368
IDSOLVER=642
FILE ID=node73/1831432-1242759123
PBS_JOBID= 9322230
Free space on /tmp= 66384 MiB
SOLVER NAME= SApperloT base
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-5-15-u.cnf
COMMAND LINE= HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831432-1242759123/watcher-1831432-1242759123 -o /tmp/evaluation-result-1831432-1242759123/solver-1831432-1242759123 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=919144402 HOME/instance-1831432-1242759123.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c438ce1eb243ac0a49869eda1166f28f
RANDOM SEED=919144402
node73.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.214
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.214
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: 1875264 kB
Buffers: 5252 kB
Cached: 137152 kB
SwapCached: 7740 kB
Active: 32524 kB
Inactive: 118864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1875264 kB
SwapTotal: 4192956 kB
SwapFree: 4179688 kB
Dirty: 19604 kB
Writeback: 0 kB
Mapped: 13784 kB
Slab: 15304 kB
Committed_AS: 1077920 kB
PageTables: 1400 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= 66380 MiB
End job on node73 at 2009-05-19 23:38:50