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-3491813-1307767663/watcher-3491813-1307767663 -o /tmp/evaluation-result-3491813-1307767663/solver-3491813-1307767663 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491813-1307767663.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.03 1.98 1.85 2/177 27340
/proc/meminfo: memFree=31481136/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=9760 CPUtime=0 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 2251 0 0 0 0 0 0 0 25 0 1 0 888364019 9994240 1925 33554432000 4194304 6245536 140733744478112 18446744073709551615 4642358 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 2440 1929 172 501 0 1936 0
[startup+0.08674 s]
/proc/loadavg: 2.03 1.98 1.85 2/177 27340
/proc/meminfo: memFree=31481136/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=21784 CPUtime=0.07 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 6262 0 0 0 7 0 0 0 25 0 1 0 888364019 22306816 4960 33554432000 4194304 6245536 140733744478112 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 5446 4960 201 501 0 4942 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21784
[startup+0.100738 s]
/proc/loadavg: 2.03 1.98 1.85 2/177 27340
/proc/meminfo: memFree=31481136/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=22444 CPUtime=0.09 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 6445 0 0 0 9 0 0 0 25 0 1 0 888364019 22982656 5143 33554432000 4194304 6245536 140733744478112 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 5611 5143 201 501 0 5107 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22444
[startup+0.300702 s]
/proc/loadavg: 2.03 1.98 1.85 2/177 27340
/proc/meminfo: memFree=31481136/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=32452 CPUtime=0.29 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 8898 0 0 0 28 1 0 0 25 0 1 0 888364019 33230848 7596 33554432000 4194304 6245536 140733744478112 18446744073709551615 5418411 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 8113 7596 201 501 0 7609 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32452
[startup+0.700624 s]
/proc/loadavg: 2.03 1.98 1.85 2/177 27340
/proc/meminfo: memFree=31481136/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=36408 CPUtime=0.69 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 10498 0 0 0 68 1 0 0 25 0 1 0 888364019 37281792 8604 33554432000 4194304 6245536 140733744478112 18446744073709551615 4409865 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 9102 8604 227 501 0 8598 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36408
[startup+1.50048 s]
/proc/loadavg: 2.03 1.98 1.85 3/178 27341
/proc/meminfo: memFree=31446852/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=36408 CPUtime=1.49 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 10508 0 0 0 148 1 0 0 25 0 1 0 888364019 37281792 8614 33554432000 4194304 6245536 140733744478112 18446744073709551615 4637497 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 9102 8614 229 501 0 8598 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36408
[startup+3.1002 s]
/proc/loadavg: 2.03 1.98 1.85 3/178 27341
/proc/meminfo: memFree=31446232/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=36408 CPUtime=3.09 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 10547 0 0 0 308 1 0 0 25 0 1 0 888364019 37281792 8653 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 9102 8653 229 501 0 8598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36408
[startup+6.30061 s]
/proc/loadavg: 2.03 1.98 1.85 3/178 27379
/proc/meminfo: memFree=31445740/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=36408 CPUtime=6.29 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 10612 0 0 0 628 1 0 0 25 0 1 0 888364019 37281792 8718 33554432000 4194304 6245536 140733744478112 18446744073709551615 4397800 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 9102 8718 229 501 0 8598 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36408
[startup+12.7004 s]
/proc/loadavg: 2.03 1.98 1.85 3/178 27379
/proc/meminfo: memFree=31442304/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=39132 CPUtime=12.69 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 11267 0 0 0 1268 1 0 0 25 0 1 0 888364019 40071168 9373 33554432000 4194304 6245536 140733744478112 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 9783 9373 229 501 0 9279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39132
[startup+25.5001 s]
/proc/loadavg: 2.10 1.99 1.86 3/178 27380
/proc/meminfo: memFree=31438256/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=42512 CPUtime=25.49 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 12057 0 0 0 2548 1 0 0 25 0 1 0 888364019 43532288 10163 33554432000 4194304 6245536 140733744478112 18446744073709551615 4397834 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 10628 10163 229 501 0 10124 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42512
[startup+51.1004 s]
/proc/loadavg: 2.12 2.01 1.87 3/178 27380
/proc/meminfo: memFree=31432104/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=48144 CPUtime=51.1 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 13384 0 0 0 5108 2 0 0 25 0 1 0 888364019 49299456 11490 33554432000 4194304 6245536 140733744478112 18446744073709551615 4629018 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 12036 11490 229 501 0 11532 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 48144
[startup+102.306 s]
/proc/loadavg: 2.05 2.00 1.87 3/178 27382
/proc/meminfo: memFree=31423028/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=56628 CPUtime=102.3 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 15384 0 0 0 10228 2 0 0 25 0 1 0 888364019 57987072 13490 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 14157 13490 229 501 0 13653 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 56628
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 1.88 3/178 27383
/proc/meminfo: memFree=31414696/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=65180 CPUtime=162.29 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 17435 0 0 0 16227 2 0 0 25 0 1 0 888364019 66744320 15541 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 16295 15541 229 501 0 15791 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 65180
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 27385
/proc/meminfo: memFree=31407332/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=72968 CPUtime=222.3 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 19256 0 0 0 22227 3 0 0 25 0 1 0 888364019 74719232 17362 33554432000 4194304 6245536 140733744478112 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 18242 17362 229 501 0 17738 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 72968
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 27387
/proc/meminfo: memFree=31406192/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=73812 CPUtime=282.3 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 19491 0 0 0 28227 3 0 0 25 0 1 0 888364019 75583488 17597 33554432000 4194304 6245536 140733744478112 18446744073709551615 4629001 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 18453 17597 229 501 0 17949 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 73812
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 27388
/proc/meminfo: memFree=31399576/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=80760 CPUtime=342.3 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 21113 0 0 0 34227 3 0 0 25 0 1 0 888364019 82698240 19219 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 20190 19219 229 501 0 19686 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 80760
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 27390
/proc/meminfo: memFree=31396328/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=84024 CPUtime=402.3 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 21919 0 0 0 40227 3 0 0 25 0 1 0 888364019 86040576 20025 33554432000 4194304 6245536 140733744478112 18446744073709551615 4315305 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 21006 20025 229 501 0 20502 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 84024
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 27391
/proc/meminfo: memFree=31394688/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=85844 CPUtime=462.3 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 22317 0 0 0 46227 3 0 0 25 0 1 0 888364019 87904256 20423 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 21461 20423 229 501 0 20957 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 85844
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 27393
/proc/meminfo: memFree=31390192/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=90444 CPUtime=522.3 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 23431 0 0 0 52227 3 0 0 25 0 1 0 888364019 92614656 21537 33554432000 4194304 6245536 140733744478112 18446744073709551615 4304794 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 22611 21537 229 501 0 22107 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 90444
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 27395
/proc/meminfo: memFree=31388664/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=91904 CPUtime=582.31 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 23800 0 0 0 58228 3 0 0 25 0 1 0 888364019 94109696 21906 33554432000 4194304 6245536 140733744478112 18446744073709551615 4629020 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 22976 21906 229 501 0 22472 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 91904
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 1.92 3/178 27410
/proc/meminfo: memFree=31380652/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=99740 CPUtime=822.32 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 25656 0 0 0 82228 4 0 0 25 0 1 0 888364019 102133760 23762 33554432000 4194304 6245536 140733744478112 18446744073709551615 4629001 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 24935 23762 229 501 0 24431 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 99740
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27412
/proc/meminfo: memFree=31379132/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=101316 CPUtime=882.32 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 26022 0 0 0 88228 4 0 0 25 0 1 0 888364019 103747584 24128 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 25329 24128 229 501 0 24825 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 101316
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27413
/proc/meminfo: memFree=31376748/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=103892 CPUtime=942.32 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 26605 0 0 0 94228 4 0 0 25 0 1 0 888364019 106385408 24711 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 25973 24711 229 501 0 25469 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 103892
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27417
/proc/meminfo: memFree=31376088/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=104504 CPUtime=1002.32 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 26777 0 0 0 100228 4 0 0 25 0 1 0 888364019 107012096 24883 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 26126 24883 229 501 0 25622 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 104504
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27419
/proc/meminfo: memFree=31374872/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=105368 CPUtime=1062.32 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 26969 0 0 0 106228 4 0 0 25 0 1 0 888364019 107896832 25075 33554432000 4194304 6245536 140733744478112 18446744073709551615 4408704 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 26342 25075 229 501 0 25838 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 105368
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27421
/proc/meminfo: memFree=31374096/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=105972 CPUtime=1122.32 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 27108 0 0 0 112228 4 0 0 25 0 1 0 888364019 108515328 25214 33554432000 4194304 6245536 140733744478112 18446744073709551615 4342425 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 26493 25214 229 501 0 25989 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 105972
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27423
/proc/meminfo: memFree=31373312/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=106632 CPUtime=1182.33 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 27309 0 0 0 118229 4 0 0 25 0 1 0 888364019 109191168 25415 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 26658 25415 229 501 0 26154 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 106632
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27424
/proc/meminfo: memFree=31369792/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=110100 CPUtime=1242.33 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 28168 0 0 0 124229 4 0 0 25 0 1 0 888364019 112742400 26274 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 27525 26274 229 501 0 27021 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 110100
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27426
/proc/meminfo: memFree=31367536/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=112728 CPUtime=1302.33 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 28796 0 0 0 130229 4 0 0 25 0 1 0 888364019 115433472 26902 33554432000 4194304 6245536 140733744478112 18446744073709551615 4638147 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 28182 26902 229 501 0 27678 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 112728
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27427
/proc/meminfo: memFree=31367376/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=112728 CPUtime=1362.33 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 28804 0 0 0 136229 4 0 0 25 0 1 0 888364019 115433472 26910 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 28182 26910 229 501 0 27678 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 112728
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27429
/proc/meminfo: memFree=31367108/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=113016 CPUtime=1422.34 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 28875 0 0 0 142230 4 0 0 25 0 1 0 888364019 115728384 26981 33554432000 4194304 6245536 140733744478112 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 28254 26981 229 501 0 27750 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 113016
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27431
/proc/meminfo: memFree=31366928/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=113016 CPUtime=1482.33 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 28888 0 0 0 148229 4 0 0 25 0 1 0 888364019 115728384 26994 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 28254 26994 229 501 0 27750 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 113016
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27432
/proc/meminfo: memFree=31365916/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=114336 CPUtime=1542.34 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 29209 0 0 0 154230 4 0 0 25 0 1 0 888364019 117080064 27315 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 28584 27315 229 501 0 28080 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 114336
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27434
/proc/meminfo: memFree=31365012/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=114944 CPUtime=1602.34 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 29391 0 0 0 160230 4 0 0 25 0 1 0 888364019 117702656 27497 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 28736 27497 229 501 0 28232 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 114944
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27435
/proc/meminfo: memFree=31365232/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=114944 CPUtime=1662.34 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 29393 0 0 0 166230 4 0 0 25 0 1 0 888364019 117702656 27499 33554432000 4194304 6245536 140733744478112 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 28736 27499 229 501 0 28232 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 114944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27437
/proc/meminfo: memFree=31365060/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=114944 CPUtime=1722.34 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 29394 0 0 0 172230 4 0 0 25 0 1 0 888364019 117702656 27500 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 28736 27500 229 501 0 28232 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 114944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27439
/proc/meminfo: memFree=31364768/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=115156 CPUtime=1782.34 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 29418 0 0 0 178230 4 0 0 25 0 1 0 888364019 117919744 27524 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 28789 27524 229 501 0 28285 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 115156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27439
/proc/meminfo: memFree=31364620/32951124 swapFree=67076880/67111528
[pid=27340] ppid=27338 vsize=115156 CPUtime=1800.05 cores=1,3,5,7
/proc/27340/stat : 27340 (clasp) R 27338 27340 17771 0 -1 4202496 29427 0 0 0 180001 4 0 0 25 0 1 0 888364019 117919744 27533 33554432000 4194304 6245536 140733744478112 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27340/statm: 28789 27533 229 501 0 28285 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 115156
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.050992
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 115156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29438
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= 22098
runsolver used 2.51962 second user time and 5.74513 second system time
The end