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 (12161 MiB free)
memory of node 1: 16384 MiB (15703 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302243-1532888716/watcher-4302243-1532888716 -o /tmp/evaluation-result-4302243-1532888716/solver-4302243-1532888716 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13546 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4302243-1532888716.xml
running on 4 cores: 0,2,4,6
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
solver pid=22125, runsolver pid=22122
Current StackSize limit: 8192 KiB
[startup+0.101006 s]*
/proc/loadavg: 2.48 2.52 2.69 2/216 22140
/proc/meminfo: memFree=28516436/32770624 swapFree=67108860/67108860
[pid=22125] ppid=22122 vsize=10659012 memory=30064 CPUtime=0.13 cores=0,2,4,6
/proc/22125/stat : 22125 (java) S 22122 22125 13514 0 -1 1077944320 6605 0 0 0 11 2 0 0 20 0 15 0 106434743 10914828288 7516 33554432000 4194304 4196468 140734196958096 140734196940640 140229595451127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
/proc/22125/statm: 2664753 7516 2839 1 0 2627263 0
[pid=22125/tid=22127] ppid=22122 vsize=10659012 memory=-8773748148829851523 CPUtime=0.09 cores=0,2,4,6
/proc/22125/task/22127/stat : 22127 (java) R 22122 22125 13514 0 -1 4202560 4425 0 0 0 8 1 0 0 20 0 15 0 106434744 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229599676240 140229595463062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22128] ppid=22122 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22128/stat : 22128 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434745 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229548071440 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22129] ppid=22122 vsize=10659012 memory=139964642252416 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22129/stat : 22129 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434745 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229547018896 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22130] ppid=22122 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22130/stat : 22130 (java) S 22122 22125 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106434745 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229545965840 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22131] ppid=22122 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22131/stat : 22131 (java) S 22122 22125 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106434745 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229544913296 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22132] ppid=22122 vsize=10659012 memory=139964642252416 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22132/stat : 22132 (java) S 22122 22125 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106434746 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229155056368 140229595462274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22133] ppid=22122 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22133/stat : 22133 (java) S 22122 22125 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106434746 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229154002592 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22134] ppid=22122 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22134/stat : 22134 (java) S 22122 22125 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106434747 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229152949488 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22135] ppid=22122 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22135/stat : 22135 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106434749 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229151898064 140229595469723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22136] ppid=22122 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22136/stat : 22136 (java) S 22122 22125 13514 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 106434749 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229150845168 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22137] ppid=22122 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22137/stat : 22137 (java) S 22122 22125 13514 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 106434749 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229149792624 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22138] ppid=22122 vsize=10659012 memory=139964642252416 CPUtime=0.02 cores=0,2,4,6
/proc/22125/task/22138/stat : 22138 (java) S 22122 22125 13514 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 106434749 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229148739568 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22139] ppid=22122 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22139/stat : 22139 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106434749 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229147687264 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22140] ppid=22122 vsize=10659012 memory=139964642252416 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22140/stat : 22140 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434749 10914828288 7516 33554432000 4194304 4196468 140734196958096 140229146635312 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30064 KiB
[startup+0.210502 s]*
/proc/loadavg: 2.48 2.52 2.69 3/216 22140
/proc/meminfo: memFree=28505892/32770624 swapFree=67108860/67108860
[pid=22125] ppid=22122 vsize=10659012 memory=42036 CPUtime=0.33 cores=0,2,4,6
/proc/22125/stat : 22125 (java) S 22122 22125 13514 0 -1 1077944320 8080 0 0 0 30 3 0 0 20 0 15 0 106434743 10914828288 10509 33554432000 4194304 4196468 140734196958096 140734196940640 140229595451127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
/proc/22125/statm: 2664753 10509 3005 1 0 2627263 0
[pid=22125/tid=22127] ppid=22122 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/22125/task/22127/stat : 22127 (java) R 22122 22125 13514 0 -1 4202560 5004 0 0 0 18 1 0 0 20 0 15 0 106434744 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229599681744 140229579494757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22128] ppid=22122 vsize=10659012 memory=339 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22128/stat : 22128 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434745 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229548071440 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22129] ppid=22122 vsize=10659012 memory=288370340793964160 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22129/stat : 22129 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434745 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229547018896 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22130] ppid=22122 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22130/stat : 22130 (java) S 22122 22125 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106434745 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229545965840 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22131] ppid=22122 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22131/stat : 22131 (java) S 22122 22125 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106434745 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229544913296 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22132] ppid=22122 vsize=10659012 memory=139964642252416 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22132/stat : 22132 (java) S 22122 22125 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106434746 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229155056368 140229595462274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22133] ppid=22122 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22133/stat : 22133 (java) S 22122 22125 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106434746 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229154002592 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22134] ppid=22122 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22134/stat : 22134 (java) S 22122 22125 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106434747 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229152949488 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22135] ppid=22122 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22135/stat : 22135 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106434749 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229151898064 140229595469723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22136] ppid=22122 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22125/task/22136/stat : 22136 (java) S 22122 22125 13514 0 -1 1077944384 475 0 0 0 1 0 0 0 20 0 15 0 106434749 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229150845168 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22137] ppid=22122 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22125/task/22137/stat : 22137 (java) S 22122 22125 13514 0 -1 1077944384 496 0 0 0 2 0 0 0 20 0 15 0 106434749 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229149792624 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22138] ppid=22122 vsize=10659012 memory=139964642252416 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22138/stat : 22138 (java) R 22122 22125 13514 0 -1 4202560 741 0 0 0 7 0 0 0 20 0 15 0 106434749 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229148739568 140229595463062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22139] ppid=22122 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22139/stat : 22139 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106434749 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229147687264 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22140] ppid=22122 vsize=10659012 memory=139964642252416 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22140/stat : 22140 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434749 10914828288 10509 33554432000 4194304 4196468 140734196958096 140229146635312 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42036 KiB
[startup+0.31215 s]*
/proc/loadavg: 2.48 2.52 2.69 5/216 22140
/proc/meminfo: memFree=28498476/32770624 swapFree=67108860/67108860
[pid=22125] ppid=22122 vsize=10659088 memory=46972 CPUtime=0.53 cores=0,2,4,6
/proc/22125/stat : 22125 (java) S 22122 22125 13514 0 -1 1077944320 8869 0 0 0 50 3 0 0 20 0 15 0 106434743 10914906112 11743 33554432000 4194304 4196468 140734196958096 140734196940640 140229595451127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
/proc/22125/statm: 2664772 11743 3036 1 0 2627263 0
[pid=22125/tid=22127] ppid=22122 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/22125/task/22127/stat : 22127 (java) R 22122 22125 13514 0 -1 4202560 5578 0 0 0 28 2 0 0 20 0 15 0 106434744 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229599686976 140229222746960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22128] ppid=22122 vsize=10659088 memory=4294977826 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22128/stat : 22128 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434745 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229548071440 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22129] ppid=22122 vsize=10659088 memory=288370340793964160 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22129/stat : 22129 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434745 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229547018896 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22130] ppid=22122 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22130/stat : 22130 (java) S 22122 22125 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106434745 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229545965840 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22131] ppid=22122 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22131/stat : 22131 (java) S 22122 22125 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106434745 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229544913296 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22132] ppid=22122 vsize=10659088 memory=139964642252416 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22132/stat : 22132 (java) S 22122 22125 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106434746 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229155056368 140229595462274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22133] ppid=22122 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22133/stat : 22133 (java) S 22122 22125 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106434746 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229154002592 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22134] ppid=22122 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22134/stat : 22134 (java) S 22122 22125 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106434747 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229152949488 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22135] ppid=22122 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22135/stat : 22135 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106434749 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229151898064 140229595469723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22136] ppid=22122 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22125/task/22136/stat : 22136 (java) R 22122 22125 13514 0 -1 4202560 585 0 0 0 4 0 0 0 20 0 15 0 106434749 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229150845168 140229574697927 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22137] ppid=22122 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/22125/task/22137/stat : 22137 (java) R 22122 22125 13514 0 -1 1077944384 512 0 0 0 4 0 0 0 20 0 15 0 106434749 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229149792624 140229595462274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22138] ppid=22122 vsize=10659088 memory=139964642252416 CPUtime=0.12 cores=0,2,4,6
/proc/22125/task/22138/stat : 22138 (java) R 22122 22125 13514 0 -1 4202560 830 0 0 0 12 0 0 0 20 0 15 0 106434749 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229148735936 140229588547971 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22139] ppid=22122 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22139/stat : 22139 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106434749 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229147687264 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22140] ppid=22122 vsize=10659088 memory=139964642252416 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22140/stat : 22140 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434749 10914906112 11743 33554432000 4194304 4196468 140734196958096 140229146635312 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46972 KiB
[startup+0.700741 s]
/proc/loadavg: 2.52 2.53 2.69 5/216 22140
/proc/meminfo: memFree=28437060/32770624 swapFree=67108860/67108860
[pid=22125] ppid=22122 vsize=10661040 memory=164192 CPUtime=1.76 cores=0,2,4,6
/proc/22125/stat : 22125 (java) S 22122 22125 13514 0 -1 1077944320 19723 0 0 0 169 7 0 0 20 0 15 0 106434743 10916904960 41048 33554432000 4194304 4196468 140734196958096 140734196940640 140229595451127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
/proc/22125/statm: 2665260 41048 3079 1 0 2627751 0
[pid=22125/tid=22127] ppid=22122 vsize=10661040 memory=235020744681939 CPUtime=0.67 cores=0,2,4,6
/proc/22125/task/22127/stat : 22127 (java) R 22122 22125 13514 0 -1 4202560 6025 0 0 0 64 3 0 0 20 0 15 0 106434744 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229599684824 140229577398347 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22128] ppid=22122 vsize=10661040 memory=605488 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22128/stat : 22128 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434745 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229548071440 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22129] ppid=22122 vsize=10661040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22129/stat : 22129 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434745 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229547018896 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22130] ppid=22122 vsize=10661040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22130/stat : 22130 (java) S 22122 22125 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106434745 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229545965840 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22131] ppid=22122 vsize=10661040 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22131/stat : 22131 (java) S 22122 22125 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106434745 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229544913296 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22132] ppid=22122 vsize=10661040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22132/stat : 22132 (java) S 22122 22125 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106434746 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229155056368 140229595462274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22133] ppid=22122 vsize=10661040 memory=-3535359994705171299 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22133/stat : 22133 (java) S 22122 22125 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106434746 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229154002592 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22134] ppid=22122 vsize=10661040 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22134/stat : 22134 (java) S 22122 22125 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106434747 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229152949488 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22135] ppid=22122 vsize=10661040 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22135/stat : 22135 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106434749 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229151898064 140229595469723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22136] ppid=22122 vsize=10661040 memory=6656426216303648864 CPUtime=0.39 cores=0,2,4,6
/proc/22125/task/22136/stat : 22136 (java) R 22122 22125 13514 0 -1 4202560 5440 0 0 0 38 1 0 0 20 0 15 0 106434749 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229150831192 140229580372909 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22137] ppid=22122 vsize=10661040 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/22125/task/22137/stat : 22137 (java) R 22122 22125 13514 0 -1 4202560 4189 0 0 0 37 0 0 0 20 0 15 0 106434749 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229149785112 140229579838182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22138] ppid=22122 vsize=10661040 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/22125/task/22138/stat : 22138 (java) S 22122 22125 13514 0 -1 1077944384 2698 0 0 0 29 0 0 0 20 0 15 0 106434749 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229148739568 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22139] ppid=22122 vsize=10661040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22139/stat : 22139 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106434749 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229147687264 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22140] ppid=22122 vsize=10661040 memory=12708 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22140/stat : 22140 (java) S 22122 22125 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106434749 10916904960 41048 33554432000 4194304 4196468 140734196958096 140229146635312 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 10661040 KiB
Current children cumulated memory: 164192 KiB
[startup+1.50153 s]
/proc/loadavg: 2.52 2.53 2.69 6/216 22140
/proc/meminfo: memFree=28321692/32770624 swapFree=67108860/67108860
[pid=22125] ppid=22122 vsize=10727700 memory=224836 CPUtime=4.06 cores=0,2,4,6
/proc/22125/stat : 22125 (java) S 22122 22125 13514 0 -1 1077944320 21213 0 0 0 396 10 0 0 20 0 16 0 106434743 10985164800 56209 33554432000 4194304 4196468 140734196958096 140734196940640 140229595451127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
/proc/22125/statm: 2681925 56209 3136 1 0 2644416 0
[pid=22125/tid=22127] ppid=22122 vsize=10727700 memory=10757 CPUtime=1.46 cores=0,2,4,6
/proc/22125/task/22127/stat : 22127 (java) R 22122 22125 13514 0 -1 4202560 6139 0 0 0 141 5 0 0 20 0 16 0 106434744 10985164800 56209 33554432000 4194304 4196468 140734196958096 140229599687768 140229227114612 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22128] ppid=22122 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22128/stat : 22128 (java) S 22122 22125 13514 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 106434745 10985164800 56209 33554432000 4194304 4196468 140734196958096 140229548071440 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22129] ppid=22122 vsize=10727700 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22125/task/22129/stat : 22129 (java) S 22122 22125 13514 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 16 0 106434745 10985164800 56209 33554432000 4194304 4196468 140734196958096 140229547018896 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22130] ppid=22122 vsize=10727700 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22125/task/22130/stat : 22130 (java) S 22122 22125 13514 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 16 0 106434745 10985164800 56209 33554432000 4194304 4196468 140734196958096 140229545965840 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22131] ppid=22122 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22131/stat : 22131 (java) S 22122 22125 13514 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 106434745 10985164800 56209 33554432000 4194304 4196468 140734196958096 140229544913296 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22132] ppid=22122 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22132/stat : 22132 (java) S 22122 22125 13514 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 106434746 10985164800 56209 33554432000 4194304 4196468 140734196958096 140229155056368 140229595462274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
################
# More data... #
################
/proc/22125/task/22130/stat : 22130 (java) S 22122 22125 13514 0 -1 1077944384 131 0 0 0 5 2 0 0 20 0 16 0 106434745 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229545965840 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22131] ppid=22122 vsize=10727700 memory=285624 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22131/stat : 22131 (java) S 22122 22125 13514 0 -1 1077944384 219 0 0 0 5 2 0 0 20 0 16 0 106434745 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229544913296 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22132] ppid=22122 vsize=10727700 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22132/stat : 22132 (java) S 22122 22125 13514 0 -1 1077944384 754 0 0 0 0 0 0 0 20 0 16 0 106434746 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229155056368 140229595462274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22133] ppid=22122 vsize=10727700 memory=285624 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22133/stat : 22133 (java) S 22122 22125 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 106434746 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229154002656 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22134] ppid=22122 vsize=10727700 memory=285624 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22134/stat : 22134 (java) S 22122 22125 13514 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 106434747 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229152949504 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22135] ppid=22122 vsize=10727700 memory=33 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22135/stat : 22135 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229151898064 140229595469723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22136] ppid=22122 vsize=10727700 memory=6944656592455097440 CPUtime=1.22 cores=0,2,4,6
/proc/22125/task/22136/stat : 22136 (java) S 22122 22125 13514 0 -1 1077944384 9046 0 0 0 121 1 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229150845168 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22137] ppid=22122 vsize=10727700 memory=285624 CPUtime=1.46 cores=0,2,4,6
/proc/22125/task/22137/stat : 22137 (java) S 22122 22125 13514 0 -1 1077944384 10027 0 0 0 145 1 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229149792624 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22138] ppid=22122 vsize=10727700 memory=4140 CPUtime=0.43 cores=0,2,4,6
/proc/22125/task/22138/stat : 22138 (java) S 22122 22125 13514 0 -1 1077944384 4230 0 0 0 42 1 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229148739568 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22139] ppid=22122 vsize=10727700 memory=285624 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22139/stat : 22139 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229147687264 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22140] ppid=22122 vsize=10727700 memory=285624 CPUtime=0.05 cores=0,2,4,6
/proc/22125/task/22140/stat : 22140 (java) S 22122 22125 13514 0 -1 1077944384 1290 0 0 0 2 3 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229146635312 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22141] ppid=22122 vsize=10727700 memory=285616 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22141/stat : 22141 (java) S 22122 22125 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106434850 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229143483952 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
Current children cumulated CPU time: 165.72 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 285624 KiB
[startup+222.301 s]
/proc/loadavg: 2.01 2.25 2.55 4/217 22145
/proc/meminfo: memFree=28093696/32770624 swapFree=67108860/67108860
[pid=22125] ppid=22122 vsize=10727700 memory=285624 CPUtime=225.74 cores=0,2,4,6
/proc/22125/stat : 22125 (java) S 22122 22125 13514 0 -1 1077944320 36908 0 0 0 22551 23 0 0 20 0 16 0 106434743 10985164800 71406 33554432000 4194304 4196468 140734196958096 140734196940640 140229595451127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
/proc/22125/statm: 2681925 71406 3162 1 0 2644416 0
[pid=22125/tid=22127] ppid=22122 vsize=10727700 memory=285624 CPUtime=222.17 cores=0,2,4,6
/proc/22125/task/22127/stat : 22127 (java) R 22122 22125 13514 0 -1 4202560 8574 0 0 0 22212 5 0 0 20 0 16 0 106434744 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229599687104 140229226850468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22128] ppid=22122 vsize=10727700 memory=285624 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22128/stat : 22128 (java) S 22122 22125 13514 0 -1 1077944384 371 0 0 0 5 2 0 0 20 0 16 0 106434745 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229548071440 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22129] ppid=22122 vsize=10727700 memory=285624 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22129/stat : 22129 (java) S 22122 22125 13514 0 -1 1077944384 742 0 0 0 5 2 0 0 20 0 16 0 106434745 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229547018896 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22130] ppid=22122 vsize=10727700 memory=285624 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22130/stat : 22130 (java) S 22122 22125 13514 0 -1 1077944384 131 0 0 0 5 2 0 0 20 0 16 0 106434745 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229545965840 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22131] ppid=22122 vsize=10727700 memory=139964528598785 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22131/stat : 22131 (java) S 22122 22125 13514 0 -1 1077944384 219 0 0 0 5 2 0 0 20 0 16 0 106434745 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229544913296 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22132] ppid=22122 vsize=10727700 memory=285624 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22132/stat : 22132 (java) S 22122 22125 13514 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 16 0 106434746 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229155056368 140229595462274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22133] ppid=22122 vsize=10727700 memory=285624 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22133/stat : 22133 (java) S 22122 22125 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 106434746 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229154002656 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22134] ppid=22122 vsize=10727700 memory=285624 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22134/stat : 22134 (java) S 22122 22125 13514 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 106434747 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229152949504 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22135] ppid=22122 vsize=10727700 memory=7666367258362930786 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22135/stat : 22135 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229151898064 140229595469723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22136] ppid=22122 vsize=10727700 memory=285624 CPUtime=1.22 cores=0,2,4,6
/proc/22125/task/22136/stat : 22136 (java) S 22122 22125 13514 0 -1 1077944384 9056 0 0 0 121 1 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229150845168 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22137] ppid=22122 vsize=10727700 memory=285624 CPUtime=1.46 cores=0,2,4,6
/proc/22125/task/22137/stat : 22137 (java) S 22122 22125 13514 0 -1 1077944384 10030 0 0 0 145 1 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229149792624 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22138] ppid=22122 vsize=10727700 memory=2204 CPUtime=0.43 cores=0,2,4,6
/proc/22125/task/22138/stat : 22138 (java) S 22122 22125 13514 0 -1 1077944384 4237 0 0 0 42 1 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229148739568 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22139] ppid=22122 vsize=10727700 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22139/stat : 22139 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229147687264 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22140] ppid=22122 vsize=10727700 memory=1520 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22140/stat : 22140 (java) S 22122 22125 13514 0 -1 1077944384 1330 0 0 0 4 3 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229146635312 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22141] ppid=22122 vsize=10727700 memory=844 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22141/stat : 22141 (java) S 22122 22125 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106434850 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229143483952 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
Current children cumulated CPU time: 225.74 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 285624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+248.601 s]
/proc/loadavg: 1.85 2.20 2.52 2/195 22197
/proc/meminfo: memFree=28393884/32770624 swapFree=67108860/67108860
[pid=22125] ppid=22122 vsize=10727700 memory=285624 CPUtime=252.04 cores=0,2,4,6
/proc/22125/stat : 22125 (java) S 22122 22125 13514 0 -1 1077944320 36951 0 0 0 25181 23 0 0 20 0 16 0 106434743 10985164800 71406 33554432000 4194304 4196468 140734196958096 140734196940640 140229595451127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
/proc/22125/statm: 2681925 71406 3162 1 0 2644416 0
[pid=22125/tid=22127] ppid=22122 vsize=10727700 memory=285624 CPUtime=248.47 cores=0,2,4,6
/proc/22125/task/22127/stat : 22127 (java) R 22122 22125 13514 0 -1 4202560 8615 0 0 0 24842 5 0 0 20 0 16 0 106434744 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229599687104 140229223733045 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22128] ppid=22122 vsize=10727700 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22128/stat : 22128 (java) S 22122 22125 13514 0 -1 1077944384 371 0 0 0 5 2 0 0 20 0 16 0 106434745 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229548071440 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22129] ppid=22122 vsize=10727700 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22129/stat : 22129 (java) S 22122 22125 13514 0 -1 1077944384 742 0 0 0 5 2 0 0 20 0 16 0 106434745 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229547018896 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22130] ppid=22122 vsize=10727700 memory=916 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22130/stat : 22130 (java) S 22122 22125 13514 0 -1 1077944384 131 0 0 0 5 2 0 0 20 0 16 0 106434745 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229545965840 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22131] ppid=22122 vsize=10727700 memory=3852 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22131/stat : 22131 (java) S 22122 22125 13514 0 -1 1077944384 219 0 0 0 5 2 0 0 20 0 16 0 106434745 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229544913296 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22132] ppid=22122 vsize=10727700 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22132/stat : 22132 (java) S 22122 22125 13514 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 16 0 106434746 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229155056368 140229595462274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22133] ppid=22122 vsize=10727700 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22133/stat : 22133 (java) S 22122 22125 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 106434746 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229154002656 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22134] ppid=22122 vsize=10727700 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22134/stat : 22134 (java) S 22122 22125 13514 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 106434747 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229152949504 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22135] ppid=22122 vsize=10727700 memory=3108 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22135/stat : 22135 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229151898064 140229595469723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22136] ppid=22122 vsize=10727700 memory=33 CPUtime=1.22 cores=0,2,4,6
/proc/22125/task/22136/stat : 22136 (java) S 22122 22125 13514 0 -1 1077944384 9056 0 0 0 121 1 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229150845168 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22137] ppid=22122 vsize=10727700 memory=4629771062077588875 CPUtime=1.46 cores=0,2,4,6
/proc/22125/task/22137/stat : 22137 (java) S 22122 22125 13514 0 -1 1077944384 10030 0 0 0 145 1 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229149792624 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22138] ppid=22122 vsize=10727700 memory=-8961168018402230209 CPUtime=0.43 cores=0,2,4,6
/proc/22125/task/22138/stat : 22138 (java) S 22122 22125 13514 0 -1 1077944384 4237 0 0 0 42 1 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229148739568 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22139] ppid=22122 vsize=10727700 memory=-8253362762722141311 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22139/stat : 22139 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229147687264 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22140] ppid=22122 vsize=10727700 memory=-7175204567652784766 CPUtime=0.08 cores=0,2,4,6
/proc/22125/task/22140/stat : 22140 (java) S 22122 22125 13514 0 -1 1077944384 1332 0 0 0 4 4 0 0 20 0 16 0 106434749 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229146635312 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22141] ppid=22122 vsize=10727700 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22141/stat : 22141 (java) S 22122 22125 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106434850 10985164800 71406 33554432000 4194304 4196468 140734196958096 140229143483952 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 285624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+248.827 s]
# the end of solver process 22125 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.846 s, system=0.245081 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+248.801 s]
/proc/loadavg: 1.85 2.20 2.52 2/195 22197
/proc/meminfo: memFree=28393884/32770624 swapFree=67108860/67108860
[pid=22125] ppid=22122 vsize=10927392 memory=285860 CPUtime=252.06 cores=0,2,4,6
/proc/22125/stat : 22125 (java) S 22122 22125 13514 0 -1 1077944320 38102 0 0 0 25183 23 0 0 20 0 17 0 106434743 11189649408 71465 33554432000 4194304 4196468 140734196958096 140734196940640 140229595451127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
/proc/22125/statm: 2731848 71465 3165 1 0 2694339 0
[pid=22125/tid=22127] ppid=22122 vsize=10927392 memory=5456 CPUtime=248.48 cores=0,2,4,6
/proc/22125/task/22127/stat : 22127 (java) S 22122 22125 13514 0 -1 1077944384 8670 0 0 0 24843 5 0 0 20 0 17 0 106434744 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229599694000 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22128] ppid=22122 vsize=10927392 memory=756 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22128/stat : 22128 (java) S 22122 22125 13514 0 -1 1077944384 371 0 0 0 5 2 0 0 20 0 17 0 106434745 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229548071440 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22129] ppid=22122 vsize=10927392 memory=285624 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22129/stat : 22129 (java) S 22122 22125 13514 0 -1 1077944384 742 0 0 0 5 2 0 0 20 0 17 0 106434745 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229547018896 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22130] ppid=22122 vsize=10927392 memory=285624 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22130/stat : 22130 (java) S 22122 22125 13514 0 -1 1077944384 131 0 0 0 5 2 0 0 20 0 17 0 106434745 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229545965840 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22131] ppid=22122 vsize=10927392 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/22125/task/22131/stat : 22131 (java) S 22122 22125 13514 0 -1 1077944384 219 0 0 0 5 2 0 0 20 0 17 0 106434745 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229544913296 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22132] ppid=22122 vsize=10927392 memory=30316 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22132/stat : 22132 (java) S 22122 22125 13514 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 17 0 106434746 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229155056368 140229595462274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22133] ppid=22122 vsize=10927392 memory=2204 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22133/stat : 22133 (java) S 22122 22125 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 106434746 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229154002656 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22134] ppid=22122 vsize=10927392 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22134/stat : 22134 (java) S 22122 22125 13514 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 106434747 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229152949504 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22135] ppid=22122 vsize=10927392 memory=1520 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22135/stat : 22135 (java) S 22122 22125 13514 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 17 0 106434749 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229151898064 140229595469723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22136] ppid=22122 vsize=10927392 memory=844 CPUtime=1.22 cores=0,2,4,6
/proc/22125/task/22136/stat : 22136 (java) S 22122 22125 13514 0 -1 1077944384 9056 0 0 0 121 1 0 0 20 0 17 0 106434749 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229150845168 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22137] ppid=22122 vsize=10927392 memory=3360 CPUtime=1.46 cores=0,2,4,6
/proc/22125/task/22137/stat : 22137 (java) S 22122 22125 13514 0 -1 1077944384 10030 0 0 0 145 1 0 0 20 0 17 0 106434749 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229149792624 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22138] ppid=22122 vsize=10927392 memory=2724 CPUtime=0.43 cores=0,2,4,6
/proc/22125/task/22138/stat : 22138 (java) S 22122 22125 13514 0 -1 1077944384 4790 0 0 0 42 1 0 0 20 0 17 0 106434749 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229148739568 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22139] ppid=22122 vsize=10927392 memory=1256 CPUtime=0 cores=0,2,4,6
/proc/22125/task/22139/stat : 22139 (java) S 22122 22125 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106434749 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229147687264 140229595461333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
[pid=22125/tid=22140] ppid=22122 vsize=10927392 memory=10368 CPUtime=0.08 cores=0,2,4,6
/proc/22125/task/22140/stat : 22140 (java) S 22122 22125 13514 0 -1 1077944384 1332 0 0 0 4 4 0 0 20 0 17 0 106434749 11189649408 71465 33554432000 4194304 4196468 140734196958096 140229146635312 140229595462274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6443008 140734196962422 140734196962574 140734196962574 140734196965327 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 285860 KiB
Child status: 143
Real time (s): 248.827
CPU time (s): 252.091
CPU user time (s): 251.846
CPU system time (s): 0.245081
CPU usage (%): 101.312
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 285860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.846
system time used= 0.245081
maximum resident set size= 286408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7270
involuntary context switches= 350
# summary of solver processes directly reported to runsolver:
# pid: 22125
# total CPU time (s): 252.091
# total CPU user time (s): 251.846
# total CPU system time (s): 0.245081
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26097 second user time and 2.39818 second system time
The end