runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3491996-1307782288/watcher-3491996-1307782288 -o /tmp/evaluation-result-3491996-1307782288/solver-3491996-1307782288 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491996-1307782288.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.37 1.82 1.92 1/171 21214
/proc/meminfo: memFree=32021704/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=4056 CPUtime=0 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 741 0 0 0 0 0 0 0 23 0 1 0 622420040 4153344 644 33554432000 4194304 6245536 140734003879440 18446744073709551615 4579576 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 1014 646 201 501 0 510 0
[startup+0.092293 s]
/proc/loadavg: 1.37 1.82 1.92 1/171 21214
/proc/meminfo: memFree=32021704/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=4192 CPUtime=0.09 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 830 0 0 0 9 0 0 0 23 0 1 0 622420040 4292608 733 33554432000 4194304 6245536 140734003879440 18446744073709551615 4701567 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 1048 733 228 501 0 544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4192
[startup+0.100321 s]
/proc/loadavg: 1.37 1.82 1.92 1/171 21214
/proc/meminfo: memFree=32021704/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=4192 CPUtime=0.09 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 830 0 0 0 9 0 0 0 23 0 1 0 622420040 4292608 733 33554432000 4194304 6245536 140734003879440 18446744073709551615 4635764 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 1048 733 228 501 0 544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4192
[startup+0.300284 s]
/proc/loadavg: 1.37 1.82 1.92 1/171 21214
/proc/meminfo: memFree=32021704/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=4192 CPUtime=0.29 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 834 0 0 0 29 0 0 0 25 0 1 0 622420040 4292608 737 33554432000 4194304 6245536 140734003879440 18446744073709551615 4701936 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 1048 737 229 501 0 544 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4192
[startup+0.700218 s]
/proc/loadavg: 1.37 1.82 1.92 1/171 21214
/proc/meminfo: memFree=32021704/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=4460 CPUtime=0.69 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 889 0 0 0 69 0 0 0 25 0 1 0 622420040 4567040 792 33554432000 4194304 6245536 140734003879440 18446744073709551615 4696335 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 1115 792 229 501 0 611 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4460
[startup+1.50108 s]
/proc/loadavg: 1.37 1.82 1.92 2/172 21216
/proc/meminfo: memFree=32019496/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=4856 CPUtime=1.49 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 983 0 0 0 149 0 0 0 25 0 1 0 622420040 4972544 886 33554432000 4194304 6245536 140734003879440 18446744073709551615 4635116 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 1214 886 229 501 0 710 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4856
[startup+3.10079 s]
/proc/loadavg: 1.37 1.82 1.92 2/172 21216
/proc/meminfo: memFree=32018448/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=5652 CPUtime=3.09 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 1193 0 0 0 309 0 0 0 25 0 1 0 622420040 5787648 1096 33554432000 4194304 6245536 140734003879440 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 1413 1096 232 501 0 909 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5652
[startup+6.30023 s]
/proc/loadavg: 1.34 1.80 1.91 2/172 21216
/proc/meminfo: memFree=32018200/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=5900 CPUtime=6.29 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 1252 0 0 0 629 0 0 0 25 0 1 0 622420040 6041600 1155 33554432000 4194304 6245536 140734003879440 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 1475 1155 232 501 0 971 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5900
[startup+12.7011 s]
/proc/loadavg: 1.31 1.79 1.91 2/172 21216
/proc/meminfo: memFree=32017416/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=6296 CPUtime=12.7 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 1350 0 0 0 1270 0 0 0 25 0 1 0 622420040 6447104 1253 33554432000 4194304 6245536 140734003879440 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 1574 1253 232 501 0 1070 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 6296
[startup+25.5008 s]
/proc/loadavg: 1.24 1.75 1.89 2/172 21216
/proc/meminfo: memFree=32017040/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=6700 CPUtime=25.5 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 1438 0 0 0 2550 0 0 0 25 0 1 0 622420040 6860800 1341 33554432000 4194304 6245536 140734003879440 18446744073709551615 4344318 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 1675 1341 232 501 0 1171 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 6700
[startup+51.1003 s]
/proc/loadavg: 1.16 1.69 1.87 2/172 21217
/proc/meminfo: memFree=32015884/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=7652 CPUtime=51.1 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 1685 0 0 0 5110 0 0 0 25 0 1 0 622420040 7835648 1588 33554432000 4194304 6245536 140734003879440 18446744073709551615 4701850 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 1913 1588 232 501 0 1409 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 7652
[startup+102.306 s]
/proc/loadavg: 1.07 1.58 1.82 2/172 21218
/proc/meminfo: memFree=32013972/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=9236 CPUtime=102.3 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 2047 0 0 0 10230 0 0 0 25 0 1 0 622420040 9457664 1950 33554432000 4194304 6245536 140734003879440 18446744073709551615 4610906 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 2309 1950 232 501 0 1805 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 9236
[startup+162.301 s]
/proc/loadavg: 1.02 1.47 1.77 2/172 21220
/proc/meminfo: memFree=32013536/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=9868 CPUtime=162.3 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 2222 0 0 0 16230 0 0 0 25 0 1 0 622420040 10104832 2121 33554432000 4194304 6245536 140734003879440 18446744073709551615 4628848 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 2467 2121 232 501 0 1963 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 9868
[startup+222.301 s]
/proc/loadavg: 1.01 1.38 1.72 2/172 21221
/proc/meminfo: memFree=32012492/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=10940 CPUtime=222.3 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 2454 0 0 0 22230 0 0 0 25 0 1 0 622420040 11202560 2353 33554432000 4194304 6245536 140734003879440 18446744073709551615 4701936 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 2735 2353 232 501 0 2231 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 10940
[startup+282.301 s]
/proc/loadavg: 1.00 1.31 1.67 2/172 21226
/proc/meminfo: memFree=32012388/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=11444 CPUtime=282.3 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 2593 0 0 0 28230 0 0 0 25 0 1 0 622420040 11718656 2492 33554432000 4194304 6245536 140734003879440 18446744073709551615 4694466 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 2861 2492 232 501 0 2357 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 11444
[startup+342.301 s]
/proc/loadavg: 1.00 1.25 1.62 2/172 21228
/proc/meminfo: memFree=32011192/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=12384 CPUtime=342.3 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 2800 0 0 0 34230 0 0 0 25 0 1 0 622420040 12681216 2699 33554432000 4194304 6245536 140734003879440 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 3096 2699 232 501 0 2592 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 12384
[startup+402.3 s]
/proc/loadavg: 1.00 1.20 1.58 2/172 21229
/proc/meminfo: memFree=32010280/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=13352 CPUtime=402.3 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 3076 0 0 0 40230 0 0 0 25 0 1 0 622420040 13672448 2958 33554432000 4194304 6245536 140734003879440 18446744073709551615 4696448 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 3338 2958 232 501 0 2834 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 13352
[startup+462.301 s]
/proc/loadavg: 1.00 1.16 1.54 2/172 21231
/proc/meminfo: memFree=32008592/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=15028 CPUtime=462.3 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 3448 0 0 0 46230 0 0 0 25 0 1 0 622420040 15388672 3330 33554432000 4194304 6245536 140734003879440 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 3757 3330 232 501 0 3253 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 15028
[startup+522.3 s]
/proc/loadavg: 1.04 1.14 1.51 2/172 21232
/proc/meminfo: memFree=32008524/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=15028 CPUtime=522.3 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 3466 0 0 0 52230 0 0 0 25 0 1 0 622420040 15388672 3348 33554432000 4194304 6245536 140734003879440 18446744073709551615 4316455 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 3757 3348 232 501 0 3253 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 15028
[startup+582.301 s]
/proc/loadavg: 1.01 1.12 1.48 2/172 21243
/proc/meminfo: memFree=32008076/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=15788 CPUtime=582.3 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 3646 0 0 0 58230 0 0 0 25 0 1 0 622420040 16166912 3528 33554432000 4194304 6245536 140734003879440 18446744073709551615 4701929 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 3947 3528 232 501 0 3443 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 15788
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.08 1.06 1.36 2/172 21249
/proc/meminfo: memFree=32005576/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=18052 CPUtime=822.3 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4162 0 0 0 82230 0 0 0 25 0 1 0 622420040 18485248 4044 33554432000 4194304 6245536 140734003879440 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 4513 4044 232 501 0 4009 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 18052
[startup+882.301 s]
/proc/loadavg: 1.03 1.05 1.34 2/172 21251
/proc/meminfo: memFree=32005376/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=18296 CPUtime=882.31 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4224 0 0 0 88231 0 0 0 25 0 1 0 622420040 18735104 4106 33554432000 4194304 6245536 140734003879440 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 4574 4106 232 501 0 4070 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 18296
[startup+942.3 s]
/proc/loadavg: 1.01 1.04 1.32 2/172 21253
/proc/meminfo: memFree=32005188/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=18464 CPUtime=942.31 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4295 0 0 0 94231 0 0 0 25 0 1 0 622420040 18907136 4177 33554432000 4194304 6245536 140734003879440 18446744073709551615 4304733 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 4616 4177 232 501 0 4112 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 18464
[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.29 2/172 21254
/proc/meminfo: memFree=32005124/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=18596 CPUtime=1002.31 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4331 0 0 0 100230 1 0 0 25 0 1 0 622420040 19042304 4213 33554432000 4194304 6245536 140734003879440 18446744073709551615 4633911 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 4649 4213 232 501 0 4145 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 18596
[startup+1062.3 s]
/proc/loadavg: 1.06 1.04 1.27 2/172 21256
/proc/meminfo: memFree=32004796/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=18924 CPUtime=1062.31 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4406 0 0 0 106230 1 0 0 25 0 1 0 622420040 19378176 4288 33554432000 4194304 6245536 140734003879440 18446744073709551615 4637489 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 4731 4288 232 501 0 4227 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 18924
[startup+1122.3 s]
/proc/loadavg: 1.02 1.03 1.26 2/172 21257
/proc/meminfo: memFree=32004628/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=19056 CPUtime=1122.31 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4440 0 0 0 112230 1 0 0 25 0 1 0 622420040 19513344 4322 33554432000 4194304 6245536 140734003879440 18446744073709551615 4694523 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 4764 4322 232 501 0 4260 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 19056
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.24 2/172 21259
/proc/meminfo: memFree=32004680/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=19240 CPUtime=1182.32 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4451 0 0 0 118231 1 0 0 25 0 1 0 622420040 19701760 4333 33554432000 4194304 6245536 140734003879440 18446744073709551615 4701720 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 4810 4333 232 501 0 4306 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 19240
[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.22 2/172 21261
/proc/meminfo: memFree=32004244/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=19380 CPUtime=1242.32 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4486 0 0 0 124231 1 0 0 25 0 1 0 622420040 19845120 4368 33554432000 4194304 6245536 140734003879440 18446744073709551615 4342425 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 4845 4368 232 501 0 4341 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 19380
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/172 21262
/proc/meminfo: memFree=32003936/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=19704 CPUtime=1302.32 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4564 0 0 0 130231 1 0 0 25 0 1 0 622420040 20176896 4446 33554432000 4194304 6245536 140734003879440 18446744073709551615 4696350 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 4926 4446 232 501 0 4422 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 19704
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/172 21264
/proc/meminfo: memFree=32003748/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=19704 CPUtime=1362.32 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4601 0 0 0 136231 1 0 0 25 0 1 0 622420040 20176896 4483 33554432000 4194304 6245536 140734003879440 18446744073709551615 4342632 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 4926 4483 232 501 0 4422 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 19704
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.17 2/172 21265
/proc/meminfo: memFree=32003568/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=20016 CPUtime=1422.33 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4677 0 0 0 142232 1 0 0 25 0 1 0 622420040 20496384 4559 33554432000 4194304 6245536 140734003879440 18446744073709551615 4694411 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 5004 4559 232 501 0 4500 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 20016
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/172 21267
/proc/meminfo: memFree=32003508/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=20184 CPUtime=1482.32 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4686 0 0 0 148231 1 0 0 25 0 1 0 622420040 20668416 4568 33554432000 4194304 6245536 140734003879440 18446744073709551615 4342639 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 5046 4568 232 501 0 4542 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 20184
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/172 21269
/proc/meminfo: memFree=32003440/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=20184 CPUtime=1542.32 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4704 0 0 0 154231 1 0 0 25 0 1 0 622420040 20668416 4586 33554432000 4194304 6245536 140734003879440 18446744073709551615 4635087 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 5046 4586 232 501 0 4542 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 20184
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/172 21270
/proc/meminfo: memFree=32003240/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=20268 CPUtime=1602.33 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4751 0 0 0 160231 2 0 0 25 0 1 0 622420040 20754432 4621 33554432000 4194304 6245536 140734003879440 18446744073709551615 4696288 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 5067 4621 232 501 0 4563 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 20268
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/172 21272
/proc/meminfo: memFree=32003172/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=20412 CPUtime=1662.33 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4764 0 0 0 166231 2 0 0 25 0 1 0 622420040 20901888 4634 33554432000 4194304 6245536 140734003879440 18446744073709551615 4637456 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 5103 4634 232 501 0 4599 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 20412
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/172 21273
/proc/meminfo: memFree=32003096/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=20412 CPUtime=1722.33 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4782 0 0 0 172231 2 0 0 25 0 1 0 622420040 20901888 4652 33554432000 4194304 6245536 140734003879440 18446744073709551615 4629459 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 5103 4652 232 501 0 4599 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 20412
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/172 21275
/proc/meminfo: memFree=32002656/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=20412 CPUtime=1782.33 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4782 0 0 0 178231 2 0 0 25 0 1 0 622420040 20901888 4652 33554432000 4194304 6245536 140734003879440 18446744073709551615 4696463 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 5103 4652 232 501 0 4599 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 20412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.10 2/172 21275
/proc/meminfo: memFree=32002764/32951124 swapFree=67055708/67111528
[pid=21214] ppid=21212 vsize=20412 CPUtime=1800.04 cores=0,2,4,6
/proc/21214/stat : 21214 (clasp) R 21212 21214 17032 0 -1 4202496 4784 0 0 0 180002 2 0 0 25 0 1 0 622420040 20901888 4654 33554432000 4194304 6245536 140734003879440 18446744073709551615 4316679 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21214/statm: 5103 4654 232 501 0 4599 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 20412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1800.02
CPU system time (s): 0.024996
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 20412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4794
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= 5
involuntary context switches= 23673
runsolver used 2.66659 second user time and 5.52616 second system time
The end