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 (13965 MiB free)
memory of node 1: 16384 MiB (10945 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258261-1502638650/watcher-4258261-1502638650 -o /tmp/evaluation-result-4258261-1502638650/solver-4258261-1502638650 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15760 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258261-1502638650.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=16421, runsolver pid=16418
Current StackSize limit: 8192 KiB
[startup+0.108025 s]*
/proc/loadavg: 5.78 4.77 3.61 7/216 16436
/proc/meminfo: memFree=25490452/32770624 swapFree=67108860/67108860
[pid=16421] ppid=16418 vsize=10555400 memory=30176 CPUtime=0.13 cores=0,2,4,6
/proc/16421/stat : 16421 (java) S 16418 16421 6338 0 -1 1077944320 6603 0 0 0 12 1 0 0 20 0 15 0 96946089 10808729600 7544 33554432000 4194304 4196468 140736539115056 140736539097600 140143914135287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
/proc/16421/statm: 2638850 7544 2827 1 0 2627263 0
[pid=16421/tid=16423] ppid=16418 vsize=10555400 memory=-7254954386087372155 CPUtime=0.1 cores=0,2,4,6
/proc/16421/task/16423/stat : 16423 (java) R 16418 16421 6338 0 -1 4202560 4453 0 0 0 9 1 0 0 20 0 15 0 96946090 10808729600 7544 33554432000 4194304 4196468 140736539115056 140143918346464 140143906852391 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16424] ppid=16418 vsize=10555400 memory=5793855658359790009 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16424/stat : 16424 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946090 10808729600 7544 33554432000 4194304 4196468 140736539115056 140143850826256 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16425] ppid=16418 vsize=10555400 memory=140407349896832 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16425/stat : 16425 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946090 10808729600 7544 33554432000 4194304 4196468 140736539115056 140143849773712 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16426] ppid=16418 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16426/stat : 16426 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946090 10808729600 7544 33554432000 4194304 4196468 140736539115056 140143848720656 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16427] ppid=16418 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16427/stat : 16427 (java) S 16418 16421 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96946090 10808729600 7544 33554432000 4194304 4196468 140736539115056 140143847668112 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16428] ppid=16418 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16428/stat : 16428 (java) S 16418 16421 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96946092 10808729600 7544 33554432000 4194304 4196468 140736539115056 140142949714672 140143914146434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16429] ppid=16418 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16429/stat : 16429 (java) S 16418 16421 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96946092 10808729600 7544 33554432000 4194304 4196468 140736539115056 140142948660896 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16430] ppid=16418 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16430/stat : 16430 (java) S 16418 16421 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96946092 10808729600 7544 33554432000 4194304 4196468 140736539115056 140142947607792 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16431] ppid=16418 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16431/stat : 16431 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808729600 7544 33554432000 4194304 4196468 140736539115056 140142946556368 140143914153883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16432] ppid=16418 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16432/stat : 16432 (java) S 16418 16421 6338 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 96946095 10808729600 7544 33554432000 4194304 4196468 140736539115056 140142945503472 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16433] ppid=16418 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16433/stat : 16433 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946095 10808729600 7544 33554432000 4194304 4196468 140736539115056 140142944450928 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16434] ppid=16418 vsize=10555400 memory=140407349896832 CPUtime=0.02 cores=0,2,4,6
/proc/16421/task/16434/stat : 16434 (java) R 16418 16421 6338 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 15 0 96946095 10808729600 7544 33554432000 4194304 4196468 140736539115056 140142943397872 140143898215774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16435] ppid=16418 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16435/stat : 16435 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808729600 7544 33554432000 4194304 4196468 140736539115056 140142942345568 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16436] ppid=16418 vsize=10555400 memory=140407349896832 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16436/stat : 16436 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946095 10808729600 7544 33554432000 4194304 4196468 140736539115056 140142941293616 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30176 KiB
[startup+0.213292 s]*
/proc/loadavg: 5.78 4.77 3.61 11/216 16436
/proc/meminfo: memFree=25481908/32770624 swapFree=67108860/67108860
[pid=16421] ppid=16418 vsize=10555400 memory=41676 CPUtime=0.33 cores=0,2,4,6
/proc/16421/stat : 16421 (java) S 16418 16421 6338 0 -1 1077944320 8005 0 0 0 31 2 0 0 20 0 15 0 96946089 10808729600 10419 33554432000 4194304 4196468 140736539115056 140736539097600 140143914135287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
/proc/16421/statm: 2638850 10419 2985 1 0 2627263 0
[pid=16421/tid=16423] ppid=16418 vsize=10555400 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/16421/task/16423/stat : 16423 (java) R 16418 16421 6338 0 -1 4202560 5067 0 0 0 19 1 0 0 20 0 15 0 96946090 10808729600 10419 33554432000 4194304 4196468 140736539115056 140143918367488 140143914157213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16424] ppid=16418 vsize=10555400 memory=4211974133554687370 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16424/stat : 16424 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946090 10808729600 10419 33554432000 4194304 4196468 140736539115056 140143850826256 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16425] ppid=16418 vsize=10555400 memory=140407349896832 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16425/stat : 16425 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946090 10808729600 10419 33554432000 4194304 4196468 140736539115056 140143849773712 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16426] ppid=16418 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16426/stat : 16426 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946090 10808729600 10419 33554432000 4194304 4196468 140736539115056 140143848720656 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16427] ppid=16418 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16427/stat : 16427 (java) S 16418 16421 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96946090 10808729600 10419 33554432000 4194304 4196468 140736539115056 140143847668112 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16428] ppid=16418 vsize=10555400 memory=140407349896832 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16428/stat : 16428 (java) S 16418 16421 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96946092 10808729600 10419 33554432000 4194304 4196468 140736539115056 140142949714672 140143914146434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16429] ppid=16418 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16429/stat : 16429 (java) S 16418 16421 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96946092 10808729600 10419 33554432000 4194304 4196468 140736539115056 140142948660896 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16430] ppid=16418 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16430/stat : 16430 (java) S 16418 16421 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96946092 10808729600 10419 33554432000 4194304 4196468 140736539115056 140142947607792 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16431] ppid=16418 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16431/stat : 16431 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808729600 10419 33554432000 4194304 4196468 140736539115056 140142946556368 140143914153883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16432] ppid=16418 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16421/task/16432/stat : 16432 (java) S 16418 16421 6338 0 -1 1077944384 650 0 0 0 2 0 0 0 20 0 15 0 96946095 10808729600 10419 33554432000 4194304 4196468 140736539115056 140142945503472 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16433] ppid=16418 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16421/task/16433/stat : 16433 (java) S 16418 16421 6338 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 15 0 96946095 10808729600 10419 33554432000 4194304 4196468 140736539115056 140142944450928 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16434] ppid=16418 vsize=10555400 memory=140407349896832 CPUtime=0.07 cores=0,2,4,6
/proc/16421/task/16434/stat : 16434 (java) R 16418 16421 6338 0 -1 4202560 783 0 0 0 7 0 0 0 20 0 15 0 96946095 10808729600 10419 33554432000 4194304 4196468 140736539115056 140142943393808 140143895698847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16435] ppid=16418 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16435/stat : 16435 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808729600 10419 33554432000 4194304 4196468 140736539115056 140142942345568 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16436] ppid=16418 vsize=10555400 memory=140407349896832 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16436/stat : 16436 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946095 10808729600 10419 33554432000 4194304 4196468 140736539115056 140142941293616 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 41676 KiB
[startup+0.31038 s]*
/proc/loadavg: 5.78 4.77 3.61 7/216 16436
/proc/meminfo: memFree=25473160/32770624 swapFree=67108860/67108860
[pid=16421] ppid=16418 vsize=10555476 memory=46708 CPUtime=0.53 cores=0,2,4,6
/proc/16421/stat : 16421 (java) S 16418 16421 6338 0 -1 1077944320 8737 0 0 0 51 2 0 0 20 0 15 0 96946089 10808807424 11677 33554432000 4194304 4196468 140736539115056 140736539097600 140143914135287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
/proc/16421/statm: 2638869 11677 3038 1 0 2627263 0
[pid=16421/tid=16423] ppid=16418 vsize=10555476 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/16421/task/16423/stat : 16423 (java) R 16418 16421 6338 0 -1 4202560 5514 0 0 0 28 1 0 0 20 0 15 0 96946090 10808807424 11735 33554432000 4194304 4196468 140736539115056 140143918371792 140143906852250 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16424] ppid=16418 vsize=10555476 memory=4211974133554687370 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16424/stat : 16424 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946090 10808807424 11735 33554432000 4194304 4196468 140736539115056 140143850826256 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16425] ppid=16418 vsize=10555476 memory=140407349899189 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16425/stat : 16425 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946090 10808807424 11735 33554432000 4194304 4196468 140736539115056 140143849773712 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16426] ppid=16418 vsize=10555476 memory=140407245750994 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16426/stat : 16426 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946090 10808807424 11735 33554432000 4194304 4196468 140736539115056 140143848720656 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16427] ppid=16418 vsize=10555476 memory=140407245753807 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16427/stat : 16427 (java) S 16418 16421 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96946090 10808807424 11735 33554432000 4194304 4196468 140736539115056 140143847668112 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16428] ppid=16418 vsize=10555476 memory=140407349903197 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16428/stat : 16428 (java) S 16418 16421 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 11735 33554432000 4194304 4196468 140736539115056 140142949714672 140143914146434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16429] ppid=16418 vsize=10555476 memory=140407245762991 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16429/stat : 16429 (java) S 16418 16421 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 11735 33554432000 4194304 4196468 140736539115056 140142948660896 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16430] ppid=16418 vsize=10555476 memory=280814491516816 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16430/stat : 16430 (java) S 16418 16421 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 11735 33554432000 4194304 4196468 140736539115056 140142947607792 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16431] ppid=16418 vsize=10555476 memory=280814491514512 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16431/stat : 16431 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 11735 33554432000 4194304 4196468 140736539115056 140142946556368 140143914153883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16432] ppid=16418 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/16421/task/16432/stat : 16432 (java) S 16418 16421 6338 0 -1 1077944384 676 0 0 0 4 0 0 0 20 0 15 0 96946095 10808807424 11735 33554432000 4194304 4196468 140736539115056 140142945503472 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16433] ppid=16418 vsize=10555476 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/16421/task/16433/stat : 16433 (java) S 16418 16421 6338 0 -1 1077944384 273 0 0 0 4 0 0 0 20 0 15 0 96946095 10808807424 11735 33554432000 4194304 4196468 140736539115056 140142944450928 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16434] ppid=16418 vsize=10555476 memory=140407349896832 CPUtime=0.14 cores=0,2,4,6
/proc/16421/task/16434/stat : 16434 (java) S 16418 16421 6338 0 -1 1077944384 904 0 0 0 14 0 0 0 20 0 15 0 96946095 10808807424 11735 33554432000 4194304 4196468 140736539115056 140142943397872 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16435] ppid=16418 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16435/stat : 16435 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 11735 33554432000 4194304 4196468 140736539115056 140142942345568 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16436] ppid=16418 vsize=10555476 memory=140407349896832 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16436/stat : 16436 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 11735 33554432000 4194304 4196468 140736539115056 140142941293616 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46708 KiB
[startup+0.701303 s]
/proc/loadavg: 5.78 4.77 3.61 8/216 16436
/proc/meminfo: memFree=25425772/32770624 swapFree=67108860/67108860
[pid=16421] ppid=16418 vsize=10555476 memory=256364 CPUtime=1.78 cores=0,2,4,6
/proc/16421/stat : 16421 (java) S 16418 16421 6338 0 -1 1077944320 11854 0 0 0 165 13 0 0 20 0 15 0 96946089 10808807424 64091 33554432000 4194304 4196468 140736539115056 140736539097600 140143914135287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
/proc/16421/statm: 2638869 64091 3106 1 0 2627263 0
[pid=16421/tid=16423] ppid=16418 vsize=10555476 memory=1952 CPUtime=0.6 cores=0,2,4,6
/proc/16421/task/16423/stat : 16423 (java) R 16418 16421 6338 0 -1 4202560 5698 0 0 0 57 3 0 0 20 0 15 0 96946090 10808807424 64091 33554432000 4194304 4196468 140736539115056 140143918372080 140143900203392 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16424] ppid=16418 vsize=10555476 memory=5796 CPUtime=0.06 cores=0,2,4,6
/proc/16421/task/16424/stat : 16424 (java) S 16418 16421 6338 0 -1 1077944384 109 0 0 0 5 1 0 0 20 0 15 0 96946090 10808807424 64091 33554432000 4194304 4196468 140736539115056 140143850826256 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16425] ppid=16418 vsize=10555476 memory=4616 CPUtime=0.07 cores=0,2,4,6
/proc/16421/task/16425/stat : 16425 (java) S 16418 16421 6338 0 -1 1077944384 114 0 0 0 5 2 0 0 20 0 15 0 96946090 10808807424 64091 33554432000 4194304 4196468 140736539115056 140143849773712 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16426] ppid=16418 vsize=10555476 memory=7523356985603351872 CPUtime=0.07 cores=0,2,4,6
/proc/16421/task/16426/stat : 16426 (java) S 16418 16421 6338 0 -1 1077944384 117 0 0 0 5 2 0 0 20 0 15 0 96946090 10808807424 64091 33554432000 4194304 4196468 140736539115056 140143848720656 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16427] ppid=16418 vsize=10555476 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/16421/task/16427/stat : 16427 (java) S 16418 16421 6338 0 -1 1077944384 114 0 0 0 5 2 0 0 20 0 15 0 96946090 10808807424 64091 33554432000 4194304 4196468 140736539115056 140143847668112 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16428] ppid=16418 vsize=10555476 memory=6935663622157783120 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16428/stat : 16428 (java) S 16418 16421 6338 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 64091 33554432000 4194304 4196468 140736539115056 140142949714672 140143914146434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16429] ppid=16418 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16429/stat : 16429 (java) S 16418 16421 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 64091 33554432000 4194304 4196468 140736539115056 140142948660896 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16430] ppid=16418 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16430/stat : 16430 (java) S 16418 16421 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 64091 33554432000 4194304 4196468 140736539115056 140142947607792 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16431] ppid=16418 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16431/stat : 16431 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 64091 33554432000 4194304 4196468 140736539115056 140142946556368 140143914153883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16432] ppid=16418 vsize=10555476 memory=72 CPUtime=0.29 cores=0,2,4,6
/proc/16421/task/16432/stat : 16432 (java) R 16418 16421 6338 0 -1 4202560 1484 0 0 0 29 0 0 0 20 0 15 0 96946095 10808807424 64091 33554432000 4194304 4196468 140736539115056 140142945489440 140143899063697 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16433] ppid=16418 vsize=10555476 memory=3 CPUtime=0.29 cores=0,2,4,6
/proc/16421/task/16433/stat : 16433 (java) S 16418 16421 6338 0 -1 1077944384 1186 0 0 0 29 0 0 0 20 0 15 0 96946095 10808807424 64091 33554432000 4194304 4196468 140736539115056 140142944450928 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16434] ppid=16418 vsize=10555476 memory=6070 CPUtime=0.26 cores=0,2,4,6
/proc/16421/task/16434/stat : 16434 (java) S 16418 16421 6338 0 -1 1077944384 1587 0 0 0 26 0 0 0 20 0 15 0 96946095 10808807424 64091 33554432000 4194304 4196468 140736539115056 140142943397872 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16435] ppid=16418 vsize=10555476 memory=280814491700720 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16435/stat : 16435 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 64091 33554432000 4194304 4196468 140736539115056 140142942345568 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16436] ppid=16418 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16436/stat : 16436 (java) S 16418 16421 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 64091 33554432000 4194304 4196468 140736539115056 140142941293616 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 256364 KiB
[startup+1.50134 s]
/proc/loadavg: 5.78 4.77 3.61 3/216 16436
/proc/meminfo: memFree=24887464/32770624 swapFree=67108860/67108860
[pid=16421] ppid=16418 vsize=10555476 memory=1329744 CPUtime=3.41 cores=0,2,4,6
/proc/16421/stat : 16421 (java) S 16418 16421 6338 0 -1 1077944320 14692 0 0 0 285 56 0 0 20 0 15 0 96946089 10808807424 332436 33554432000 4194304 4196468 140736539115056 140736539097600 140143914135287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
/proc/16421/statm: 2638869 332436 3111 1 0 2627263 0
[pid=16421/tid=16423] ppid=16418 vsize=10555476 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/16421/task/16423/stat : 16423 (java) S 16418 16421 6338 0 -1 1077944384 6620 0 0 0 98 14 0 0 20 0 15 0 96946090 10808807424 332436 33554432000 4194304 4196468 140736539115056 140143918372320 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16424] ppid=16418 vsize=10555476 memory=-6292470442678707300 CPUtime=0.34 cores=0,2,4,6
/proc/16421/task/16424/stat : 16424 (java) R 16418 16421 6338 0 -1 4202560 318 0 0 0 25 9 0 0 20 0 15 0 96946090 10808807424 332436 33554432000 4194304 4196468 140736539115056 140143850826456 140143899163170 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16425] ppid=16418 vsize=10555476 memory=-5935602824819121961 CPUtime=0.34 cores=0,2,4,6
/proc/16421/task/16425/stat : 16425 (java) R 16418 16421 6338 0 -1 4202560 371 0 0 0 24 10 0 0 20 0 15 0 96946090 10808807424 332436 33554432000 4194304 4196468 140736539115056 140143849773912 140143899163170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16426] ppid=16418 vsize=10555476 memory=-1161699032755887712 CPUtime=0.34 cores=0,2,4,6
/proc/16421/task/16426/stat : 16426 (java) R 16418 16421 6338 0 -1 4202560 988 0 0 0 24 10 0 0 20 0 15 0 96946090 10808807424 332948 33554432000 4194304 4196468 140736539115056 140143848720040 140143899163170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16427] ppid=16418 vsize=10555476 memory=-6305713888769566080 CPUtime=0.34 cores=0,2,4,6
/proc/16421/task/16427/stat : 16427 (java) R 16418 16421 6338 0 -1 4202560 244 0 0 0 25 9 0 0 20 0 15 0 96946090 10808807424 332948 33554432000 4194304 4196468 140736539115056 140143847668312 140143899163170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16428] ppid=16418 vsize=10555476 memory=-6305718282386367616 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16428/stat : 16428 (java) S 16418 16421 6338 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 332948 33554432000 4194304 4196468 140736539115056 140142949713184 140143914145493 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
################
# More data... #
################
/proc/16421/statm: 2638869 2078123 3136 1 0 2627263 0
[pid=16421/tid=16423] ppid=16418 vsize=10555476 memory=0 CPUtime=17 cores=0,2,4,6
/proc/16421/task/16423/stat : 16423 (java) S 16418 16421 6338 0 -1 1077944384 21994 0 0 0 1668 32 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143918368720 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16424] ppid=16418 vsize=10555476 memory=2244 CPUtime=55.08 cores=0,2,4,6
/proc/16421/task/16424/stat : 16424 (java) R 16418 16421 6338 0 -1 4202560 132952 0 0 0 5379 129 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143850825840 140143906763495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16425] ppid=16418 vsize=10555476 memory=5794557478478631266 CPUtime=55.8 cores=0,2,4,6
/proc/16421/task/16425/stat : 16425 (java) R 16418 16421 6338 0 -1 4202560 205795 0 0 0 5438 142 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143849773912 140143895732021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16426] ppid=16418 vsize=10555476 memory=5794557478478631266 CPUtime=55.42 cores=0,2,4,6
/proc/16421/task/16426/stat : 16426 (java) R 16418 16421 6338 0 -1 4202560 210690 0 0 0 5401 141 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143848720552 140143906763495 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16427] ppid=16418 vsize=10555476 memory=5794557478478631266 CPUtime=55.66 cores=0,2,4,6
/proc/16421/task/16427/stat : 16427 (java) R 16418 16421 6338 0 -1 4202560 129036 0 0 0 5432 134 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143847668312 140143895731835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16428] ppid=16418 vsize=10555476 memory=6298394388255822178 CPUtime=11.81 cores=0,2,4,6
/proc/16421/task/16428/stat : 16428 (java) S 16418 16421 6338 0 -1 1077944384 23335 0 0 0 1179 2 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142949712992 140143914145493 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16429] ppid=16418 vsize=10555476 memory=6298394388255822178 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16429/stat : 16429 (java) S 16418 16421 6338 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142948660960 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16430] ppid=16418 vsize=10555476 memory=6298394388255822178 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16430/stat : 16430 (java) S 16418 16421 6338 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142947607808 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16431] ppid=16418 vsize=10555476 memory=6298394388255822178 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16431/stat : 16431 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142946556368 140143914153883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16432] ppid=16418 vsize=10555476 memory=6298394388255822178 CPUtime=0.53 cores=0,2,4,6
/proc/16421/task/16432/stat : 16432 (java) S 16418 16421 6338 0 -1 1077944384 3575 0 0 0 52 1 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142945503520 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16433] ppid=16418 vsize=10555476 memory=6298394388255822178 CPUtime=0.53 cores=0,2,4,6
/proc/16421/task/16433/stat : 16433 (java) S 16418 16421 6338 0 -1 1077944384 2840 0 0 0 53 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142944450688 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16434] ppid=16418 vsize=10555476 memory=6298394388255822178 CPUtime=0.32 cores=0,2,4,6
/proc/16421/task/16434/stat : 16434 (java) S 16418 16421 6338 0 -1 1077944384 2115 0 0 0 32 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142943397920 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16435] ppid=16418 vsize=10555476 memory=6298394388255822178 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16435/stat : 16435 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142942345568 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16436] ppid=16418 vsize=10555476 memory=6298394388255822178 CPUtime=0.03 cores=0,2,4,6
/proc/16421/task/16436/stat : 16436 (java) S 16418 16421 6338 0 -1 1077944384 911 0 0 0 2 1 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142941293616 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
Current children cumulated CPU time: 252.26 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8312492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+87.279 s]
# the end of solver process 16421 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.363 s, system=5.93673 s
Solver just ended.
Dumping a history of the last processes samples
[startup+86.4013 s]
/proc/loadavg: 4.58 4.61 3.65 6/216 16515
/proc/meminfo: memFree=17353344/32770624 swapFree=67108860/67108860
[pid=16421] ppid=16418 vsize=10555476 memory=8312492 CPUtime=256.99 cores=0,2,4,6
/proc/16421/stat : 16421 (java) S 16418 16421 6338 0 -1 1077944320 736454 0 0 0 25113 586 0 0 20 0 15 0 96946089 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140736539097600 140143914135287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
/proc/16421/statm: 2638869 2078123 3136 1 0 2627263 0
[pid=16421/tid=16423] ppid=16418 vsize=10555476 memory=6791534058613427641 CPUtime=17 cores=0,2,4,6
/proc/16421/task/16423/stat : 16423 (java) S 16418 16421 6338 0 -1 1077944384 21994 0 0 0 1668 32 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143918368720 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16424] ppid=16418 vsize=10555476 memory=6791534058613427641 CPUtime=56.25 cores=0,2,4,6
/proc/16421/task/16424/stat : 16424 (java) R 16418 16421 6338 0 -1 4202560 132952 0 0 0 5496 129 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143850826256 140143898835152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16425] ppid=16418 vsize=10555476 memory=1292 CPUtime=56.98 cores=0,2,4,6
/proc/16421/task/16425/stat : 16425 (java) R 16418 16421 6338 0 -1 4202560 205819 0 0 0 5556 142 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143849773600 140143899131694 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16426] ppid=16418 vsize=10555476 memory=1728 CPUtime=56.59 cores=0,2,4,6
/proc/16421/task/16426/stat : 16426 (java) R 16418 16421 6338 0 -1 4202560 210690 0 0 0 5518 141 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143848720856 140143895745033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16427] ppid=16418 vsize=10555476 memory=12064 CPUtime=56.85 cores=0,2,4,6
/proc/16421/task/16427/stat : 16427 (java) R 16418 16421 6338 0 -1 4202560 129061 0 0 0 5551 134 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143847668312 140143899131885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16428] ppid=16418 vsize=10555476 memory=8312492 CPUtime=11.81 cores=0,2,4,6
/proc/16421/task/16428/stat : 16428 (java) S 16418 16421 6338 0 -1 1077944384 25038 0 0 0 1179 2 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142949713216 140143914145493 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16429] ppid=16418 vsize=10555476 memory=28496 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16429/stat : 16429 (java) S 16418 16421 6338 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142948660960 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16430] ppid=16418 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16430/stat : 16430 (java) S 16418 16421 6338 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142947607808 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16431] ppid=16418 vsize=10555476 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16431/stat : 16431 (java) S 16418 16421 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142946556016 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16432] ppid=16418 vsize=10555476 memory=792 CPUtime=0.53 cores=0,2,4,6
/proc/16421/task/16432/stat : 16432 (java) S 16418 16421 6338 0 -1 1077944384 3575 0 0 0 52 1 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142945503520 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16433] ppid=16418 vsize=10555476 memory=1204 CPUtime=0.53 cores=0,2,4,6
/proc/16421/task/16433/stat : 16433 (java) S 16418 16421 6338 0 -1 1077944384 2840 0 0 0 53 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142944450688 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16434] ppid=16418 vsize=10555476 memory=1716 CPUtime=0.32 cores=0,2,4,6
/proc/16421/task/16434/stat : 16434 (java) S 16418 16421 6338 0 -1 1077944384 2115 0 0 0 32 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142943397920 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16435] ppid=16418 vsize=10555476 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16435/stat : 16435 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142942345568 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16436] ppid=16418 vsize=10555476 memory=1004 CPUtime=0.03 cores=0,2,4,6
/proc/16421/task/16436/stat : 16436 (java) S 16418 16421 6338 0 -1 1077944384 911 0 0 0 2 1 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142941293616 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
Current children cumulated CPU time: 256.99 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8312492 KiB
[startup+86.8023 s]
/proc/loadavg: 4.58 4.61 3.65 6/216 16515
/proc/meminfo: memFree=17353344/32770624 swapFree=67108860/67108860
[pid=16421] ppid=16418 vsize=10555476 memory=8312492 CPUtime=258.59 cores=0,2,4,6
/proc/16421/stat : 16421 (java) S 16418 16421 6338 0 -1 1077944320 736454 0 0 0 25273 586 0 0 20 0 15 0 96946089 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140736539097600 140143914135287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
/proc/16421/statm: 2638869 2078123 3136 1 0 2627263 0
[pid=16421/tid=16423] ppid=16418 vsize=10555476 memory=8312492 CPUtime=17 cores=0,2,4,6
/proc/16421/task/16423/stat : 16423 (java) S 16418 16421 6338 0 -1 1077944384 21994 0 0 0 1668 32 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143918368720 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16424] ppid=16418 vsize=10555476 memory=6791534058613427641 CPUtime=56.65 cores=0,2,4,6
/proc/16421/task/16424/stat : 16424 (java) R 16418 16421 6338 0 -1 4202560 132952 0 0 0 5536 129 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143850826256 140143899131711 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16425] ppid=16418 vsize=10555476 memory=14976667848683833 CPUtime=57.37 cores=0,2,4,6
/proc/16421/task/16425/stat : 16425 (java) R 16418 16421 6338 0 -1 4202560 205819 0 0 0 5595 142 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143849773600 140143898592918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16426] ppid=16418 vsize=10555476 memory=7108 CPUtime=56.99 cores=0,2,4,6
/proc/16421/task/16426/stat : 16426 (java) R 16418 16421 6338 0 -1 4202560 210690 0 0 0 5558 141 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143848720856 140143899131895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16427] ppid=16418 vsize=10555476 memory=140407246470064 CPUtime=57.25 cores=0,2,4,6
/proc/16421/task/16427/stat : 16427 (java) R 16418 16421 6338 0 -1 4202560 129061 0 0 0 5591 134 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143847668312 140143899131688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16428] ppid=16418 vsize=10555476 memory=0 CPUtime=11.81 cores=0,2,4,6
/proc/16421/task/16428/stat : 16428 (java) S 16418 16421 6338 0 -1 1077944384 25038 0 0 0 1179 2 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142949713216 140143914145493 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16429] ppid=16418 vsize=10555476 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16429/stat : 16429 (java) S 16418 16421 6338 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142948660960 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16430] ppid=16418 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16430/stat : 16430 (java) S 16418 16421 6338 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142947607808 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16431] ppid=16418 vsize=10555476 memory=280814491271408 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16431/stat : 16431 (java) S 16418 16421 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142946556016 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16432] ppid=16418 vsize=10555476 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/16421/task/16432/stat : 16432 (java) S 16418 16421 6338 0 -1 1077944384 3575 0 0 0 52 1 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142945503520 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16433] ppid=16418 vsize=10555476 memory=-5935602824819121961 CPUtime=0.53 cores=0,2,4,6
/proc/16421/task/16433/stat : 16433 (java) S 16418 16421 6338 0 -1 1077944384 2840 0 0 0 53 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142944450688 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16434] ppid=16418 vsize=10555476 memory=6944656592387989600 CPUtime=0.32 cores=0,2,4,6
/proc/16421/task/16434/stat : 16434 (java) S 16418 16421 6338 0 -1 1077944384 2115 0 0 0 32 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142943397920 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16435] ppid=16418 vsize=10555476 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16435/stat : 16435 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142942345568 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16436] ppid=16418 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16421/task/16436/stat : 16436 (java) S 16418 16421 6338 0 -1 1077944384 911 0 0 0 2 1 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142941293616 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
Current children cumulated CPU time: 258.59 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8312492 KiB
[startup+87.2013 s]
/proc/loadavg: 4.58 4.61 3.65 6/216 16515
/proc/meminfo: memFree=17353344/32770624 swapFree=67108860/67108860
[pid=16421] ppid=16418 vsize=10555476 memory=8312492 CPUtime=260.18 cores=0,2,4,6
/proc/16421/stat : 16421 (java) S 16418 16421 6338 0 -1 1077944320 736456 0 0 0 25432 586 0 0 20 0 15 0 96946089 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140736539097600 140143914135287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
/proc/16421/statm: 2638869 2078123 3136 1 0 2627263 0
[pid=16421/tid=16423] ppid=16418 vsize=10555476 memory=5796 CPUtime=17 cores=0,2,4,6
/proc/16421/task/16423/stat : 16423 (java) S 16418 16421 6338 0 -1 1077944384 21994 0 0 0 1668 32 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143918368720 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16424] ppid=16418 vsize=10555476 memory=4616 CPUtime=57.05 cores=0,2,4,6
/proc/16421/task/16424/stat : 16424 (java) R 16418 16421 6338 0 -1 4202560 132952 0 0 0 5576 129 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143850826256 140143906763495 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16425] ppid=16418 vsize=10555476 memory=6791534058613427641 CPUtime=57.76 cores=0,2,4,6
/proc/16421/task/16425/stat : 16425 (java) R 16418 16421 6338 0 -1 4202560 205821 0 0 0 5634 142 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143849773600 140143899131780 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16426] ppid=16418 vsize=10555476 memory=5796 CPUtime=57.39 cores=0,2,4,6
/proc/16421/task/16426/stat : 16426 (java) R 16418 16421 6338 0 -1 4202560 210690 0 0 0 5598 141 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143848720856 140143898835959 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16427] ppid=16418 vsize=10555476 memory=4616 CPUtime=57.65 cores=0,2,4,6
/proc/16421/task/16427/stat : 16427 (java) R 16418 16421 6338 0 -1 4202560 129061 0 0 0 5631 134 0 0 20 0 15 0 96946090 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140143847668312 140143895745033 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16428] ppid=16418 vsize=10555476 memory=8584 CPUtime=11.81 cores=0,2,4,6
/proc/16421/task/16428/stat : 16428 (java) S 16418 16421 6338 0 -1 1077944384 25038 0 0 0 1179 2 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142949713216 140143914145493 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16429] ppid=16418 vsize=10555476 memory=792 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16429/stat : 16429 (java) S 16418 16421 6338 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142948660960 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16430] ppid=16418 vsize=10555476 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16430/stat : 16430 (java) S 16418 16421 6338 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 96946092 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142947607808 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16431] ppid=16418 vsize=10555476 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16431/stat : 16431 (java) S 16418 16421 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142946556016 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16432] ppid=16418 vsize=10555476 memory=1292 CPUtime=0.53 cores=0,2,4,6
/proc/16421/task/16432/stat : 16432 (java) S 16418 16421 6338 0 -1 1077944384 3575 0 0 0 52 1 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142945503520 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16433] ppid=16418 vsize=10555476 memory=1728 CPUtime=0.53 cores=0,2,4,6
/proc/16421/task/16433/stat : 16433 (java) S 16418 16421 6338 0 -1 1077944384 2840 0 0 0 53 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142944450688 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16434] ppid=16418 vsize=10555476 memory=8312492 CPUtime=0.32 cores=0,2,4,6
/proc/16421/task/16434/stat : 16434 (java) S 16418 16421 6338 0 -1 1077944384 2115 0 0 0 32 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142943397920 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16435] ppid=16418 vsize=10555476 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/16421/task/16435/stat : 16435 (java) S 16418 16421 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142942345568 140143914145493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
[pid=16421/tid=16436] ppid=16418 vsize=10555476 memory=8312492 CPUtime=0.03 cores=0,2,4,6
/proc/16421/task/16436/stat : 16436 (java) S 16418 16421 6338 0 -1 1077944384 911 0 0 0 2 1 0 0 20 0 15 0 96946095 10808807424 2078123 33554432000 4194304 4196468 140736539115056 140142941293616 140143914146434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12324864 140736539120779 140736539120932 140736539120932 140736539123663 0
Current children cumulated CPU time: 260.18 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8312492 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 87.2791
CPU time (s): 260.3
CPU user time (s): 254.363
CPU system time (s): 5.93673
CPU usage (%): 298.238
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8312492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.363
system time used= 5.93673
maximum resident set size= 8312696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 736460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8200
involuntary context switches= 5042
# summary of solver processes directly reported to runsolver:
# pid: 16421
# total CPU time (s): 260.3
# total CPU user time (s): 254.363
# total CPU system time (s): 5.93673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.557601 second user time and 0.840461 second system time
The end