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-3468146-1307106603/watcher-3468146-1307106603 -o /tmp/evaluation-result-3468146-1307106603/solver-3468146-1307106603 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468146-1307106603.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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: 0.93 1.40 1.74 2/515 9381
/proc/meminfo: memFree=23237208/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=12864 CPUtime=0 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 588 0 0 0 0 0 0 0 22 0 1 0 900890963 13172736 520 33554432000 4194304 4933572 140735771543984 18446744073709551615 256415052485 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 3216 520 333 181 0 225 0

[startup+0.0784689 s]
/proc/loadavg: 0.93 1.40 1.74 2/515 9381
/proc/meminfo: memFree=23237208/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=13552 CPUtime=0.07 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 834 0 0 0 7 0 0 0 22 0 1 0 900890963 13877248 755 33554432000 4194304 4933572 140735771543984 18446744073709551615 4429005 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 3388 755 385 181 0 397 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13552

[startup+0.100464 s]
/proc/loadavg: 0.93 1.40 1.74 2/515 9381
/proc/meminfo: memFree=23237208/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=13684 CPUtime=0.1 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 852 0 0 0 10 0 0 0 22 0 1 0 900890963 14012416 773 33554432000 4194304 4933572 140735771543984 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 3421 773 385 181 0 430 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13684

[startup+0.300428 s]
/proc/loadavg: 0.93 1.40 1.74 2/515 9381
/proc/meminfo: memFree=23237208/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=14080 CPUtime=0.3 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 949 0 0 0 30 0 0 0 23 0 1 0 900890963 14417920 870 33554432000 4194304 4933572 140735771543984 18446744073709551615 4429109 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 3520 870 385 181 0 529 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14080

[startup+0.700351 s]
/proc/loadavg: 0.93 1.40 1.74 2/515 9381
/proc/meminfo: memFree=23237208/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=14476 CPUtime=0.7 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 1059 0 0 0 70 0 0 0 25 0 1 0 900890963 14823424 980 33554432000 4194304 4933572 140735771543984 18446744073709551615 4428607 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 3619 980 385 181 0 628 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 14476

[startup+1.5002 s]
/proc/loadavg: 0.93 1.40 1.74 3/516 9382
/proc/meminfo: memFree=23232392/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=15136 CPUtime=1.5 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 1226 0 0 0 150 0 0 0 25 0 1 0 900890963 15499264 1147 33554432000 4194304 4933572 140735771543984 18446744073709551615 4332744 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 3784 1147 385 181 0 793 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15136

[startup+3.1009 s]
/proc/loadavg: 0.93 1.40 1.74 3/516 9382
/proc/meminfo: memFree=23228796/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=16060 CPUtime=3.1 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 1438 0 0 0 310 0 0 0 25 0 1 0 900890963 16445440 1359 33554432000 4194304 4933572 140735771543984 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 4015 1359 386 181 0 1024 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 16060

[startup+6.30029 s]
/proc/loadavg: 1.02 1.41 1.74 3/516 9382
/proc/meminfo: memFree=23226652/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=17120 CPUtime=6.29 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 1701 0 0 0 629 0 0 0 25 0 1 0 900890963 17530880 1622 33554432000 4194304 4933572 140735771543984 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 4280 1622 386 181 0 1289 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17120

[startup+12.7011 s]
/proc/loadavg: 1.09 1.42 1.74 3/516 9382
/proc/meminfo: memFree=23223596/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=17824 CPUtime=12.7 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 1887 0 0 0 1270 0 0 0 25 0 1 0 900890963 18251776 1808 33554432000 4194304 4933572 140735771543984 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 4456 1808 386 181 0 1465 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 17824

[startup+25.5006 s]
/proc/loadavg: 1.29 1.45 1.75 3/516 9383
/proc/meminfo: memFree=23221004/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=19724 CPUtime=25.49 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 2372 0 0 0 2549 0 0 0 25 0 1 0 900890963 20197376 2293 33554432000 4194304 4933572 140735771543984 18446744073709551615 4429157 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 4931 2293 386 181 0 1940 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19724

[startup+51.1008 s]
/proc/loadavg: 1.61 1.51 1.76 3/516 9383
/proc/meminfo: memFree=23218732/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=21196 CPUtime=51.09 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 2706 0 0 0 5109 0 0 0 25 0 1 0 900890963 21704704 2627 33554432000 4194304 4933572 140735771543984 18446744073709551615 4428384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 5299 2627 386 181 0 2308 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21196

[startup+102.319 s]
/proc/loadavg: 1.83 1.58 1.77 3/516 9385
/proc/meminfo: memFree=23213504/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=23452 CPUtime=102.31 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 3263 0 0 0 10231 0 0 0 25 0 1 0 900890963 24014848 3182 33554432000 4194304 4933572 140735771543984 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 5863 3182 386 181 0 2872 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23452

