runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3469368-1307094333/watcher-3469368-1307094333 -o /tmp/evaluation-result-3469368-1307094333/solver-3469368-1307094333 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469368-1307094333.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: 1.85 1.99 1.92 2/434 2477
/proc/meminfo: memFree=24793804/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=22728 CPUtime=0 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 1505 0 0 0 0 0 0 0 19 0 1 0 801848905 23273472 1447 33554432000 4194304 4933572 140736618448768 18446744073709551615 4670668 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 5682 1454 308 181 0 2691 0
[startup+0.031098 s]
/proc/loadavg: 1.85 1.99 1.92 2/434 2477
/proc/meminfo: memFree=24793804/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=30548 CPUtime=0.02 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 5384 0 0 0 2 0 0 0 19 0 1 0 801848905 31281152 4731 33554432000 4194304 4933572 140736618448768 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 7637 4732 321 181 0 4646 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 30548
[startup+0.101092 s]
/proc/loadavg: 1.85 1.99 1.92 2/434 2477
/proc/meminfo: memFree=24793804/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=47592 CPUtime=0.09 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 11665 0 0 0 9 0 0 0 19 0 1 0 801848905 48734208 8888 33554432000 4194304 4933572 140736618448768 18446744073709551615 4598707 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 11898 8888 337 181 0 8907 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47592
[startup+0.301048 s]
/proc/loadavg: 1.85 1.99 1.92 2/434 2477
/proc/meminfo: memFree=24793804/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=57840 CPUtime=0.29 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 14194 0 0 0 29 0 0 0 20 0 1 0 801848905 59228160 11417 33554432000 4194304 4933572 140736618448768 18446744073709551615 4580623 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 14460 11417 340 181 0 11469 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57840
[startup+0.700972 s]
/proc/loadavg: 1.85 1.99 1.92 2/434 2477
/proc/meminfo: memFree=24793804/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=76824 CPUtime=0.69 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 18869 0 0 0 68 1 0 0 21 0 1 0 801848905 78667776 16092 33554432000 4194304 4933572 140736618448768 18446744073709551615 270338080523 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 19206 16092 340 181 0 16215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76824
[startup+1.50081 s]
/proc/loadavg: 1.85 1.99 1.92 3/438 2504
/proc/meminfo: memFree=24721556/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=81040 CPUtime=1.49 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 21222 0 0 0 148 1 0 0 23 0 1 0 801848905 82984960 17256 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 20260 17256 374 181 0 17269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81040
[startup+3.1005 s]
/proc/loadavg: 1.85 1.99 1.92 3/438 2504
/proc/meminfo: memFree=24718948/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=81040 CPUtime=3.09 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 21249 0 0 0 308 1 0 0 25 0 1 0 801848905 82984960 17283 33554432000 4194304 4933572 140736618448768 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 20260 17283 374 181 0 17269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81040
[startup+6.30087 s]
/proc/loadavg: 1.86 1.99 1.92 3/438 2504
/proc/meminfo: memFree=24717432/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=81040 CPUtime=6.29 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 21316 0 0 0 628 1 0 0 25 0 1 0 801848905 82984960 17350 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 20260 17350 374 181 0 17269 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81040
[startup+12.7006 s]
/proc/loadavg: 1.87 1.99 1.92 3/438 2504
/proc/meminfo: memFree=24714856/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=81780 CPUtime=12.69 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 21609 0 0 0 1268 1 0 0 25 0 1 0 801848905 83742720 17643 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 20445 17643 374 181 0 17454 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81780
[startup+25.501 s]
/proc/loadavg: 1.90 1.99 1.92 3/438 2505
/proc/meminfo: memFree=24707168/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=88656 CPUtime=25.5 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 23294 0 0 0 2548 2 0 0 25 0 1 0 801848905 90783744 19328 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 22164 19328 374 181 0 19173 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 88656
[startup+51.101 s]
/proc/loadavg: 1.93 1.99 1.92 3/438 2505
/proc/meminfo: memFree=24699824/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=94028 CPUtime=51.09 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 24608 0 0 0 5107 2 0 0 25 0 1 0 801848905 96284672 20642 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 23507 20642 374 181 0 20516 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 94028
[startup+102.316 s]
/proc/loadavg: 1.97 1.99 1.92 3/438 2507
/proc/meminfo: memFree=24685164/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=105180 CPUtime=102.31 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 27272 0 0 0 10229 2 0 0 25 0 1 0 801848905 107704320 23306 33554432000 4194304 4933572 140736618448768 18446744073709551615 4625212 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 26295 23306 374 181 0 23304 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 105180
[startup+162.301 s]
/proc/loadavg: 2.08 2.02 1.93 3/438 2508
/proc/meminfo: memFree=24677080/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=112080 CPUtime=162.3 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 28873 0 0 0 16228 2 0 0 25 0 1 0 801848905 114769920 24907 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 28020 24907 374 181 0 25029 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 112080
[startup+222.301 s]
/proc/loadavg: 2.03 2.02 1.93 3/438 2510
/proc/meminfo: memFree=24666764/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=123004 CPUtime=222.3 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 31529 0 0 0 22227 3 0 0 25 0 1 0 801848905 125956096 27563 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 30751 27563 374 181 0 27760 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 123004
[startup+282.301 s]
/proc/loadavg: 2.15 2.05 1.95 3/438 2511
/proc/meminfo: memFree=24656200/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=134264 CPUtime=282.3 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 34194 0 0 0 28227 3 0 0 25 0 1 0 801848905 137486336 30228 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 33566 30228 374 181 0 30575 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 134264
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 1.95 3/438 2513
/proc/meminfo: memFree=24651588/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=138084 CPUtime=342.3 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 35087 0 0 0 34227 3 0 0 25 0 1 0 801848905 141398016 31121 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 34521 31121 374 181 0 31530 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 138084
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/438 2515
/proc/meminfo: memFree=24638924/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=151404 CPUtime=402.31 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 38285 0 0 0 40227 4 0 0 25 0 1 0 801848905 155037696 34319 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 37851 34319 374 181 0 34860 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 151404
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/438 2516
/proc/meminfo: memFree=24633568/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=156320 CPUtime=462.31 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 39387 0 0 0 46227 4 0 0 25 0 1 0 801848905 160071680 35421 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 39080 35421 374 181 0 36089 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 156320
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/438 2518
/proc/meminfo: memFree=24631316/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=158500 CPUtime=522.31 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 39846 0 0 0 52227 4 0 0 25 0 1 0 801848905 162304000 35880 33554432000 4194304 4933572 140736618448768 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 39625 35880 374 181 0 36634 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 158500
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/438 2519
/proc/meminfo: memFree=24627572/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=162048 CPUtime=582.31 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 40691 0 0 0 58227 4 0 0 25 0 1 0 801848905 165937152 36725 33554432000 4194304 4933572 140736618448768 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 40512 36725 374 181 0 37521 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 162048
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.08 2.05 1.97 3/438 2526
/proc/meminfo: memFree=24610368/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=179932 CPUtime=822.33 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 44885 0 0 0 82228 5 0 0 25 0 1 0 801848905 184250368 40919 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 44983 40919 374 181 0 41992 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 179932
[startup+882.301 s]
/proc/loadavg: 2.03 2.04 1.97 3/438 2527
/proc/meminfo: memFree=24607744/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=182348 CPUtime=882.33 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 45414 0 0 0 88228 5 0 0 25 0 1 0 801848905 186724352 41448 33554432000 4194304 4933572 140736618448768 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 45587 41448 374 181 0 42596 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 182348
[startup+942.301 s]
/proc/loadavg: 2.08 2.04 1.97 3/438 2539
/proc/meminfo: memFree=24602392/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=188428 CPUtime=942.33 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 46866 0 0 0 94228 5 0 0 25 0 1 0 801848905 192950272 42900 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 47107 42900 374 181 0 44116 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 188428
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/438 2542
/proc/meminfo: memFree=24598224/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=192548 CPUtime=1002.34 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 47821 0 0 0 100228 6 0 0 25 0 1 0 801848905 197169152 43855 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 48137 43855 374 181 0 45146 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 192548
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/438 2543
/proc/meminfo: memFree=24597704/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=192928 CPUtime=1062.34 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 47932 0 0 0 106228 6 0 0 25 0 1 0 801848905 197558272 43966 33554432000 4194304 4933572 140736618448768 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 48232 43966 374 181 0 45241 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 192928
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/438 2545
/proc/meminfo: memFree=24591236/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=199728 CPUtime=1122.34 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 49508 0 0 0 112228 6 0 0 25 0 1 0 801848905 204521472 45542 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 49932 45542 374 181 0 46941 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 199728
[startup+1182.3 s]
/proc/loadavg: 2.08 2.04 1.98 3/438 2547
/proc/meminfo: memFree=24590216/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=200584 CPUtime=1182.34 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 49696 0 0 0 118228 6 0 0 25 0 1 0 801848905 205398016 45730 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 50146 45730 374 181 0 47155 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 200584
[startup+1242.3 s]
/proc/loadavg: 2.17 2.06 2.00 3/438 2549
/proc/meminfo: memFree=24589200/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=200584 CPUtime=1242.35 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 49700 0 0 0 124229 6 0 0 25 0 1 0 801848905 205398016 45734 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 50146 45734 374 181 0 47155 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 200584
[startup+1302.3 s]
/proc/loadavg: 2.13 2.06 2.00 3/438 2551
/proc/meminfo: memFree=24587444/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=202828 CPUtime=1302.35 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 50203 0 0 0 130229 6 0 0 25 0 1 0 801848905 207695872 46237 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 50707 46237 374 181 0 47716 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 202828
[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/438 2552
/proc/meminfo: memFree=24586440/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=203544 CPUtime=1362.35 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 50363 0 0 0 136229 6 0 0 25 0 1 0 801848905 208429056 46397 33554432000 4194304 4933572 140736618448768 18446744073709551615 4328697 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 50886 46397 374 181 0 47895 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 203544
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/438 2555
/proc/meminfo: memFree=24579228/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=210948 CPUtime=1422.38 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 52181 0 0 0 142231 7 0 0 25 0 1 0 801848905 216010752 48215 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 52737 48215 374 181 0 49746 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 210948
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 2556
/proc/meminfo: memFree=24577104/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=213272 CPUtime=1482.36 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 52700 0 0 0 148229 7 0 0 25 0 1 0 801848905 218390528 48734 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 53318 48734 374 181 0 50327 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 213272
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 2558
/proc/meminfo: memFree=24575224/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=216508 CPUtime=1542.36 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 53415 0 0 0 154229 7 0 0 25 0 1 0 801848905 221704192 49449 33554432000 4194304 4933572 140736618448768 18446744073709551615 4631794 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 54127 49449 374 181 0 51136 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 216508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 2561
/proc/meminfo: memFree=24574708/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=216984 CPUtime=1602.36 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 53540 0 0 0 160229 7 0 0 25 0 1 0 801848905 222191616 49574 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 54246 49574 374 181 0 51255 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 216984
[startup+1662.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/438 2562
/proc/meminfo: memFree=24569604/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=222528 CPUtime=1662.37 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 54855 0 0 0 166229 8 0 0 25 0 1 0 801848905 227868672 50889 33554432000 4194304 4933572 140736618448768 18446744073709551615 4377208 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 55632 50889 374 181 0 52641 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 222528
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/438 2564
/proc/meminfo: memFree=24567092/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=224756 CPUtime=1722.37 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 55357 0 0 0 172229 8 0 0 25 0 1 0 801848905 230150144 51391 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 56189 51391 374 181 0 53198 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 224756
[startup+1782.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/438 2565
/proc/meminfo: memFree=24565208/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=224756 CPUtime=1782.38 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 55363 0 0 0 178230 8 0 0 25 0 1 0 801848905 230150144 51397 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 56189 51397 374 181 0 53198 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 224756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.14 2.06 2.01 3/438 2566
/proc/meminfo: memFree=24566560/32951124 swapFree=50923800/67111528
[pid=2477] ppid=2474 vsize=224756 CPUtime=1800.08 cores=1,3,5,7
/proc/2477/stat : 2477 (clasp) R 2474 2477 2319 0 -1 4202496 55363 0 0 0 180000 8 0 0 25 0 1 0 801848905 230150144 51397 33554432000 4194304 4933572 140736618448768 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2477/statm: 56189 51397 374 181 0 53198 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 224756
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.03
CPU time (s): 1800.11
CPU user time (s): 1800.02
CPU system time (s): 0.090986
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 224756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55373
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= 11
involuntary context switches= 5869
runsolver used 7.04093 second user time and 17.5293 second system time
The end