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-3469378-1307094850/watcher-3469378-1307094850 -o /tmp/evaluation-result-3469378-1307094850/solver-3469378-1307094850 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469378-1307094850.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.00 2.02 2.00 3/498 12476
/proc/meminfo: memFree=30460280/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=15908 CPUtime=0 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 1408 0 0 0 0 0 0 0 25 0 1 0 821085991 16289792 1223 33554432000 4194304 4933572 140734673350992 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 3977 1223 321 181 0 986 0
[startup+0.055887 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 12476
/proc/meminfo: memFree=30460280/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=21460 CPUtime=0.05 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 3189 0 0 0 5 0 0 0 25 0 1 0 821085991 21975040 2620 33554432000 4194304 4933572 140734673350992 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 5365 2621 340 181 0 2374 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21460
[startup+0.100868 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 12476
/proc/meminfo: memFree=30460280/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=22188 CPUtime=0.09 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 3667 0 0 0 9 0 0 0 25 0 1 0 821085991 22720512 2845 33554432000 4194304 4933572 140734673350992 18446744073709551615 4374245 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 5547 2845 346 181 0 2556 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22188
[startup+0.30083 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 12476
/proc/meminfo: memFree=30460280/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=22320 CPUtime=0.29 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 3732 0 0 0 29 0 0 0 25 0 1 0 821085991 22855680 2910 33554432000 4194304 4933572 140734673350992 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 5580 2910 374 181 0 2589 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22320
[startup+0.700761 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 12476
/proc/meminfo: memFree=30460280/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=23380 CPUtime=0.69 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 3994 0 0 0 69 0 0 0 25 0 1 0 821085991 23941120 3172 33554432000 4194304 4933572 140734673350992 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 5845 3172 374 181 0 2854 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23380
[startup+1.50062 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12477
/proc/meminfo: memFree=30446064/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=24716 CPUtime=1.49 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 4320 0 0 0 149 0 0 0 25 0 1 0 821085991 25309184 3498 33554432000 4194304 4933572 140734673350992 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 6179 3498 374 181 0 3188 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24716
[startup+3.10035 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12477
/proc/meminfo: memFree=30443336/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=26440 CPUtime=3.09 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 4740 0 0 0 309 0 0 0 25 0 1 0 821085991 27074560 3918 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 6610 3918 374 181 0 3619 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26440
[startup+6.30077 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12477
/proc/meminfo: memFree=30439444/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=29052 CPUtime=6.29 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 5408 0 0 0 629 0 0 0 25 0 1 0 821085991 29749248 4586 33554432000 4194304 4933572 140734673350992 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 7263 4586 374 181 0 4272 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29052
[startup+12.7006 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12477
/proc/meminfo: memFree=30434444/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=32292 CPUtime=12.69 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 6188 0 0 0 1269 0 0 0 25 0 1 0 821085991 33067008 5366 33554432000 4194304 4933572 140734673350992 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 8073 5366 374 181 0 5082 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32292
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12477
/proc/meminfo: memFree=30428120/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=36556 CPUtime=25.49 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 7206 0 0 0 2549 0 0 0 25 0 1 0 821085991 37433344 6384 33554432000 4194304 4933572 140734673350992 18446744073709551615 4414920 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 9139 6384 374 181 0 6148 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36556
[startup+51.1008 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12506
/proc/meminfo: memFree=30414912/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=40896 CPUtime=51.09 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 8172 0 0 0 5108 1 0 0 25 0 1 0 821085991 41877504 7350 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 10224 7350 374 181 0 7233 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 40896
[startup+102.319 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12507
/proc/meminfo: memFree=30396512/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=50208 CPUtime=102.31 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 10326 0 0 0 10230 1 0 0 25 0 1 0 821085991 51412992 9504 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 12552 9504 374 181 0 9561 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 50208
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12509
/proc/meminfo: memFree=30385208/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=57332 CPUtime=162.29 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 11970 0 0 0 16228 1 0 0 25 0 1 0 821085991 58707968 11148 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 14333 11148 374 181 0 11342 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 57332
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12511
/proc/meminfo: memFree=30377232/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=60944 CPUtime=222.29 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 12756 0 0 0 22227 2 0 0 25 0 1 0 821085991 62406656 11934 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649434 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 15236 11934 374 181 0 12245 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 60944
[startup+282.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/499 12512
/proc/meminfo: memFree=30372860/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=66204 CPUtime=282.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 13943 0 0 0 28226 2 0 0 25 0 1 0 821085991 67792896 13121 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 16551 13121 374 181 0 13560 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 66204
[startup+342.3 s]
/proc/loadavg: 2.16 2.06 2.02 3/499 12514
/proc/meminfo: memFree=30367984/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=69316 CPUtime=342.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 14640 0 0 0 34226 2 0 0 25 0 1 0 821085991 70979584 13818 33554432000 4194304 4933572 140734673350992 18446744073709551615 4360016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 17329 13818 374 181 0 14338 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 69316
[startup+402.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/499 12515
/proc/meminfo: memFree=30361748/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=74284 CPUtime=402.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 15793 0 0 0 40226 2 0 0 25 0 1 0 821085991 76066816 14971 33554432000 4194304 4933572 140734673350992 18446744073709551615 4429168 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 18571 14971 374 181 0 15580 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 74284
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.01 3/499 12527
/proc/meminfo: memFree=30355044/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=77428 CPUtime=462.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 16543 0 0 0 46226 2 0 0 25 0 1 0 821085991 79286272 15721 33554432000 4194304 4933572 140734673350992 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 19357 15721 374 181 0 16366 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 77428
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12529
/proc/meminfo: memFree=30350328/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=79512 CPUtime=522.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 16982 0 0 0 52226 2 0 0 25 0 1 0 821085991 81420288 16160 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 19878 16160 374 181 0 16887 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 79512
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12532
/proc/meminfo: memFree=30348436/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=81680 CPUtime=582.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 17498 0 0 0 58226 2 0 0 25 0 1 0 821085991 83640320 16676 33554432000 4194304 4933572 140734673350992 18446744073709551615 4377171 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 20420 16676 374 181 0 17429 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 81680
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.18 2.06 2.02 3/499 12541
/proc/meminfo: memFree=30338684/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=86828 CPUtime=882.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 18665 0 0 0 88225 3 0 0 25 0 1 0 821085991 88911872 17843 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 21707 17843 374 181 0 18716 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 86828
[startup+942.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/499 12543
/proc/meminfo: memFree=30336168/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=89840 CPUtime=942.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 19369 0 0 0 94225 3 0 0 25 0 1 0 821085991 91996160 18547 33554432000 4194304 4933572 140734673350992 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 22460 18547 374 181 0 19469 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 89840
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 12544
/proc/meminfo: memFree=30333676/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=92016 CPUtime=1002.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 19894 0 0 0 100225 3 0 0 25 0 1 0 821085991 94224384 19072 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 23004 19072 374 181 0 20013 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 92016
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 12546
/proc/meminfo: memFree=30328812/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=94008 CPUtime=1062.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 20304 0 0 0 106225 3 0 0 25 0 1 0 821085991 96264192 19482 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 23502 19482 374 181 0 20511 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 94008
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12548
/proc/meminfo: memFree=30327176/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=94388 CPUtime=1122.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 20389 0 0 0 112225 3 0 0 25 0 1 0 821085991 96653312 19567 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 23597 19567 374 181 0 20606 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 94388
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12549
/proc/meminfo: memFree=30325416/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=95356 CPUtime=1182.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 20610 0 0 0 118225 3 0 0 25 0 1 0 821085991 97644544 19788 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 23839 19788 374 181 0 20848 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 95356
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12551
/proc/meminfo: memFree=30322160/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=96748 CPUtime=1242.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 20952 0 0 0 124225 3 0 0 25 0 1 0 821085991 99069952 20130 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 24187 20130 374 181 0 21196 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 96748
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12552
/proc/meminfo: memFree=30320524/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=97600 CPUtime=1302.28 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 21139 0 0 0 130225 3 0 0 25 0 1 0 821085991 99942400 20317 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 24400 20317 374 181 0 21409 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 97600
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12554
/proc/meminfo: memFree=30320252/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=98864 CPUtime=1362.27 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 21433 0 0 0 136224 3 0 0 25 0 1 0 821085991 101236736 20611 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 24716 20611 374 181 0 21725 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 98864
[startup+1422.32 s]
/proc/loadavg: 2.22 2.06 2.02 3/499 12556
/proc/meminfo: memFree=30318360/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=101148 CPUtime=1422.29 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 21922 0 0 0 142226 3 0 0 25 0 1 0 821085991 103575552 21100 33554432000 4194304 4933572 140734673350992 18446744073709551615 4429009 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 25287 21100 374 181 0 22296 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 101148
[startup+1482.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/499 12557
/proc/meminfo: memFree=30316600/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=101628 CPUtime=1482.27 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 22040 0 0 0 148224 3 0 0 25 0 1 0 821085991 104067072 21218 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 25407 21218 374 181 0 22416 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 101628
[startup+1542.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/499 12559
/proc/meminfo: memFree=30315692/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=103344 CPUtime=1542.27 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 22417 0 0 0 154224 3 0 0 25 0 1 0 821085991 105824256 21595 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 25836 21595 374 181 0 22845 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 103344
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/499 12560
/proc/meminfo: memFree=30313944/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=104588 CPUtime=1602.27 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 22695 0 0 0 160224 3 0 0 25 0 1 0 821085991 107098112 21873 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 26147 21873 374 181 0 23156 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 104588
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 12562
/proc/meminfo: memFree=30313416/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=105096 CPUtime=1662.27 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 22805 0 0 0 166224 3 0 0 25 0 1 0 821085991 107618304 21983 33554432000 4194304 4933572 140734673350992 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 26274 21983 374 181 0 23283 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 105096
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12564
/proc/meminfo: memFree=30310876/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=107720 CPUtime=1722.27 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 23365 0 0 0 172224 3 0 0 25 0 1 0 821085991 110305280 22543 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 26930 22543 374 181 0 23939 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 107720
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12565
/proc/meminfo: memFree=30308000/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=108952 CPUtime=1782.26 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 23635 0 0 0 178223 3 0 0 25 0 1 0 821085991 111566848 22813 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 27238 22813 374 181 0 24247 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 108952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12566
/proc/meminfo: memFree=30307856/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=109140 CPUtime=1800.07 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 23671 0 0 0 180004 3 0 0 25 0 1 0 821085991 111759360 22849 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 27285 22849 374 181 0 24294 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 109140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12566
/proc/meminfo: memFree=30307856/32951124 swapFree=53876548/67111528
[pid=12476] ppid=12474 vsize=109140 CPUtime=1800.07 cores=1,3,5,7
/proc/12476/stat : 12476 (clasp) R 12474 12476 12330 0 -1 4202496 23671 0 0 0 180004 3 0 0 25 0 1 0 821085991 111759360 22849 33554432000 4194304 4933572 140734673350992 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12476/statm: 27285 22849 374 181 0 24294 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 109140
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.1
CPU user time (s): 1800.06
CPU system time (s): 0.040993
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 109140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23682
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= 7
involuntary context switches= 2862
runsolver used 8.41372 second user time and 21.0388 second system time
The end