runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1831888-1242790891/watcher-1831888-1242790891 -o /tmp/evaluation-result-1831888-1242790891/solver-1831888-1242790891 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1133214919 HOME/instance-1831888-1242790891.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.84 0.95 0.98 3/64 13155
/proc/meminfo: memFree=1716728/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=1808 CPUtime=0
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 307117729 1851392 165 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 452 165 90 283 0 166 0
[startup+0.0747861 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 13155
/proc/meminfo: memFree=1716728/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=4992 CPUtime=0.06
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 966 0 0 0 6 0 0 0 18 0 1 0 307117729 5111808 949 1992294400 134512640 135674940 4294956208 18446744073709551615 134564276 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 1248 949 98 283 0 962 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4992
[startup+0.102788 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 13155
/proc/meminfo: memFree=1716728/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=5124 CPUtime=0.09
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 994 0 0 0 9 0 0 0 18 0 1 0 307117729 5246976 977 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 1281 977 98 283 0 995 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5124
[startup+0.301808 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 13155
/proc/meminfo: memFree=1716728/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=5652 CPUtime=0.29
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 1126 0 0 0 29 0 0 0 19 0 1 0 307117729 5787648 1109 1992294400 134512640 135674940 4294956208 18446744073709551615 134559669 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 1413 1109 98 283 0 1127 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5652
[startup+0.701847 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 13155
/proc/meminfo: memFree=1716728/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=6444 CPUtime=0.69
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 1320 0 0 0 69 0 0 0 23 0 1 0 307117729 6598656 1303 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 1611 1303 98 283 0 1325 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6444
[startup+1.50193 s]
/proc/loadavg: 0.84 0.95 0.98 2/65 13156
/proc/meminfo: memFree=1711536/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=7240 CPUtime=1.49
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 1519 0 0 0 149 0 0 0 25 0 1 0 307117729 7413760 1502 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 1810 1502 98 283 0 1524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7240
[startup+3.10109 s]
/proc/loadavg: 0.84 0.95 0.98 2/65 13156
/proc/meminfo: memFree=1710384/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=8296 CPUtime=3.09
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 1791 0 0 0 308 1 0 0 25 0 1 0 307117729 8495104 1774 1992294400 134512640 135674940 4294956208 18446744073709551615 134564222 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 2074 1774 98 283 0 1788 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8296
[startup+6.3014 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 13156
/proc/meminfo: memFree=1708144/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=10620 CPUtime=6.29
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 2336 0 0 0 627 2 0 0 25 0 1 0 307117729 10874880 2286 1992294400 134512640 135674940 4294956208 18446744073709551615 134565288 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 2655 2286 98 283 0 2369 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10620
[startup+12.701 s]
/proc/loadavg: 0.87 0.95 0.98 2/65 13156
/proc/meminfo: memFree=1704632/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=13892 CPUtime=12.69
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 3115 0 0 0 1266 3 0 0 25 0 1 0 307117729 14225408 3065 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 3473 3065 98 283 0 3187 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13892
[startup+25.5013 s]
/proc/loadavg: 0.89 0.95 0.98 2/65 13156
/proc/meminfo: memFree=1702968/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=15624 CPUtime=25.49
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 3507 0 0 0 2545 4 0 0 25 0 1 0 307117729 15998976 3457 1992294400 134512640 135674940 4294956208 18446744073709551615 134564611 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 3906 3457 98 283 0 3620 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15624
[startup+51.1019 s]
/proc/loadavg: 0.93 0.96 0.98 2/65 13156
/proc/meminfo: memFree=1700088/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=19924 CPUtime=51.07
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 4330 0 0 0 5103 4 0 0 25 0 1 0 307117729 20402176 4215 1992294400 134512640 135674940 4294956208 18446744073709551615 134564274 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 4981 4215 98 283 0 4695 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19924
[startup+102.306 s]
/proc/loadavg: 0.97 0.96 0.98 2/65 13158
/proc/meminfo: memFree=1695608/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=25148 CPUtime=102.26
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 5430 0 0 0 10221 5 0 0 25 0 1 0 307117729 25751552 5315 1992294400 134512640 135674940 4294956208 18446744073709551615 134571299 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 6287 5315 98 283 0 6001 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25148
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13158
/proc/meminfo: memFree=1692792/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=28420 CPUtime=162.25
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 6127 0 0 0 16219 6 0 0 25 0 1 0 307117729 29102080 6012 1992294400 134512640 135674940 4294956208 18446744073709551615 134539767 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 7105 6012 98 283 0 6819 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 28420
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13158
/proc/meminfo: memFree=1680632/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=42372 CPUtime=222.23
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 9152 0 0 0 22215 8 0 0 25 0 1 0 307117729 43388928 9037 1992294400 134512640 135674940 4294956208 18446744073709551615 134565901 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 10593 9037 98 283 0 10307 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 42372
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13158
/proc/meminfo: memFree=1678392/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=45124 CPUtime=282.22
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 9713 0 0 0 28213 9 0 0 25 0 1 0 307117729 46206976 9598 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 11281 9598 98 283 0 10995 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 45124
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13158
/proc/meminfo: memFree=1676600/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=47176 CPUtime=342.21
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 10169 0 0 0 34211 10 0 0 25 0 1 0 307117729 48308224 10054 1992294400 134512640 135674940 4294956208 18446744073709551615 134564368 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 11794 10054 98 283 0 11508 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 47176
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13158
/proc/meminfo: memFree=1675192/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=48844 CPUtime=402.19
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 10483 0 0 0 40209 10 0 0 25 0 1 0 307117729 50016256 10368 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 12211 10368 98 283 0 11925 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 48844
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13158
/proc/meminfo: memFree=1673080/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=51156 CPUtime=462.17
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 11003 0 0 0 46207 10 0 0 25 0 1 0 307117729 52383744 10888 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 12789 10888 98 283 0 12503 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 51156
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13158
/proc/meminfo: memFree=1671928/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=52568 CPUtime=522.15
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 11302 0 0 0 52205 10 0 0 25 0 1 0 307117729 53829632 11187 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 13142 11187 98 283 0 12856 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 52568
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13158
/proc/meminfo: memFree=1670776/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=54104 CPUtime=582.14
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 11575 0 0 0 58203 11 0 0 25 0 1 0 307117729 55402496 11460 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 13526 11460 98 283 0 13240 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 54104
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13158
/proc/meminfo: memFree=1669752/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=55388 CPUtime=642.13
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 11830 0 0 0 64202 11 0 0 25 0 1 0 307117729 56717312 11715 1992294400 134512640 135674940 4294956208 18446744073709551615 134564634 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 13847 11715 98 283 0 13561 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 55388
################
# More data... #
################
[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1559032/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=192292 CPUtime=9040
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 40017 0 0 0 903942 58 0 0 25 0 1 0 307117729 196907008 38224 1992294400 134512640 135674940 4294956208 18446744073709551615 134564252 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 48073 38224 98 283 0 47787 0
Current children cumulated CPU time (s) 9040
Current children cumulated vsize (KiB) 192292
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1558392/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=192808 CPUtime=9099.98
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 40120 0 0 0 909940 58 0 0 25 0 1 0 307117729 197435392 38327 1992294400 134512640 135674940 4294956208 18446744073709551615 134556491 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 48202 38327 98 283 0 47916 0
Current children cumulated CPU time (s) 9099.98
Current children cumulated vsize (KiB) 192808
[startup+9162.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 13180
/proc/meminfo: memFree=1558328/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=193064 CPUtime=9159.96
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 40171 0 0 0 915938 58 0 0 25 0 1 0 307117729 197697536 38378 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 48266 38378 98 283 0 47980 0
Current children cumulated CPU time (s) 9159.96
Current children cumulated vsize (KiB) 193064
[startup+9222.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 13180
/proc/meminfo: memFree=1558136/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=193064 CPUtime=9219.95
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 40184 0 0 0 921937 58 0 0 25 0 1 0 307117729 197697536 38391 1992294400 134512640 135674940 4294956208 18446744073709551615 134565166 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 48266 38391 98 283 0 47980 0
Current children cumulated CPU time (s) 9219.95
Current children cumulated vsize (KiB) 193064
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1557880/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=193320 CPUtime=9279.93
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 40241 0 0 0 927935 58 0 0 25 0 1 0 307117729 197959680 38448 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 48330 38448 98 283 0 48044 0
Current children cumulated CPU time (s) 9279.93
Current children cumulated vsize (KiB) 193320
[startup+9342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1557304/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=194092 CPUtime=9339.93
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 40376 0 0 0 933934 59 0 0 25 0 1 0 307117729 198750208 38583 1992294400 134512640 135674940 4294956208 18446744073709551615 134559707 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 48523 38583 98 283 0 48237 0
Current children cumulated CPU time (s) 9339.93
Current children cumulated vsize (KiB) 194092
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1556728/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=194860 CPUtime=9399.91
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 40651 0 0 0 939932 59 0 0 25 0 1 0 307117729 199536640 38729 1992294400 134512640 135674940 4294956208 18446744073709551615 134539891 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 48715 38729 98 283 0 48429 0
Current children cumulated CPU time (s) 9399.91
Current children cumulated vsize (KiB) 194860
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1556344/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=195372 CPUtime=9459.89
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 40858 0 0 0 945930 59 0 0 25 0 1 0 307117729 200060928 38807 1992294400 134512640 135674940 4294956208 18446744073709551615 134564634 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 48843 38807 98 283 0 48557 0
Current children cumulated CPU time (s) 9459.89
Current children cumulated vsize (KiB) 195372
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1556344/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=195372 CPUtime=9519.87
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 40861 0 0 0 951928 59 0 0 25 0 1 0 307117729 200060928 38810 1992294400 134512640 135674940 4294956208 18446744073709551615 134539930 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 48843 38810 98 283 0 48557 0
Current children cumulated CPU time (s) 9519.87
Current children cumulated vsize (KiB) 195372
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1555704/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=196144 CPUtime=9579.85
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 41032 0 0 0 957926 59 0 0 25 0 1 0 307117729 200851456 38981 1992294400 134512640 135674940 4294956208 18446744073709551615 134564231 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 49036 38981 98 283 0 48750 0
Current children cumulated CPU time (s) 9579.85
Current children cumulated vsize (KiB) 196144
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1555576/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=196144 CPUtime=9639.84
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 41034 0 0 0 963925 59 0 0 25 0 1 0 307117729 200851456 38983 1992294400 134512640 135674940 4294956208 18446744073709551615 134564634 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 49036 38983 98 283 0 48750 0
Current children cumulated CPU time (s) 9639.84
Current children cumulated vsize (KiB) 196144
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1554488/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=197684 CPUtime=9699.83
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 41504 0 0 0 969923 60 0 0 25 0 1 0 307117729 202428416 39195 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 49421 39195 98 283 0 49135 0
Current children cumulated CPU time (s) 9699.83
Current children cumulated vsize (KiB) 197684
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1554296/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=198200 CPUtime=9759.82
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 41588 0 0 0 975922 60 0 0 25 0 1 0 307117729 202956800 39279 1992294400 134512640 135674940 4294956208 18446744073709551615 134565273 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 49550 39279 98 283 0 49264 0
Current children cumulated CPU time (s) 9759.82
Current children cumulated vsize (KiB) 198200
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1553912/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=199232 CPUtime=9819.8
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 41756 0 0 0 981920 60 0 0 25 0 1 0 307117729 204013568 39447 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 49808 39447 98 283 0 49522 0
Current children cumulated CPU time (s) 9819.8
Current children cumulated vsize (KiB) 199232
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1553464/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=199232 CPUtime=9879.79
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 41783 0 0 0 987919 60 0 0 25 0 1 0 307117729 204013568 39474 1992294400 134512640 135674940 4294956208 18446744073709551615 134539781 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 49808 39474 98 283 0 49522 0
Current children cumulated CPU time (s) 9879.79
Current children cumulated vsize (KiB) 199232
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1553016/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=199748 CPUtime=9939.77
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 41891 0 0 0 993917 60 0 0 25 0 1 0 307117729 204541952 39582 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 49937 39582 98 283 0 49651 0
Current children cumulated CPU time (s) 9939.77
Current children cumulated vsize (KiB) 199748
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1552376/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=200780 CPUtime=9999.75
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 42051 0 0 0 999915 60 0 0 25 0 1 0 307117729 205598720 39742 1992294400 134512640 135674940 4294956208 18446744073709551615 134564810 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 50195 39742 98 283 0 49909 0
Current children cumulated CPU time (s) 9999.75
Current children cumulated vsize (KiB) 200780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13180
/proc/meminfo: memFree=1552376/2055920 swapFree=4180544/4192956
[pid=13155] ppid=13153 vsize=200780 CPUtime=10000
/proc/13155/stat : 13155 (SApperloT-base) R 13153 13155 13118 0 -1 4194304 42051 0 0 0 999945 60 0 0 25 0 1 0 307117729 205598720 39742 1992294400 134512640 135674940 4294956208 18446744073709551615 134565406 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 50195 39742 98 283 0 49909 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 200780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10002.6
CPU time (s): 10000.1
CPU user time (s): 9999.46
CPU system time (s): 0.634903
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 200780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9999.46
system time used= 0.634903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42051
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= 20026
runsolver used 7.29289 second user time and 20.6349 second system time
The end
Begin job on node36 at 2009-05-20 05:41:31
IDJOB=1831888
IDBENCH=71066
IDSOLVER=642
FILE ID=node36/1831888-1242790891
PBS_JOBID= 9322437
Free space on /tmp= 66316 MiB
SOLVER NAME= SApperloT base
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_10_UNKNOWN.cnf
COMMAND LINE= HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831888-1242790891/watcher-1831888-1242790891 -o /tmp/evaluation-result-1831888-1242790891/solver-1831888-1242790891 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1133214919 HOME/instance-1831888-1242790891.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e868383f091c36fa9594c670095c9824
RANDOM SEED=1133214919
node36.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.232
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.232
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: 1717208 kB
Buffers: 37464 kB
Cached: 230468 kB
SwapCached: 6584 kB
Active: 120292 kB
Inactive: 156356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1717208 kB
SwapTotal: 4192956 kB
SwapFree: 4180544 kB
Dirty: 2928 kB
Writeback: 0 kB
Mapped: 13908 kB
Slab: 48176 kB
Committed_AS: 1053884 kB
PageTables: 1360 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= 66312 MiB
End job on node36 at 2009-05-20 08:28:16