runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1831434-1242759123/watcher-1831434-1242759123 -o /tmp/evaluation-result-1831434-1242759123/solver-1831434-1242759123 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=919144402 HOME/instance-1831434-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.00 0.00 0.00 3/64 32749
/proc/meminfo: memFree=1819192/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=7976 CPUtime=0
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 947 0 0 0 0 0 0 0 18 0 1 0 303939242 8167424 931 1992294400 134512640 135674940 4294956208 18446744073709551615 134545020 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 1994 936 88 283 0 1708 0
[startup+0.0516091 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 32749
/proc/meminfo: memFree=1819192/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=15112 CPUtime=0.04
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 2602 0 0 0 3 1 0 0 18 0 1 0 303939242 15474688 2586 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 3778 2586 90 283 0 3492 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15112
[startup+0.101617 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 32749
/proc/meminfo: memFree=1819192/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=17092 CPUtime=0.09
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 3175 0 0 0 8 1 0 0 18 0 1 0 303939242 17502208 3159 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 4273 3160 90 283 0 3987 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17092
[startup+0.301653 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 32749
/proc/meminfo: memFree=1819192/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=24088 CPUtime=0.29
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 5000 0 0 0 27 2 0 0 19 0 1 0 303939242 24666112 4984 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 6022 4985 90 283 0 5736 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24088
[startup+0.701725 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 32749
/proc/meminfo: memFree=1819192/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=36496 CPUtime=0.69
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 8156 0 0 0 65 4 0 0 23 0 1 0 303939242 37371904 8106 1992294400 134512640 135674940 4294956208 18446744073709551615 134548810 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 9124 8106 97 283 0 8838 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36496
[startup+1.50187 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 32750
/proc/meminfo: memFree=1786480/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=37528 CPUtime=1.49
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 8513 0 0 0 145 4 0 0 25 0 1 0 303939242 38428672 8269 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 9382 8269 98 283 0 9096 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37528
[startup+3.10116 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 32750
/proc/meminfo: memFree=1786032/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=38456 CPUtime=3.09
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 8819 0 0 0 305 4 0 0 25 0 1 0 303939242 39378944 8510 1992294400 134512640 135674940 4294956208 18446744073709551615 134564225 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 9614 8510 98 283 0 9328 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38456
[startup+6.30174 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 32750
/proc/meminfo: memFree=1784304/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=39652 CPUtime=6.29
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 9144 0 0 0 623 6 0 0 25 0 1 0 303939242 40603648 8835 1992294400 134512640 135674940 4294956208 18446744073709551615 134551252 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 9913 8835 98 283 0 9627 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39652
[startup+12.7019 s]
/proc/loadavg: 0.22 0.05 0.02 2/65 32750
/proc/meminfo: memFree=1780912/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=49144 CPUtime=12.68
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 11162 0 0 0 1261 7 0 0 25 0 1 0 303939242 50323456 10467 1992294400 134512640 135674940 4294956208 18446744073709551615 134582878 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 12286 10473 98 283 0 12000 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49144
[startup+25.5012 s]
/proc/loadavg: 0.39 0.09 0.03 2/65 32750
/proc/meminfo: memFree=1767920/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=58416 CPUtime=25.47
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 14234 0 0 0 2537 10 0 0 25 0 1 0 303939242 59817984 13026 1992294400 134512640 135674940 4294956208 18446744073709551615 134564225 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 14604 13026 98 283 0 14318 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 58416
[startup+51.1018 s]
/proc/loadavg: 0.60 0.17 0.05 2/65 32750
/proc/meminfo: memFree=1748464/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=77680 CPUtime=51.06
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 19072 0 0 0 5092 14 0 0 25 0 1 0 303939242 79544320 17864 1992294400 134512640 135674940 4294956208 18446744073709551615 134551250 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 19420 17864 98 283 0 19134 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 77680
[startup+102.305 s]
/proc/loadavg: 0.82 0.29 0.10 2/65 32750
/proc/meminfo: memFree=1710320/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=115408 CPUtime=102.23
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 28511 0 0 0 10203 20 0 0 25 0 1 0 303939242 118177792 27303 1992294400 134512640 135674940 4294956208 18446744073709551615 134550641 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 28852 27303 98 283 0 28566 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 115408
[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/65 32750
/proc/meminfo: memFree=1662448/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=163680 CPUtime=162.2
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 40540 0 0 0 16191 29 0 0 25 0 1 0 303939242 167608320 39332 1992294400 134512640 135674940 4294956208 18446744073709551615 134556795 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 40920 39332 98 283 0 40634 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 163680
[startup+222.302 s]
/proc/loadavg: 0.97 0.52 0.20 2/65 32750
/proc/meminfo: memFree=1613872/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=211648 CPUtime=222.17
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 52553 0 0 0 22179 38 0 0 25 0 1 0 303939242 216727552 51345 1992294400 134512640 135674940 4294956208 18446744073709551615 134552186 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 52912 51345 98 283 0 52626 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 211648
[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.25 2/65 32750
/proc/meminfo: memFree=1568048/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=257436 CPUtime=282.15
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 64006 0 0 0 28168 47 0 0 25 0 1 0 303939242 263614464 62798 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 64359 62798 99 283 0 64073 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 257436
[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.30 2/65 32750
/proc/meminfo: memFree=1567344/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=257964 CPUtime=342.11
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 64128 0 0 0 34164 47 0 0 25 0 1 0 303939242 264155136 62920 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 64491 62920 99 283 0 64205 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 257964
[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.34 2/65 32750
/proc/meminfo: memFree=1567088/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=258228 CPUtime=402.08
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 64202 0 0 0 40161 47 0 0 25 0 1 0 303939242 264425472 62994 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 64557 62994 99 283 0 64271 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 258228
[startup+462.301 s]
/proc/loadavg: 0.99 0.78 0.38 2/65 32750
/proc/meminfo: memFree=1566768/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=258632 CPUtime=462.05
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 64286 0 0 0 46158 47 0 0 25 0 1 0 303939242 264839168 63078 1992294400 134512640 135674940 4294956208 18446744073709551615 134564611 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 64658 63078 99 283 0 64372 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 258632
[startup+522.302 s]
/proc/loadavg: 0.99 0.81 0.41 2/65 32750
/proc/meminfo: memFree=1566384/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=258896 CPUtime=522.02
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 64359 0 0 0 52155 47 0 0 25 0 1 0 303939242 265109504 63151 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 64724 63151 99 283 0 64438 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 258896
[startup+582.302 s]
/proc/loadavg: 0.99 0.85 0.45 2/65 32756
/proc/meminfo: memFree=1565800/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=259292 CPUtime=581.98
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 64439 0 0 0 58151 47 0 0 25 0 1 0 303939242 265515008 63231 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 64823 63231 99 283 0 64537 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 259292
[startup+642.302 s]
/proc/loadavg: 0.99 0.87 0.48 2/65 32756
/proc/meminfo: memFree=1544040/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=281000 CPUtime=641.96
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 69880 0 0 0 64144 52 0 0 25 0 1 0 303939242 287744000 68672 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 70250 68672 99 283 0 69964 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 281000
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087856/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738772 CPUtime=9097.74
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185813 0 0 0 909624 150 0 0 25 0 1 0 303939242 756502528 181402 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184693 181402 99 283 0 184407 0
Current children cumulated CPU time (s) 9097.74
Current children cumulated vsize (KiB) 738772
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087792/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738772 CPUtime=9157.71
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185813 0 0 0 915621 150 0 0 25 0 1 0 303939242 756502528 181402 1992294400 134512640 135674940 4294956208 18446744073709551615 134551377 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184693 181402 99 283 0 184407 0
Current children cumulated CPU time (s) 9157.71
Current children cumulated vsize (KiB) 738772
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087792/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738772 CPUtime=9217.69
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185813 0 0 0 921619 150 0 0 25 0 1 0 303939242 756502528 181402 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184693 181402 99 283 0 184407 0
Current children cumulated CPU time (s) 9217.69
Current children cumulated vsize (KiB) 738772
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087984/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738336 CPUtime=9277.65
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185813 0 0 0 927615 150 0 0 25 0 1 0 303939242 756056064 181325 1992294400 134512640 135674940 4294956208 18446744073709551615 134555841 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184584 181325 99 283 0 184298 0
Current children cumulated CPU time (s) 9277.65
Current children cumulated vsize (KiB) 738336
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087984/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738336 CPUtime=9337.62
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185813 0 0 0 933612 150 0 0 25 0 1 0 303939242 756056064 181325 1992294400 134512640 135674940 4294956208 18446744073709551615 134557239 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184584 181325 99 283 0 184298 0
Current children cumulated CPU time (s) 9337.62
Current children cumulated vsize (KiB) 738336
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087984/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738336 CPUtime=9397.59
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185814 0 0 0 939609 150 0 0 25 0 1 0 303939242 756056064 181326 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184584 181326 99 283 0 184298 0
Current children cumulated CPU time (s) 9397.59
Current children cumulated vsize (KiB) 738336
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1088368/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=737940 CPUtime=9457.56
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185814 0 0 0 945606 150 0 0 25 0 1 0 303939242 755650560 181227 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184485 181227 99 283 0 184199 0
Current children cumulated CPU time (s) 9457.56
Current children cumulated vsize (KiB) 737940
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1088304/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=737940 CPUtime=9517.53
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185814 0 0 0 951603 150 0 0 25 0 1 0 303939242 755650560 181227 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184485 181227 99 283 0 184199 0
Current children cumulated CPU time (s) 9517.53
Current children cumulated vsize (KiB) 737940
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1088304/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=737940 CPUtime=9577.5
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185814 0 0 0 957600 150 0 0 25 0 1 0 303939242 755650560 181227 1992294400 134512640 135674940 4294956208 18446744073709551615 134564833 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184485 181227 99 283 0 184199 0
Current children cumulated CPU time (s) 9577.5
Current children cumulated vsize (KiB) 737940
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1088688/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=737516 CPUtime=9637.47
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185814 0 0 0 963597 150 0 0 25 0 1 0 303939242 755216384 181121 1992294400 134512640 135674940 4294956208 18446744073709551615 134555846 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184379 181121 99 283 0 184093 0
Current children cumulated CPU time (s) 9637.47
Current children cumulated vsize (KiB) 737516
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1088560/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=737516 CPUtime=9697.44
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185814 0 0 0 969594 150 0 0 25 0 1 0 303939242 755216384 181121 1992294400 134512640 135674940 4294956208 18446744073709551615 134551934 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184379 181121 99 283 0 184093 0
Current children cumulated CPU time (s) 9697.44
Current children cumulated vsize (KiB) 737516
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087984/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738316 CPUtime=9757.41
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185988 0 0 0 975590 151 0 0 25 0 1 0 303939242 756035584 181295 1992294400 134512640 135674940 4294956208 18446744073709551615 134555846 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184579 181295 99 283 0 184293 0
Current children cumulated CPU time (s) 9757.41
Current children cumulated vsize (KiB) 738316
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087984/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738316 CPUtime=9817.38
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185988 0 0 0 981587 151 0 0 25 0 1 0 303939242 756035584 181295 1992294400 134512640 135674940 4294956208 18446744073709551615 134555841 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184579 181295 99 283 0 184293 0
Current children cumulated CPU time (s) 9817.38
Current children cumulated vsize (KiB) 738316
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087984/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738316 CPUtime=9877.35
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185988 0 0 0 987584 151 0 0 25 0 1 0 303939242 756035584 181295 1992294400 134512640 135674940 4294956208 18446744073709551615 134559192 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184579 181295 99 283 0 184293 0
Current children cumulated CPU time (s) 9877.35
Current children cumulated vsize (KiB) 738316
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087984/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738316 CPUtime=9937.32
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185988 0 0 0 993581 151 0 0 25 0 1 0 303939242 756035584 181295 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184579 181295 99 283 0 184293 0
Current children cumulated CPU time (s) 9937.32
Current children cumulated vsize (KiB) 738316
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087984/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738316 CPUtime=9997.3
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185988 0 0 0 999579 151 0 0 25 0 1 0 303939242 756035584 181295 1992294400 134512640 135674940 4294956208 18446744073709551615 134552134 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184579 181295 99 283 0 184293 0
Current children cumulated CPU time (s) 9997.3
Current children cumulated vsize (KiB) 738316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10005.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087984/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=738316 CPUtime=10000.1
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4194304 185988 0 0 0 999859 151 0 0 25 0 1 0 303939242 756035584 181295 1992294400 134512640 135674940 4294956208 18446744073709551615 134563998 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/statm: 184579 181295 99 283 0 184293 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 738316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10005.2 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 304
/proc/meminfo: memFree=1087984/2055920 swapFree=4179908/4192956
[pid=32749] ppid=32747 vsize=0 CPUtime=10000.2
/proc/32749/stat : 32749 (SApperloT-base) R 32747 32749 32712 0 -1 4195332 185988 0 0 0 999859 161 0 0 25 0 1 0 303939242 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/32749/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): 10005.2
CPU time (s): 10000.2
CPU user time (s): 9998.59
CPU system time (s): 1.61975
CPU usage (%): 99.95
Max. virtual memory (cumulated for all children) (KiB): 738772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9998.59
system time used= 1.61975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185988
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= 22790
runsolver used 8.32073 second user time and 28.0687 second system time
The end
Begin job on node60 at 2009-05-19 20:52:05
IDJOB=1831434
IDBENCH=20370
IDSOLVER=642
FILE ID=node60/1831434-1242759123
PBS_JOBID= 9322241
Free space on /tmp= 66420 MiB
SOLVER NAME= SApperloT base
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-13-u.cnf
COMMAND LINE= HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831434-1242759123/watcher-1831434-1242759123 -o /tmp/evaluation-result-1831434-1242759123/solver-1831434-1242759123 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=919144402 HOME/instance-1831434-1242759123.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4bb23e70b97827425fcf5759bf0a79a2
RANDOM SEED=919144402
node60.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.256
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.256
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: 1819864 kB
Buffers: 6484 kB
Cached: 191472 kB
SwapCached: 7132 kB
Active: 36260 kB
Inactive: 170288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1819864 kB
SwapTotal: 4192956 kB
SwapFree: 4179908 kB
Dirty: 16248 kB
Writeback: 0 kB
Mapped: 13824 kB
Slab: 15436 kB
Committed_AS: 1026696 kB
PageTables: 1452 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= 66420 MiB
End job on node60 at 2009-05-19 23:38:52