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-3491817-1307767686/watcher-3491817-1307767686 -o /tmp/evaluation-result-3491817-1307767686/solver-3491817-1307767686 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491817-1307767686.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: 2.00 1.97 1.91 2/177 21352
/proc/meminfo: memFree=31987916/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=12792 CPUtime=0 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 2143 0 0 0 0 0 0 0 25 0 1 0 888369013 13099008 2097 33554432000 4194304 6245536 140736714215984 18446744073709551615 4653612 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21352/statm: 3198 2105 171 501 0 2694 0
[startup+0.0900241 s]
/proc/loadavg: 2.00 1.97 1.91 2/177 21352
/proc/meminfo: memFree=31987916/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=32536 CPUtime=0.08 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 10291 0 0 0 8 0 0 0 25 0 1 0 888369013 33316864 7521 33554432000 4194304 6245536 140736714215984 18446744073709551615 4580818 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21352/statm: 8134 7525 197 501 0 7630 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32536
[startup+0.101019 s]
/proc/loadavg: 2.00 1.97 1.91 2/177 21352
/proc/meminfo: memFree=31987916/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=37160 CPUtime=0.09 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 11355 0 0 0 9 0 0 0 25 0 1 0 888369013 38051840 8585 33554432000 4194304 6245536 140736714215984 18446744073709551615 5418759 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21352/statm: 9290 8612 197 501 0 8786 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37160
[startup+0.300979 s]
/proc/loadavg: 2.00 1.97 1.91 2/177 21352
/proc/meminfo: memFree=31987916/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=46860 CPUtime=0.29 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 13764 0 0 0 28 1 0 0 25 0 1 0 888369013 47984640 10994 33554432000 4194304 6245536 140736714215984 18446744073709551615 5418411 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21352/statm: 11715 10996 201 501 0 11211 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46860
[startup+0.700913 s]
/proc/loadavg: 2.00 1.97 1.91 2/177 21352
/proc/meminfo: memFree=31987916/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=64312 CPUtime=0.69 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 18072 0 0 0 68 1 0 0 25 0 1 0 888369013 65855488 15302 33554432000 4194304 6245536 140736714215984 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21352/statm: 16078 15305 201 501 0 15574 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64312
[startup+1.50077 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 21353
/proc/meminfo: memFree=31915516/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=71292 CPUtime=1.49 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 21135 0 0 0 147 2 0 0 25 0 1 0 888369013 73003008 17173 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21352/statm: 17823 17173 228 501 0 17319 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71292
[startup+3.10047 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 21353
/proc/meminfo: memFree=31918860/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=71292 CPUtime=3.09 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 21156 0 0 0 307 2 0 0 25 0 1 0 888369013 73003008 17194 33554432000 4194304 6245536 140736714215984 18446744073709551615 4409865 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21352/statm: 17823 17194 228 501 0 17319 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71292
[startup+6.30082 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 21353
/proc/meminfo: memFree=31918528/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=71292 CPUtime=6.29 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 21217 0 0 0 627 2 0 0 25 0 1 0 888369013 73003008 17255 33554432000 4194304 6245536 140736714215984 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/21352/statm: 17823 17255 229 501 0 17319 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71292
[startup+12.7007 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 21353
/proc/meminfo: memFree=31917808/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=71292 CPUtime=12.69 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 21258 0 0 0 1267 2 0 0 25 0 1 0 888369013 73003008 17296 33554432000 4194304 6245536 140736714215984 18446744073709551615 4408754 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 17823 17296 229 501 0 17319 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71292
[startup+25.5003 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 21353
/proc/meminfo: memFree=31913088/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=76324 CPUtime=25.49 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 22530 0 0 0 2547 2 0 0 25 0 1 0 888369013 78155776 18568 33554432000 4194304 6245536 140736714215984 18446744073709551615 4409198 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 19081 18568 229 501 0 18577 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76324
[startup+51.1007 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 21354
/proc/meminfo: memFree=31904124/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=83512 CPUtime=51.09 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 24295 0 0 0 5107 2 0 0 25 0 1 0 888369013 85516288 20333 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 20878 20333 229 501 0 20374 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83512
[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 21355
/proc/meminfo: memFree=31893312/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=93916 CPUtime=102.3 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 26786 0 0 0 10227 3 0 0 25 0 1 0 888369013 96169984 22824 33554432000 4194304 6245536 140736714215984 18446744073709551615 5419252 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 23479 22824 229 501 0 22975 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 93916
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 21357
/proc/meminfo: memFree=31885560/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=101396 CPUtime=162.3 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 28601 0 0 0 16227 3 0 0 25 0 1 0 888369013 103829504 24639 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 25349 24639 229 501 0 24845 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 101396
[startup+222.3 s]
/proc/loadavg: 2.03 1.99 1.91 3/178 21396
/proc/meminfo: memFree=31851096/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=110240 CPUtime=222.29 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 30665 0 0 0 22226 3 0 0 25 0 1 0 888369013 112885760 26703 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 27560 26703 229 501 0 27056 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 110240
[startup+282.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 21398
/proc/meminfo: memFree=31829336/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=116644 CPUtime=282.29 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 32156 0 0 0 28226 3 0 0 25 0 1 0 888369013 119443456 28194 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 29161 28194 229 501 0 28657 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 116644
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21400
/proc/meminfo: memFree=31812272/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=123596 CPUtime=342.29 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 33792 0 0 0 34226 3 0 0 25 0 1 0 888369013 126562304 29830 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 30899 29830 229 501 0 30395 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 123596
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21401
/proc/meminfo: memFree=31796080/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=130728 CPUtime=402.3 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 35498 0 0 0 40227 3 0 0 25 0 1 0 888369013 133865472 31536 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 32682 31536 229 501 0 32178 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 130728
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21403
/proc/meminfo: memFree=31782880/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=138616 CPUtime=462.3 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 37328 0 0 0 46226 4 0 0 25 0 1 0 888369013 141942784 33366 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 34654 33366 229 501 0 34150 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 138616
[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21404
/proc/meminfo: memFree=31773384/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=140012 CPUtime=522.3 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 37695 0 0 0 52226 4 0 0 25 0 1 0 888369013 143372288 33733 33554432000 4194304 6245536 140736714215984 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 35003 33733 229 501 0 34499 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 140012
[startup+582.301 s]
/proc/loadavg: 2.04 2.00 1.92 3/178 21406
/proc/meminfo: memFree=31767240/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=144212 CPUtime=582.31 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 38618 0 0 0 58227 4 0 0 25 0 1 0 888369013 147673088 34656 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 36053 34656 229 501 0 35549 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 144212
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21421
/proc/meminfo: memFree=31732252/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=165956 CPUtime=822.31 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 43686 0 0 0 82226 5 0 0 25 0 1 0 888369013 169938944 39724 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 41489 39724 229 501 0 40985 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 165956
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21423
/proc/meminfo: memFree=31729952/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=166820 CPUtime=882.32 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 43898 0 0 0 88227 5 0 0 25 0 1 0 888369013 170823680 39936 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 41705 39936 229 501 0 41201 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 166820
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21425
/proc/meminfo: memFree=31713148/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=175892 CPUtime=942.32 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 46050 0 0 0 94227 5 0 0 25 0 1 0 888369013 180113408 42088 33554432000 4194304 6245536 140736714215984 18446744073709551615 4304775 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 43973 42088 229 501 0 43469 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 175892
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21429
/proc/meminfo: memFree=31706232/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=179560 CPUtime=1002.32 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 46849 0 0 0 100227 5 0 0 25 0 1 0 888369013 183869440 42887 33554432000 4194304 6245536 140736714215984 18446744073709551615 4361770 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 44890 42887 229 501 0 44386 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 179560
[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/178 21431
/proc/meminfo: memFree=31703564/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=179560 CPUtime=1062.32 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 46859 0 0 0 106227 5 0 0 25 0 1 0 888369013 183869440 42897 33554432000 4194304 6245536 140736714215984 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 44890 42897 229 501 0 44386 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 179560
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 1.93 3/178 21432
/proc/meminfo: memFree=31699776/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=183068 CPUtime=1122.32 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 47688 0 0 0 112227 5 0 0 25 0 1 0 888369013 187461632 43726 33554432000 4194304 6245536 140736714215984 18446744073709551615 4637759 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 45767 43726 229 501 0 45263 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 183068
[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/178 21434
/proc/meminfo: memFree=31696984/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=183636 CPUtime=1182.32 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 47821 0 0 0 118227 5 0 0 25 0 1 0 888369013 188043264 43859 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 45909 43859 229 501 0 45405 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 183636
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/178 21436
/proc/meminfo: memFree=31693816/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=185812 CPUtime=1242.33 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 48313 0 0 0 124227 6 0 0 25 0 1 0 888369013 190271488 44351 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 46453 44351 229 501 0 45949 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 185812
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 21437
/proc/meminfo: memFree=31690160/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=186004 CPUtime=1302.34 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 48356 0 0 0 130228 6 0 0 25 0 1 0 888369013 190468096 44394 33554432000 4194304 6245536 140736714215984 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 46501 44394 229 501 0 45997 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 186004
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21439
/proc/meminfo: memFree=31680692/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=192088 CPUtime=1362.33 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 49856 0 0 0 136227 6 0 0 25 0 1 0 888369013 196698112 45894 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628920 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 48022 45894 229 501 0 47518 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 192088
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21441
/proc/meminfo: memFree=31678264/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=192220 CPUtime=1422.34 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 49902 0 0 0 142228 6 0 0 25 0 1 0 888369013 196833280 45940 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 48055 45940 229 501 0 47551 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 192220
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21442
/proc/meminfo: memFree=31665912/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=202928 CPUtime=1482.33 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 52368 0 0 0 148227 6 0 0 25 0 1 0 888369013 207798272 48406 33554432000 4194304 6245536 140736714215984 18446744073709551615 4629187 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 50732 48406 229 501 0 50228 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 202928
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21444
/proc/meminfo: memFree=31662744/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=205236 CPUtime=1542.34 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 52867 0 0 0 154227 7 0 0 25 0 1 0 888369013 210161664 48905 33554432000 4194304 6245536 140736714215984 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 51309 48905 229 501 0 50805 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 205236
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21445
/proc/meminfo: memFree=31660696/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=206404 CPUtime=1602.34 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 53119 0 0 0 160227 7 0 0 25 0 1 0 888369013 211357696 49157 33554432000 4194304 6245536 140736714215984 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 51601 49157 229 501 0 51097 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 206404
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 21447
/proc/meminfo: memFree=31659276/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=206660 CPUtime=1662.34 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 53167 0 0 0 166227 7 0 0 25 0 1 0 888369013 211619840 49205 33554432000 4194304 6245536 140736714215984 18446744073709551615 4629028 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 51665 49205 229 501 0 51161 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 206660
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 21448
/proc/meminfo: memFree=31653884/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=210872 CPUtime=1722.34 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 54176 0 0 0 172227 7 0 0 25 0 1 0 888369013 215932928 50214 33554432000 4194304 6245536 140736714215984 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 52718 50214 229 501 0 52214 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 210872
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21450
/proc/meminfo: memFree=31651332/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=212712 CPUtime=1782.34 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 54586 0 0 0 178227 7 0 0 25 0 1 0 888369013 217817088 50624 33554432000 4194304 6245536 140736714215984 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 53178 50624 229 501 0 52674 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 212712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21451
/proc/meminfo: memFree=31650208/32951124 swapFree=67052968/67111528
[pid=21352] ppid=21350 vsize=212712 CPUtime=1800.05 cores=0,2,4,6
/proc/21352/stat : 21352 (clasp) R 21350 21352 16623 0 -1 4202496 54593 0 0 0 179998 7 0 0 25 0 1 0 888369013 217817088 50631 33554432000 4194304 6245536 140736714215984 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21352/statm: 53178 50631 229 501 0 52674 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 212712
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.02
CPU time (s): 1800.07
CPU user time (s): 1799.99
CPU system time (s): 0.080987
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 212712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54605
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= 2583
runsolver used 2.78558 second user time and 5.41018 second system time
The end