[startup+162.301 s]
/proc/loadavg: 2.08 1.69 1.79 3/516 9386
/proc/meminfo: memFree=23210832/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=24952 CPUtime=162.29 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 3620 0 0 0 16229 0 0 0 25 0 1 0 900890963 25550848 3539 33554432000 4194304 4933572 140735771543984 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 6238 3539 386 181 0 3247 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24952

[startup+222.3 s]
/proc/loadavg: 2.03 1.74 1.80 3/516 9388
/proc/meminfo: memFree=23210128/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=26220 CPUtime=222.29 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 3946 0 0 0 22229 0 0 0 25 0 1 0 900890963 26849280 3861 33554432000 4194304 4933572 140735771543984 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 6555 3861 386 181 0 3564 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 26220

[startup+282.301 s]
/proc/loadavg: 2.01 1.79 1.81 3/516 9389
/proc/meminfo: memFree=23208840/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=27692 CPUtime=282.3 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 4375 0 0 0 28230 0 0 0 25 0 1 0 900890963 28356608 4215 33554432000 4194304 4933572 140735771543984 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 6923 4215 386 181 0 3932 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27692

[startup+342.301 s]
/proc/loadavg: 2.00 1.82 1.82 3/516 9391
/proc/meminfo: memFree=23208016/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=28036 CPUtime=342.3 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 4472 0 0 0 34230 0 0 0 25 0 1 0 900890963 28708864 4312 33554432000 4194304 4933572 140735771543984 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 7009 4312 386 181 0 4018 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 28036

[startup+402.3 s]
/proc/loadavg: 2.00 1.85 1.83 3/516 9393
/proc/meminfo: memFree=23207212/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=28600 CPUtime=402.3 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 4581 0 0 0 40230 0 0 0 25 0 1 0 900890963 29286400 4421 33554432000 4194304 4933572 140735771543984 18446744073709551615 4368945 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 7150 4421 386 181 0 4159 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28600

[startup+462.301 s]
/proc/loadavg: 2.00 1.88 1.83 4/516 9394
/proc/meminfo: memFree=23206432/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=28876 CPUtime=462.3 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 4650 0 0 0 46230 0 0 0 25 0 1 0 900890963 29569024 4490 33554432000 4194304 4933572 140735771543984 18446744073709551615 4637606 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 7219 4490 386 181 0 4228 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 28876

[startup+522.301 s]
/proc/loadavg: 2.10 1.93 1.85 3/516 9396
/proc/meminfo: memFree=23206488/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=29760 CPUtime=522.3 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 4870 0 0 0 52230 0 0 0 25 0 1 0 900890963 30474240 4710 33554432000 4194304 4933572 140735771543984 18446744073709551615 4332746 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 7440 4710 386 181 0 4449 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 29760

[startup+582.301 s]
/proc/loadavg: 2.08 1.95 1.86 3/516 9397
/proc/meminfo: memFree=23205932/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=30252 CPUtime=582.31 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 4989 0 0 0 58231 0 0 0 25 0 1 0 900890963 30978048 4829 33554432000 4194304 4933572 140735771543984 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 7563 4829 386 181 0 4572 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 30252

