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 (14684 MiB free)
memory of node 1: 16384 MiB (15160 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386962-1568285951/watcher-4386962-1568285951 -o /tmp/evaluation-result-4386962-1568285951/solver-4386962-1568285951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568285902-5057 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=534064884 HOME/instance-4386962-1568285951.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
solver pid=5081, runsolver pid=5077
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 1.08 1.25 1.61 9/235 5167
/proc/meminfo: memFree=30533196/32770624 swapFree=67008140/67108860
[pid=5081] ppid=5077 vsize=113256 memory=1616 CPUtime=0.07 cores=1,3,5,7
/proc/5081/stat : 5081 (bash) S 5077 5081 3137 0 -1 4202496 920 11275 1 1 0 0 5 2 20 0 1 0 404517920 115974144 404 33554432000 4194304 5098028 140736597286384 140736597279608 140037004131328 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 2 0 0 7196144 7232144 22704128 140736597292053 140736597292177 140736597292177 140736597295086 0
/proc/5081/statm: 28314 404 320 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1616 KiB
[startup+0.210459 s]*
/proc/loadavg: 1.08 1.25 1.61 5/233 5217
/proc/meminfo: memFree=30518360/32770624 swapFree=67008140/67108860
[pid=5081] ppid=5077 vsize=10818900 memory=34600 CPUtime=0.2 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5077 5081 3137 0 -1 1077944320 6510 13308 1 2 10 2 5 3 20 0 15 0 404517920 11078553600 8650 33554432000 4194304 4196468 140727155493424 140727155475968 140005409222391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
/proc/5081/statm: 2704725 8650 2903 1 0 2667149 0
[pid=5081/tid=5191] ppid=5077 vsize=10818900 memory=8389772277269004345 CPUtime=0.16 cores=1,3,5,7
/proc/5081/task/5191/stat : 5191 (java) R 5077 5081 3137 0 -1 1077944384 3107 13308 0 2 7 1 5 3 20 0 15 0 404517932 11078553600 8716 33554432000 4194304 4196468 140727155493424 140005381055088 140005409232597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5192] ppid=5077 vsize=10818900 memory=288293255295270935 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5192/stat : 5192 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517933 11078553600 8716 33554432000 4194304 4196468 140727155493424 140005413465104 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5193] ppid=5077 vsize=10818900 memory=140038099783742 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5193/stat : 5193 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517933 11078553600 8716 33554432000 4194304 4196468 140727155493424 140005332216976 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5195] ppid=5077 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5195/stat : 5195 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517933 11078553600 8716 33554432000 4194304 4196468 140727155493424 140004981398288 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5198] ppid=5077 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5198/stat : 5198 (java) S 5077 5081 3137 0 -1 1077944384 2 13308 0 2 0 0 5 3 20 0 15 0 404517933 11078553600 8716 33554432000 4194304 4196468 140727155493424 140004980345744 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5200] ppid=5077 vsize=10818900 memory=140038097630848 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5200/stat : 5200 (java) S 5077 5081 3137 0 -1 1077944384 2 13308 0 2 0 0 5 3 20 0 15 0 404517934 11078553600 8716 33554432000 4194304 4196468 140727155493424 140004935903472 140005409233538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5202] ppid=5077 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5202/stat : 5202 (java) S 5077 5081 3137 0 -1 1077944384 13 13308 0 2 0 0 5 3 20 0 15 0 404517935 11078553600 8716 33554432000 4194304 4196468 140727155493424 140004391117984 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5204] ppid=5077 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5204/stat : 5204 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517935 11078553600 8716 33554432000 4194304 4196468 140727155493424 140004189790960 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5206] ppid=5077 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5206/stat : 5206 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11078553600 8716 33554432000 4194304 4196468 140727155493424 140003949500368 140005409240987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5207] ppid=5077 vsize=10818900 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5207/stat : 5207 (java) R 5077 5081 3137 0 -1 4202560 541 13308 0 2 1 0 5 3 20 0 15 0 404517938 11078553600 8716 33554432000 4194304 4196468 140727155493424 140004934842640 140005395236712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5208] ppid=5077 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5208/stat : 5208 (java) R 5077 5081 3137 0 -1 4202560 52 13308 0 2 0 0 5 3 20 0 15 0 404517938 11078553600 8716 33554432000 4194304 4196468 140727155493424 140004933798768 140005390766114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5209] ppid=5077 vsize=10818900 memory=140038097630848 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5209/stat : 5209 (java) R 5077 5081 3137 0 -1 4202560 611 13308 0 2 1 0 5 3 20 0 15 0 404517938 11078553600 8716 33554432000 4194304 4196468 140727155493424 140004932745840 140005393302878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5214] ppid=5077 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5214/stat : 5214 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11078553600 8716 33554432000 4194304 4196468 140727155493424 140003915942752 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5216] ppid=5077 vsize=10818900 memory=140038097630848 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5216/stat : 5216 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517938 11078553600 8716 33554432000 4194304 4196468 140727155493424 140004931693104 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10818900 KiB
Current children cumulated memory: 34600 KiB
[startup+0.311075 s]*
/proc/loadavg: 1.08 1.25 1.61 4/233 5217
/proc/meminfo: memFree=30487732/32770624 swapFree=67008140/67108860
[pid=5081] ppid=5077 vsize=10819084 memory=49416 CPUtime=0.34 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5077 5081 3137 0 -1 1077944320 9515 13308 1 2 23 3 5 3 20 0 15 0 404517920 11078742016 12354 33554432000 4194304 4196468 140727155493424 140727155475968 140005409222391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
/proc/5081/statm: 2704771 12354 3039 1 0 2667149 0
[pid=5081/tid=5191] ppid=5077 vsize=10819084 memory=1398722017469774279 CPUtime=0.25 cores=1,3,5,7
/proc/5081/task/5191/stat : 5191 (java) R 5077 5081 3137 0 -1 4202560 6031 13308 0 2 15 2 5 3 20 0 15 0 404517932 11078742016 12354 33554432000 4194304 4196468 140727155493424 140005381035680 140005409244317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5192] ppid=5077 vsize=10819084 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5192/stat : 5192 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517933 11078742016 12354 33554432000 4194304 4196468 140727155493424 140005413465104 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5193] ppid=5077 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5193/stat : 5193 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517933 11078742016 12354 33554432000 4194304 4196468 140727155493424 140005332216976 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5195] ppid=5077 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5195/stat : 5195 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517933 11078742016 12354 33554432000 4194304 4196468 140727155493424 140004981398288 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5198] ppid=5077 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5198/stat : 5198 (java) S 5077 5081 3137 0 -1 1077944384 2 13308 0 2 0 0 5 3 20 0 15 0 404517933 11078742016 12354 33554432000 4194304 4196468 140727155493424 140004980345744 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5200] ppid=5077 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5200/stat : 5200 (java) S 5077 5081 3137 0 -1 1077944384 2 13308 0 2 0 0 5 3 20 0 15 0 404517934 11078742016 12354 33554432000 4194304 4196468 140727155493424 140004935903472 140005409233538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5202] ppid=5077 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5202/stat : 5202 (java) S 5077 5081 3137 0 -1 1077944384 13 13308 0 2 0 0 5 3 20 0 15 0 404517935 11078742016 12354 33554432000 4194304 4196468 140727155493424 140004391117984 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5204] ppid=5077 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5204/stat : 5204 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517935 11078742016 12354 33554432000 4194304 4196468 140727155493424 140004189790960 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5206] ppid=5077 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5206/stat : 5206 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11078742016 12354 33554432000 4194304 4196468 140727155493424 140003949500368 140005409240987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5207] ppid=5077 vsize=10819084 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5207/stat : 5207 (java) R 5077 5081 3137 0 -1 1077944384 541 13308 0 2 1 0 5 3 20 0 15 0 404517938 11078742016 12354 33554432000 4194304 4196468 140727155493424 140004934851312 140005409233538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5208] ppid=5077 vsize=10819084 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5208/stat : 5208 (java) R 5077 5081 3137 0 -1 4202560 66 13308 0 2 1 0 5 3 20 0 15 0 404517938 11078742016 12354 33554432000 4194304 4196468 140727155493424 140004933798768 140005389391186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5209] ppid=5077 vsize=10819084 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5081/task/5209/stat : 5209 (java) S 5077 5081 3137 0 -1 1077944384 652 13308 0 2 4 0 5 3 20 0 15 0 404517938 11078742016 12354 33554432000 4194304 4196468 140727155493424 140004932745712 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5214] ppid=5077 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5214/stat : 5214 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11078742016 12354 33554432000 4194304 4196468 140727155493424 140003915942752 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5216] ppid=5077 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5216/stat : 5216 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517938 11078742016 12354 33554432000 4194304 4196468 140727155493424 140004931693104 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 49416 KiB
[startup+0.700723 s]
/proc/loadavg: 1.08 1.25 1.61 3/233 5217
/proc/meminfo: memFree=30460964/32770624 swapFree=67008140/67108860
[pid=5081] ppid=5077 vsize=10822292 memory=76716 CPUtime=0.94 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5077 5081 3137 0 -1 1077944320 13780 13308 1 2 81 5 5 3 20 0 15 0 404517920 11082027008 19179 33554432000 4194304 4196468 140727155493424 140727155475968 140005409222391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
/proc/5081/statm: 2705573 19179 3479 1 0 2667661 0
[pid=5081/tid=5191] ppid=5077 vsize=10822292 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/5081/task/5191/stat : 5191 (java) D 5077 5081 3137 0 -1 4202560 9539 13308 0 2 47 4 5 3 20 0 15 0 404517932 11082027008 19179 33554432000 4194304 4196468 140727155493424 140005381045824 140005409244317 0 4 0 16800975 18446744071580419588 0 0 -1 5 0 0 3 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5192] ppid=5077 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5192/stat : 5192 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517933 11082027008 19179 33554432000 4194304 4196468 140727155493424 140005413465104 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5193] ppid=5077 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5193/stat : 5193 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517933 11082027008 19179 33554432000 4194304 4196468 140727155493424 140005332216976 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5195] ppid=5077 vsize=10822292 memory=8751464017575295285 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5195/stat : 5195 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517933 11082027008 19179 33554432000 4194304 4196468 140727155493424 140004981398288 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5198] ppid=5077 vsize=10822292 memory=3484 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5198/stat : 5198 (java) S 5077 5081 3137 0 -1 1077944384 2 13308 0 2 0 0 5 3 20 0 15 0 404517933 11082027008 19179 33554432000 4194304 4196468 140727155493424 140004980345744 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5200] ppid=5077 vsize=10822292 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5200/stat : 5200 (java) S 5077 5081 3137 0 -1 1077944384 5 13308 0 2 0 0 5 3 20 0 15 0 404517934 11082027008 19179 33554432000 4194304 4196468 140727155493424 140004935903472 140005409233538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5202] ppid=5077 vsize=10822292 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5202/stat : 5202 (java) S 5077 5081 3137 0 -1 1077944384 13 13308 0 2 0 0 5 3 20 0 15 0 404517935 11082027008 19179 33554432000 4194304 4196468 140727155493424 140004391117984 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5204] ppid=5077 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5204/stat : 5204 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517935 11082027008 19179 33554432000 4194304 4196468 140727155493424 140004189790960 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5206] ppid=5077 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5206/stat : 5206 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11082027008 19179 33554432000 4194304 4196468 140727155493424 140003949500368 140005409240987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5207] ppid=5077 vsize=10822292 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/5081/task/5207/stat : 5207 (java) S 5077 5081 3137 0 -1 1077944384 812 13308 0 2 8 0 5 3 20 0 15 0 404517938 11082027008 19179 33554432000 4194304 4196468 140727155493424 140004934851312 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5208] ppid=5077 vsize=10822292 memory=6944652177228980320 CPUtime=0.18 cores=1,3,5,7
/proc/5081/task/5208/stat : 5208 (java) S 5077 5081 3137 0 -1 1077944384 371 13308 0 2 10 0 5 3 20 0 15 0 404517938 11082027008 19179 33554432000 4194304 4196468 140727155493424 140004933798768 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5209] ppid=5077 vsize=10822292 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/5081/task/5209/stat : 5209 (java) S 5077 5081 3137 0 -1 1077944384 822 13308 0 2 15 0 5 3 20 0 15 0 404517938 11082027008 19179 33554432000 4194304 4196468 140727155493424 140004932745712 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5214] ppid=5077 vsize=10822292 memory=664970774370811550 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5214/stat : 5214 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11082027008 19179 33554432000 4194304 4196468 140727155493424 140003915942752 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5216] ppid=5077 vsize=10822292 memory=4206186544037388384 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5216/stat : 5216 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517938 11082027008 19179 33554432000 4194304 4196468 140727155493424 140004931693104 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 76716 KiB
[startup+1.50994 s]
/proc/loadavg: 1.08 1.25 1.61 6/233 5217
/proc/meminfo: memFree=30391456/32770624 swapFree=67008140/67108860
[pid=5081] ppid=5077 vsize=10834656 memory=166632 CPUtime=2.16 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5077 5081 3137 0 -1 1077944320 20524 13308 1 2 199 9 5 3 20 0 15 0 404517920 11094687744 41658 33554432000 4194304 4196468 140727155493424 140727155475968 140005409222391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
/proc/5081/statm: 2708664 41658 3578 1 0 2670733 0
[pid=5081/tid=5191] ppid=5077 vsize=10834656 memory=8 CPUtime=1.28 cores=1,3,5,7
/proc/5081/task/5191/stat : 5191 (java) R 5077 5081 3137 0 -1 4202560 14614 13308 0 2 114 6 5 3 20 0 15 0 404517932 11094687744 41658 33554432000 4194304 4196468 140727155493424 140005381051152 140005409234326 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5192] ppid=5077 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5192/stat : 5192 (java) S 5077 5081 3137 0 -1 1077944384 66 13308 0 2 1 0 5 3 20 0 15 0 404517933 11094687744 41658 33554432000 4194304 4196468 140727155493424 140005413465104 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5193] ppid=5077 vsize=10834656 memory=2610 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5193/stat : 5193 (java) S 5077 5081 3137 0 -1 1077944384 80 13308 0 2 0 0 5 3 20 0 15 0 404517933 11094687744 41658 33554432000 4194304 4196468 140727155493424 140005332216976 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5195] ppid=5077 vsize=10834656 memory=9023629670928638048 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5195/stat : 5195 (java) S 5077 5081 3137 0 -1 1077944384 41 13308 0 2 1 0 5 3 20 0 15 0 404517933 11094687744 41658 33554432000 4194304 4196468 140727155493424 140004981398288 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5198] ppid=5077 vsize=10834656 memory=6944652177228980320 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5198/stat : 5198 (java) S 5077 5081 3137 0 -1 1077944384 419 13308 0 2 1 0 5 3 20 0 15 0 404517933 11094687744 41658 33554432000 4194304 4196468 140727155493424 140004980345744 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5200] ppid=5077 vsize=10834656 memory=6944652177228980320 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5200/stat : 5200 (java) S 5077 5081 3137 0 -1 1077944384 137 13308 0 2 1 0 5 3 20 0 15 0 404517934 11094687744 41658 33554432000 4194304 4196468 140727155493424 140004935903472 140005409233538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5202] ppid=5077 vsize=10834656 memory=280075891698224 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5202/stat : 5202 (java) S 5077 5081 3137 0 -1 1077944384 14 13308 0 2 0 0 5 3 20 0 15 0 404517935 11094687744 41658 33554432000 4194304 4196468 140727155493424 140004391117984 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5204] ppid=5077 vsize=10834656 memory=23996519156458 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5204/stat : 5204 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517935 11094687744 41658 33554432000 4194304 4196468 140727155493424 140004189790960 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5206] ppid=5077 vsize=10834656 memory=23996519156458 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5206/stat : 5206 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11094687744 41658 33554432000 4194304 4196468 140727155493424 140003949500368 140005409240987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5207] ppid=5077 vsize=10834656 memory=23996519156458 CPUtime=0.28 cores=1,3,5,7
/proc/5081/task/5207/stat : 5207 (java) S 5077 5081 3137 0 -1 1077944384 930 13308 0 2 20 0 5 3 20 0 15 0 404517938 11094687744 41658 33554432000 4194304 4196468 140727155493424 140004934851312 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5208] ppid=5077 vsize=10834656 memory=23996519156458 CPUtime=0.33 cores=1,3,5,7
/proc/5081/task/5208/stat : 5208 (java) S 5077 5081 3137 0 -1 1077944384 657 13308 0 2 25 0 5 3 20 0 15 0 404517938 11094687744 41658 33554432000 4194304 4196468 140727155493424 140004933798768 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5209] ppid=5077 vsize=10834656 memory=23996519156458 CPUtime=0.4 cores=1,3,5,7
/proc/5081/task/5209/stat : 5209 (java) R 5077 5081 3137 0 -1 1077944384 1353 13308 0 2 32 0 5 3 20 0 15 0 404517938 11094687744 41658 33554432000 4194304 4196468 140727155493424 140004932745712 140005409233538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5214] ppid=5077 vsize=10834656 memory=23996519156458 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5214/stat : 5214 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11094687744 41658 33554432000 4194304 4196468 140727155493424 140003915942752 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5216] ppid=5077 vsize=10834656 memory=23996519156202 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5216/stat : 5216 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517938 11094687744 41658 33554432000 4194304 4196468 140727155493424 140004931693104 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
Current children cumulated CPU time: 2.16 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 166632 KiB
[startup+3.11191 s]
/proc/loadavg: 1.08 1.25 1.61 9/233 5217
/proc/meminfo: memFree=30084452/32770624 swapFree=67008140/67108860
[pid=5081] ppid=5077 vsize=10842868 memory=248436 CPUtime=6.52 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5077 5081 3137 0 -1 1077944320 33111 13308 2 2 629 15 5 3 20 0 15 0 404517920 11103096832 62109 33554432000 4194304 4196468 140727155493424 140727155475968 140005409222391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
/proc/5081/statm: 2710717 62109 3600 1 0 2672781 0
[pid=5081/tid=5191] ppid=5077 vsize=10842868 memory=203044 CPUtime=2.82 cores=1,3,5,7
/proc/5081/task/5191/stat : 5191 (java) R 5077 5081 3137 0 -1 4202560 18328 13308 1 2 266 8 5 3 20 0 15 0 404517932 11103096832 62109 33554432000 4194304 4196468 140727155493424 140005381055376 140005393329249 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
################
# More data... #
################
Current children cumulated CPU time: 6.52 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 248436 KiB
[startup+4.38645 s]
# the end of solver process 5081 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.0923 s, system=0.251358 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20143 s]
/proc/loadavg: 1.08 1.25 1.61 9/233 5217
/proc/meminfo: memFree=30084452/32770624 swapFree=67008140/67108860
[pid=5081] ppid=5077 vsize=10842868 memory=257420 CPUtime=6.78 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5077 5081 3137 0 -1 1077944320 33319 13308 2 2 655 15 5 3 20 0 15 0 404517920 11103096832 64355 33554432000 4194304 4196468 140727155493424 140727155475968 140005409222391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
/proc/5081/statm: 2710717 64355 3601 1 0 2672781 0
[pid=5081/tid=5191] ppid=5077 vsize=10842868 memory=-8029775829737353339 CPUtime=2.91 cores=1,3,5,7
/proc/5081/task/5191/stat : 5191 (java) R 5077 5081 3137 0 -1 4202560 18400 13308 1 2 275 8 5 3 20 0 15 0 404517932 11103096832 64355 33554432000 4194304 4196468 140727155493424 140005381057664 140005409234326 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5192] ppid=5077 vsize=10842868 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5192/stat : 5192 (java) S 5077 5081 3137 0 -1 1077944384 66 13308 0 2 1 0 5 3 20 0 15 0 404517933 11103096832 64355 33554432000 4194304 4196468 140727155493424 140005413465104 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5193] ppid=5077 vsize=10842868 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5193/stat : 5193 (java) S 5077 5081 3137 0 -1 1077944384 80 13308 0 2 0 0 5 3 20 0 15 0 404517933 11103096832 64355 33554432000 4194304 4196468 140727155493424 140005332216976 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5195] ppid=5077 vsize=10842868 memory=25409 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5195/stat : 5195 (java) S 5077 5081 3137 0 -1 1077944384 41 13308 0 2 1 0 5 3 20 0 15 0 404517933 11103096832 64355 33554432000 4194304 4196468 140727155493424 140004981398288 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5198] ppid=5077 vsize=10842868 memory=6944656592455097440 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5198/stat : 5198 (java) S 5077 5081 3137 0 -1 1077944384 419 13308 0 2 1 0 5 3 20 0 15 0 404517933 11103096832 64355 33554432000 4194304 4196468 140727155493424 140004980345744 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5200] ppid=5077 vsize=10842868 memory=6943526294502006880 CPUtime=0.09 cores=1,3,5,7
/proc/5081/task/5200/stat : 5200 (java) S 5077 5081 3137 0 -1 1077944384 137 13308 0 2 1 0 5 3 20 0 15 0 404517934 11103096832 64355 33554432000 4194304 4196468 140727155493424 140004935903472 140005409233538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5202] ppid=5077 vsize=10842868 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5202/stat : 5202 (java) S 5077 5081 3137 0 -1 1077944384 14 13308 0 2 0 0 5 3 20 0 15 0 404517935 11103096832 64355 33554432000 4194304 4196468 140727155493424 140004391117984 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5204] ppid=5077 vsize=10842868 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5204/stat : 5204 (java) S 5077 5081 3137 0 -1 1077944384 1 13308 0 2 0 0 5 3 20 0 15 0 404517935 11103096832 64355 33554432000 4194304 4196468 140727155493424 140004189790960 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5206] ppid=5077 vsize=10842868 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5206/stat : 5206 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11103096832 64355 33554432000 4194304 4196468 140727155493424 140003949500368 140005409240987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5207] ppid=5077 vsize=10842868 memory=6944656575208382560 CPUtime=1.36 cores=1,3,5,7
/proc/5081/task/5207/stat : 5207 (java) R 5077 5081 3137 0 -1 4202560 4526 13308 0 2 128 0 5 3 20 0 15 0 404517938 11103096832 64355 33554432000 4194304 4196468 140727155493424 140004934830272 140005409243738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5208] ppid=5077 vsize=10842868 memory=-2605811476043407915 CPUtime=1.31 cores=1,3,5,7
/proc/5081/task/5208/stat : 5208 (java) R 5077 5081 3137 0 -1 4202560 2419 13308 0 2 122 1 5 3 20 0 15 0 404517938 11103096832 64355 33554432000 4194304 4196468 140727155493424 140004933788480 140005392777856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5209] ppid=5077 vsize=10842868 memory=4207101286239319872 CPUtime=1.31 cores=1,3,5,7
/proc/5081/task/5209/stat : 5209 (java) R 5077 5081 3137 0 -1 1077944384 5002 13308 0 2 122 1 5 3 20 0 15 0 404517938 11103096832 64355 33554432000 4194304 4196468 140727155493424 140004932745712 140005409233538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5214] ppid=5077 vsize=10842868 memory=7100839870106406798 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5214/stat : 5214 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11103096832 64355 33554432000 4194304 4196468 140727155493424 140003915942752 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5216] ppid=5077 vsize=10842868 memory=3047711591773873550 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5216/stat : 5216 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11103096832 64355 33554432000 4194304 4196468 140727155493424 140004931693104 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
Current children cumulated CPU time: 6.78 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 257420 KiB
[startup+4.0011 s]*
/proc/loadavg: 1.08 1.25 1.61 8/233 5217
/proc/meminfo: memFree=29958232/32770624 swapFree=67008140/67108860
[pid=5081] ppid=5077 vsize=10846964 memory=304712 CPUtime=9.29 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5077 5081 3137 0 -1 1077944320 46088 13308 2 2 903 18 5 3 20 0 15 0 404517920 11107291136 76178 33554432000 4194304 4196468 140727155493424 140727155475968 140005409222391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
/proc/5081/statm: 2711741 76178 3615 1 0 2673805 0
[pid=5081/tid=5191] ppid=5077 vsize=10846964 memory=1398722017469774279 CPUtime=3.65 cores=1,3,5,7
/proc/5081/task/5191/stat : 5191 (java) R 5077 5081 3137 0 -1 4202560 21881 13308 1 2 347 10 5 3 20 0 15 0 404517932 11107291136 76178 33554432000 4194304 4196468 140727155493424 140005381057712 140005390786977 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5192] ppid=5077 vsize=10846964 memory=4872558044660077418 CPUtime=0.12 cores=1,3,5,7
/proc/5081/task/5192/stat : 5192 (java) S 5077 5081 3137 0 -1 1077944384 86 13308 0 2 4 0 5 3 20 0 15 0 404517933 11107291136 76178 33554432000 4194304 4196468 140727155493424 140005413465104 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5193] ppid=5077 vsize=10846964 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5081/task/5193/stat : 5193 (java) S 5077 5081 3137 0 -1 1077944384 106 13308 0 2 3 0 5 3 20 0 15 0 404517933 11107291136 76178 33554432000 4194304 4196468 140727155493424 140005332216976 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5195] ppid=5077 vsize=10846964 memory=-6873162000112450758 CPUtime=0.12 cores=1,3,5,7
/proc/5081/task/5195/stat : 5195 (java) S 5077 5081 3137 0 -1 1077944384 438 13308 0 2 4 0 5 3 20 0 15 0 404517933 11107291136 76178 33554432000 4194304 4196468 140727155493424 140004981398288 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5198] ppid=5077 vsize=10846964 memory=-8990767739041718176 CPUtime=0.12 cores=1,3,5,7
/proc/5081/task/5198/stat : 5198 (java) S 5077 5081 3137 0 -1 1077944384 1105 13308 0 2 4 0 5 3 20 0 15 0 404517933 11107291136 76178 33554432000 4194304 4196468 140727155493424 140004980345744 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5200] ppid=5077 vsize=10846964 memory=6944656425122700657 CPUtime=0.11 cores=1,3,5,7
/proc/5081/task/5200/stat : 5200 (java) S 5077 5081 3137 0 -1 1077944384 4062 13308 0 2 3 0 5 3 20 0 15 0 404517934 11107291136 76178 33554432000 4194304 4196468 140727155493424 140004935903472 140005409233538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5202] ppid=5077 vsize=10846964 memory=6944656592455360608 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5202/stat : 5202 (java) S 5077 5081 3137 0 -1 1077944384 21 13308 0 2 0 0 5 3 20 0 15 0 404517935 11107291136 76178 33554432000 4194304 4196468 140727155493424 140004391118048 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5204] ppid=5077 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5204/stat : 5204 (java) S 5077 5081 3137 0 -1 1077944384 18 13308 0 2 0 0 5 3 20 0 15 0 404517935 11107291136 76178 33554432000 4194304 4196468 140727155493424 140004189790976 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5206] ppid=5077 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5206/stat : 5206 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11107291136 76178 33554432000 4194304 4196468 140727155493424 140003949500368 140005409240987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5207] ppid=5077 vsize=10846964 memory=0 CPUtime=2.02 cores=1,3,5,7
/proc/5081/task/5207/stat : 5207 (java) R 5077 5081 3137 0 -1 4202560 5562 13308 0 2 193 1 5 3 20 0 15 0 404517938 11107291136 76178 33554432000 4194304 4196468 140727155493424 140004934832416 140005388876353 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5208] ppid=5077 vsize=10846964 memory=0 CPUtime=1.93 cores=1,3,5,7
/proc/5081/task/5208/stat : 5208 (java) R 5077 5081 3137 0 -1 4202560 3851 13308 0 2 184 1 5 3 20 0 15 0 404517938 11107291136 76178 33554432000 4194304 4196468 140727155493424 140004933798768 140005392607083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5209] ppid=5077 vsize=10846964 memory=7589420999132590127 CPUtime=1.66 cores=1,3,5,7
/proc/5081/task/5209/stat : 5209 (java) R 5077 5081 3137 0 -1 4202560 6746 13308 0 2 156 2 5 3 20 0 15 0 404517938 11107291136 76178 33554432000 4194304 4196468 140727155493424 140004932745712 140005409243738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5214] ppid=5077 vsize=10846964 memory=7589420999132590127 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5214/stat : 5214 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11107291136 76178 33554432000 4194304 4196468 140727155493424 140003915942752 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5216] ppid=5077 vsize=10846964 memory=7955548013368410288 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5216/stat : 5216 (java) S 5077 5081 3137 0 -1 1077944384 7 13308 0 2 0 0 5 3 20 0 15 0 404517938 11107291136 76178 33554432000 4194304 4196468 140727155493424 140004931693104 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
Current children cumulated CPU time: 9.29 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 304712 KiB
[startup+4.20114 s]
/proc/loadavg: 1.08 1.25 1.61 8/233 5217
/proc/meminfo: memFree=29958232/32770624 swapFree=67008140/67108860
[pid=5081] ppid=5077 vsize=10846964 memory=307640 CPUtime=9.93 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5077 5081 3137 0 -1 1077944320 46939 13308 2 2 966 19 5 3 20 0 15 0 404517920 11107291136 76910 33554432000 4194304 4196468 140727155493424 140727155475968 140005409222391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
/proc/5081/statm: 2711741 76910 3616 1 0 2673805 0
[pid=5081/tid=5191] ppid=5077 vsize=10846964 memory=288230591823097200 CPUtime=3.84 cores=1,3,5,7
/proc/5081/task/5191/stat : 5191 (java) R 5077 5081 3137 0 -1 4202560 22022 13308 1 2 366 10 5 3 20 0 15 0 404517932 11107291136 76910 33554432000 4194304 4196468 140727155493424 140005381055264 140005011978305 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5192] ppid=5077 vsize=10846964 memory=15823278885988833 CPUtime=0.12 cores=1,3,5,7
/proc/5081/task/5192/stat : 5192 (java) S 5077 5081 3137 0 -1 1077944384 86 13308 0 2 4 0 5 3 20 0 15 0 404517933 11107291136 76910 33554432000 4194304 4196468 140727155493424 140005413465104 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5193] ppid=5077 vsize=10846964 memory=280075891628208 CPUtime=0.11 cores=1,3,5,7
/proc/5081/task/5193/stat : 5193 (java) S 5077 5081 3137 0 -1 1077944384 106 13308 0 2 3 0 5 3 20 0 15 0 404517933 11107291136 76910 33554432000 4194304 4196468 140727155493424 140005332216976 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5195] ppid=5077 vsize=10846964 memory=2110388552845092 CPUtime=0.12 cores=1,3,5,7
/proc/5081/task/5195/stat : 5195 (java) S 5077 5081 3137 0 -1 1077944384 438 13308 0 2 4 0 5 3 20 0 15 0 404517933 11107291136 76910 33554432000 4194304 4196468 140727155493424 140004981398288 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5198] ppid=5077 vsize=10846964 memory=280075891267216 CPUtime=0.12 cores=1,3,5,7
/proc/5081/task/5198/stat : 5198 (java) S 5077 5081 3137 0 -1 1077944384 1105 13308 0 2 4 0 5 3 20 0 15 0 404517933 11107291136 76910 33554432000 4194304 4196468 140727155493424 140004980345744 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5200] ppid=5077 vsize=10846964 memory=280075891637392 CPUtime=0.11 cores=1,3,5,7
/proc/5081/task/5200/stat : 5200 (java) S 5077 5081 3137 0 -1 1077944384 4063 13308 0 2 3 0 5 3 20 0 15 0 404517934 11107291136 76910 33554432000 4194304 4196468 140727155493424 140004935903472 140005409233538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5202] ppid=5077 vsize=10846964 memory=7957690565421065314 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5202/stat : 5202 (java) S 5077 5081 3137 0 -1 1077944384 21 13308 0 2 0 0 5 3 20 0 15 0 404517935 11107291136 76910 33554432000 4194304 4196468 140727155493424 140004391118048 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5204] ppid=5077 vsize=10846964 memory=280075891114224 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5204/stat : 5204 (java) S 5077 5081 3137 0 -1 1077944384 18 13308 0 2 0 0 5 3 20 0 15 0 404517935 11107291136 76910 33554432000 4194304 4196468 140727155493424 140004189790976 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5206] ppid=5077 vsize=10846964 memory=6872598998417432672 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5206/stat : 5206 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11107291136 76910 33554432000 4194304 4196468 140727155493424 140003949500368 140005409240987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5207] ppid=5077 vsize=10846964 memory=7014751519700701540 CPUtime=2.21 cores=1,3,5,7
/proc/5081/task/5207/stat : 5207 (java) R 5077 5081 3137 0 -1 4202560 5890 13308 0 2 212 1 5 3 20 0 15 0 404517938 11107291136 76910 33554432000 4194304 4196468 140727155493424 140004934837192 140005388915491 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5208] ppid=5077 vsize=10846964 memory=140038097630848 CPUtime=2.1 cores=1,3,5,7
/proc/5081/task/5208/stat : 5208 (java) R 5077 5081 3137 0 -1 4202560 4031 13308 0 2 201 1 5 3 20 0 15 0 404517938 11107291136 76910 33554432000 4194304 4196468 140727155493424 140004933785808 140005393978597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5209] ppid=5077 vsize=10846964 memory=67 CPUtime=1.75 cores=1,3,5,7
/proc/5081/task/5209/stat : 5209 (java) R 5077 5081 3137 0 -1 4202560 6940 13308 0 2 164 3 5 3 20 0 15 0 404517938 11107291136 76910 33554432000 4194304 4196468 140727155493424 140004932745712 140005389180071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5214] ppid=5077 vsize=10846964 memory=7014751519700701540 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5214/stat : 5214 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 15 0 404517938 11107291136 76910 33554432000 4194304 4196468 140727155493424 140003915942752 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5216] ppid=5077 vsize=10846964 memory=2688649527295 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5216/stat : 5216 (java) S 5077 5081 3137 0 -1 1077944384 8 13308 0 2 0 0 5 3 20 0 15 0 404517938 11107291136 76910 33554432000 4194304 4196468 140727155493424 140004931693104 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
Current children cumulated CPU time: 9.93 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 307640 KiB
[startup+4.3011 s]
/proc/loadavg: 1.08 1.25 1.61 8/233 5217
/proc/meminfo: memFree=29958232/32770624 swapFree=67008140/67108860
[pid=5081] ppid=5077 vsize=10945272 memory=316284 CPUtime=10.27 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5077 5081 3137 0 -1 1077944320 48639 13308 2 2 999 20 5 3 20 0 16 0 404517920 11207958528 79071 33554432000 4194304 4196468 140727155493424 140727155475968 140005409222391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
/proc/5081/statm: 2736318 79071 3617 1 0 2698382 0
[pid=5081/tid=5191] ppid=5077 vsize=10945272 memory=305604 CPUtime=3.93 cores=1,3,5,7
/proc/5081/task/5191/stat : 5191 (java) S 5077 5081 3137 0 -1 1077944384 22175 13308 1 2 375 10 5 3 20 0 16 0 404517932 11207958528 79071 33554432000 4194304 4196468 140727155493424 140005381063712 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5192] ppid=5077 vsize=10914728 memory=203044 CPUtime=0.12 cores=1,3,5,7
/proc/5081/task/5192/stat : 5192 (java) S 5077 5081 3137 0 -1 1077944384 86 13308 0 2 4 0 5 3 20 0 13 0 404517933 11176681472 79564 33554432000 4194304 4196468 140727155493424 140005413465104 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5193] ppid=5077 vsize=10914728 memory=547 CPUtime=0.11 cores=1,3,5,7
/proc/5081/task/5193/stat : 5193 (java) S 5077 5081 3137 0 -1 1077944384 106 13308 0 2 3 0 5 3 20 0 13 0 404517933 11176681472 79564 33554432000 4194304 4196468 140727155493424 140005332216976 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5195] ppid=5077 vsize=10914728 memory=825 CPUtime=0.12 cores=1,3,5,7
/proc/5081/task/5195/stat : 5195 (java) S 5077 5081 3137 0 -1 1077944384 438 13308 0 2 4 0 5 3 20 0 13 0 404517933 11176681472 79564 33554432000 4194304 4196468 140727155493424 140004981398288 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5198] ppid=5077 vsize=10914728 memory=8 CPUtime=0.12 cores=1,3,5,7
/proc/5081/task/5198/stat : 5198 (java) S 5077 5081 3137 0 -1 1077944384 1105 13308 0 2 4 0 5 3 20 0 13 0 404517933 11176681472 79564 33554432000 4194304 4196468 140727155493424 140004980345744 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5200] ppid=5077 vsize=10914728 memory=8 CPUtime=0.12 cores=1,3,5,7
/proc/5081/task/5200/stat : 5200 (java) S 5077 5081 3137 0 -1 1077944384 4063 13308 0 2 4 0 5 3 20 0 13 0 404517934 11176681472 79564 33554432000 4194304 4196468 140727155493424 140004935903680 140005409233538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5202] ppid=5077 vsize=10914728 memory=280075891262464 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5202/stat : 5202 (java) S 5077 5081 3137 0 -1 1077944384 21 13308 0 2 0 0 5 3 20 0 13 0 404517935 11176681472 79564 33554432000 4194304 4196468 140727155493424 140004391118048 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5204] ppid=5077 vsize=10914728 memory=23996519156458 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5204/stat : 5204 (java) S 5077 5081 3137 0 -1 1077944384 18 13308 0 2 0 0 5 3 20 0 13 0 404517935 11176681472 79564 33554432000 4194304 4196468 140727155493424 140004189790976 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5207] ppid=5077 vsize=10914728 memory=23996519156458 CPUtime=2.31 cores=1,3,5,7
/proc/5081/task/5207/stat : 5207 (java) R 5077 5081 3137 0 -1 4202560 7804 13308 0 2 222 1 5 3 20 0 13 0 404517938 11176681472 79564 33554432000 4194304 4196468 140727155493424 140004934837336 140005394348615 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5208] ppid=5077 vsize=10914728 memory=13297 CPUtime=2.2 cores=1,3,5,7
/proc/5081/task/5208/stat : 5208 (java) S 5077 5081 3137 0 -1 1077944384 4319 13308 0 2 211 1 5 3 20 0 13 0 404517938 11176681472 79564 33554432000 4194304 4196468 140727155493424 140004933778000 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5209] ppid=5077 vsize=10914728 memory=4420 CPUtime=1.78 cores=1,3,5,7
/proc/5081/task/5209/stat : 5209 (java) S 5077 5081 3137 0 -1 1077944384 7229 13308 0 2 167 3 5 3 20 0 13 0 404517938 11176681472 79564 33554432000 4194304 4196468 140727155493424 140004932745712 140005409233538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
[pid=5081/tid=5214] ppid=5077 vsize=10914728 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/5081/task/5214/stat : 5214 (java) S 5077 5081 3137 0 -1 1077944384 3 13308 0 2 0 0 5 3 20 0 13 0 404517938 11176681472 79564 33554432000 4194304 4196468 140727155493424 140003915942752 140005409232597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34861056 140727155501814 140727155504325 140727155504325 140727155507151 0
Current children cumulated CPU time: 10.27 s
Current children cumulated vsize: 10945272 KiB
Current children cumulated memory: 316284 KiB
Child status: 0
Real time (s): 4.3865
CPU time (s): 10.3437
CPU user time (s): 10.0923
CPU system time (s): 0.251358
CPU usage (%): 235.806
Max. virtual memory (cumulated for all children) (KiB): 10945272
Max. memory (cumulated for all children) (KiB): 316284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0923
system time used= 0.251358
maximum resident set size= 318472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62951
page faults= 4
swaps= 0
block input operations= 11456
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6482
involuntary context switches= 177
# summary of solver processes directly reported to runsolver:
# pid: 5081
# total CPU time (s): 10.3437
# total CPU user time (s): 10.0923
# total CPU system time (s): 0.251358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048189 second user time and 0.090093 second system time
The end