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-3491819-1307767884/watcher-3491819-1307767884 -o /tmp/evaluation-result-3491819-1307767884/solver-3491819-1307767884 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491819-1307767884.opb --solu --heu=VSIDS
running on 4 cores: 1,3,5,7
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.05 1.99 1.91 3/177 21395
/proc/meminfo: memFree=31893656/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=9408 CPUtime=0 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 2165 0 0 0 0 0 0 0 25 0 1 0 888388852 9633792 1864 33554432000 4194304 6245536 140733220828784 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 2352 1865 181 501 0 1848 0
[startup+0.085264 s]
/proc/loadavg: 2.05 1.99 1.91 3/177 21395
/proc/meminfo: memFree=31893656/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=20200 CPUtime=0.07 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 5710 0 0 0 7 0 0 0 25 0 1 0 888388852 20684800 4516 33554432000 4194304 6245536 140733220828784 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 5050 4517 201 501 0 4546 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20200
[startup+0.100257 s]
/proc/loadavg: 2.05 1.99 1.91 3/177 21395
/proc/meminfo: memFree=31893656/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=20860 CPUtime=0.09 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 5881 0 0 0 9 0 0 0 25 0 1 0 888388852 21360640 4687 33554432000 4194304 6245536 140733220828784 18446744073709551615 4565944 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 5215 4688 201 501 0 4711 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20860
[startup+0.300221 s]
/proc/loadavg: 2.05 1.99 1.91 3/177 21395
/proc/meminfo: memFree=31893656/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=22600 CPUtime=0.29 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 6914 0 0 0 29 0 0 0 25 0 1 0 888388852 23142400 5213 33554432000 4194304 6245536 140733220828784 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 5650 5213 227 501 0 5146 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22600
[startup+0.700148 s]
/proc/loadavg: 2.05 1.99 1.91 3/177 21395
/proc/meminfo: memFree=31893656/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=24476 CPUtime=0.69 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 7446 0 0 0 69 0 0 0 25 0 1 0 888388852 25063424 5745 33554432000 4194304 6245536 140733220828784 18446744073709551615 4397820 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 6119 5745 228 501 0 5615 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24476
[startup+1.501 s]
/proc/loadavg: 2.05 1.99 1.91 3/178 21396
/proc/meminfo: memFree=31871228/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=26312 CPUtime=1.49 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 7892 0 0 0 149 0 0 0 25 0 1 0 888388852 26943488 6191 33554432000 4194304 6245536 140733220828784 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 6578 6191 229 501 0 6074 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26312
[startup+3.10071 s]
/proc/loadavg: 2.05 1.99 1.91 3/178 21396
/proc/meminfo: memFree=31868624/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=28160 CPUtime=3.09 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 8368 0 0 0 309 0 0 0 25 0 1 0 888388852 28835840 6667 33554432000 4194304 6245536 140733220828784 18446744073709551615 4408778 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 7040 6667 229 501 0 6536 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28160
[startup+6.30014 s]
/proc/loadavg: 2.05 1.99 1.91 3/178 21396
/proc/meminfo: memFree=31864540/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=32212 CPUtime=6.29 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 9365 0 0 0 628 1 0 0 25 0 1 0 888388852 32985088 7664 33554432000 4194304 6245536 140733220828784 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 8053 7664 229 501 0 7549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32212
[startup+12.701 s]
/proc/loadavg: 2.04 1.99 1.91 3/178 21396
/proc/meminfo: memFree=31857908/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=37032 CPUtime=12.69 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 10553 0 0 0 1268 1 0 0 25 0 1 0 888388852 37920768 8852 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 9258 8852 229 501 0 8754 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37032
[startup+25.5006 s]
/proc/loadavg: 2.03 1.99 1.91 3/178 21397
/proc/meminfo: memFree=31850972/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=43192 CPUtime=25.49 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 12068 0 0 0 2548 1 0 0 25 0 1 0 888388852 44228608 10367 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 10798 10367 229 501 0 10294 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43192
[startup+51.1009 s]
/proc/loadavg: 2.02 1.99 1.91 3/178 21397
/proc/meminfo: memFree=31839152/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=52128 CPUtime=51.1 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 14292 0 0 0 5108 2 0 0 25 0 1 0 888388852 53379072 12591 33554432000 4194304 6245536 140733220828784 18446744073709551615 4409797 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 13032 12591 229 501 0 12528 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 52128
[startup+102.307 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 21399
/proc/meminfo: memFree=31825352/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=60560 CPUtime=102.3 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 16311 0 0 0 10228 2 0 0 25 0 1 0 888388852 62013440 14610 33554432000 4194304 6245536 140733220828784 18446744073709551615 4637702 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 15140 14610 229 501 0 14636 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 60560
[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21400
/proc/meminfo: memFree=31809164/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=71716 CPUtime=162.3 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 18922 0 0 0 16228 2 0 0 25 0 1 0 888388852 73437184 17221 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 17929 17221 229 501 0 17425 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 71716
[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21402
/proc/meminfo: memFree=31790236/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=81112 CPUtime=222.3 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 21196 0 0 0 22228 2 0 0 25 0 1 0 888388852 83058688 19495 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 20278 19495 229 501 0 19774 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 81112
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21403
/proc/meminfo: memFree=31777788/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=90360 CPUtime=282.3 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 23393 0 0 0 28228 2 0 0 25 0 1 0 888388852 92528640 21692 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 22590 21692 229 501 0 22086 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 90360
[startup+342.301 s]
/proc/loadavg: 2.08 2.00 1.92 3/178 21405
/proc/meminfo: memFree=31771388/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=96128 CPUtime=342.3 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 24666 0 0 0 34227 3 0 0 25 0 1 0 888388852 98435072 22965 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 24032 22965 229 501 0 23528 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 96128
[startup+402.301 s]
/proc/loadavg: 2.03 2.00 1.92 3/178 21407
/proc/meminfo: memFree=31759412/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=99012 CPUtime=402.3 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 25304 0 0 0 40227 3 0 0 25 0 1 0 888388852 101388288 23603 33554432000 4194304 6245536 140733220828784 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 24753 23603 229 501 0 24249 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 99012
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 21408
/proc/meminfo: memFree=31747436/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=105740 CPUtime=462.31 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 26949 0 0 0 46228 3 0 0 25 0 1 0 888388852 108277760 25248 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 26435 25248 229 501 0 25931 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 105740
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21410
/proc/meminfo: memFree=31743028/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=109744 CPUtime=522.31 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 27828 0 0 0 52228 3 0 0 25 0 1 0 888388852 112377856 26127 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 27436 26127 229 501 0 26932 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 109744
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21420
/proc/meminfo: memFree=31736652/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=111684 CPUtime=582.31 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 28279 0 0 0 58228 3 0 0 25 0 1 0 888388852 114364416 26578 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 27921 26578 229 501 0 27417 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 111684
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21430
/proc/meminfo: memFree=31705232/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=127640 CPUtime=822.31 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 32023 0 0 0 82228 3 0 0 25 0 1 0 888388852 130703360 30322 33554432000 4194304 6245536 140733220828784 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 31910 30322 229 501 0 31406 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 127640
[startup+882.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/178 21431
/proc/meminfo: memFree=31701696/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=129728 CPUtime=882.31 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 32482 0 0 0 88228 3 0 0 25 0 1 0 888388852 132841472 30781 33554432000 4194304 6245536 140733220828784 18446744073709551615 4633856 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 32432 30781 229 501 0 31928 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 129728
[startup+942.3 s]
/proc/loadavg: 2.06 2.03 1.93 3/178 21433
/proc/meminfo: memFree=31698892/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=130476 CPUtime=942.31 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 32653 0 0 0 94228 3 0 0 25 0 1 0 888388852 133607424 30952 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 32619 30952 229 501 0 32115 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 130476
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/178 21435
/proc/meminfo: memFree=31696716/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=133008 CPUtime=1002.32 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 33190 0 0 0 100228 4 0 0 25 0 1 0 888388852 136200192 31489 33554432000 4194304 6245536 140733220828784 18446744073709551615 4304800 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 33252 31489 229 501 0 32748 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 133008
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 21436
/proc/meminfo: memFree=31693316/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=134240 CPUtime=1062.33 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 33449 0 0 0 106229 4 0 0 25 0 1 0 888388852 137461760 31748 33554432000 4194304 6245536 140733220828784 18446744073709551615 4304800 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 33560 31748 229 501 0 33056 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 134240
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 21438
/proc/meminfo: memFree=31688284/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=139728 CPUtime=1122.33 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 34672 0 0 0 112229 4 0 0 25 0 1 0 888388852 143081472 32971 33554432000 4194304 6245536 140733220828784 18446744073709551615 5419324 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 34932 32971 229 501 0 34428 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 139728
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21439
/proc/meminfo: memFree=31680064/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=142720 CPUtime=1182.33 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 35303 0 0 0 118229 4 0 0 25 0 1 0 888388852 146145280 33602 33554432000 4194304 6245536 140733220828784 18446744073709551615 4304775 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 35680 33602 229 501 0 35176 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 142720
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21441
/proc/meminfo: memFree=31677260/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=145200 CPUtime=1242.33 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 35862 0 0 0 124229 4 0 0 25 0 1 0 888388852 148684800 34161 33554432000 4194304 6245536 140733220828784 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 36300 34161 229 501 0 35796 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 145200
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21443
/proc/meminfo: memFree=31664408/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=147884 CPUtime=1302.34 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 36484 0 0 0 130230 4 0 0 25 0 1 0 888388852 151433216 34783 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628800 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 36971 34783 229 501 0 36467 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 147884
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21444
/proc/meminfo: memFree=31661744/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=148736 CPUtime=1362.33 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 36679 0 0 0 136229 4 0 0 25 0 1 0 888388852 152305664 34978 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 37184 34978 229 501 0 36680 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 148736
[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 1.94 3/178 21446
/proc/meminfo: memFree=31660188/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=149636 CPUtime=1422.34 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 36892 0 0 0 142230 4 0 0 25 0 1 0 888388852 153227264 35191 33554432000 4194304 6245536 140733220828784 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 37409 35191 229 501 0 36905 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 149636
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 21447
/proc/meminfo: memFree=31658776/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=151484 CPUtime=1482.34 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 37290 0 0 0 148230 4 0 0 25 0 1 0 888388852 155119616 35589 33554432000 4194304 6245536 140733220828784 18446744073709551615 4637759 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 37871 35589 229 501 0 37367 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 151484
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 21449
/proc/meminfo: memFree=31652752/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=152812 CPUtime=1542.34 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 37594 0 0 0 154230 4 0 0 25 0 1 0 888388852 156479488 35893 33554432000 4194304 6245536 140733220828784 18446744073709551615 4637702 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 38203 35893 229 501 0 37699 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 152812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21451
/proc/meminfo: memFree=31650208/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=154376 CPUtime=1602.34 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 37958 0 0 0 160230 4 0 0 25 0 1 0 888388852 158081024 36257 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 38594 36257 229 501 0 38090 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 154376
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/178 21491
/proc/meminfo: memFree=31842584/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=155512 CPUtime=1662.34 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 38215 0 0 0 166230 4 0 0 25 0 1 0 888388852 159244288 36514 33554432000 4194304 6245536 140733220828784 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 38878 36514 229 501 0 38374 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 155512
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 21493
/proc/meminfo: memFree=31839808/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=155796 CPUtime=1722.34 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 38274 0 0 0 172230 4 0 0 25 0 1 0 888388852 159535104 36573 33554432000 4194304 6245536 140733220828784 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 38949 36573 229 501 0 38445 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 155796
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 21494
/proc/meminfo: memFree=31832344/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=161392 CPUtime=1782.34 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 39706 0 0 0 178230 4 0 0 25 0 1 0 888388852 165265408 38005 33554432000 4194304 6245536 140733220828784 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 40348 38005 229 501 0 39844 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 161392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21495
/proc/meminfo: memFree=31831704/32951124 swapFree=67052968/67111528
[pid=21395] ppid=21393 vsize=162100 CPUtime=1800.05 cores=1,3,5,7
/proc/21395/stat : 21395 (clasp) R 21393 21395 16623 0 -1 4202496 39836 0 0 0 180001 4 0 0 25 0 1 0 888388852 165990400 38135 33554432000 4194304 6245536 140733220828784 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21395/statm: 40525 38135 229 501 0 40021 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 162100
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.07
CPU user time (s): 1800.01
CPU system time (s): 0.054991
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 162100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.054991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39847
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= 4
involuntary context switches= 6335
runsolver used 2.43563 second user time and 5.95209 second system time
The end