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 (10268 MiB free)
memory of node 1: 16384 MiB (4932 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304197-1534046581/watcher-4304197-1534046581 -o /tmp/evaluation-result-4304197-1534046581/solver-4304197-1534046581 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534039158-26715 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1104608120 HOME/instance-4304197-1534046581.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=28013, runsolver pid=28010
[startup+0.100059 s]*
/proc/loadavg: 1.25 1.22 1.28 3/208 28070
/proc/meminfo: memFree=15560344/32770624 swapFree=67108844/67108860
[pid=28013] ppid=28010 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/28013/stat : 28013 (java) S 28010 28013 25584 0 -1 1077944320 4345 12858 0 0 1 0 5 3 20 0 6 0 222221332 10245611520 4203 33554432000 4194304 4196468 140732494117840 140732494100384 140694426156791 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
/proc/28013/statm: 2501370 4203 1934 1 0 2489808 0
[pid=28013/tid=28066] ppid=28010 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28066/stat : 28066 (java) R 28010 28013 25584 0 -1 4202560 2151 12858 0 0 0 0 5 3 20 0 6 0 222221341 10245611520 4203 33554432000 4194304 4196468 140732494117840 140694397993552 140694426178717 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28067] ppid=28010 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28067/stat : 28067 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 6 0 222221342 10245611520 4203 33554432000 4194304 4196468 140732494117840 140694430398992 140694426166997 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28068] ppid=28010 vsize=10005480 memory=139933861361280 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28068/stat : 28068 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 6 0 222221342 10245611520 4203 33554432000 4194304 4196468 140732494117840 140694285118096 140694426166997 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28069] ppid=28010 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28069/stat : 28069 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 6 0 222221342 10245611520 4203 33554432000 4194304 4196468 140732494117840 140694284065040 140694426166997 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28070] ppid=28010 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28070/stat : 28070 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 6 0 222221342 10245611520 4203 33554432000 4194304 4196468 140732494117840 140694283012496 140694426166997 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210213 s]*
/proc/loadavg: 1.25 1.22 1.28 3/217 28079
/proc/meminfo: memFree=15536456/32770624 swapFree=67108844/67108860
[pid=28013] ppid=28010 vsize=10982744 memory=44032 CPUtime=0.26 cores=0,2,4,6
/proc/28013/stat : 28013 (java) S 28010 28013 25584 0 -1 1077944320 7630 12858 0 0 17 1 5 3 20 0 15 0 222221332 11246329856 11008 33554432000 4194304 4196468 140732494117840 140732494100384 140694426156791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
/proc/28013/statm: 2745686 11008 2989 1 0 2708109 0
[pid=28013/tid=28066] ppid=28010 vsize=10982744 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28013/task/28066/stat : 28066 (java) R 28010 28013 25584 0 -1 4202560 4214 12858 0 0 11 1 5 3 20 0 15 0 222221341 11246329856 11008 33554432000 4194304 4196468 140732494117840 140694397978696 140694406432540 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28067] ppid=28010 vsize=10982744 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28067/stat : 28067 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246329856 11008 33554432000 4194304 4196468 140732494117840 140694430398992 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28068] ppid=28010 vsize=10982744 memory=288370310013073024 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28068/stat : 28068 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246329856 11008 33554432000 4194304 4196468 140732494117840 140694285118096 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28069] ppid=28010 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28069/stat : 28069 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246329856 11008 33554432000 4194304 4196468 140732494117840 140694284065040 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28070] ppid=28010 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28070/stat : 28070 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246329856 11008 33554432000 4194304 4196468 140732494117840 140694283012496 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28071] ppid=28010 vsize=10982744 memory=139933861361280 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28071/stat : 28071 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 15 0 222221343 11246329856 11008 33554432000 4194304 4196468 140732494117840 140693851798256 140694426167938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28072] ppid=28010 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28072/stat : 28072 (java) S 28010 28013 25584 0 -1 1077944384 13 12858 0 0 0 0 5 3 20 0 15 0 222221344 11246329856 11074 33554432000 4194304 4196468 140732494117840 140693210130080 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28073] ppid=28010 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28073/stat : 28073 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221344 11246329856 11074 33554432000 4194304 4196468 140732494117840 140693062280432 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28074] ppid=28010 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28074/stat : 28074 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221346 11246329856 11074 33554432000 4194304 4196468 140732494117840 140692754880976 140694426175387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28075] ppid=28010 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28013/task/28075/stat : 28075 (java) S 28010 28013 25584 0 -1 1077944384 357 12858 0 0 1 0 5 3 20 0 15 0 222221346 11246329856 11074 33554432000 4194304 4196468 140732494117840 140693850745072 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28076] ppid=28010 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/28013/task/28076/stat : 28076 (java) S 28010 28013 25584 0 -1 1077944384 266 12858 0 0 1 0 5 3 20 0 15 0 222221346 11246329856 11074 33554432000 4194304 4196468 140732494117840 140693849692528 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28077] ppid=28010 vsize=10982744 memory=139933861361280 CPUtime=0.11 cores=0,2,4,6
/proc/28013/task/28077/stat : 28077 (java) S 28010 28013 25584 0 -1 1077944384 597 12858 0 0 3 0 5 3 20 0 15 0 222221346 11246329856 11074 33554432000 4194304 4196468 140732494117840 140693848639472 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28078] ppid=28010 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28078/stat : 28078 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221347 11246329856 11074 33554432000 4194304 4196468 140732494117840 140692324084064 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28079] ppid=28010 vsize=10982744 memory=139933861361280 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28079/stat : 28079 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221347 11246329856 11074 33554432000 4194304 4196468 140732494117840 140693847587888 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44032 KiB
[startup+0.310214 s]*
/proc/loadavg: 1.25 1.22 1.28 3/217 28079
/proc/meminfo: memFree=15525288/32770624 swapFree=67108844/67108860
[pid=28013] ppid=28010 vsize=10983192 memory=56056 CPUtime=0.38 cores=0,2,4,6
/proc/28013/stat : 28013 (java) S 28010 28013 25584 0 -1 1077944320 10496 12858 0 0 28 2 5 3 20 0 15 0 222221332 11246788608 14014 33554432000 4194304 4196468 140732494117840 140732494100384 140694426156791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
/proc/28013/statm: 2745798 14014 3108 1 0 2708109 0
[pid=28013/tid=28066] ppid=28010 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28013/task/28066/stat : 28066 (java) R 28010 28013 25584 0 -1 4202560 7046 12858 0 0 19 2 5 3 20 0 15 0 222221341 11246788608 14014 33554432000 4194304 4196468 140732494117840 140694397946320 140694426178717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28067] ppid=28010 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28067/stat : 28067 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246788608 14014 33554432000 4194304 4196468 140732494117840 140694430398992 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28068] ppid=28010 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28068/stat : 28068 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246788608 14014 33554432000 4194304 4196468 140732494117840 140694285118096 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28069] ppid=28010 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28069/stat : 28069 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246788608 14014 33554432000 4194304 4196468 140732494117840 140694284065040 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28070] ppid=28010 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28070/stat : 28070 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246788608 14014 33554432000 4194304 4196468 140732494117840 140694283012496 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28071] ppid=28010 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28071/stat : 28071 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 15 0 222221343 11246788608 14014 33554432000 4194304 4196468 140732494117840 140693851798256 140694426167938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28072] ppid=28010 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28072/stat : 28072 (java) S 28010 28013 25584 0 -1 1077944384 13 12858 0 0 0 0 5 3 20 0 15 0 222221344 11246788608 14014 33554432000 4194304 4196468 140732494117840 140693210130080 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28073] ppid=28010 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28073/stat : 28073 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221344 11246788608 14014 33554432000 4194304 4196468 140732494117840 140693062280432 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28074] ppid=28010 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28074/stat : 28074 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221346 11246788608 14014 33554432000 4194304 4196468 140732494117840 140692754880976 140694426175387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28075] ppid=28010 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28013/task/28075/stat : 28075 (java) S 28010 28013 25584 0 -1 1077944384 360 12858 0 0 1 0 5 3 20 0 15 0 222221346 11246788608 14014 33554432000 4194304 4196468 140732494117840 140693850745072 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28076] ppid=28010 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/28013/task/28076/stat : 28076 (java) S 28010 28013 25584 0 -1 1077944384 267 12858 0 0 1 0 5 3 20 0 15 0 222221346 11246788608 14014 33554432000 4194304 4196468 140732494117840 140693849692528 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28077] ppid=28010 vsize=10983192 memory=139933861361280 CPUtime=0.13 cores=0,2,4,6
/proc/28013/task/28077/stat : 28077 (java) S 28010 28013 25584 0 -1 1077944384 603 12858 0 0 5 0 5 3 20 0 15 0 222221346 11246788608 14014 33554432000 4194304 4196468 140732494117840 140693848639472 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28078] ppid=28010 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28078/stat : 28078 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221347 11246788608 14014 33554432000 4194304 4196468 140732494117840 140692324084064 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28079] ppid=28010 vsize=10983192 memory=139933861361280 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28079/stat : 28079 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221347 11246788608 14014 33554432000 4194304 4196468 140732494117840 140693847587888 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56056 KiB
[startup+0.700826 s]
/proc/loadavg: 1.25 1.22 1.28 3/217 28079
/proc/meminfo: memFree=15501740/32770624 swapFree=67108844/67108860
[pid=28013] ppid=28010 vsize=10983192 memory=88628 CPUtime=1 cores=0,2,4,6
/proc/28013/stat : 28013 (java) S 28010 28013 25584 0 -1 1077944320 16762 12858 0 0 87 5 5 3 20 0 15 0 222221332 11246788608 22157 33554432000 4194304 4196468 140732494117840 140732494100384 140694426156791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
/proc/28013/statm: 2745798 22157 3243 1 0 2708109 0
[pid=28013/tid=28066] ppid=28010 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/28013/task/28066/stat : 28066 (java) R 28010 28013 25584 0 -1 4202560 12148 12858 0 0 55 4 5 3 20 0 15 0 222221341 11246788608 22157 33554432000 4194304 4196468 140732494117840 140694397995088 140694407720291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28067] ppid=28010 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28067/stat : 28067 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246788608 22157 33554432000 4194304 4196468 140732494117840 140694430398992 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28068] ppid=28010 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28068/stat : 28068 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246788608 22157 33554432000 4194304 4196468 140732494117840 140694285118096 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28069] ppid=28010 vsize=10983192 memory=139933725635344 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28069/stat : 28069 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246788608 22157 33554432000 4194304 4196468 140732494117840 140694284065040 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28070] ppid=28010 vsize=10983192 memory=139934329471572 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28070/stat : 28070 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 15 0 222221342 11246788608 22157 33554432000 4194304 4196468 140732494117840 140694283012496 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28071] ppid=28010 vsize=10983192 memory=5776 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28071/stat : 28071 (java) S 28010 28013 25584 0 -1 1077944384 5 12858 0 0 0 0 5 3 20 0 15 0 222221343 11246788608 22157 33554432000 4194304 4196468 140732494117840 140693851798256 140694426167938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28072] ppid=28010 vsize=10983192 memory=7662705889289527641 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28072/stat : 28072 (java) S 28010 28013 25584 0 -1 1077944384 13 12858 0 0 0 0 5 3 20 0 15 0 222221344 11246788608 22157 33554432000 4194304 4196468 140732494117840 140693210130080 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28073] ppid=28010 vsize=10983192 memory=6082220498109623144 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28073/stat : 28073 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221344 11246788608 22157 33554432000 4194304 4196468 140732494117840 140693062280432 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28074] ppid=28010 vsize=10983192 memory=12708 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28074/stat : 28074 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221346 11246788608 22157 33554432000 4194304 4196468 140732494117840 140692754880976 140694426175387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28075] ppid=28010 vsize=10983192 memory=33256 CPUtime=0.15 cores=0,2,4,6
/proc/28013/task/28075/stat : 28075 (java) S 28010 28013 25584 0 -1 1077944384 810 12858 0 0 7 0 5 3 20 0 15 0 222221346 11246788608 22157 33554432000 4194304 4196468 140732494117840 140693850745072 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28076] ppid=28010 vsize=10983192 memory=2324 CPUtime=0.17 cores=0,2,4,6
/proc/28013/task/28076/stat : 28076 (java) S 28010 28013 25584 0 -1 1077944384 887 12858 0 0 9 0 5 3 20 0 15 0 222221346 11246788608 22157 33554432000 4194304 4196468 140732494117840 140693849692528 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28077] ppid=28010 vsize=10983192 memory=1584 CPUtime=0.21 cores=0,2,4,6
/proc/28013/task/28077/stat : 28077 (java) S 28010 28013 25584 0 -1 1077944384 694 12858 0 0 13 0 5 3 20 0 15 0 222221346 11246788608 22157 33554432000 4194304 4196468 140732494117840 140693848639472 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28078] ppid=28010 vsize=10983192 memory=496 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28078/stat : 28078 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221347 11246788608 22157 33554432000 4194304 4196468 140732494117840 140692324084064 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28079] ppid=28010 vsize=10983192 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28079/stat : 28079 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221347 11246788608 22157 33554432000 4194304 4196468 140732494117840 140693847587888 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88628 KiB
[startup+1.50122 s]
/proc/loadavg: 1.25 1.22 1.28 3/217 28079
/proc/meminfo: memFree=15469988/32770624 swapFree=67108844/67108860
[pid=28013] ppid=28010 vsize=10996044 memory=180244 CPUtime=3 cores=0,2,4,6
/proc/28013/stat : 28013 (java) S 28010 28013 25584 0 -1 1077944320 28962 12858 0 0 282 10 5 3 20 0 15 0 222221332 11259949056 45061 33554432000 4194304 4196468 140732494117840 140732494100384 140694426156791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
/proc/28013/statm: 2749011 45061 3442 1 0 2710669 0
[pid=28013/tid=28066] ppid=28010 vsize=10996044 memory=65008 CPUtime=1.46 cores=0,2,4,6
/proc/28013/task/28066/stat : 28066 (java) R 28010 28013 25584 0 -1 4202560 18454 12858 0 0 131 7 5 3 20 0 15 0 222221341 11259949056 45061 33554432000 4194304 4196468 140732494117840 140694397972816 140694410237278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28067] ppid=28010 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28067/stat : 28067 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221342 11259949056 45061 33554432000 4194304 4196468 140732494117840 140694430398992 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28068] ppid=28010 vsize=10996044 memory=279867451302048 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28068/stat : 28068 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221342 11259949056 45061 33554432000 4194304 4196468 140732494117840 140694285118096 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28069] ppid=28010 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28069/stat : 28069 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 15 0 222221342 11259949056 45061 33554432000 4194304 4196468 140732494117840 140694284065040 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28070] ppid=28010 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28070/stat : 28070 (java) S 28010 28013 25584 0 -1 1077944384 2 12858 0 0 0 0 5 3 20 0 15 0 222221342 11259949056 45061 33554432000 4194304 4196468 140732494117840 140694283012496 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28071] ppid=28010 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28071/stat : 28071 (java) S 28010 28013 25584 0 -1 1077944384 6 12858 0 0 0 0 5 3 20 0 15 0 222221343 11259949056 45061 33554432000 4194304 4196468 140732494117840 140693851798256 140694426167938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28072] ppid=28010 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28072/stat : 28072 (java) S 28010 28013 25584 0 -1 1077944384 13 12858 0 0 0 0 5 3 20 0 15 0 222221344 11259949056 45061 33554432000 4194304 4196468 140732494117840 140693210130080 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28073] ppid=28010 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28073/stat : 28073 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221344 11259949056 45061 33554432000 4194304 4196468 140732494117840 140693062280432 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28074] ppid=28010 vsize=10996044 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28074/stat : 28074 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221346 11259949056 45061 33554432000 4194304 4196468 140732494117840 140692754880976 140694426175387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28075] ppid=28010 vsize=10996044 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/28013/task/28075/stat : 28075 (java) R 28010 28013 25584 0 -1 4202560 2898 12858 0 0 51 0 5 3 20 0 15 0 222221346 11259949056 45061 33554432000 4194304 4196468 140732494117840 140693850731104 140694411078740 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28076] ppid=28010 vsize=10996044 memory=10 CPUtime=0.63 cores=0,2,4,6
/proc/28013/task/28076/stat : 28076 (java) R 28010 28013 25584 0 -1 4202560 3471 12858 0 0 55 0 5 3 20 0 15 0 222221346 11259949056 45061 33554432000 4194304 4196468 140732494117840 140693849692528 140694412212122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28077] ppid=28010 vsize=10996044 memory=6791534058613427641 CPUtime=0.5 cores=0,2,4,6
/proc/28013/task/28077/stat : 28077 (java) S 28010 28013 25584 0 -1 1077944384 1916 12858 0 0 42 0 5 3 20 0 15 0 222221346 11259949056 45061 33554432000 4194304 4196468 140732494117840 140693848639472 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28078] ppid=28010 vsize=10996044 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28078/stat : 28078 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221347 11259949056 45061 33554432000 4194304 4196468 140732494117840 140692324084064 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28079] ppid=28010 vsize=10996044 memory=279867451546560 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28079/stat : 28079 (java) S 28010 28013 25584 0 -1 1077944384 1 12858 0 0 0 0 5 3 20 0 15 0 222221347 11259949056 45061 33554432000 4194304 4196468 140732494117840 140693847587888 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/28013/task/28066/stat : 28066 (java) R 28010 28013 25584 0 -1 4202560 91837 12858 0 0 236141 53 5 3 20 0 15 0 222221341 11348049920 318761 33554432000 4194304 4196468 140732494117840 140694397992240 140693972333502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28067] ppid=28010 vsize=11082080 memory=1275044 CPUtime=9.47 cores=0,2,4,6
/proc/28013/task/28067/stat : 28067 (java) S 28010 28013 25584 0 -1 1077944384 19293 12858 0 0 892 47 5 3 20 0 15 0 222221342 11348049920 318761 33554432000 4194304 4196468 140732494117840 140694430398992 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28068] ppid=28010 vsize=11082080 memory=1275044 CPUtime=9.49 cores=0,2,4,6
/proc/28013/task/28068/stat : 28068 (java) S 28010 28013 25584 0 -1 1077944384 11290 12858 0 0 895 46 5 3 20 0 15 0 222221342 11348049920 318761 33554432000 4194304 4196468 140732494117840 140694285118096 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28069] ppid=28010 vsize=11082080 memory=1275044 CPUtime=9.51 cores=0,2,4,6
/proc/28013/task/28069/stat : 28069 (java) S 28010 28013 25584 0 -1 1077944384 11146 12858 0 0 895 48 5 3 20 0 15 0 222221342 11348049920 318761 33554432000 4194304 4196468 140732494117840 140694284065040 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28070] ppid=28010 vsize=11082080 memory=1275044 CPUtime=9.47 cores=0,2,4,6
/proc/28013/task/28070/stat : 28070 (java) S 28010 28013 25584 0 -1 1077944384 11409 12858 0 0 893 46 5 3 20 0 15 0 222221342 11348049920 318761 33554432000 4194304 4196468 140732494117840 140694283012496 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28071] ppid=28010 vsize=11082080 memory=1272984 CPUtime=8.24 cores=0,2,4,6
/proc/28013/task/28071/stat : 28071 (java) S 28010 28013 25584 0 -1 1077944384 16869 12858 0 0 778 38 5 3 20 0 15 0 222221343 11348049920 318761 33554432000 4194304 4196468 140732494117840 140693851798256 140694426167938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28072] ppid=28010 vsize=11082080 memory=2257 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28072/stat : 28072 (java) S 28010 28013 25584 0 -1 1077944384 18 12858 0 0 0 0 5 3 20 0 15 0 222221344 11348049920 318761 33554432000 4194304 4196468 140732494117840 140693210130144 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28073] ppid=28010 vsize=11082080 memory=1275044 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28073/stat : 28073 (java) S 28010 28013 25584 0 -1 1077944384 8 12858 0 0 0 0 5 3 20 0 15 0 222221344 11348049920 318761 33554432000 4194304 4196468 140732494117840 140693062280448 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28074] ppid=28010 vsize=11082080 memory=279867452709408 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28074/stat : 28074 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221346 11348049920 318761 33554432000 4194304 4196468 140732494117840 140692754880976 140694426175387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28075] ppid=28010 vsize=11082080 memory=1020 CPUtime=9.17 cores=0,2,4,6
/proc/28013/task/28075/stat : 28075 (java) S 28010 28013 25584 0 -1 1077944384 81703 12858 0 0 900 9 5 3 20 0 15 0 222221346 11348049920 318761 33554432000 4194304 4196468 140732494117840 140693850745072 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28076] ppid=28010 vsize=11082080 memory=5776 CPUtime=9.66 cores=0,2,4,6
/proc/28013/task/28076/stat : 28076 (java) S 28010 28013 25584 0 -1 1077944384 86687 12858 0 0 950 8 5 3 20 0 15 0 222221346 11348049920 318761 33554432000 4194304 4196468 140732494117840 140693849692528 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28077] ppid=28010 vsize=11082080 memory=6791534058613427641 CPUtime=4.44 cores=0,2,4,6
/proc/28013/task/28077/stat : 28077 (java) S 28010 28013 25584 0 -1 1077944384 91041 12858 0 0 426 10 5 3 20 0 15 0 222221346 11348049920 318761 33554432000 4194304 4196468 140732494117840 140693848639472 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28078] ppid=28010 vsize=11082080 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28078/stat : 28078 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221347 11348049920 318761 33554432000 4194304 4196468 140732494117840 140692324084064 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28079] ppid=28010 vsize=11082080 memory=4140 CPUtime=1.48 cores=0,2,4,6
/proc/28013/task/28079/stat : 28079 (java) S 28010 28013 25584 0 -1 1077944384 1868 12858 0 0 66 74 5 3 20 0 15 0 222221347 11348049920 318761 33554432000 4194304 4196468 140732494117840 140693847587888 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
Current children cumulated CPU time: 2432.34 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1275044 KiB
[startup+2442.3 s]
/proc/loadavg: 1.65 1.46 1.42 3/215 28282
/proc/meminfo: memFree=14266596/32770624 swapFree=67108844/67108860
[pid=28013] ppid=28010 vsize=11082080 memory=1275124 CPUtime=2493.1 cores=0,2,4,6
/proc/28013/stat : 28013 (java) S 28010 28013 25584 0 -1 1077944320 426658 12858 0 0 248971 331 5 3 20 0 15 0 222221332 11348049920 318781 33554432000 4194304 4196468 140732494117840 140732494100384 140694426156791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
/proc/28013/statm: 2770520 318781 3526 1 0 2732173 0
[pid=28013/tid=28066] ppid=28010 vsize=11082080 memory=1275124 CPUtime=2421.51 cores=0,2,4,6
/proc/28013/task/28066/stat : 28066 (java) R 28010 28013 25584 0 -1 4202560 92611 12858 0 0 242089 54 5 3 20 0 15 0 222221341 11348049920 318781 33554432000 4194304 4196468 140732494117840 140694397992304 140693972610272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28067] ppid=28010 vsize=11082080 memory=2204 CPUtime=9.74 cores=0,2,4,6
/proc/28013/task/28067/stat : 28067 (java) S 28010 28013 25584 0 -1 1077944384 19407 12858 0 0 917 49 5 3 20 0 15 0 222221342 11348049920 318781 33554432000 4194304 4196468 140732494117840 140694430398992 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28068] ppid=28010 vsize=11082080 memory=1275076 CPUtime=9.75 cores=0,2,4,6
/proc/28013/task/28068/stat : 28068 (java) S 28010 28013 25584 0 -1 1077944384 11377 12858 0 0 920 47 5 3 20 0 15 0 222221342 11348049920 318781 33554432000 4194304 4196468 140732494117840 140694285118096 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28069] ppid=28010 vsize=11082080 memory=1275124 CPUtime=9.76 cores=0,2,4,6
/proc/28013/task/28069/stat : 28069 (java) S 28010 28013 25584 0 -1 1077944384 11181 12858 0 0 919 49 5 3 20 0 15 0 222221342 11348049920 318781 33554432000 4194304 4196468 140732494117840 140694284065040 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28070] ppid=28010 vsize=11082080 memory=1275124 CPUtime=9.72 cores=0,2,4,6
/proc/28013/task/28070/stat : 28070 (java) S 28010 28013 25584 0 -1 1077944384 11443 12858 0 0 918 46 5 3 20 0 15 0 222221342 11348049920 318781 33554432000 4194304 4196468 140732494117840 140694283012496 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28071] ppid=28010 vsize=11082080 memory=1275124 CPUtime=8.46 cores=0,2,4,6
/proc/28013/task/28071/stat : 28071 (java) S 28010 28013 25584 0 -1 1077944384 17091 12858 0 0 799 39 5 3 20 0 15 0 222221343 11348049920 318781 33554432000 4194304 4196468 140732494117840 140693851798256 140694426167938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28072] ppid=28010 vsize=11082080 memory=1275124 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28072/stat : 28072 (java) S 28010 28013 25584 0 -1 1077944384 18 12858 0 0 0 0 5 3 20 0 15 0 222221344 11348049920 318781 33554432000 4194304 4196468 140732494117840 140693210130144 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28073] ppid=28010 vsize=11082080 memory=1275124 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28073/stat : 28073 (java) S 28010 28013 25584 0 -1 1077944384 8 12858 0 0 0 0 5 3 20 0 15 0 222221344 11348049920 318781 33554432000 4194304 4196468 140732494117840 140693062280448 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28074] ppid=28010 vsize=11082080 memory=1272984 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28074/stat : 28074 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221346 11348049920 318781 33554432000 4194304 4196468 140732494117840 140692754880976 140694426175387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28075] ppid=28010 vsize=11082080 memory=3952 CPUtime=9.17 cores=0,2,4,6
/proc/28013/task/28075/stat : 28075 (java) S 28010 28013 25584 0 -1 1077944384 81705 12858 0 0 900 9 5 3 20 0 15 0 222221346 11348049920 318781 33554432000 4194304 4196468 140732494117840 140693850745072 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28076] ppid=28010 vsize=11082080 memory=4140 CPUtime=9.66 cores=0,2,4,6
/proc/28013/task/28076/stat : 28076 (java) S 28010 28013 25584 0 -1 1077944384 86689 12858 0 0 950 8 5 3 20 0 15 0 222221346 11348049920 318781 33554432000 4194304 4196468 140732494117840 140693849692528 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28077] ppid=28010 vsize=11082080 memory=2204 CPUtime=4.44 cores=0,2,4,6
/proc/28013/task/28077/stat : 28077 (java) S 28010 28013 25584 0 -1 1077944384 91044 12858 0 0 426 10 5 3 20 0 15 0 222221346 11348049920 318781 33554432000 4194304 4196468 140732494117840 140693848639472 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28078] ppid=28010 vsize=11082080 memory=1275124 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28078/stat : 28078 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221347 11348049920 318781 33554432000 4194304 4196468 140732494117840 140692324084064 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28079] ppid=28010 vsize=11082080 memory=14568 CPUtime=1.51 cores=0,2,4,6
/proc/28013/task/28079/stat : 28079 (java) S 28010 28013 25584 0 -1 1077944384 1887 12858 0 0 67 76 5 3 20 0 15 0 222221347 11348049920 318781 33554432000 4194304 4196468 140732494117840 140693847587888 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
Current children cumulated CPU time: 2493.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1275124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.9 s]
/proc/loadavg: 1.43 1.43 1.41 3/215 28282
/proc/meminfo: memFree=14266612/32770624 swapFree=67108844/67108860
[pid=28013] ppid=28010 vsize=11082080 memory=1275140 CPUtime=2520.01 cores=0,2,4,6
/proc/28013/stat : 28013 (java) S 28010 28013 25584 0 -1 1077944320 427331 12858 0 0 251660 333 5 3 20 0 15 0 222221332 11348049920 318785 33554432000 4194304 4196468 140732494117840 140732494100384 140694426156791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
/proc/28013/statm: 2770520 318785 3526 1 0 2732173 0
[pid=28013/tid=28066] ppid=28010 vsize=11082080 memory=1275140 CPUtime=2447.88 cores=0,2,4,6
/proc/28013/task/28066/stat : 28066 (java) R 28010 28013 25584 0 -1 4202560 92953 12858 0 0 244726 54 5 3 20 0 15 0 222221341 11348049920 318785 33554432000 4194304 4196468 140732494117840 140694397992064 140693971629593 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28067] ppid=28010 vsize=11082080 memory=1275140 CPUtime=9.84 cores=0,2,4,6
/proc/28013/task/28067/stat : 28067 (java) S 28010 28013 25584 0 -1 1077944384 19410 12858 0 0 927 49 5 3 20 0 15 0 222221342 11348049920 318785 33554432000 4194304 4196468 140732494117840 140694430398992 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28068] ppid=28010 vsize=11082080 memory=1275140 CPUtime=9.85 cores=0,2,4,6
/proc/28013/task/28068/stat : 28068 (java) S 28010 28013 25584 0 -1 1077944384 11382 12858 0 0 930 47 5 3 20 0 15 0 222221342 11348049920 318785 33554432000 4194304 4196468 140732494117840 140694285118096 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28069] ppid=28010 vsize=11082080 memory=1275124 CPUtime=9.88 cores=0,2,4,6
/proc/28013/task/28069/stat : 28069 (java) S 28010 28013 25584 0 -1 1077944384 11209 12858 0 0 930 50 5 3 20 0 15 0 222221342 11348049920 318785 33554432000 4194304 4196468 140732494117840 140694284065040 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28070] ppid=28010 vsize=11082080 memory=1275124 CPUtime=9.83 cores=0,2,4,6
/proc/28013/task/28070/stat : 28070 (java) S 28010 28013 25584 0 -1 1077944384 11536 12858 0 0 928 47 5 3 20 0 15 0 222221342 11348049920 318785 33554432000 4194304 4196468 140732494117840 140694283012496 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28071] ppid=28010 vsize=11082080 memory=1275124 CPUtime=8.55 cores=0,2,4,6
/proc/28013/task/28071/stat : 28071 (java) S 28010 28013 25584 0 -1 1077944384 17274 12858 0 0 808 39 5 3 20 0 15 0 222221343 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693851798256 140694426167938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28072] ppid=28010 vsize=11082080 memory=1275124 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28072/stat : 28072 (java) S 28010 28013 25584 0 -1 1077944384 18 12858 0 0 0 0 5 3 20 0 15 0 222221344 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693210130144 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28073] ppid=28010 vsize=11082080 memory=1275140 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28073/stat : 28073 (java) S 28010 28013 25584 0 -1 1077944384 8 12858 0 0 0 0 5 3 20 0 15 0 222221344 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693062280448 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28074] ppid=28010 vsize=11082080 memory=1275140 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28074/stat : 28074 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221346 11348049920 318785 33554432000 4194304 4196468 140732494117840 140692754880976 140694426175387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28075] ppid=28010 vsize=11082080 memory=2648 CPUtime=9.17 cores=0,2,4,6
/proc/28013/task/28075/stat : 28075 (java) S 28010 28013 25584 0 -1 1077944384 81707 12858 0 0 900 9 5 3 20 0 15 0 222221346 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693850745072 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28076] ppid=28010 vsize=11082080 memory=1275124 CPUtime=9.66 cores=0,2,4,6
/proc/28013/task/28076/stat : 28076 (java) S 28010 28013 25584 0 -1 1077944384 86691 12858 0 0 950 8 5 3 20 0 15 0 222221346 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693849692528 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28077] ppid=28010 vsize=11082080 memory=6791534058613427641 CPUtime=4.44 cores=0,2,4,6
/proc/28013/task/28077/stat : 28077 (java) S 28010 28013 25584 0 -1 1077944384 91046 12858 0 0 426 10 5 3 20 0 15 0 222221346 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693848639472 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28078] ppid=28010 vsize=11082080 memory=1275140 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28078/stat : 28078 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221347 11348049920 318785 33554432000 4194304 4196468 140732494117840 140692324084064 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28079] ppid=28010 vsize=11082080 memory=756 CPUtime=1.52 cores=0,2,4,6
/proc/28013/task/28079/stat : 28079 (java) S 28010 28013 25584 0 -1 1077944384 1900 12858 0 0 67 77 5 3 20 0 15 0 222221347 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693847587888 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1275140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.94 s]
# the end of solver process 28013 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.68 s, system=3.37969 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.9 s]
/proc/loadavg: 1.43 1.43 1.41 3/215 28282
/proc/meminfo: memFree=14266612/32770624 swapFree=67108844/67108860
[pid=28013] ppid=28010 vsize=11082080 memory=1275140 CPUtime=2520.01 cores=0,2,4,6
/proc/28013/stat : 28013 (java) S 28010 28013 25584 0 -1 1077944320 427331 12858 0 0 251660 333 5 3 20 0 15 0 222221332 11348049920 318785 33554432000 4194304 4196468 140732494117840 140732494100384 140694426156791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
/proc/28013/statm: 2770520 318785 3526 1 0 2732173 0
[pid=28013/tid=28066] ppid=28010 vsize=11082080 memory=1275140 CPUtime=2447.88 cores=0,2,4,6
/proc/28013/task/28066/stat : 28066 (java) R 28010 28013 25584 0 -1 4202560 92953 12858 0 0 244726 54 5 3 20 0 15 0 222221341 11348049920 318785 33554432000 4194304 4196468 140732494117840 140694397992064 140693971629593 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28067] ppid=28010 vsize=11082080 memory=1275140 CPUtime=9.84 cores=0,2,4,6
/proc/28013/task/28067/stat : 28067 (java) S 28010 28013 25584 0 -1 1077944384 19410 12858 0 0 927 49 5 3 20 0 15 0 222221342 11348049920 318785 33554432000 4194304 4196468 140732494117840 140694430398992 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28068] ppid=28010 vsize=11082080 memory=1275140 CPUtime=9.85 cores=0,2,4,6
/proc/28013/task/28068/stat : 28068 (java) S 28010 28013 25584 0 -1 1077944384 11382 12858 0 0 930 47 5 3 20 0 15 0 222221342 11348049920 318785 33554432000 4194304 4196468 140732494117840 140694285118096 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28069] ppid=28010 vsize=11082080 memory=1275124 CPUtime=9.88 cores=0,2,4,6
/proc/28013/task/28069/stat : 28069 (java) S 28010 28013 25584 0 -1 1077944384 11209 12858 0 0 930 50 5 3 20 0 15 0 222221342 11348049920 318785 33554432000 4194304 4196468 140732494117840 140694284065040 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28070] ppid=28010 vsize=11082080 memory=1275124 CPUtime=9.83 cores=0,2,4,6
/proc/28013/task/28070/stat : 28070 (java) S 28010 28013 25584 0 -1 1077944384 11536 12858 0 0 928 47 5 3 20 0 15 0 222221342 11348049920 318785 33554432000 4194304 4196468 140732494117840 140694283012496 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28071] ppid=28010 vsize=11082080 memory=1275124 CPUtime=8.55 cores=0,2,4,6
/proc/28013/task/28071/stat : 28071 (java) S 28010 28013 25584 0 -1 1077944384 17274 12858 0 0 808 39 5 3 20 0 15 0 222221343 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693851798256 140694426167938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28072] ppid=28010 vsize=11082080 memory=1275124 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28072/stat : 28072 (java) S 28010 28013 25584 0 -1 1077944384 18 12858 0 0 0 0 5 3 20 0 15 0 222221344 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693210130144 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28073] ppid=28010 vsize=11082080 memory=1275140 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28073/stat : 28073 (java) S 28010 28013 25584 0 -1 1077944384 8 12858 0 0 0 0 5 3 20 0 15 0 222221344 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693062280448 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28074] ppid=28010 vsize=11082080 memory=1275140 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28074/stat : 28074 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221346 11348049920 318785 33554432000 4194304 4196468 140732494117840 140692754880976 140694426175387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28075] ppid=28010 vsize=11082080 memory=2648 CPUtime=9.17 cores=0,2,4,6
/proc/28013/task/28075/stat : 28075 (java) S 28010 28013 25584 0 -1 1077944384 81707 12858 0 0 900 9 5 3 20 0 15 0 222221346 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693850745072 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28076] ppid=28010 vsize=11082080 memory=1275124 CPUtime=9.66 cores=0,2,4,6
/proc/28013/task/28076/stat : 28076 (java) S 28010 28013 25584 0 -1 1077944384 86691 12858 0 0 950 8 5 3 20 0 15 0 222221346 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693849692528 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28077] ppid=28010 vsize=11082080 memory=6791534058613427641 CPUtime=4.44 cores=0,2,4,6
/proc/28013/task/28077/stat : 28077 (java) S 28010 28013 25584 0 -1 1077944384 91046 12858 0 0 426 10 5 3 20 0 15 0 222221346 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693848639472 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28078] ppid=28010 vsize=11082080 memory=1275140 CPUtime=0.08 cores=0,2,4,6
/proc/28013/task/28078/stat : 28078 (java) S 28010 28013 25584 0 -1 1077944384 3 12858 0 0 0 0 5 3 20 0 15 0 222221347 11348049920 318785 33554432000 4194304 4196468 140732494117840 140692324084064 140694426166997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
[pid=28013/tid=28079] ppid=28010 vsize=11082080 memory=756 CPUtime=1.52 cores=0,2,4,6
/proc/28013/task/28079/stat : 28079 (java) S 28010 28013 25584 0 -1 1077944384 1900 12858 0 0 67 77 5 3 20 0 15 0 222221347 11348049920 318785 33554432000 4194304 4196468 140732494117840 140693847587888 140694426167938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32374784 140732494125676 140732494128476 140732494128476 140732494131151 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1275140 KiB
Child status: 143
Real time (s): 2468.94
CPU time (s): 2520.06
CPU user time (s): 2516.68
CPU system time (s): 3.37969
CPU usage (%): 102.071
Max. virtual memory (cumulated for all children) (KiB): 11082796
Max. memory (cumulated for all children) (KiB): 1315452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.68
system time used= 3.37969
maximum resident set size= 1317500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440936
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235216
involuntary context switches= 8395
# summary of solver processes directly reported to runsolver:
# pid: 28013
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.68
# total CPU system time (s): 3.37969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.125 second user time and 22.5084 second system time
The end