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-3469328-1307088287/watcher-3469328-1307088287 -o /tmp/evaluation-result-3469328-1307088287/solver-3469328-1307088287 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469328-1307088287.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 2.00 2.01 2/461 12517
/proc/meminfo: memFree=28682504/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=19784 CPUtime=0 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 2439 0 0 0 0 0 0 0 25 0 1 0 820426646 20258816 2126 33554432000 4194304 4933572 140735604265088 18446744073709551615 228122713856 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 4946 2128 321 181 0 1955 0
[startup+0.0662609 s]
/proc/loadavg: 1.91 2.00 2.01 2/461 12517
/proc/meminfo: memFree=28682504/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=29244 CPUtime=0.05 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 5634 0 0 0 5 0 0 0 25 0 1 0 820426646 29945856 4428 33554432000 4194304 4933572 140735604265088 18446744073709551615 4580591 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 7311 4428 340 181 0 4320 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29244
[startup+0.100243 s]
/proc/loadavg: 1.91 2.00 2.01 2/461 12517
/proc/meminfo: memFree=28682504/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=30564 CPUtime=0.09 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 5994 0 0 0 9 0 0 0 25 0 1 0 820426646 31297536 4788 33554432000 4194304 4933572 140735604265088 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 7641 4788 340 181 0 4650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30564
[startup+0.300207 s]
/proc/loadavg: 1.91 2.00 2.01 2/461 12517
/proc/meminfo: memFree=28682504/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=32564 CPUtime=0.28 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 7091 0 0 0 28 0 0 0 25 0 1 0 820426646 33345536 5378 33554432000 4194304 4933572 140735604265088 18446744073709551615 4429009 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 8141 5378 374 181 0 5150 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 32564
[startup+0.701134 s]
/proc/loadavg: 1.91 2.00 2.01 2/461 12517
/proc/meminfo: memFree=28682504/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=34444 CPUtime=0.69 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 7613 0 0 0 68 1 0 0 25 0 1 0 820426646 35270656 5900 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649185 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 8611 5901 374 181 0 5620 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34444
[startup+1.50101 s]
/proc/loadavg: 1.91 2.00 2.01 3/462 12518
/proc/meminfo: memFree=28657456/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=36284 CPUtime=1.49 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 8069 0 0 0 148 1 0 0 25 0 1 0 820426646 37154816 6356 33554432000 4194304 4933572 140735604265088 18446744073709551615 4428409 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 9071 6356 374 181 0 6080 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36284
[startup+3.10073 s]
/proc/loadavg: 1.91 2.00 2.01 3/462 12518
/proc/meminfo: memFree=28652604/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=38132 CPUtime=3.09 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 8544 0 0 0 308 1 0 0 25 0 1 0 820426646 39047168 6831 33554432000 4194304 4933572 140735604265088 18446744073709551615 4631815 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 9533 6831 374 181 0 6542 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38132
[startup+6.30115 s]
/proc/loadavg: 1.91 2.00 2.01 3/462 12518
/proc/meminfo: memFree=28645856/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=42152 CPUtime=6.29 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 9541 0 0 0 628 1 0 0 25 0 1 0 820426646 43163648 7828 33554432000 4194304 4933572 140735604265088 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 10538 7828 374 181 0 7547 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42152
[startup+12.701 s]
/proc/loadavg: 1.92 2.00 2.01 3/462 12518
/proc/meminfo: memFree=28634748/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=46956 CPUtime=12.69 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 10733 0 0 0 1268 1 0 0 25 0 1 0 820426646 48082944 9020 33554432000 4194304 4933572 140735604265088 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 11739 9020 374 181 0 8748 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46956
[startup+25.5007 s]
/proc/loadavg: 1.94 2.00 2.01 3/462 12519
/proc/meminfo: memFree=28622924/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=53172 CPUtime=25.49 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 12247 0 0 0 2548 1 0 0 25 0 1 0 820426646 54448128 10534 33554432000 4194304 4933572 140735604265088 18446744073709551615 4414950 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 13293 10534 374 181 0 10302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53172
[startup+51.101 s]
/proc/loadavg: 1.96 2.00 2.01 3/462 12519
/proc/meminfo: memFree=28604760/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=62128 CPUtime=51.09 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 14465 0 0 0 5107 2 0 0 25 0 1 0 820426646 63619072 12752 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 15532 12752 374 181 0 12541 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 62128
[startup+102.318 s]
/proc/loadavg: 2.10 2.03 2.01 3/462 12521
/proc/meminfo: memFree=28585868/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=70528 CPUtime=102.31 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 16474 0 0 0 10229 2 0 0 25 0 1 0 820426646 72220672 14761 33554432000 4194304 4933572 140735604265088 18446744073709551615 4648512 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 17632 14761 374 181 0 14641 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 70528
[startup+162.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/462 12522
/proc/meminfo: memFree=28564608/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=81648 CPUtime=162.3 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 19112 0 0 0 16227 3 0 0 25 0 1 0 820426646 83607552 17399 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 20412 17399 374 181 0 17421 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 81648
[startup+222.301 s]
/proc/loadavg: 2.03 2.03 2.01 3/462 12524
/proc/meminfo: memFree=28548556/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=90956 CPUtime=222.29 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 21379 0 0 0 22226 3 0 0 25 0 1 0 820426646 93138944 19666 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 22739 19666 374 181 0 19748 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 90956
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 12525
/proc/meminfo: memFree=28532900/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=100352 CPUtime=282.3 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 23600 0 0 0 28226 4 0 0 25 0 1 0 820426646 102760448 21887 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 25088 21887 374 181 0 22097 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 100352
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 12527
/proc/meminfo: memFree=28521696/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=106200 CPUtime=342.3 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 24900 0 0 0 34226 4 0 0 25 0 1 0 820426646 108748800 23187 33554432000 4194304 4933572 140735604265088 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 26550 23187 374 181 0 23559 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 106200
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 12529
/proc/meminfo: memFree=28516812/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=108860 CPUtime=402.3 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 25476 0 0 0 40226 4 0 0 25 0 1 0 820426646 111472640 23763 33554432000 4194304 4933572 140735604265088 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 27215 23763 374 181 0 24224 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 108860
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 12530
/proc/meminfo: memFree=28504000/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=115324 CPUtime=462.3 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 27089 0 0 0 46226 4 0 0 25 0 1 0 820426646 118091776 25376 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 28831 25376 374 181 0 25840 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 115324
[startup+522.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/462 12532
/proc/meminfo: memFree=28497260/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=119316 CPUtime=522.3 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 27950 0 0 0 52226 4 0 0 25 0 1 0 820426646 122179584 26237 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 29829 26237 374 181 0 26838 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 119316
[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/462 12533
/proc/meminfo: memFree=28491900/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=121664 CPUtime=582.31 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 28468 0 0 0 58226 5 0 0 25 0 1 0 820426646 124583936 26755 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 30416 26755 374 181 0 27425 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 121664
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 12540
/proc/meminfo: memFree=28465144/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=137836 CPUtime=822.31 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 32241 0 0 0 82226 5 0 0 25 0 1 0 820426646 141144064 30528 33554432000 4194304 4933572 140735604265088 18446744073709551615 4428002 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 34459 30528 374 181 0 31468 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 137836
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 12541
/proc/meminfo: memFree=28461504/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=139636 CPUtime=882.31 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 32640 0 0 0 88226 5 0 0 25 0 1 0 820426646 142987264 30927 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 34909 30927 374 181 0 31918 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 139636
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 12543
/proc/meminfo: memFree=28460724/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=140808 CPUtime=942.31 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 32910 0 0 0 94226 5 0 0 25 0 1 0 820426646 144187392 31197 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 35202 31197 374 181 0 32211 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 140808
[startup+1002.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/462 12545
/proc/meminfo: memFree=28456960/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=143216 CPUtime=1002.31 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 33440 0 0 0 100226 5 0 0 25 0 1 0 820426646 146653184 31727 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 35804 31727 374 181 0 32813 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 143216
[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/462 12546
/proc/meminfo: memFree=28455560/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=144700 CPUtime=1062.33 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 33755 0 0 0 106227 6 0 0 25 0 1 0 820426646 148172800 32042 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 36175 32042 374 181 0 33184 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 144700
[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/462 12548
/proc/meminfo: memFree=28443348/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=149884 CPUtime=1122.33 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 34900 0 0 0 112227 6 0 0 25 0 1 0 820426646 153481216 33187 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 37471 33187 374 181 0 34480 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 149884
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 12549
/proc/meminfo: memFree=28435640/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=152952 CPUtime=1182.33 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 35560 0 0 0 118227 6 0 0 25 0 1 0 820426646 156622848 33847 33554432000 4194304 4933572 140735604265088 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 38238 33847 374 181 0 35247 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 152952
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/462 12551
/proc/meminfo: memFree=28429764/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=155308 CPUtime=1242.33 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 36090 0 0 0 124227 6 0 0 25 0 1 0 820426646 159035392 34377 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 38827 34377 374 181 0 35836 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 155308
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/462 12553
/proc/meminfo: memFree=28425984/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=157540 CPUtime=1302.34 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 36602 0 0 0 130228 6 0 0 25 0 1 0 820426646 161320960 34889 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 39385 34889 374 181 0 36394 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 157540
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 12554
/proc/meminfo: memFree=28423216/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=158392 CPUtime=1362.33 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 36790 0 0 0 136227 6 0 0 25 0 1 0 820426646 162193408 35077 33554432000 4194304 4933572 140735604265088 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 39598 35077 374 181 0 36607 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 158392
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 12556
/proc/meminfo: memFree=28421416/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=159612 CPUtime=1422.35 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 37085 0 0 0 142229 6 0 0 25 0 1 0 820426646 163442688 35372 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 39903 35372 374 181 0 36912 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 159612
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 12557
/proc/meminfo: memFree=28417300/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=161548 CPUtime=1482.34 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 37494 0 0 0 148228 6 0 0 25 0 1 0 820426646 165425152 35781 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 40387 35781 374 181 0 37396 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 161548
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/462 12559
/proc/meminfo: memFree=28415392/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=162876 CPUtime=1542.34 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 37796 0 0 0 154228 6 0 0 25 0 1 0 820426646 166785024 36083 33554432000 4194304 4933572 140735604265088 18446744073709551615 4428972 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 40719 36083 374 181 0 37728 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 162876
[startup+1602.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/462 12561
/proc/meminfo: memFree=28412864/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=164440 CPUtime=1602.34 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 38160 0 0 0 160228 6 0 0 25 0 1 0 820426646 168386560 36447 33554432000 4194304 4933572 140735604265088 18446744073709551615 228122411634 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 41110 36447 374 181 0 38119 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 164440
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/462 12562
/proc/meminfo: memFree=28409108/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=165580 CPUtime=1662.34 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 38421 0 0 0 166228 6 0 0 25 0 1 0 820426646 169553920 36708 33554432000 4194304 4933572 140735604265088 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 41395 36708 374 181 0 38404 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 165580
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 12564
/proc/meminfo: memFree=28407692/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=165864 CPUtime=1722.34 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 38476 0 0 0 172228 6 0 0 25 0 1 0 820426646 169844736 36763 33554432000 4194304 4933572 140735604265088 18446744073709551615 4649198 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 41466 36763 374 181 0 38475 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 165864
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/462 12565
/proc/meminfo: memFree=28393280/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=171348 CPUtime=1782.34 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 39884 0 0 0 178228 6 0 0 25 0 1 0 820426646 175460352 38171 33554432000 4194304 4933572 140735604265088 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 42837 38171 374 181 0 39846 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 171348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.02 2.00 2/460 12567
/proc/meminfo: memFree=28549008/32951124 swapFree=41830676/67111528
[pid=12517] ppid=12515 vsize=172100 CPUtime=1800.05 cores=0,2,4,6
/proc/12517/stat : 12517 (clasp) R 12515 12517 4773 0 -1 4202496 40019 0 0 0 179999 6 0 0 25 0 1 0 820426646 176230400 38306 33554432000 4194304 4933572 140735604265088 18446744073709551615 4428397 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12517/statm: 43025 38306 374 181 0 40034 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 172100
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.08
CPU user time (s): 1800
CPU system time (s): 0.072988
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 172100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40030
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= 2283
runsolver used 8.46571 second user time and 17.9703 second system time
The end