runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1532625-1238390480/watcher-1532625-1238390480 -o /tmp/evaluation-result-1532625-1238390480/solver-1532625-1238390480 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SApperloT-hrp -seed=340121626 HOME/instance-1532625-1238390480.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32496
/proc/meminfo: memFree=1768416/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=2052 CPUtime=0
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 1111710039 2101248 266 1992294400 134512640 135712473 4294956192 18446744073709551615 134625380 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 513 267 95 292 0 218 0
[startup+0.0123901 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32496
/proc/meminfo: memFree=1768416/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=2580 CPUtime=0
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 399 0 0 0 0 0 0 0 18 0 1 0 1111710039 2641920 383 1992294400 134512640 135712473 4294956192 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 645 384 95 292 0 350 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2580
[startup+0.101397 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32496
/proc/meminfo: memFree=1768416/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=5000 CPUtime=0.09
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 1074 0 0 0 9 0 0 0 18 0 1 0 1111710039 5120000 1057 1992294400 134512640 135712473 4294956192 18446744073709551615 134564805 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 1250 1057 105 292 0 955 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5000
[startup+0.301414 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32496
/proc/meminfo: memFree=1768416/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=5660 CPUtime=0.29
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 1216 0 0 0 29 0 0 0 19 0 1 0 1111710039 5795840 1199 1992294400 134512640 135712473 4294956192 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 1415 1199 105 292 0 1120 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5660
[startup+0.701451 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32496
/proc/meminfo: memFree=1768416/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=6584 CPUtime=0.69
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 1470 0 0 0 69 0 0 0 22 0 1 0 1111710039 6742016 1453 1992294400 134512640 135712473 4294956192 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 1646 1453 105 292 0 1351 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6584
[startup+1.50252 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1762264/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=8564 CPUtime=1.49
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 1945 0 0 0 149 0 0 0 25 0 1 0 1111710039 8769536 1928 1992294400 134512640 135712473 4294956192 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 2141 1928 105 292 0 1846 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8564
[startup+3.10167 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1759128/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=11732 CPUtime=3.09
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 2748 0 0 0 308 1 0 0 25 0 1 0 1111710039 12013568 2731 1992294400 134512640 135712473 4294956192 18446744073709551615 134538042 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 2933 2731 109 292 0 2638 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11732
[startup+6.30195 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1751640/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=19796 CPUtime=6.29
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 4764 0 0 0 626 3 0 0 25 0 1 0 1111710039 20271104 4747 1992294400 134512640 135712473 4294956192 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 4949 4747 109 292 0 4654 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19796
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1738008/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=32340 CPUtime=12.69
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 7876 0 0 0 1264 5 0 0 25 0 1 0 1111710039 33116160 7859 1992294400 134512640 135712473 4294956192 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 8085 7859 109 292 0 7790 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32340
[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1730584/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=39340 CPUtime=25.49
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 9634 0 0 0 2542 7 0 0 25 0 1 0 1111710039 40284160 9617 1992294400 134512640 135712473 4294956192 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 9835 9617 109 292 0 9540 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39340
[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1726168/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=43168 CPUtime=51.08
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 10600 0 0 0 5100 8 0 0 25 0 1 0 1111710039 44204032 10583 1992294400 134512640 135712473 4294956192 18446744073709551615 134564290 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 10792 10583 109 292 0 10497 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43168
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1715352/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=54032 CPUtime=102.27
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 13286 0 0 0 10216 11 0 0 25 0 1 0 1111710039 55328768 13269 1992294400 134512640 135712473 4294956192 18446744073709551615 134564354 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 13508 13269 109 292 0 13213 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 54032
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1709656/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=59840 CPUtime=162.26
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 14738 0 0 0 16214 12 0 0 25 0 1 0 1111710039 61276160 14688 1992294400 134512640 135712473 4294956192 18446744073709551615 134564818 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 14960 14688 109 292 0 14665 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 59840
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1704280/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=65428 CPUtime=222.23
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 16076 0 0 0 22210 13 0 0 25 0 1 0 1111710039 66998272 16026 1992294400 134512640 135712473 4294956192 18446744073709551615 134554176 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 16357 16026 109 292 0 16062 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 65428
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1703384/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=66220 CPUtime=282.22
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 16296 0 0 0 28208 14 0 0 25 0 1 0 1111710039 67809280 16246 1992294400 134512640 135712473 4294956192 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 16555 16246 109 292 0 16260 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 66220
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1703384/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=66220 CPUtime=342.2
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 16296 0 0 0 34206 14 0 0 25 0 1 0 1111710039 67809280 16246 1992294400 134512640 135712473 4294956192 18446744073709551615 134563613 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 16555 16246 109 292 0 16260 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 66220
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1700952/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=68616 CPUtime=402.19
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 16892 0 0 0 40204 15 0 0 25 0 1 0 1111710039 70262784 16842 1992294400 134512640 135712473 4294956192 18446744073709551615 134563642 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 17154 16842 109 292 0 16859 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 68616
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1684184/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=85672 CPUtime=462.18
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 21071 0 0 0 46199 19 0 0 25 0 1 0 1111710039 87728128 21021 1992294400 134512640 135712473 4294956192 18446744073709551615 134558727 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 21418 21021 109 292 0 21123 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 85672
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1679896/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=90076 CPUtime=522.16
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 22161 0 0 0 52195 21 0 0 25 0 1 0 1111710039 92237824 22111 1992294400 134512640 135712473 4294956192 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 22519 22111 109 292 0 22224 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 90076
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1679832/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=90076 CPUtime=582.15
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 22173 0 0 0 58194 21 0 0 25 0 1 0 1111710039 92237824 22123 1992294400 134512640 135712473 4294956192 18446744073709551615 134564198 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 22519 22123 109 292 0 22224 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 90076
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1678680/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=91264 CPUtime=642.14
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 22451 0 0 0 64192 22 0 0 25 0 1 0 1111710039 93454336 22401 1992294400 134512640 135712473 4294956192 18446744073709551615 134564382 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 22816 22401 109 292 0 22521 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 91264
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1667032/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=103144 CPUtime=702.12
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 25429 0 0 0 70187 25 0 0 25 0 1 0 1111710039 105619456 25379 1992294400 134512640 135712473 4294956192 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 25786 25379 109 292 0 25491 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 103144
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32497
/proc/meminfo: memFree=1634520/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=135352 CPUtime=762.11
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 33494 0 0 0 76176 35 0 0 25 0 1 0 1111710039 138600448 33444 1992294400 134512640 135712473 4294956192 18446744073709551615 134563915 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 33838 33444 109 292 0 33543 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 135352
[startup+822.302 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 32497
/proc/meminfo: memFree=1603480/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=166636 CPUtime=822.1
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 41310 0 0 0 82167 43 0 0 25 0 1 0 1111710039 170635264 41260 1992294400 134512640 135712473 4294956192 18446744073709551615 134564385 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 41659 41260 109 292 0 41364 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 166636
[startup+882.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 32497
/proc/meminfo: memFree=1572376/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=197524 CPUtime=882.08
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 49012 0 0 0 88158 50 0 0 25 0 1 0 1111710039 202264576 48962 1992294400 134512640 135712473 4294956192 18446744073709551615 134564799 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 49381 48962 109 292 0 49086 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 197524
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32497
/proc/meminfo: memFree=1531480/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=238864 CPUtime=942.06
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 59359 0 0 0 94145 61 0 0 25 0 1 0 1111710039 244596736 59309 1992294400 134512640 135712473 4294956192 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 59716 59309 109 292 0 59421 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 238864
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32497
/proc/meminfo: memFree=1518104/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=251788 CPUtime=1002.05
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 62515 0 0 0 100140 65 0 0 25 0 1 0 1111710039 257830912 62465 1992294400 134512640 135712473 4294956192 18446744073709551615 134563915 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 62947 62465 109 292 0 62652 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 251788
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32497
/proc/meminfo: memFree=1517976/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=251980 CPUtime=1062.03
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 62545 0 0 0 106138 65 0 0 25 0 1 0 1111710039 258027520 62495 1992294400 134512640 135712473 4294956192 18446744073709551615 134564153 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 62995 62495 109 292 0 62700 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 251980
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32497
/proc/meminfo: memFree=1517976/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=251980 CPUtime=1122.02
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 62545 0 0 0 112136 66 0 0 25 0 1 0 1111710039 258027520 62495 1992294400 134512640 135712473 4294956192 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 62995 62495 109 292 0 62700 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 251980
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32499
/proc/meminfo: memFree=1517400/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=252488 CPUtime=1182.01
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 62662 0 0 0 118135 66 0 0 25 0 1 0 1111710039 258547712 62612 1992294400 134512640 135712473 4294956192 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 63122 62612 109 292 0 62827 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 252488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32499
/proc/meminfo: memFree=1517400/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=252488 CPUtime=1200.01
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 62662 0 0 0 119935 66 0 0 25 0 1 0 1111710039 258547712 62612 1992294400 134512640 135712473 4294956192 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 63122 62612 109 292 0 62827 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 252488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32499
/proc/meminfo: memFree=1517400/2055920 swapFree=4176708/4192956
[pid=32496] ppid=32494 vsize=252488 CPUtime=1200.01
/proc/32496/stat : 32496 (SApperloT-hrp) R 32494 32496 32213 0 -1 4194304 62662 0 0 0 119935 66 0 0 25 0 1 0 1111710039 258547712 62612 1992294400 134512640 135712473 4294956192 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/32496/statm: 63122 62612 109 292 0 62827 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 252488
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.35
CPU time (s): 1200.06
CPU user time (s): 1199.35
CPU system time (s): 0.704892
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 252488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.35
system time used= 0.704892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62662
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= 1484
runsolver used 0.886865 second user time and 2.53661 second system time
The end
Begin job on node51 at 2009-03-30 07:21:20
IDJOB=1532625
IDBENCH=70299
IDSOLVER=510
FILE ID=node51/1532625-1238390480
PBS_JOBID= 9061332
Free space on /tmp= 65252 MiB
SOLVER NAME= SApperloT hrp
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
COMMAND LINE= HOME/SApperloT-hrp -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1532625-1238390480/watcher-1532625-1238390480 -o /tmp/evaluation-result-1532625-1238390480/solver-1532625-1238390480 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SApperloT-hrp -seed=340121626 HOME/instance-1532625-1238390480.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 17df6005fb09e0a5c9a1d88e4e3ac572
RANDOM SEED=340121626
node51.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.234
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.234
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: 1768832 kB
Buffers: 57212 kB
Cached: 151356 kB
SwapCached: 10052 kB
Active: 59144 kB
Inactive: 160924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1768832 kB
SwapTotal: 4192956 kB
SwapFree: 4176708 kB
Dirty: 2184 kB
Writeback: 0 kB
Mapped: 17148 kB
Slab: 53040 kB
Committed_AS: 2933544 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= 65252 MiB
End job on node51 at 2009-03-30 07:41:22