runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1831570-1242762022/watcher-1831570-1242762022 -o /tmp/evaluation-result-1831570-1242762022/solver-1831570-1242762022 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=917509855 HOME/instance-1831570-1242762022.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: 1.00 1.00 0.91 3/64 7932
/proc/meminfo: memFree=1896912/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=6900 CPUtime=0
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 839 0 0 0 0 0 0 0 18 0 1 0 304236175 7065600 823 1992294400 134512640 135674940 4294956208 18446744073709551615 134545002 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 1725 828 88 283 0 1439 0
[startup+0.0485861 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 7932
/proc/meminfo: memFree=1896912/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=22816 CPUtime=0.03
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 2200 0 0 0 3 0 0 0 18 0 1 0 304236175 23363584 2184 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 5704 2184 90 283 0 5418 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 22816
[startup+0.10159 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 7932
/proc/meminfo: memFree=1896912/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=24724 CPUtime=0.09
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 2703 0 0 0 8 1 0 0 18 0 1 0 304236175 25317376 2687 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 6181 2688 90 283 0 5895 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24724
[startup+0.301613 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 7932
/proc/meminfo: memFree=1896912/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=31932 CPUtime=0.29
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 4513 0 0 0 27 2 0 0 19 0 1 0 304236175 32698368 4497 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 7983 4497 90 283 0 7697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31932
[startup+0.701658 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 7932
/proc/meminfo: memFree=1896912/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=46084 CPUtime=0.69
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 8033 0 0 0 65 4 0 0 23 0 1 0 304236175 47190016 8017 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 11521 8017 90 283 0 11235 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46084
[startup+1.50175 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 7933
/proc/meminfo: memFree=1854600/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=73856 CPUtime=1.49
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 14794 0 0 0 141 8 0 0 25 0 1 0 304236175 75628544 14647 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 18464 14647 90 283 0 18178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73856
[startup+3.10193 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 7933
/proc/meminfo: memFree=1817096/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=118972 CPUtime=3.09
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 26006 0 0 0 294 15 0 0 25 0 1 0 304236175 121827328 25531 1992294400 134512640 135674940 4294956208 18446744073709551615 134564529 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 29743 25531 98 283 0 29457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118972
[startup+6.30129 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 7933
/proc/meminfo: memFree=1794376/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=120072 CPUtime=6.29
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 26284 0 0 0 612 17 0 0 25 0 1 0 304236175 122953728 25809 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 30018 25809 98 283 0 29732 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120072
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 7933
/proc/meminfo: memFree=1791432/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=123172 CPUtime=12.68
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 27039 0 0 0 1251 17 0 0 25 0 1 0 304236175 126128128 26564 1992294400 134512640 135674940 4294956208 18446744073709551615 134564231 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 30793 26564 98 283 0 30507 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 123172
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 7933
/proc/meminfo: memFree=1783368/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=131216 CPUtime=25.48
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 29034 0 0 0 2529 19 0 0 25 0 1 0 304236175 134365184 28559 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 32804 28559 98 283 0 32518 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 131216
[startup+51.1014 s]
/proc/loadavg: 1.25 1.06 0.93 2/65 7933
/proc/meminfo: memFree=1765576/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=149156 CPUtime=51.08
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 33486 0 0 0 5085 23 0 0 25 0 1 0 304236175 152735744 33011 1992294400 134512640 135674940 4294956208 18446744073709551615 134564237 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 37289 33011 99 283 0 37003 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149156
[startup+102.305 s]
/proc/loadavg: 1.11 1.05 0.93 2/65 7933
/proc/meminfo: memFree=1765320/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=149468 CPUtime=102.27
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 33545 0 0 0 10204 23 0 0 25 0 1 0 304236175 153055232 33070 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 37367 33070 99 283 0 37081 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 149468
[startup+162.302 s]
/proc/loadavg: 1.04 1.04 0.93 2/65 7935
/proc/meminfo: memFree=1764744/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=149824 CPUtime=162.24
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 33629 0 0 0 16201 23 0 0 25 0 1 0 304236175 153419776 33154 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 37456 33154 99 283 0 37170 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 149824
[startup+222.302 s]
/proc/loadavg: 1.01 1.03 0.93 2/65 7935
/proc/meminfo: memFree=1764616/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=150016 CPUtime=222.23
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 33664 0 0 0 22200 23 0 0 25 0 1 0 304236175 153616384 33189 1992294400 134512640 135674940 4294956208 18446744073709551615 134557392 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 37504 33189 99 283 0 37218 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 150016
[startup+282.302 s]
/proc/loadavg: 1.00 1.02 0.93 2/65 7935
/proc/meminfo: memFree=1764424/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=150148 CPUtime=282.21
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 33711 0 0 0 28197 24 0 0 25 0 1 0 304236175 153751552 33236 1992294400 134512640 135674940 4294956208 18446744073709551615 134564276 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 37537 33236 99 283 0 37251 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 150148
[startup+342.301 s]
/proc/loadavg: 1.00 1.02 0.93 2/65 7935
/proc/meminfo: memFree=1764232/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=150280 CPUtime=342.19
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 33746 0 0 0 34195 24 0 0 25 0 1 0 304236175 153886720 33271 1992294400 134512640 135674940 4294956208 18446744073709551615 134565290 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 37570 33271 99 283 0 37284 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 150280
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 0.93 2/65 7935
/proc/meminfo: memFree=1764040/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=150416 CPUtime=402.17
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 33782 0 0 0 40193 24 0 0 25 0 1 0 304236175 154025984 33307 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 37604 33307 99 283 0 37318 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 150416
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7935
/proc/meminfo: memFree=1763976/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=150416 CPUtime=462.16
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 33801 0 0 0 46191 25 0 0 25 0 1 0 304236175 154025984 33326 1992294400 134512640 135674940 4294956208 18446744073709551615 134564154 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 37604 33326 99 283 0 37318 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 150416
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7935
/proc/meminfo: memFree=1751496/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=164784 CPUtime=522.14
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 37298 0 0 0 52187 27 0 0 25 0 1 0 304236175 168738816 36823 1992294400 134512640 135674940 4294956208 18446744073709551615 134559205 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 41196 36823 99 283 0 40910 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 164784
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7935
/proc/meminfo: memFree=1687624/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=229148 CPUtime=582.12
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 53230 0 0 0 58173 39 0 0 25 0 1 0 304236175 234647552 52626 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 57287 52626 99 283 0 57001 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 229148
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7935
/proc/meminfo: memFree=1627016/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=291424 CPUtime=642.1
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 68354 0 0 0 64159 51 0 0 25 0 1 0 304236175 298418176 67493 1992294400 134512640 135674940 4294956208 18446744073709551615 134551309 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 72856 67493 99 283 0 72570 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 291424
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=965640/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=991716 CPUtime=9099.63
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 247622 0 0 0 909740 223 0 0 25 0 1 0 304236175 1015517184 231600 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 247929 231600 99 283 0 247643 0
Current children cumulated CPU time (s) 9099.63
Current children cumulated vsize (KiB) 991716
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951880/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1004424 CPUtime=9159.61
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 250805 0 0 0 915735 226 0 0 25 0 1 0 304236175 1028530176 234783 1992294400 134512640 135674940 4294956208 18446744073709551615 134539941 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251106 234783 99 283 0 250820 0
Current children cumulated CPU time (s) 9159.61
Current children cumulated vsize (KiB) 1004424
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951880/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1004424 CPUtime=9219.6
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 250805 0 0 0 921734 226 0 0 25 0 1 0 304236175 1028530176 234783 1992294400 134512640 135674940 4294956208 18446744073709551615 134539767 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251106 234783 99 283 0 250820 0
Current children cumulated CPU time (s) 9219.6
Current children cumulated vsize (KiB) 1004424
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951816/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1004424 CPUtime=9279.57
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 250808 0 0 0 927731 226 0 0 25 0 1 0 304236175 1028530176 234786 1992294400 134512640 135674940 4294956208 18446744073709551615 134564379 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251106 234786 99 283 0 250820 0
Current children cumulated CPU time (s) 9279.57
Current children cumulated vsize (KiB) 1004424
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951752/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1004424 CPUtime=9339.56
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 250808 0 0 0 933730 226 0 0 25 0 1 0 304236175 1028530176 234786 1992294400 134512640 135674940 4294956208 18446744073709551615 134581508 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251106 234786 99 283 0 250820 0
Current children cumulated CPU time (s) 9339.56
Current children cumulated vsize (KiB) 1004424
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951176/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1005452 CPUtime=9399.53
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 250953 0 0 0 939727 226 0 0 25 0 1 0 304236175 1029582848 234931 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251363 234931 99 283 0 251077 0
Current children cumulated CPU time (s) 9399.53
Current children cumulated vsize (KiB) 1005452
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951112/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1005452 CPUtime=9459.51
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 250955 0 0 0 945725 226 0 0 25 0 1 0 304236175 1029582848 234933 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251363 234933 99 283 0 251077 0
Current children cumulated CPU time (s) 9459.51
Current children cumulated vsize (KiB) 1005452
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=950472/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1006476 CPUtime=9519.5
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 251327 0 0 0 951723 227 0 0 25 0 1 0 304236175 1030631424 235048 1992294400 134512640 135674940 4294956208 18446744073709551615 134539896 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251619 235048 99 283 0 251333 0
Current children cumulated CPU time (s) 9519.5
Current children cumulated vsize (KiB) 1006476
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951560/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1005192 CPUtime=9579.49
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 251327 0 0 0 957722 227 0 0 25 0 1 0 304236175 1029316608 234752 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251298 234752 99 283 0 251012 0
Current children cumulated CPU time (s) 9579.49
Current children cumulated vsize (KiB) 1005192
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951560/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1005192 CPUtime=9639.46
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 251335 0 0 0 963719 227 0 0 25 0 1 0 304236175 1029316608 234760 1992294400 134512640 135674940 4294956208 18446744073709551615 134552024 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251298 234760 99 283 0 251012 0
Current children cumulated CPU time (s) 9639.46
Current children cumulated vsize (KiB) 1005192
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951560/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1005192 CPUtime=9699.45
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 251353 0 0 0 969718 227 0 0 25 0 1 0 304236175 1029316608 234778 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251298 234778 99 283 0 251012 0
Current children cumulated CPU time (s) 9699.45
Current children cumulated vsize (KiB) 1005192
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951560/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1005192 CPUtime=9759.43
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 251353 0 0 0 975716 227 0 0 25 0 1 0 304236175 1029316608 234778 1992294400 134512640 135674940 4294956208 18446744073709551615 134565273 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251298 234778 99 283 0 251012 0
Current children cumulated CPU time (s) 9759.43
Current children cumulated vsize (KiB) 1005192
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951560/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1005192 CPUtime=9819.41
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 251353 0 0 0 981714 227 0 0 25 0 1 0 304236175 1029316608 234778 1992294400 134512640 135674940 4294956208 18446744073709551615 134564640 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251298 234778 99 283 0 251012 0
Current children cumulated CPU time (s) 9819.41
Current children cumulated vsize (KiB) 1005192
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951496/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1005192 CPUtime=9879.4
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 251358 0 0 0 987712 228 0 0 25 0 1 0 304236175 1029316608 234783 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251298 234783 99 283 0 251012 0
Current children cumulated CPU time (s) 9879.4
Current children cumulated vsize (KiB) 1005192
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951496/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1005192 CPUtime=9939.38
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 251359 0 0 0 993710 228 0 0 25 0 1 0 304236175 1029316608 234784 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251298 234784 99 283 0 251012 0
Current children cumulated CPU time (s) 9939.38
Current children cumulated vsize (KiB) 1005192
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951432/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1005192 CPUtime=9999.36
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 251362 0 0 0 999708 228 0 0 25 0 1 0 304236175 1029316608 234787 1992294400 134512640 135674940 4294956208 18446744073709551615 134558357 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251298 234787 99 283 0 251012 0
Current children cumulated CPU time (s) 9999.36
Current children cumulated vsize (KiB) 1005192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951432/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=1005192 CPUtime=10000.1
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4194304 251362 0 0 0 999778 228 0 0 25 0 1 0 304236175 1029316608 234787 1992294400 134512640 135674940 4294956208 18446744073709551615 134564258 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/statm: 251298 234787 99 283 0 251012 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 1005192
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7957
/proc/meminfo: memFree=951432/2055920 swapFree=4180060/4192956
[pid=7932] ppid=7930 vsize=0 CPUtime=10000.2
/proc/7932/stat : 7932 (SApperloT-base) R 7930 7932 7834 0 -1 4195332 251362 0 0 0 999778 238 0 0 25 0 1 0 304236175 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/7932/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.1
CPU time (s): 10000.2
CPU user time (s): 9997.79
CPU system time (s): 2.42963
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1006476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.79
system time used= 2.42963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251362
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= 18415
runsolver used 8.31574 second user time and 19.2861 second system time
The end
Begin job on node23 at 2009-05-19 21:40:27
IDJOB=1831570
IDBENCH=69571
IDSOLVER=642
FILE ID=node23/1831570-1242762022
PBS_JOBID= 9322275
Free space on /tmp= 66384 MiB
SOLVER NAME= SApperloT base
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831570-1242762022/watcher-1831570-1242762022 -o /tmp/evaluation-result-1831570-1242762022/solver-1831570-1242762022 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=917509855 HOME/instance-1831570-1242762022.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=917509855
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: 1897392 kB
Buffers: 6068 kB
Cached: 115820 kB
SwapCached: 6972 kB
Active: 86204 kB
Inactive: 44288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1897392 kB
SwapTotal: 4192956 kB
SwapFree: 4180060 kB
Dirty: 70136 kB
Writeback: 0 kB
Mapped: 13908 kB
Slab: 14064 kB
Committed_AS: 1014232 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= 66384 MiB
End job on node23 at 2009-05-20 00:27:12