[startup+642.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 2.02 2.00 1.90 3/516 9404
/proc/meminfo: memFree=23204284/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=31288 CPUtime=822.31 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5235 0 0 0 82231 0 0 0 25 0 1 0 900890963 32038912 5075 33554432000 4194304 4933572 140735771543984 18446744073709551615 4428972 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 7822 5075 386 181 0 4831 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 31288

[startup+882.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/516 9405
/proc/meminfo: memFree=23202836/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=31616 CPUtime=882.31 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5325 0 0 0 88231 0 0 0 25 0 1 0 900890963 32374784 5158 33554432000 4194304 4933572 140735771543984 18446744073709551615 4649552 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 7904 5158 386 181 0 4913 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 31616

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/516 9407
/proc/meminfo: memFree=23203260/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=32044 CPUtime=942.32 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5422 0 0 0 94232 0 0 0 25 0 1 0 900890963 32813056 5255 33554432000 4194304 4933572 140735771543984 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8011 5255 386 181 0 5020 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 32044

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/516 9409
/proc/meminfo: memFree=23202816/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=32344 CPUtime=1002.32 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5474 0 0 0 100232 0 0 0 25 0 1 0 900890963 33120256 5307 33554432000 4194304 4933572 140735771543984 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8086 5307 386 181 0 5095 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 32344

[startup+1062.3 s]
/proc/loadavg: 2.15 2.03 1.92 3/516 9410
/proc/meminfo: memFree=23202748/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=32344 CPUtime=1062.32 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5494 0 0 0 106232 0 0 0 25 0 1 0 900890963 33120256 5327 33554432000 4194304 4933572 140735771543984 18446744073709551615 4664581 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8086 5327 386 181 0 5095 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 32344

[startup+1122.3 s]
/proc/loadavg: 2.12 2.04 1.93 3/516 9412
/proc/meminfo: memFree=23202436/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=32756 CPUtime=1122.32 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5563 0 0 0 112232 0 0 0 25 0 1 0 900890963 33542144 5396 33554432000 4194304 4933572 140735771543984 18446744073709551615 4429009 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8189 5396 386 181 0 5198 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 32756

[startup+1182.3 s]
/proc/loadavg: 2.17 2.06 1.94 3/516 9413
/proc/meminfo: memFree=23201008/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=32940 CPUtime=1182.33 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5677 0 0 0 118233 0 0 0 25 0 1 0 900890963 33730560 5455 33554432000 4194304 4933572 140735771543984 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8235 5455 386 181 0 5244 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 32940

[startup+1242.3 s]
/proc/loadavg: 2.12 2.06 1.94 3/516 9415
/proc/meminfo: memFree=23200048/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=33100 CPUtime=1242.33 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5724 0 0 0 124233 0 0 0 25 0 1 0 900890963 33894400 5502 33554432000 4194304 4933572 140735771543984 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8275 5502 386 181 0 5284 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 33100

[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 1.94 3/516 9417
/proc/meminfo: memFree=23200344/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=33384 CPUtime=1302.34 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5769 0 0 0 130234 0 0 0 25 0 1 0 900890963 34185216 5547 33554432000 4194304 4933572 140735771543984 18446744073709551615 4379057 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8346 5547 386 181 0 5355 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 33384

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 1.94 3/516 9418
/proc/meminfo: memFree=23200064/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=33524 CPUtime=1362.33 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5795 0 0 0 136233 0 0 0 25 0 1 0 900890963 34328576 5573 33554432000 4194304 4933572 140735771543984 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8381 5573 386 181 0 5390 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 33524

[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 1.94 3/516 9420
/proc/meminfo: memFree=23200972/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=33524 CPUtime=1422.35 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5798 0 0 0 142235 0 0 0 25 0 1 0 900890963 34328576 5576 33554432000 4194304 4933572 140735771543984 18446744073709551615 4316970 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8381 5576 386 181 0 5390 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 33524

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/516 9421
/proc/meminfo: memFree=23200276/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=33524 CPUtime=1482.34 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5823 0 0 0 148234 0 0 0 25 0 1 0 900890963 34328576 5601 33554432000 4194304 4933572 140735771543984 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8381 5601 386 181 0 5390 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 33524

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/516 9423
/proc/meminfo: memFree=23200824/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=33660 CPUtime=1542.34 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5838 0 0 0 154234 0 0 0 25 0 1 0 900890963 34467840 5616 33554432000 4194304 4933572 140735771543984 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8415 5616 386 181 0 5424 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 33660

[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 1.95 3/516 9425
/proc/meminfo: memFree=23200772/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=33924 CPUtime=1602.34 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 5894 0 0 0 160234 0 0 0 25 0 1 0 900890963 34738176 5672 33554432000 4194304 4933572 140735771543984 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8481 5672 386 181 0 5490 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 33924

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 1.96 3/516 9426
/proc/meminfo: memFree=23199844/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=34332 CPUtime=1662.34 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 6171 0 0 0 166234 0 0 0 25 0 1 0 900890963 35155968 5791 33554432000 4194304 4933572 140735771543984 18446744073709551615 4370209 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8583 5791 386 181 0 5592 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 34332

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/516 9428
/proc/meminfo: memFree=23199560/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=34576 CPUtime=1722.34 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 6268 0 0 0 172234 0 0 0 25 0 1 0 900890963 35405824 5863 33554432000 4194304 4933572 140735771543984 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8644 5863 386 181 0 5653 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 34576

[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 1.97 3/516 9432
/proc/meminfo: memFree=23196728/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=34856 CPUtime=1782.35 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 6328 0 0 0 178234 1 0 0 25 0 1 0 900890963 35692544 5923 33554432000 4194304 4933572 140735771543984 18446744073709551615 4317001 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8714 5923 386 181 0 5723 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 34856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.05 1.97 2/515 9434
/proc/meminfo: memFree=23208240/32950928 swapFree=58671692/67111528
[pid=9381] ppid=9379 vsize=34992 CPUtime=1800.06 cores=0,2,4,6
/proc/9381/stat : 9381 (clasp) R 9379 9381 8237 0 -1 4202496 6335 0 0 0 180005 1 0 0 25 0 1 0 900890963 35831808 5930 33554432000 4194304 4933572 140735771543984 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9381/statm: 8748 5930 386 181 0 5757 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 34992

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.02
CPU time (s): 1800.08
CPU user time (s): 1800.07
CPU system time (s): 0.012998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 34992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6343
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= 2590

runsolver used 9.54255 second user time and 19.94 second system time

The end