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 (6086 MiB free)
memory of node 1: 16384 MiB (14261 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263089-1502626943/watcher-4263089-1502626943 -o /tmp/evaluation-result-4263089-1502626943/solver-4263089-1502626943 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502624014-12473 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263089-1502626943.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13526, runsolver pid=13523
[startup+0.100079 s]*
/proc/loadavg: 4.91 4.56 4.33 7/215 13541
/proc/meminfo: memFree=20817188/32770624 swapFree=67108860/67108860
[pid=13526] ppid=13523 vsize=10555400 memory=31068 CPUtime=0.13 cores=1,3,5,7
/proc/13526/stat : 13526 (java) S 13523 13526 6338 0 -1 1077944320 6826 0 0 0 11 2 0 0 20 0 15 0 95775366 10808729600 7767 33554432000 4194304 4196468 140723823678192 140723823660736 140150322163447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
/proc/13526/statm: 2638850 7767 2817 1 0 2627263 0
[pid=13526/tid=13528] ppid=13523 vsize=10555400 memory=-7254947784588945530 CPUtime=0.09 cores=1,3,5,7
/proc/13526/task/13528/stat : 13528 (java) R 13523 13526 6338 0 -1 4202560 4673 0 0 0 8 1 0 0 20 0 15 0 95775367 10808729600 7767 33554432000 4194304 4196468 140723823678192 140150326388560 140150322175382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13529] ppid=13523 vsize=10555400 memory=5793855676154124729 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13529/stat : 13529 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775367 10808729600 7767 33554432000 4194304 4196468 140723823678192 140150287444368 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13530] ppid=13523 vsize=10555400 memory=140425144231552 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13530/stat : 13530 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775367 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149927815440 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13531] ppid=13523 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13531/stat : 13531 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775367 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149926763152 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13532] ppid=13523 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13532/stat : 13532 (java) S 13523 13526 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95775367 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149925710352 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13533] ppid=13523 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13533/stat : 13533 (java) S 13523 13526 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95775369 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149813922416 140150322174594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13534] ppid=13523 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13534/stat : 13534 (java) S 13523 13526 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95775369 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149812868384 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13535] ppid=13523 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13535/stat : 13535 (java) S 13523 13526 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95775369 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149811816048 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13536] ppid=13523 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13536/stat : 13536 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149810764368 140150322182043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13537] ppid=13523 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13537/stat : 13537 (java) S 13523 13526 6338 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 95775372 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149809711216 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13538] ppid=13523 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13538/stat : 13538 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149808658416 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13539] ppid=13523 vsize=10555400 memory=140425144231552 CPUtime=0.02 cores=1,3,5,7
/proc/13526/task/13539/stat : 13539 (java) S 13523 13526 6338 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 95775372 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149807606128 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13540] ppid=13523 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13540/stat : 13540 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149806553568 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13541] ppid=13523 vsize=10555400 memory=140425144231552 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13541/stat : 13541 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775372 10808729600 7767 33554432000 4194304 4196468 140723823678192 140149805501360 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31068 KiB
[startup+0.210558 s]*
/proc/loadavg: 4.91 4.56 4.33 6/215 13541
/proc/meminfo: memFree=20808752/32770624 swapFree=67108860/67108860
[pid=13526] ppid=13523 vsize=10555400 memory=39584 CPUtime=0.29 cores=1,3,5,7
/proc/13526/stat : 13526 (java) S 13523 13526 6338 0 -1 1077944320 8003 0 0 0 27 2 0 0 20 0 15 0 95775366 10808729600 9896 33554432000 4194304 4196468 140723823678192 140723823660736 140150322163447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
/proc/13526/statm: 2638850 9896 2905 1 0 2627263 0
[pid=13526/tid=13528] ppid=13523 vsize=10555400 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/13526/task/13528/stat : 13528 (java) R 13523 13526 6338 0 -1 4202560 5253 0 0 0 18 2 0 0 20 0 15 0 95775367 10808729600 9896 33554432000 4194304 4196468 140723823678192 140150326395696 140150322175382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13529] ppid=13523 vsize=10555400 memory=4211974151349022090 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13529/stat : 13529 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775367 10808729600 9896 33554432000 4194304 4196468 140723823678192 140150287444368 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13530] ppid=13523 vsize=10555400 memory=140425144231552 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13530/stat : 13530 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775367 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149927815440 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13531] ppid=13523 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13531/stat : 13531 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775367 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149926763152 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13532] ppid=13523 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13532/stat : 13532 (java) S 13523 13526 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95775367 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149925710352 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13533] ppid=13523 vsize=10555400 memory=140425144231552 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13533/stat : 13533 (java) S 13523 13526 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95775369 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149813922416 140150322174594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13534] ppid=13523 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13534/stat : 13534 (java) S 13523 13526 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95775369 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149812868384 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13535] ppid=13523 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13535/stat : 13535 (java) S 13523 13526 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95775369 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149811816048 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13536] ppid=13523 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13536/stat : 13536 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149810764368 140150322182043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13537] ppid=13523 vsize=10555400 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13526/task/13537/stat : 13537 (java) S 13523 13526 6338 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 15 0 95775372 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149809711216 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13538] ppid=13523 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13526/task/13538/stat : 13538 (java) S 13523 13526 6338 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 15 0 95775372 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149808658416 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13539] ppid=13523 vsize=10555400 memory=140425144231552 CPUtime=0.06 cores=1,3,5,7
/proc/13526/task/13539/stat : 13539 (java) R 13523 13526 6338 0 -1 4202560 786 0 0 0 6 0 0 0 20 0 15 0 95775372 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149807606128 140150322184794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13540] ppid=13523 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13540/stat : 13540 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149806553568 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13541] ppid=13523 vsize=10555400 memory=140425144231552 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13541/stat : 13541 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775372 10808729600 9896 33554432000 4194304 4196468 140723823678192 140149805501360 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39584 KiB
[startup+0.310338 s]*
/proc/loadavg: 4.91 4.56 4.33 8/215 13541
/proc/meminfo: memFree=20802300/32770624 swapFree=67108860/67108860
[pid=13526] ppid=13523 vsize=10555476 memory=46272 CPUtime=0.52 cores=1,3,5,7
/proc/13526/stat : 13526 (java) S 13523 13526 6338 0 -1 1077944320 8619 0 0 0 49 3 0 0 20 0 15 0 95775366 10808807424 11568 33554432000 4194304 4196468 140723823678192 140723823660736 140150322163447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
/proc/13526/statm: 2638869 11568 3026 1 0 2627263 0
[pid=13526/tid=13528] ppid=13523 vsize=10555476 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/13526/task/13528/stat : 13528 (java) R 13523 13526 6338 0 -1 4202560 5611 0 0 0 28 2 0 0 20 0 15 0 95775367 10808807424 11568 33554432000 4194304 4196468 140723823678192 140150326401920 140150322185373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13529] ppid=13523 vsize=10555476 memory=4211974151349022090 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13529/stat : 13529 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775367 10808807424 11568 33554432000 4194304 4196468 140723823678192 140150287444368 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13530] ppid=13523 vsize=10555476 memory=140425144233909 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13530/stat : 13530 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775367 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149927815440 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13531] ppid=13523 vsize=10555476 memory=140425029599954 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13531/stat : 13531 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775367 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149926763152 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13532] ppid=13523 vsize=10555476 memory=140425029602767 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13532/stat : 13532 (java) S 13523 13526 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95775367 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149925710352 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13533] ppid=13523 vsize=10555476 memory=140425144237917 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13533/stat : 13533 (java) S 13523 13526 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95775369 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149813922416 140150322174594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13534] ppid=13523 vsize=10555476 memory=140425029611951 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13534/stat : 13534 (java) S 13523 13526 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95775369 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149812868384 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13535] ppid=13523 vsize=10555476 memory=280850059214736 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13535/stat : 13535 (java) S 13523 13526 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95775369 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149811816048 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13536] ppid=13523 vsize=10555476 memory=280850059212432 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13536/stat : 13536 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149810764368 140150322182043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13537] ppid=13523 vsize=10555476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13526/task/13537/stat : 13537 (java) R 13523 13526 6338 0 -1 4202560 607 0 0 0 3 0 0 0 20 0 15 0 95775372 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149809701600 140150306560264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13538] ppid=13523 vsize=10555476 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13526/task/13538/stat : 13538 (java) S 13523 13526 6338 0 -1 1077944384 153 0 0 0 3 0 0 0 20 0 15 0 95775372 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149808658416 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13539] ppid=13523 vsize=10555476 memory=140425144231552 CPUtime=0.14 cores=1,3,5,7
/proc/13526/task/13539/stat : 13539 (java) R 13523 13526 6338 0 -1 4202560 884 0 0 0 14 0 0 0 20 0 15 0 95775372 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149807601008 140150322175382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13540] ppid=13523 vsize=10555476 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13540/stat : 13540 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149806553568 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13541] ppid=13523 vsize=10555476 memory=140425144231552 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13541/stat : 13541 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 11568 33554432000 4194304 4196468 140723823678192 140149805501360 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46272 KiB
[startup+0.702713 s]
/proc/loadavg: 4.91 4.56 4.33 8/215 13541
/proc/meminfo: memFree=20735908/32770624 swapFree=67108860/67108860
[pid=13526] ppid=13523 vsize=10555476 memory=243228 CPUtime=1.7 cores=1,3,5,7
/proc/13526/stat : 13526 (java) S 13523 13526 6338 0 -1 1077944320 13238 0 0 0 159 11 0 0 20 0 15 0 95775366 10808807424 60807 33554432000 4194304 4196468 140723823678192 140723823660736 140150322163447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
/proc/13526/statm: 2638869 60807 3094 1 0 2627263 0
[pid=13526/tid=13528] ppid=13523 vsize=10555476 memory=1952 CPUtime=0.6 cores=1,3,5,7
/proc/13526/task/13528/stat : 13528 (java) R 13523 13526 6338 0 -1 4202560 5937 0 0 0 56 4 0 0 20 0 15 0 95775367 10808807424 60807 33554432000 4194304 4196468 140723823678192 140150326398784 140149961036356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13529] ppid=13523 vsize=10555476 memory=5796 CPUtime=0.04 cores=1,3,5,7
/proc/13526/task/13529/stat : 13529 (java) S 13523 13526 6338 0 -1 1077944384 20 0 0 0 3 1 0 0 20 0 15 0 95775367 10808807424 60807 33554432000 4194304 4196468 140723823678192 140150287444368 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13530] ppid=13523 vsize=10555476 memory=4616 CPUtime=0.06 cores=1,3,5,7
/proc/13526/task/13530/stat : 13530 (java) S 13523 13526 6338 0 -1 1077944384 38 0 0 0 5 1 0 0 20 0 15 0 95775367 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149927815440 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13531] ppid=13523 vsize=10555476 memory=7523356985603351872 CPUtime=0.06 cores=1,3,5,7
/proc/13526/task/13531/stat : 13531 (java) S 13523 13526 6338 0 -1 1077944384 40 0 0 0 5 1 0 0 20 0 15 0 95775367 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149926763152 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13532] ppid=13523 vsize=10555476 memory=7881696724453321575 CPUtime=0.04 cores=1,3,5,7
/proc/13526/task/13532/stat : 13532 (java) S 13523 13526 6338 0 -1 1077944384 29 0 0 0 3 1 0 0 20 0 15 0 95775367 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149925710352 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13533] ppid=13523 vsize=10555476 memory=7440066780423278672 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13533/stat : 13533 (java) S 13523 13526 6338 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 95775369 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149813922416 140150322174594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13534] ppid=13523 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13534/stat : 13534 (java) S 13523 13526 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 95775369 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149812868384 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13535] ppid=13523 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13535/stat : 13535 (java) S 13523 13526 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 95775369 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149811816048 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13536] ppid=13523 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13536/stat : 13536 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149810764368 140150322182043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13537] ppid=13523 vsize=10555476 memory=70 CPUtime=0.31 cores=1,3,5,7
/proc/13526/task/13537/stat : 13537 (java) R 13523 13526 6338 0 -1 4202560 2095 0 0 0 31 0 0 0 20 0 15 0 95775372 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149809692232 140150305649397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13538] ppid=13523 vsize=10555476 memory=3 CPUtime=0.31 cores=1,3,5,7
/proc/13526/task/13538/stat : 13538 (java) R 13523 13526 6338 0 -1 4202560 2505 0 0 0 31 0 0 0 20 0 15 0 95775372 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149808650904 140150301378273 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13539] ppid=13523 vsize=10555476 memory=5976 CPUtime=0.19 cores=1,3,5,7
/proc/13526/task/13539/stat : 13539 (java) R 13523 13526 6338 0 -1 4202560 1128 0 0 0 19 0 0 0 20 0 15 0 95775372 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149807606128 140150300291291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13540] ppid=13523 vsize=10555476 memory=280850059398640 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13540/stat : 13540 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149806553568 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13541] ppid=13523 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13541/stat : 13541 (java) S 13523 13526 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 60807 33554432000 4194304 4196468 140723823678192 140149805501360 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 243228 KiB
[startup+1.50868 s]
/proc/loadavg: 4.91 4.56 4.33 6/215 13541
/proc/meminfo: memFree=20513924/32770624 swapFree=67108860/67108860
[pid=13526] ppid=13523 vsize=10555476 memory=585464 CPUtime=3.91 cores=1,3,5,7
/proc/13526/stat : 13526 (java) S 13523 13526 6338 0 -1 1077944320 15062 0 0 0 348 43 0 0 20 0 15 0 95775366 10808807424 146366 33554432000 4194304 4196468 140723823678192 140723823660736 140150322163447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
/proc/13526/statm: 2638869 146366 3115 1 0 2627263 0
[pid=13526/tid=13528] ppid=13523 vsize=10555476 memory=0 CPUtime=1.02 cores=1,3,5,7
/proc/13526/task/13528/stat : 13528 (java) S 13523 13526 6338 0 -1 1077944384 5993 0 0 0 97 5 0 0 20 0 15 0 95775367 10808807424 146366 33554432000 4194304 4196468 140723823678192 140150326400256 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13529] ppid=13523 vsize=10555476 memory=-6436867105731274081 CPUtime=0.43 cores=1,3,5,7
/proc/13526/task/13529/stat : 13529 (java) R 13523 13526 6338 0 -1 4202560 428 0 0 0 34 9 0 0 20 0 15 0 95775367 10808807424 146366 33554432000 4194304 4196468 140723823678192 140150287444368 140150306861222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13530] ppid=13523 vsize=10555476 memory=-6007660418857049897 CPUtime=0.45 cores=1,3,5,7
/proc/13526/task/13530/stat : 13530 (java) R 13523 13526 6338 0 -1 4202560 338 0 0 0 36 9 0 0 20 0 15 0 95775367 10808807424 146366 33554432000 4194304 4196468 140723823678192 140149927815024 140150314791655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13531] ppid=13523 vsize=10555476 memory=-1161699032755887712 CPUtime=0.45 cores=1,3,5,7
/proc/13526/task/13531/stat : 13531 (java) R 13523 13526 6338 0 -1 4202560 289 0 0 0 37 8 0 0 20 0 15 0 95775367 10808807424 146366 33554432000 4194304 4196468 140723823678192 140149926763040 140150306861222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13532] ppid=13523 vsize=10555476 memory=-6305719390639449472 CPUtime=0.43 cores=1,3,5,7
/proc/13526/task/13532/stat : 13532 (java) R 13523 13526 6338 0 -1 4202560 449 0 0 0 35 8 0 0 20 0 15 0 95775367 10808807424 146366 33554432000 4194304 4196468 140723823678192 140149925710552 140150303759933 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13533] ppid=13523 vsize=10555476 memory=-6305709512113480832 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13533/stat : 13533 (java) S 13523 13526 6338 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 95775369 10808807424 146366 33554432000 4194304 4196468 140723823678192 140149813920736 140150322173653 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
################
# More data... #
################
[startup+6.3017 s]
/proc/loadavg: 4.92 4.57 4.34 6/215 13541
/proc/meminfo: memFree=19693564/32770624 swapFree=67108860/67108860
[pid=13526] ppid=13523 vsize=10555476 memory=1437656 CPUtime=16.48 cores=1,3,5,7
/proc/13526/stat : 13526 (java) S 13523 13526 6338 0 -1 1077944320 26353 0 0 0 1533 115 0 0 20 0 15 0 95775366 10808807424 359414 33554432000 4194304 4196468 140723823678192 140723823660736 140150322163447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
/proc/13526/statm: 2638869 359414 3124 1 0 2627263 0
[pid=13526/tid=13528] ppid=13523 vsize=10555476 memory=1238792 CPUtime=2.3 cores=1,3,5,7
/proc/13526/task/13528/stat : 13528 (java) S 13523 13526 6338 0 -1 1077944384 7182 0 0 0 221 9 0 0 20 0 15 0 95775367 10808807424 359414 33554432000 4194304 4196468 140723823678192 140150326400192 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13529] ppid=13523 vsize=10555476 memory=280850059357168 CPUtime=3.01 cores=1,3,5,7
/proc/13526/task/13529/stat : 13529 (java) R 13523 13526 6338 0 -1 4202560 1806 0 0 0 276 25 0 0 20 0 15 0 95775367 10808807424 359414 33554432000 4194304 4196468 140723823678192 140150287444368 140150307185568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13530] ppid=13523 vsize=10555476 memory=0 CPUtime=3.01 cores=1,3,5,7
/proc/13526/task/13530/stat : 13530 (java) R 13523 13526 6338 0 -1 4202560 1569 0 0 0 275 26 0 0 20 0 15 0 95775367 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149927815640 140150307191321 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13531] ppid=13523 vsize=10555476 memory=28164 CPUtime=3.03 cores=1,3,5,7
/proc/13526/task/13531/stat : 13531 (java) R 13523 13526 6338 0 -1 4202560 1555 0 0 0 278 25 0 0 20 0 15 0 95775367 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149926763040 140150307185568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13532] ppid=13523 vsize=10555476 memory=2428 CPUtime=3.01 cores=1,3,5,7
/proc/13526/task/13532/stat : 13532 (java) R 13523 13526 6338 0 -1 4202560 1646 0 0 0 277 24 0 0 20 0 15 0 95775367 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149925710352 140150307190866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13533] ppid=13523 vsize=10555476 memory=1292 CPUtime=0.9 cores=1,3,5,7
/proc/13526/task/13533/stat : 13533 (java) S 13523 13526 6338 0 -1 1077944384 4277 0 0 0 90 0 0 0 20 0 15 0 95775369 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149813920928 140150322173653 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13534] ppid=13523 vsize=10555476 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13534/stat : 13534 (java) S 13523 13526 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 95775369 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149812868384 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13535] ppid=13523 vsize=10555476 memory=12064 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13535/stat : 13535 (java) S 13523 13526 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 95775369 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149811816048 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13536] ppid=13523 vsize=10555476 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13536/stat : 13536 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149810764368 140150322182043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13537] ppid=13523 vsize=10555476 memory=1228 CPUtime=0.43 cores=1,3,5,7
/proc/13526/task/13537/stat : 13537 (java) S 13523 13526 6338 0 -1 1077944384 2317 0 0 0 43 0 0 0 20 0 15 0 95775372 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149809711216 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13538] ppid=13523 vsize=10555476 memory=1952 CPUtime=0.43 cores=1,3,5,7
/proc/13526/task/13538/stat : 13538 (java) S 13523 13526 6338 0 -1 1077944384 2531 0 0 0 43 0 0 0 20 0 15 0 95775372 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149808658416 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13539] ppid=13523 vsize=10555476 memory=1099252 CPUtime=0.25 cores=1,3,5,7
/proc/13526/task/13539/stat : 13539 (java) S 13523 13526 6338 0 -1 1077944384 1663 0 0 0 25 0 0 0 20 0 15 0 95775372 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149807606128 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13540] ppid=13523 vsize=10555476 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13540/stat : 13540 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149806553568 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13541] ppid=13523 vsize=10555476 memory=16099256251451951 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13541/stat : 13541 (java) S 13523 13526 6338 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 359414 33554432000 4194304 4196468 140723823678192 140149805501360 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
Current children cumulated CPU time: 16.48 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 1437656 KiB
[startup+6.72981 s]
# the end of solver process 13526 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.9851 s, system=1.2598 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4017 s]
/proc/loadavg: 4.92 4.57 4.34 6/215 13541
/proc/meminfo: memFree=19693564/32770624 swapFree=67108860/67108860
[pid=13526] ppid=13523 vsize=10555476 memory=1516464 CPUtime=16.88 cores=1,3,5,7
/proc/13526/stat : 13526 (java) S 13523 13526 6338 0 -1 1077944320 26865 0 0 0 1564 124 0 0 20 0 15 0 95775366 10808807424 379116 33554432000 4194304 4196468 140723823678192 140723823660736 140150322163447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
/proc/13526/statm: 2638869 379116 3124 1 0 2627263 0
[pid=13526/tid=13528] ppid=13523 vsize=10555476 memory=7300728970739542608 CPUtime=2.3 cores=1,3,5,7
/proc/13526/task/13528/stat : 13528 (java) S 13523 13526 6338 0 -1 1077944384 7182 0 0 0 221 9 0 0 20 0 15 0 95775367 10808807424 379116 33554432000 4194304 4196468 140723823678192 140150326400192 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13529] ppid=13523 vsize=10555476 memory=6944656592455097440 CPUtime=3.11 cores=1,3,5,7
/proc/13526/task/13529/stat : 13529 (java) R 13523 13526 6338 0 -1 4202560 1959 0 0 0 284 27 0 0 20 0 15 0 95775367 10808807424 379116 33554432000 4194304 4196468 140723823678192 140150287444368 140150307185457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13530] ppid=13523 vsize=10555476 memory=470 CPUtime=3.12 cores=1,3,5,7
/proc/13526/task/13530/stat : 13530 (java) R 13523 13526 6338 0 -1 4202560 1702 0 0 0 283 29 0 0 20 0 15 0 95775367 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149927815640 140150306611631 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13531] ppid=13523 vsize=10555476 memory=280850059704496 CPUtime=3.13 cores=1,3,5,7
/proc/13526/task/13531/stat : 13531 (java) R 13523 13526 6338 0 -1 4202560 1675 0 0 0 286 27 0 0 20 0 15 0 95775367 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149926763040 140150307185568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13532] ppid=13523 vsize=10555476 memory=3605477243983782782 CPUtime=3.1 cores=1,3,5,7
/proc/13526/task/13532/stat : 13532 (java) R 13523 13526 6338 0 -1 4202560 1752 0 0 0 284 26 0 0 20 0 15 0 95775367 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149925710352 140150307190294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13533] ppid=13523 vsize=10555476 memory=6944656592387989600 CPUtime=0.9 cores=1,3,5,7
/proc/13526/task/13533/stat : 13533 (java) S 13523 13526 6338 0 -1 1077944384 4277 0 0 0 90 0 0 0 20 0 15 0 95775369 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149813920928 140150322173653 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13534] ppid=13523 vsize=10555476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13534/stat : 13534 (java) S 13523 13526 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 95775369 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149812868384 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13535] ppid=13523 vsize=10555476 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13535/stat : 13535 (java) S 13523 13526 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 95775369 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149811816048 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13536] ppid=13523 vsize=10555476 memory=1537 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13536/stat : 13536 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149810764368 140150322182043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13537] ppid=13523 vsize=10555476 memory=3473155141856866357 CPUtime=0.43 cores=1,3,5,7
/proc/13526/task/13537/stat : 13537 (java) S 13523 13526 6338 0 -1 1077944384 2317 0 0 0 43 0 0 0 20 0 15 0 95775372 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149809711216 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13538] ppid=13523 vsize=10555476 memory=1101524 CPUtime=0.43 cores=1,3,5,7
/proc/13526/task/13538/stat : 13538 (java) S 13523 13526 6338 0 -1 1077944384 2531 0 0 0 43 0 0 0 20 0 15 0 95775372 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149808658416 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13539] ppid=13523 vsize=10555476 memory=2356 CPUtime=0.25 cores=1,3,5,7
/proc/13526/task/13539/stat : 13539 (java) S 13523 13526 6338 0 -1 1077944384 1663 0 0 0 25 0 0 0 20 0 15 0 95775372 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149807606128 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13540] ppid=13523 vsize=10555476 memory=6296143700806424935 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13540/stat : 13540 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149806553568 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13541] ppid=13523 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13541/stat : 13541 (java) S 13523 13526 6338 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 95775372 10808807424 379116 33554432000 4194304 4196468 140723823678192 140149805501360 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
Current children cumulated CPU time: 16.88 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 1516464 KiB
[startup+6.60064 s]
/proc/loadavg: 4.92 4.57 4.34 6/215 13541
/proc/meminfo: memFree=19693564/32770624 swapFree=67108860/67108860
[pid=13526] ppid=13523 vsize=10688756 memory=1518000 CPUtime=17.22 cores=1,3,5,7
/proc/13526/stat : 13526 (java) S 13523 13526 6338 0 -1 1077944320 27602 0 0 0 1598 124 0 0 20 0 16 0 95775366 10945286144 379500 33554432000 4194304 4196468 140723823678192 140723823660736 140150322163447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
/proc/13526/statm: 2672189 379500 3176 1 0 2660545 0
[pid=13526/tid=13528] ppid=13523 vsize=10688756 memory=140425029711968 CPUtime=2.33 cores=1,3,5,7
/proc/13526/task/13528/stat : 13528 (java) S 13523 13526 6338 0 -1 1077944384 7584 0 0 0 224 9 0 0 20 0 16 0 95775367 10945286144 379500 33554432000 4194304 4196468 140723823678192 140150326404128 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13529] ppid=13523 vsize=10688756 memory=0 CPUtime=3.18 cores=1,3,5,7
/proc/13526/task/13529/stat : 13529 (java) S 13523 13526 6338 0 -1 1077944384 1959 0 0 0 291 27 0 0 20 0 16 0 95775367 10945286144 379500 33554432000 4194304 4196468 140723823678192 140150287444368 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13530] ppid=13523 vsize=10688756 memory=0 CPUtime=3.19 cores=1,3,5,7
/proc/13526/task/13530/stat : 13530 (java) S 13523 13526 6338 0 -1 1077944384 1702 0 0 0 290 29 0 0 20 0 16 0 95775367 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149927815440 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13531] ppid=13523 vsize=10688756 memory=6298394388255823458 CPUtime=3.2 cores=1,3,5,7
/proc/13526/task/13531/stat : 13531 (java) S 13523 13526 6338 0 -1 1077944384 1675 0 0 0 293 27 0 0 20 0 16 0 95775367 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149926763152 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13532] ppid=13523 vsize=10688756 memory=7301272206895113583 CPUtime=3.18 cores=1,3,5,7
/proc/13526/task/13532/stat : 13532 (java) S 13523 13526 6338 0 -1 1077944384 1752 0 0 0 291 27 0 0 20 0 16 0 95775367 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149925710352 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13533] ppid=13523 vsize=10688756 memory=7740087344751338081 CPUtime=0.9 cores=1,3,5,7
/proc/13526/task/13533/stat : 13533 (java) S 13523 13526 6338 0 -1 1077944384 4421 0 0 0 90 0 0 0 20 0 16 0 95775369 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149813922416 140150322174594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13534] ppid=13523 vsize=10688756 memory=7011348500760778584 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13534/stat : 13534 (java) S 13523 13526 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 95775369 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149812868384 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13535] ppid=13523 vsize=10688756 memory=7666343086941498728 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13535/stat : 13535 (java) S 13523 13526 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95775369 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149811816048 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13536] ppid=13523 vsize=10688756 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13536/stat : 13536 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149810764368 140150322182043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13537] ppid=13523 vsize=10688756 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/13526/task/13537/stat : 13537 (java) S 13523 13526 6338 0 -1 1077944384 2387 0 0 0 43 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149809711216 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13538] ppid=13523 vsize=10688756 memory=280850059585440 CPUtime=0.43 cores=1,3,5,7
/proc/13526/task/13538/stat : 13538 (java) S 13523 13526 6338 0 -1 1077944384 2586 0 0 0 43 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149808658416 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13539] ppid=13523 vsize=10688756 memory=-6297252152144131264 CPUtime=0.26 cores=1,3,5,7
/proc/13526/task/13539/stat : 13539 (java) S 13523 13526 6338 0 -1 1077944384 1681 0 0 0 26 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149807606128 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13540] ppid=13523 vsize=10688756 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13540/stat : 13540 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149806553568 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13541] ppid=13523 vsize=10688756 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13541/stat : 13541 (java) S 13523 13526 6338 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149805501360 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
Current children cumulated CPU time: 17.22 s
Current children cumulated vsize: 10688756 KiB
Current children cumulated memory: 1518000 KiB
[startup+6.70064 s]
/proc/loadavg: 4.92 4.57 4.34 6/215 13541
/proc/meminfo: memFree=19693564/32770624 swapFree=67108860/67108860
[pid=13526] ppid=13523 vsize=10688756 memory=1518000 CPUtime=17.22 cores=1,3,5,7
/proc/13526/stat : 13526 (java) S 13523 13526 6338 0 -1 1077944320 27602 0 0 0 1598 124 0 0 20 0 16 0 95775366 10945286144 379500 33554432000 4194304 4196468 140723823678192 140723823660736 140150322163447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
/proc/13526/statm: 2672189 379500 3176 1 0 2660545 0
[pid=13526/tid=13528] ppid=13523 vsize=10688756 memory=1721 CPUtime=2.33 cores=1,3,5,7
/proc/13526/task/13528/stat : 13528 (java) S 13523 13526 6338 0 -1 1077944384 7584 0 0 0 224 9 0 0 20 0 16 0 95775367 10945286144 379500 33554432000 4194304 4196468 140723823678192 140150326404128 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13529] ppid=13523 vsize=10688756 memory=280850059357168 CPUtime=3.18 cores=1,3,5,7
/proc/13526/task/13529/stat : 13529 (java) S 13523 13526 6338 0 -1 1077944384 1959 0 0 0 291 27 0 0 20 0 16 0 95775367 10945286144 379500 33554432000 4194304 4196468 140723823678192 140150287444368 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13530] ppid=13523 vsize=10688756 memory=0 CPUtime=3.19 cores=1,3,5,7
/proc/13526/task/13530/stat : 13530 (java) S 13523 13526 6338 0 -1 1077944384 1702 0 0 0 290 29 0 0 20 0 16 0 95775367 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149927815440 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13531] ppid=13523 vsize=10688756 memory=1099252 CPUtime=3.2 cores=1,3,5,7
/proc/13526/task/13531/stat : 13531 (java) S 13523 13526 6338 0 -1 1077944384 1675 0 0 0 293 27 0 0 20 0 16 0 95775367 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149926763152 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13532] ppid=13523 vsize=10688756 memory=288230621803970871 CPUtime=3.18 cores=1,3,5,7
/proc/13526/task/13532/stat : 13532 (java) S 13523 13526 6338 0 -1 1077944384 1752 0 0 0 291 27 0 0 20 0 16 0 95775367 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149925710352 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13533] ppid=13523 vsize=10688756 memory=16099256251451951 CPUtime=0.9 cores=1,3,5,7
/proc/13526/task/13533/stat : 13533 (java) S 13523 13526 6338 0 -1 1077944384 4421 0 0 0 90 0 0 0 20 0 16 0 95775369 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149813922416 140150322174594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13534] ppid=13523 vsize=10688756 memory=28164 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13534/stat : 13534 (java) S 13523 13526 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 95775369 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149812868384 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13535] ppid=13523 vsize=10688756 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13535/stat : 13535 (java) S 13523 13526 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95775369 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149811816048 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13536] ppid=13523 vsize=10688756 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13536/stat : 13536 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149810764368 140150322182043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13537] ppid=13523 vsize=10688756 memory=1728 CPUtime=0.43 cores=1,3,5,7
/proc/13526/task/13537/stat : 13537 (java) S 13523 13526 6338 0 -1 1077944384 2387 0 0 0 43 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149809711216 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13538] ppid=13523 vsize=10688756 memory=12064 CPUtime=0.43 cores=1,3,5,7
/proc/13526/task/13538/stat : 13538 (java) S 13523 13526 6338 0 -1 1077944384 2586 0 0 0 43 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149808658416 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13539] ppid=13523 vsize=10688756 memory=1004 CPUtime=0.26 cores=1,3,5,7
/proc/13526/task/13539/stat : 13539 (java) S 13523 13526 6338 0 -1 1077944384 1681 0 0 0 26 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149807606128 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13540] ppid=13523 vsize=10688756 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13540/stat : 13540 (java) S 13523 13526 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149806553568 140150322173653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
[pid=13526/tid=13541] ppid=13523 vsize=10688756 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/13526/task/13541/stat : 13541 (java) S 13523 13526 6338 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 16 0 95775372 10945286144 379500 33554432000 4194304 4196468 140723823678192 140149805501360 140150322174594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14929920 140723823686790 140723823686943 140723823686943 140723823689679 0
Current children cumulated CPU time: 17.22 s
Current children cumulated vsize: 10688756 KiB
Current children cumulated memory: 1518000 KiB
Child status: 0
Real time (s): 6.72986
CPU time (s): 17.2449
CPU user time (s): 15.9851
CPU system time (s): 1.2598
CPU usage (%): 256.245
Max. virtual memory (cumulated for all children) (KiB): 10688756
Max. memory (cumulated for all children) (KiB): 1518000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9851
system time used= 1.2598
maximum resident set size= 1518736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1806
involuntary context switches= 332
# summary of solver processes directly reported to runsolver:
# pid: 13526
# total CPU time (s): 17.2449
# total CPU user time (s): 15.9851
# total CPU system time (s): 1.2598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069248 second user time and 0.098798 second system time
The end