runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14342 MiB free)
memory of node 1: 16384 MiB (15438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259644-1502648251/watcher-4259644-1502648251 -o /tmp/evaluation-result-4259644-1502648251/solver-4259644-1502648251 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259644-1502648251.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32388, runsolver pid=32385
[startup+0.100109 s]*
/proc/loadavg: 1.36 1.59 1.76 2/201 32389
/proc/meminfo: memFree=30495792/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/32388/stat : 32388 (runsolver) D 32385 32388 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 112640265 34791424 114 18446744073709551615 4194304 4346622 140730742566288 140730742562920 140185266045655 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 20832256 140730742575283 140730742575657 140730742575657 140730742579146 0
/proc/32388/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209415 s]*
/proc/loadavg: 1.36 1.59 1.76 2/201 32389
/proc/meminfo: memFree=30495912/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/32388/stat : 32388 (runsolver) D 32385 32388 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 112640265 34791424 114 18446744073709551615 4194304 4346622 140730742566288 140730742562920 140185266045655 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 20832256 140730742575283 140730742575657 140730742575657 140730742579146 0
/proc/32388/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.309084 s]*
/proc/loadavg: 1.36 1.59 1.76 2/201 32389
/proc/meminfo: memFree=30495912/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/32388/stat : 32388 (runsolver) D 32385 32388 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 112640265 34791424 114 18446744073709551615 4194304 4346622 140730742566288 140730742562920 140185266045655 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 20832256 140730742575283 140730742575657 140730742575657 140730742579146 0
/proc/32388/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.70041 s]
/proc/loadavg: 1.36 1.59 1.76 2/201 32389
/proc/meminfo: memFree=30496172/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/32388/stat : 32388 (runsolver) D 32385 32388 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 112640265 34791424 114 18446744073709551615 4194304 4346622 140730742566288 140730742562920 140185266045655 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 20832256 140730742575283 140730742575657 140730742575657 140730742579146 0
/proc/32388/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+1.50035 s]
/proc/loadavg: 1.36 1.59 1.76 2/201 32389
/proc/meminfo: memFree=30496432/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=9636 memory=1508 CPUtime=0.01 cores=1,3,5,7
/proc/32388/stat : 32388 (bash) S 32385 32388 8289 0 -1 4202496 893 6485 0 0 0 0 0 1 20 0 1 0 112640265 9867264 377 18446744073709551615 4194304 5098028 140727430015840 140727430009848 140423904238592 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 118 0 0 7196144 7232144 12533760 140727430021620 140727430021705 140727430021705 140727430025194 0
/proc/32388/statm: 2409 377 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1508 KiB
[startup+3.11036 s]
/proc/loadavg: 1.33 1.58 1.75 3/215 32451
/proc/meminfo: memFree=30455704/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=13974784 memory=59688 CPUtime=0.7 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 14006 12438 0 0 59 4 4 3 20 0 15 0 112640265 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3493696 14922 3108 1 0 3482965 0
[pid=32388/tid=32438] ppid=32385 vsize=13974784 memory=4168 CPUtime=0.52 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 10374 12438 0 0 42 3 4 3 20 0 15 0 112640527 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140158219233136 140158199104862 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=13974784 memory=54572 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 1 12438 0 0 0 0 4 3 20 0 15 0 112640527 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=13974784 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 1 12438 0 0 0 0 4 3 20 0 15 0 112640527 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=13974784 memory=2440 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 1 12438 0 0 0 0 4 3 20 0 15 0 112640527 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=13974784 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 2 12438 0 0 0 0 4 3 20 0 15 0 112640527 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=13974784 memory=280370230699448 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 5 12438 0 0 0 0 4 3 20 0 15 0 112640529 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=13974784 memory=143582434429940 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 33 12438 0 0 0 0 4 3 20 0 15 0 112640529 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157692376608 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=13974784 memory=143582434429940 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 21 12438 0 0 0 0 4 3 20 0 15 0 112640529 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157691323760 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 583 12438 0 0 3 0 4 3 20 0 15 0 112640532 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.09 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 274 12438 0 0 2 0 4 3 20 0 15 0 112640532 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.17 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) R 32385 32388 8289 0 -1 4202560 554 12438 0 0 10 0 4 3 20 0 15 0 112640532 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158194043006 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 1 12438 0 0 0 0 4 3 20 0 15 0 112640536 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59688 KiB
heavy processes:
[startup+6.30081 s]
/proc/loadavg: 1.33 1.58 1.75 6/215 32451
/proc/meminfo: memFree=30269244/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14001980 memory=301664 CPUtime=8.06 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 56799 12438 0 0 777 22 4 3 20 0 15 0 112640265 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3500495 75416 3462 1 0 3489109 0
[pid=32388/tid=32438] ppid=32385 vsize=14001980 memory=0 CPUtime=3.61 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 39132 12438 0 0 342 12 4 3 20 0 15 0 112640527 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140158219241912 140158196589337 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14001980 memory=-7027409196973580132 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 86 12438 0 0 3 0 4 3 20 0 15 0 112640527 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14001980 memory=140185115550504 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 73 12438 0 0 3 0 4 3 20 0 15 0 112640527 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14001980 memory=280370230974400 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 234 12438 0 0 3 0 4 3 20 0 15 0 112640527 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14001980 memory=7019253019072876652 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 84 12438 0 0 3 0 4 3 20 0 15 0 112640527 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14001980 memory=7019253019072876652 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 2229 12438 0 0 3 0 4 3 20 0 15 0 112640529 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14001980 memory=7512120045554986598 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 56 12438 0 0 0 0 4 3 20 0 15 0 112640529 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14001980 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 43 12438 0 0 0 0 4 3 20 0 15 0 112640529 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14001980 memory=2440 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14001980 memory=42708 CPUtime=1.26 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 2359 12438 0 0 118 1 4 3 20 0 15 0 112640532 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14001980 memory=178456 CPUtime=1.72 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) R 32385 32388 8289 0 -1 4202560 5916 12438 0 0 164 1 4 3 20 0 15 0 112640532 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157688146728 140158198435270 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14001980 memory=236856 CPUtime=1.42 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 4419 12438 0 0 133 2 4 3 20 0 15 0 112640532 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14001980 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14001980 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 12 12438 0 0 0 0 4 3 20 0 15 0 112640536 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 8.06 s
Current children cumulated vsize: 14001980 KiB
Current children cumulated memory: 301664 KiB
[startup+12.7007 s]
/proc/loadavg: 1.39 1.59 1.76 3/216 32452
/proc/meminfo: memFree=30003536/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14067516 memory=531076 CPUtime=20.05 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 84637 12438 0 0 1964 34 4 3 20 0 15 0 112640265 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3516879 132769 3477 1 0 3505493 0
[pid=32388/tid=32438] ppid=32385 vsize=14067516 memory=531076 CPUtime=9.75 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 48468 12438 0 0 952 16 4 3 20 0 15 0 112640527 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140158219254208 140157828084372 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14067516 memory=56 CPUtime=0.2 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 1174 12438 0 0 12 1 4 3 20 0 15 0 112640527 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14067516 memory=-4695052241013923951 CPUtime=0.19 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 124 12438 0 0 11 1 4 3 20 0 15 0 112640527 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14067516 memory=-3252517613199061085 CPUtime=0.21 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 288 12438 0 0 13 1 4 3 20 0 15 0 112640527 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14067516 memory=280370230834288 CPUtime=0.21 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 143 12438 0 0 13 1 4 3 20 0 15 0 112640527 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14067516 memory=6298124003020399977 CPUtime=0.2 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 2601 12438 0 0 13 0 4 3 20 0 15 0 112640529 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14067516 memory=7373103150982080818 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 64 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14067516 memory=7373103150982080915 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 51 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14067516 memory=65248 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14067516 memory=0 CPUtime=3.44 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 7220 12438 0 0 335 2 4 3 20 0 15 0 112640532 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14067516 memory=0 CPUtime=4.41 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 13319 12438 0 0 431 3 4 3 20 0 15 0 112640532 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14067516 memory=0 CPUtime=1.88 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 8691 12438 0 0 178 3 4 3 20 0 15 0 112640532 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14067516 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14067516 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 338 12438 0 0 0 0 4 3 20 0 15 0 112640536 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 20.05 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 531076 KiB
[startup+25.5008 s]
/proc/loadavg: 1.44 1.60 1.75 5/216 32578
/proc/meminfo: memFree=30408088/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14067516 memory=789804 CPUtime=36.24 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 97434 12438 0 0 3572 45 4 3 20 0 15 0 112640265 14405136384 197451 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
################
# More data... #
################
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 58145 12438 0 0 15814 25 4 3 20 0 15 0 112640527 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140158219257680 140157833761173 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14067516 memory=280370230930064 CPUtime=0.62 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 3509 12438 0 0 49 6 4 3 20 0 15 0 112640527 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14067516 memory=793328 CPUtime=0.6 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 457 12438 0 0 48 5 4 3 20 0 15 0 112640527 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14067516 memory=807656 CPUtime=0.61 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 2989 12438 0 0 50 4 4 3 20 0 15 0 112640527 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14067516 memory=797436 CPUtime=0.63 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 1679 12438 0 0 50 6 4 3 20 0 15 0 112640527 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14067516 memory=797948 CPUtime=0.57 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 3955 12438 0 0 47 3 4 3 20 0 15 0 112640529 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14067516 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 70 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14067516 memory=1620 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 51 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14067516 memory=795892 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14067516 memory=2248 CPUtime=11.52 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 14280 12438 0 0 1140 5 4 3 20 0 15 0 112640532 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14067516 memory=797948 CPUtime=12.49 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 22046 12438 0 0 1236 6 4 3 20 0 15 0 112640532 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14067516 memory=7590649420869231717 CPUtime=3.63 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 16570 12438 0 0 349 7 4 3 20 0 15 0 112640532 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14067516 memory=844 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14067516 memory=18484 CPUtime=0.15 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 692 12438 0 0 4 4 4 3 20 0 15 0 112640536 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 188.77 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 793328 KiB
[startup+222.301 s]
/proc/loadavg: 1.45 1.61 1.74 3/215 32586
/proc/meminfo: memFree=29591328/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14067516 memory=692568 CPUtime=249.59 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 132307 12438 0 0 24871 81 4 3 20 0 15 0 112640265 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3516879 173142 3484 1 0 3505493 0
[pid=32388/tid=32438] ppid=32385 vsize=14067516 memory=754464 CPUtime=217.86 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 60099 12438 0 0 21753 26 4 3 20 0 15 0 112640527 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140158219258240 140157824158964 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14067516 memory=746768 CPUtime=0.9 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 3694 12438 0 0 76 7 4 3 20 0 15 0 112640527 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14067516 memory=56 CPUtime=0.89 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 2128 12438 0 0 75 7 4 3 20 0 15 0 112640527 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14067516 memory=707452 CPUtime=0.9 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 3146 12438 0 0 77 6 4 3 20 0 15 0 112640527 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14067516 memory=702828 CPUtime=0.91 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 2074 12438 0 0 76 8 4 3 20 0 15 0 112640527 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14067516 memory=692568 CPUtime=0.84 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 4327 12438 0 0 71 6 4 3 20 0 15 0 112640529 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14067516 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 76 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14067516 memory=725920 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 51 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14067516 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14067516 memory=698212 CPUtime=11.52 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 15220 12438 0 0 1140 5 4 3 20 0 15 0 112640532 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14067516 memory=4168 CPUtime=12.49 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 22048 12438 0 0 1236 6 4 3 20 0 15 0 112640532 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14067516 memory=54572 CPUtime=3.63 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 16572 12438 0 0 349 7 4 3 20 0 15 0 112640532 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14067516 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14067516 memory=703348 CPUtime=0.18 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 716 12438 0 0 6 5 4 3 20 0 15 0 112640536 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 249.59 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 692568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+224.701 s]
/proc/loadavg: 1.41 1.60 1.73 3/215 32586
/proc/meminfo: memFree=29599832/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14067516 memory=684380 CPUtime=252.01 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 132343 12438 0 0 25113 81 4 3 20 0 15 0 112640265 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3516879 171095 3484 1 0 3505493 0
[pid=32388/tid=32438] ppid=32385 vsize=14067516 memory=685920 CPUtime=220.23 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 60114 12438 0 0 21990 26 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158219258208 140157822455372 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14067516 memory=754464 CPUtime=0.91 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 3699 12438 0 0 77 7 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14067516 memory=746768 CPUtime=0.9 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 2133 12438 0 0 76 7 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14067516 memory=56 CPUtime=0.91 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 3150 12438 0 0 78 6 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14067516 memory=707452 CPUtime=0.92 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 2081 12438 0 0 77 8 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14067516 memory=692568 CPUtime=0.86 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 4327 12438 0 0 73 6 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14067516 memory=691544 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 76 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14067516 memory=689000 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 51 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14067516 memory=686948 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14067516 memory=7 CPUtime=11.52 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 15220 12438 0 0 1140 5 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14067516 memory=692056 CPUtime=12.49 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 22048 12438 0 0 1236 6 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14067516 memory=692568 CPUtime=3.63 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 16572 12438 0 0 349 7 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14067516 memory=686948 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14067516 memory=14356 CPUtime=0.18 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 716 12438 0 0 6 5 4 3 20 0 15 0 112640536 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 684380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+224.745 s]
# the end of solver process 32388 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.221 s, system=0.874179 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+224.701 s]
/proc/loadavg: 1.41 1.60 1.73 3/215 32586
/proc/meminfo: memFree=29599832/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14067516 memory=684380 CPUtime=252.01 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 132343 12438 0 0 25113 81 4 3 20 0 15 0 112640265 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3516879 171095 3484 1 0 3505493 0
[pid=32388/tid=32438] ppid=32385 vsize=14067516 memory=685920 CPUtime=220.23 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 60114 12438 0 0 21990 26 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158219258208 140157822455372 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14067516 memory=754464 CPUtime=0.91 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 3699 12438 0 0 77 7 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14067516 memory=746768 CPUtime=0.9 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 2133 12438 0 0 76 7 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14067516 memory=56 CPUtime=0.91 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 3150 12438 0 0 78 6 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14067516 memory=707452 CPUtime=0.92 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 2081 12438 0 0 77 8 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14067516 memory=692568 CPUtime=0.86 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 4327 12438 0 0 73 6 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14067516 memory=691544 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 76 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14067516 memory=689000 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 51 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14067516 memory=686948 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14067516 memory=7 CPUtime=11.52 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 15220 12438 0 0 1140 5 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14067516 memory=692056 CPUtime=12.49 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 22048 12438 0 0 1236 6 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14067516 memory=692568 CPUtime=3.63 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 16572 12438 0 0 349 7 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14067516 memory=686948 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14067516 memory=14356 CPUtime=0.18 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 716 12438 0 0 6 5 4 3 20 0 15 0 112640536 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 684380 KiB
Child status: 143
Real time (s): 224.745
CPU time (s): 252.095
CPU user time (s): 251.221
CPU system time (s): 0.874179
CPU usage (%): 112.17
Max. virtual memory (cumulated for all children) (KiB): 14069636
Max. memory (cumulated for all children) (KiB): 918280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.221
system time used= 0.874179
maximum resident set size= 919684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149300
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37230
involuntary context switches= 1496
# summary of solver processes directly reported to runsolver:
# pid: 32388
# total CPU time (s): 252.095
# total CPU user time (s): 251.221
# total CPU system time (s): 0.874179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.69646 second user time and 1.89746 second system time
The end