runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1831640-1242774807/watcher-1831640-1242774807 -o /tmp/evaluation-result-1831640-1242774807/solver-1831640-1242774807 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=749841832 HOME/instance-1831640-1242774807.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.93 2/64 13896
/proc/meminfo: memFree=1824888/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=5152 CPUtime=0
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 940 0 0 0 0 0 0 0 18 0 1 0 305515175 5275648 924 1992294400 134512640 135674940 4294956208 18446744073709551615 134542185 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 1288 933 88 283 0 1002 0
[startup+0.105156 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13896
/proc/meminfo: memFree=1824888/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=22208 CPUtime=0.09
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 4208 0 0 0 8 1 0 0 18 0 1 0 305515175 22740992 4192 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 5552 4192 90 283 0 5266 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22208
[startup+0.201174 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13896
/proc/meminfo: memFree=1824888/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=25508 CPUtime=0.19
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 5090 0 0 0 17 2 0 0 18 0 1 0 305515175 26120192 5074 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 6377 5074 90 283 0 6091 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25508
[startup+0.301193 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13896
/proc/meminfo: memFree=1824888/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=28940 CPUtime=0.29
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 5972 0 0 0 27 2 0 0 19 0 1 0 305515175 29634560 5956 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 7235 5957 90 283 0 6949 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28940
[startup+0.701271 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13896
/proc/meminfo: memFree=1824888/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=41876 CPUtime=0.68
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 9366 0 0 0 64 4 0 0 23 0 1 0 305515175 42881024 9350 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 10469 9351 90 283 0 10183 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 41876
[startup+1.50143 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1784944/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=44848 CPUtime=1.49
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 10321 0 0 0 144 5 0 0 25 0 1 0 305515175 45924352 10077 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 11212 10077 98 283 0 10926 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44848
[startup+3.10174 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1781424/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=50568 CPUtime=3.09
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 12639 0 0 0 303 6 0 0 25 0 1 0 305515175 51781632 11239 1992294400 134512640 135674940 4294956208 18446744073709551615 134551796 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 12642 11239 98 283 0 12356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50568
[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1779376/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=51568 CPUtime=6.29
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 12940 0 0 0 622 7 0 0 25 0 1 0 305515175 52805632 11452 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 12892 11452 98 283 0 12606 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51568
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1768240/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=65612 CPUtime=12.69
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 18810 0 0 0 1259 10 0 0 25 0 1 0 305515175 67186688 14248 1992294400 134512640 135674940 4294956208 18446744073709551615 134551176 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 16403 14248 98 283 0 16117 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65612
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1766320/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=67500 CPUtime=25.48
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 19280 0 0 0 2538 10 0 0 25 0 1 0 305515175 69120000 14718 1992294400 134512640 135674940 4294956208 18446744073709551615 134552176 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 16875 14718 98 283 0 16589 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67500
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1759280/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=74712 CPUtime=51.06
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 21091 0 0 0 5094 12 0 0 25 0 1 0 305515175 76505088 16529 1992294400 134512640 135674940 4294956208 18446744073709551615 134552155 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 18678 16529 98 283 0 18392 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 74712
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1740464/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=93268 CPUtime=102.24
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 25741 0 0 0 10210 14 0 0 25 0 1 0 305515175 95506432 21179 1992294400 134512640 135674940 4294956208 18446744073709551615 134552142 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 23317 21179 98 283 0 23031 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 93268
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1719024/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=114796 CPUtime=162.21
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 31137 0 0 0 16206 15 0 0 25 0 1 0 305515175 117551104 26575 1992294400 134512640 135674940 4294956208 18446744073709551615 134551234 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 28699 26575 98 283 0 28413 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 114796
[startup+222.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1697136/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=136440 CPUtime=222.19
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 36536 0 0 0 22202 17 0 0 25 0 1 0 305515175 139714560 31974 1992294400 134512640 135674940 4294956208 18446744073709551615 134564854 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 34110 31974 98 283 0 33824 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 136440
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1675952/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=157740 CPUtime=282.16
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 41863 0 0 0 28197 19 0 0 25 0 1 0 305515175 161525760 37301 1992294400 134512640 135674940 4294956208 18446744073709551615 134564222 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 39435 37301 98 283 0 39149 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 157740
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1642480/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=194092 CPUtime=342.15
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 54244 0 0 0 34189 26 0 0 25 0 1 0 305515175 198750208 45585 1992294400 134512640 135674940 4294956208 18446744073709551615 134552134 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 48523 45585 98 283 0 48237 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 194092
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1626480/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=210120 CPUtime=402.12
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 58273 0 0 0 40183 29 0 0 25 0 1 0 305515175 215162880 49614 1992294400 134512640 135674940 4294956208 18446744073709551615 134581493 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 52530 49614 98 283 0 52244 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 210120
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1336752/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=706344 CPUtime=462.1
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 253147 0 0 0 46099 111 0 0 25 0 1 0 305515175 723296256 121604 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 176586 121604 98 283 0 176300 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 706344
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1323760/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=719460 CPUtime=522.08
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 256401 0 0 0 52095 113 0 0 25 0 1 0 305515175 736727040 124858 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 179865 124858 99 283 0 179579 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 719460
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1323312/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=719988 CPUtime=582.06
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 256514 0 0 0 58093 113 0 0 25 0 1 0 305515175 737267712 124971 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 179997 124971 99 283 0 179711 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 719988
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13897
/proc/meminfo: memFree=1322800/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=720412 CPUtime=642.03
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 256624 0 0 0 64090 113 0 0 25 0 1 0 305515175 737701888 125081 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 180103 125081 99 283 0 179817 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 720412
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=833264/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9098.85
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378633 0 0 0 909676 209 0 0 25 0 1 0 305515175 1238077440 246062 1992294400 134512640 135674940 4294956208 18446744073709551615 134552120 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246062 99 283 0 301979 0
Current children cumulated CPU time (s) 9098.85
Current children cumulated vsize (KiB) 1209060
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=833264/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9158.83
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378635 0 0 0 915674 209 0 0 25 0 1 0 305515175 1238077440 246064 1992294400 134512640 135674940 4294956208 18446744073709551615 134552173 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246064 99 283 0 301979 0
Current children cumulated CPU time (s) 9158.83
Current children cumulated vsize (KiB) 1209060
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=833264/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9218.81
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378635 0 0 0 921672 209 0 0 25 0 1 0 305515175 1238077440 246064 1992294400 134512640 135674940 4294956208 18446744073709551615 134551250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246064 99 283 0 301979 0
Current children cumulated CPU time (s) 9218.81
Current children cumulated vsize (KiB) 1209060
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=833264/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9278.78
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378637 0 0 0 927669 209 0 0 25 0 1 0 305515175 1238077440 246066 1992294400 134512640 135674940 4294956208 18446744073709551615 134552171 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246066 99 283 0 301979 0
Current children cumulated CPU time (s) 9278.78
Current children cumulated vsize (KiB) 1209060
[startup+9342.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=833200/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9338.77
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378637 0 0 0 933668 209 0 0 25 0 1 0 305515175 1238077440 246066 1992294400 134512640 135674940 4294956208 18446744073709551615 134551192 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246066 99 283 0 301979 0
Current children cumulated CPU time (s) 9338.77
Current children cumulated vsize (KiB) 1209060
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=833136/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9398.74
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378637 0 0 0 939665 209 0 0 25 0 1 0 305515175 1238077440 246066 1992294400 134512640 135674940 4294956208 18446744073709551615 134551827 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246066 99 283 0 301979 0
Current children cumulated CPU time (s) 9398.74
Current children cumulated vsize (KiB) 1209060
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=833072/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9458.72
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378645 0 0 0 945663 209 0 0 25 0 1 0 305515175 1238077440 246074 1992294400 134512640 135674940 4294956208 18446744073709551615 134551839 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246074 99 283 0 301979 0
Current children cumulated CPU time (s) 9458.72
Current children cumulated vsize (KiB) 1209060
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=833072/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9518.69
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378645 0 0 0 951660 209 0 0 25 0 1 0 305515175 1238077440 246074 1992294400 134512640 135674940 4294956208 18446744073709551615 134551237 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246074 99 283 0 301979 0
Current children cumulated CPU time (s) 9518.69
Current children cumulated vsize (KiB) 1209060
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=833008/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9578.67
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378655 0 0 0 957658 209 0 0 25 0 1 0 305515175 1238077440 246084 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246084 99 283 0 301979 0
Current children cumulated CPU time (s) 9578.67
Current children cumulated vsize (KiB) 1209060
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=832944/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9638.65
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378656 0 0 0 963656 209 0 0 25 0 1 0 305515175 1238077440 246085 1992294400 134512640 135674940 4294956208 18446744073709551615 134555846 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246085 99 283 0 301979 0
Current children cumulated CPU time (s) 9638.65
Current children cumulated vsize (KiB) 1209060
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=832944/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9698.62
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378656 0 0 0 969653 209 0 0 25 0 1 0 305515175 1238077440 246085 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246085 99 283 0 301979 0
Current children cumulated CPU time (s) 9698.62
Current children cumulated vsize (KiB) 1209060
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=832880/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9758.6
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378656 0 0 0 975651 209 0 0 25 0 1 0 305515175 1238077440 246085 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246085 99 283 0 301979 0
Current children cumulated CPU time (s) 9758.6
Current children cumulated vsize (KiB) 1209060
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=832880/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9818.59
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378656 0 0 0 981649 210 0 0 25 0 1 0 305515175 1238077440 246085 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246085 99 283 0 301979 0
Current children cumulated CPU time (s) 9818.59
Current children cumulated vsize (KiB) 1209060
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=832816/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9878.56
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378656 0 0 0 987646 210 0 0 25 0 1 0 305515175 1238077440 246085 1992294400 134512640 135674940 4294956208 18446744073709551615 134551974 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246085 99 283 0 301979 0
Current children cumulated CPU time (s) 9878.56
Current children cumulated vsize (KiB) 1209060
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=832752/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1209060 CPUtime=9938.54
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 378656 0 0 0 993644 210 0 0 25 0 1 0 305515175 1238077440 246085 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 302265 246085 99 283 0 301979 0
Current children cumulated CPU time (s) 9938.54
Current children cumulated vsize (KiB) 1209060
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=821872/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1219916 CPUtime=9998.52
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 381368 0 0 0 999639 213 0 0 25 0 1 0 305515175 1249193984 248797 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 304979 248797 99 283 0 304693 0
Current children cumulated CPU time (s) 9998.52
Current children cumulated vsize (KiB) 1219916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.8 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=821168/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=1220576 CPUtime=10000
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4194304 381537 0 0 0 999789 213 0 0 25 0 1 0 305515175 1249869824 248966 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 305144 248966 99 283 0 304858 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 1220576
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.00 1.00 0.93 2/65 13915
/proc/meminfo: memFree=821168/2055924 swapFree=4140892/4192956
[pid=13896] ppid=13894 vsize=0 CPUtime=10000.1
/proc/13896/stat : 13896 (SApperloT-base) R 13894 13896 13751 0 -1 4195332 381537 0 0 0 999789 223 0 0 25 0 1 0 305515175 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10004
CPU time (s): 10000.2
CPU user time (s): 9997.89
CPU system time (s): 2.29165
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 1220576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.89
system time used= 2.29165
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381537
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= 22574
runsolver used 8.95164 second user time and 18.5102 second system time
The end
Begin job on node6 at 2009-05-20 01:13:28
IDJOB=1831640
IDBENCH=70782
IDSOLVER=642
FILE ID=node6/1831640-1242774807
PBS_JOBID= 9322310
Free space on /tmp= 66288 MiB
SOLVER NAME= SApperloT base
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl128.cnf
COMMAND LINE= HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831640-1242774807/watcher-1831640-1242774807 -o /tmp/evaluation-result-1831640-1242774807/solver-1831640-1242774807 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=749841832 HOME/instance-1831640-1242774807.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d464f22dd212ad9afa317dae82dd7350
RANDOM SEED=749841832
node6.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.281
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.281
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: 2055924 kB
MemFree: 1825368 kB
Buffers: 13428 kB
Cached: 134532 kB
SwapCached: 46180 kB
Active: 130460 kB
Inactive: 65344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1825368 kB
SwapTotal: 4192956 kB
SwapFree: 4140892 kB
Dirty: 17876 kB
Writeback: 0 kB
Mapped: 13964 kB
Slab: 20764 kB
Committed_AS: 1139688 kB
PageTables: 1460 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= 66288 MiB
End job on node6 at 2009-05-20 04:00:14