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 (8284 MiB free)
memory of node 1: 16384 MiB (14527 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298757-1532776746/watcher-4298757-1532776746 -o /tmp/evaluation-result-4298757-1532776746/solver-4298757-1532776746 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532774285-30332 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298757-1532776746.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30573, runsolver pid=30570
Current StackSize limit: 8192 KiB
[startup+0.100711 s]*
/proc/loadavg: 1.37 1.49 1.45 3/215 30588
/proc/meminfo: memFree=23344676/32770624 swapFree=67108404/67108860
[pid=30573] ppid=30570 vsize=10661056 memory=27728 CPUtime=0.12 cores=0,2,4,6
/proc/30573/stat : 30573 (java) S 30570 30573 30301 0 -1 1077944320 5273 0 0 0 11 1 0 0 20 0 15 0 95237707 10916921344 6932 33554432000 4194304 4196468 140722878600800 140722878583344 139694606520055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
/proc/30573/statm: 2665264 6932 2847 1 0 2627263 0
[pid=30573/tid=30575] ppid=30570 vsize=10661056 memory=-8269626465541067644 CPUtime=0.09 cores=0,2,4,6
/proc/30573/task/30575/stat : 30575 (java) R 30570 30573 30301 0 -1 4202560 3143 0 0 0 9 0 0 0 20 0 15 0 95237708 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694610750944 139694606531990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30576] ppid=30570 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30576/stat : 30576 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237708 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694559140368 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30577] ppid=30570 vsize=10661056 memory=140614748984960 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30577/stat : 30577 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237708 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694558087824 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30578] ppid=30570 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30578/stat : 30578 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237708 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694557034768 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30579] ppid=30570 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30579/stat : 30579 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237708 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694555982224 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30580] ppid=30570 vsize=10661056 memory=140614748984960 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30580/stat : 30580 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237710 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694166182640 139694606531202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30581] ppid=30570 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30581/stat : 30581 (java) S 30570 30573 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95237710 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694165128864 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30582] ppid=30570 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30582/stat : 30582 (java) S 30570 30573 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95237711 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694164075760 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30583] ppid=30570 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30583/stat : 30583 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694163024336 139694606538651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30584] ppid=30570 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30584/stat : 30584 (java) S 30570 30573 30301 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 95237713 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694161971440 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30585] ppid=30570 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30585/stat : 30585 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694160918896 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30586] ppid=30570 vsize=10661056 memory=140614748984960 CPUtime=0.01 cores=0,2,4,6
/proc/30573/task/30586/stat : 30586 (java) R 30570 30573 30301 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 15 0 95237713 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694159865840 139694590600542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30587] ppid=30570 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30587/stat : 30587 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694158813536 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30588] ppid=30570 vsize=10661056 memory=140614748984960 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30588/stat : 30588 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237713 10916921344 6932 33554432000 4194304 4196468 140722878600800 139694157761584 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27728 KiB
[startup+0.210573 s]*
/proc/loadavg: 1.37 1.49 1.45 5/215 30588
/proc/meminfo: memFree=23332572/32770624 swapFree=67108404/67108860
[pid=30573] ppid=30570 vsize=10661056 memory=40160 CPUtime=0.35 cores=0,2,4,6
/proc/30573/stat : 30573 (java) S 30570 30573 30301 0 -1 1077944320 8201 0 0 0 33 2 0 0 20 0 15 0 95237707 10916921344 10040 33554432000 4194304 4196468 140722878600800 140722878583344 139694606520055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
/proc/30573/statm: 2665264 10040 2987 1 0 2627263 0
[pid=30573/tid=30575] ppid=30570 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30573/task/30575/stat : 30575 (java) R 30570 30573 30301 0 -1 4202560 5096 0 0 0 19 1 0 0 20 0 15 0 95237708 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694610759328 139694606541981 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30576] ppid=30570 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30576/stat : 30576 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237708 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694559140368 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30577] ppid=30570 vsize=10661056 memory=140614749015011 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30577/stat : 30577 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237708 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694558087824 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30578] ppid=30570 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30578/stat : 30578 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237708 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694557034768 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30579] ppid=30570 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30579/stat : 30579 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237708 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694555982224 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30580] ppid=30570 vsize=10661056 memory=140614748984960 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30580/stat : 30580 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237710 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694166182640 139694606531202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30581] ppid=30570 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30581/stat : 30581 (java) S 30570 30573 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95237710 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694165128864 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30582] ppid=30570 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30582/stat : 30582 (java) S 30570 30573 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95237711 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694164075760 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30583] ppid=30570 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30583/stat : 30583 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694163024336 139694606538651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30584] ppid=30570 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30573/task/30584/stat : 30584 (java) R 30570 30573 30301 0 -1 4202560 768 0 0 0 3 0 0 0 20 0 15 0 95237713 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694161961360 139694587697858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30585] ppid=30570 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30573/task/30585/stat : 30585 (java) R 30570 30573 30301 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 15 0 95237713 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694160918896 139694606531202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30586] ppid=30570 vsize=10661056 memory=140614748984960 CPUtime=0.08 cores=0,2,4,6
/proc/30573/task/30586/stat : 30586 (java) R 30570 30573 30301 0 -1 4202560 910 0 0 0 8 0 0 0 20 0 15 0 95237713 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694159862584 139694585489249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30587] ppid=30570 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30587/stat : 30587 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694158813536 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30588] ppid=30570 vsize=10661056 memory=140614748984960 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30588/stat : 30588 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237713 10916921344 10040 33554432000 4194304 4196468 140722878600800 139694157761584 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40160 KiB
[startup+0.316913 s]*
/proc/loadavg: 1.37 1.49 1.45 6/215 30588
/proc/meminfo: memFree=23323080/32770624 swapFree=67108404/67108860
[pid=30573] ppid=30570 vsize=10661132 memory=48992 CPUtime=0.62 cores=0,2,4,6
/proc/30573/stat : 30573 (java) S 30570 30573 30301 0 -1 1077944320 8849 0 0 0 60 2 0 0 20 0 15 0 95237707 10916999168 12248 33554432000 4194304 4196468 140722878600800 140722878583344 139694606520055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
/proc/30573/statm: 2665283 12248 3068 1 0 2627263 0
[pid=30573/tid=30575] ppid=30570 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/30573/task/30575/stat : 30575 (java) R 30570 30573 30301 0 -1 4202560 5454 0 0 0 29 1 0 0 20 0 15 0 95237708 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694610756384 139694232950529 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30576] ppid=30570 vsize=10661132 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30576/stat : 30576 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694559140368 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30577] ppid=30570 vsize=10661132 memory=140614749014661 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30577/stat : 30577 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694558087824 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30578] ppid=30570 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30578/stat : 30578 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694557034768 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30579] ppid=30570 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30579/stat : 30579 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694555982224 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30580] ppid=30570 vsize=10661132 memory=140614748984960 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30580/stat : 30580 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237710 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694166182640 139694606531202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30581] ppid=30570 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30581/stat : 30581 (java) S 30570 30573 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95237710 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694165128864 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30582] ppid=30570 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30582/stat : 30582 (java) S 30570 30573 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95237711 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694164075760 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30583] ppid=30570 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30583/stat : 30583 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694163024336 139694606538651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30584] ppid=30570 vsize=10661132 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30573/task/30584/stat : 30584 (java) R 30570 30573 30301 0 -1 4202560 872 0 0 0 9 0 0 0 20 0 15 0 95237713 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694161971440 139694599616891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30585] ppid=30570 vsize=10661132 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/30573/task/30585/stat : 30585 (java) R 30570 30573 30301 0 -1 1077944384 128 0 0 0 5 0 0 0 20 0 15 0 95237713 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694160908816 139694606530261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30586] ppid=30570 vsize=10661132 memory=140614748984960 CPUtime=0.15 cores=0,2,4,6
/proc/30573/task/30586/stat : 30586 (java) R 30570 30573 30301 0 -1 4202560 1029 0 0 0 15 0 0 0 20 0 15 0 95237713 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694159865968 139694585475661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30587] ppid=30570 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30587/stat : 30587 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694158813536 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30588] ppid=30570 vsize=10661132 memory=140614748984960 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30588/stat : 30588 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 12248 33554432000 4194304 4196468 140722878600800 139694157761584 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 48992 KiB
[startup+0.700743 s]
/proc/loadavg: 1.37 1.49 1.45 5/215 30588
/proc/meminfo: memFree=23297480/32770624 swapFree=67108404/67108860
[pid=30573] ppid=30570 vsize=10661132 memory=85460 CPUtime=1.81 cores=0,2,4,6
/proc/30573/stat : 30573 (java) S 30570 30573 30301 0 -1 1077944320 12950 0 0 0 177 4 0 0 20 0 15 0 95237707 10916999168 21365 33554432000 4194304 4196468 140722878600800 140722878583344 139694606520055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
/proc/30573/statm: 2665283 21365 3120 1 0 2627263 0
[pid=30573/tid=30575] ppid=30570 vsize=10661132 memory=1840 CPUtime=0.67 cores=0,2,4,6
/proc/30573/task/30575/stat : 30575 (java) R 30570 30573 30301 0 -1 4202560 5701 0 0 0 65 2 0 0 20 0 15 0 95237708 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694610756920 139694234230296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30576] ppid=30570 vsize=10661132 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30576/stat : 30576 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694559140368 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30577] ppid=30570 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30577/stat : 30577 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694558087824 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30578] ppid=30570 vsize=10661132 memory=11008 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30578/stat : 30578 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694557034768 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30579] ppid=30570 vsize=10661132 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30579/stat : 30579 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694555982224 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30580] ppid=30570 vsize=10661132 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30580/stat : 30580 (java) S 30570 30573 30301 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95237710 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694166182640 139694606531202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30581] ppid=30570 vsize=10661132 memory=8568 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30581/stat : 30581 (java) S 30570 30573 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95237710 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694165128864 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30582] ppid=30570 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30582/stat : 30582 (java) S 30570 30573 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95237711 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694164075760 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30583] ppid=30570 vsize=10661132 memory=5372 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30583/stat : 30583 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694163024336 139694606538651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30584] ppid=30570 vsize=10661132 memory=7302135314614015848 CPUtime=0.45 cores=0,2,4,6
/proc/30573/task/30584/stat : 30584 (java) R 30570 30573 30301 0 -1 4202560 2335 0 0 0 45 0 0 0 20 0 15 0 95237713 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694161963928 139694588044080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30585] ppid=30570 vsize=10661132 memory=7450453974481135974 CPUtime=0.39 cores=0,2,4,6
/proc/30573/task/30585/stat : 30585 (java) R 30570 30573 30301 0 -1 4202560 1697 0 0 0 39 0 0 0 20 0 15 0 95237713 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694160918896 139694590016843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30586] ppid=30570 vsize=10661132 memory=7007715718637572176 CPUtime=0.26 cores=0,2,4,6
/proc/30573/task/30586/stat : 30586 (java) S 30570 30573 30301 0 -1 1077944384 1845 0 0 0 26 0 0 0 20 0 15 0 95237713 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694159865840 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30587] ppid=30570 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30587/stat : 30587 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694158813536 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30588] ppid=30570 vsize=10661132 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30588/stat : 30588 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 21365 33554432000 4194304 4196468 140722878600800 139694157761584 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 85460 KiB
[startup+1.50072 s]
/proc/loadavg: 1.37 1.49 1.45 5/215 30588
/proc/meminfo: memFree=23269108/32770624 swapFree=67108404/67108860
[pid=30573] ppid=30570 vsize=10661132 memory=142744 CPUtime=3.09 cores=0,2,4,6
/proc/30573/stat : 30573 (java) S 30570 30573 30301 0 -1 1077944320 15846 0 0 0 304 5 0 0 20 0 15 0 95237707 10916999168 35686 33554432000 4194304 4196468 140722878600800 140722878583344 139694606520055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
/proc/30573/statm: 2665283 35686 3124 1 0 2627263 0
[pid=30573/tid=30575] ppid=30570 vsize=10661132 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/30573/task/30575/stat : 30575 (java) R 30570 30573 30301 0 -1 4202560 5968 0 0 0 144 3 0 0 20 0 15 0 95237708 10916999168 35686 33554432000 4194304 4196468 140722878600800 139694610756480 139694234248889 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30576] ppid=30570 vsize=10661132 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30576/stat : 30576 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 35686 33554432000 4194304 4196468 140722878600800 139694559140368 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30577] ppid=30570 vsize=10661132 memory=-8609294068986781045 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30577/stat : 30577 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 35686 33554432000 4194304 4196468 140722878600800 139694558087824 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30578] ppid=30570 vsize=10661132 memory=-6517102902069810590 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30578/stat : 30578 (java) S 30570 30573 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 35686 33554432000 4194304 4196468 140722878600800 139694557034768 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30579] ppid=30570 vsize=10661132 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30579/stat : 30579 (java) S 30570 30573 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95237708 10916999168 35686 33554432000 4194304 4196468 140722878600800 139694555982224 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30580] ppid=30570 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30580/stat : 30580 (java) S 30570 30573 30301 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 95237710 10916999168 35686 33554432000 4194304 4196468 140722878600800 139694166182640 139694606531202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
################
# More data... #
################
/proc/30573/task/30575/stat : 30575 (java) R 30570 30573 30301 0 -1 4202560 14499 0 0 0 243431 11 0 0 20 0 15 0 95237708 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694610759488 139694234977816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30576] ppid=30570 vsize=10661132 memory=201916 CPUtime=2.68 cores=0,2,4,6
/proc/30573/task/30576/stat : 30576 (java) S 30570 30573 30301 0 -1 1077944384 2879 0 0 0 245 23 0 0 20 0 15 0 95237708 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694559140368 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30577] ppid=30570 vsize=10661132 memory=201916 CPUtime=2.66 cores=0,2,4,6
/proc/30573/task/30577/stat : 30577 (java) S 30570 30573 30301 0 -1 1077944384 2772 0 0 0 242 24 0 0 20 0 15 0 95237708 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694558087824 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30578] ppid=30570 vsize=10661132 memory=201916 CPUtime=2.68 cores=0,2,4,6
/proc/30573/task/30578/stat : 30578 (java) S 30570 30573 30301 0 -1 1077944384 3783 0 0 0 247 21 0 0 20 0 15 0 95237708 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694557034768 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30579] ppid=30570 vsize=10661132 memory=201916 CPUtime=2.67 cores=0,2,4,6
/proc/30573/task/30579/stat : 30579 (java) S 30570 30573 30301 0 -1 1077944384 3577 0 0 0 246 21 0 0 20 0 15 0 95237708 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694555982224 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30580] ppid=30570 vsize=10661132 memory=201916 CPUtime=2.92 cores=0,2,4,6
/proc/30573/task/30580/stat : 30580 (java) S 30570 30573 30301 0 -1 1077944384 5049 0 0 0 270 22 0 0 20 0 15 0 95237710 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694166182640 139694606531202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30581] ppid=30570 vsize=10661132 memory=68 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30581/stat : 30581 (java) S 30570 30573 30301 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95237710 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694165128864 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30582] ppid=30570 vsize=10661132 memory=164 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30582/stat : 30582 (java) S 30570 30573 30301 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95237711 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694164075760 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30583] ppid=30570 vsize=10661132 memory=201916 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30583/stat : 30583 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694163024336 139694606538651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30584] ppid=30570 vsize=10661132 memory=6791534058613427641 CPUtime=0.7 cores=0,2,4,6
/proc/30573/task/30584/stat : 30584 (java) S 30570 30573 30301 0 -1 1077944384 3836 0 0 0 70 0 0 0 20 0 15 0 95237713 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694161971440 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30585] ppid=30570 vsize=10661132 memory=15896 CPUtime=0.76 cores=0,2,4,6
/proc/30573/task/30585/stat : 30585 (java) S 30570 30573 30301 0 -1 1077944384 3552 0 0 0 76 0 0 0 20 0 15 0 95237713 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694160918896 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30586] ppid=30570 vsize=10661132 memory=201916 CPUtime=0.32 cores=0,2,4,6
/proc/30573/task/30586/stat : 30586 (java) S 30570 30573 30301 0 -1 1077944384 2052 0 0 0 31 1 0 0 20 0 15 0 95237713 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694159865840 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30587] ppid=30570 vsize=10661132 memory=16240 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30587/stat : 30587 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694158813536 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30588] ppid=30570 vsize=10661132 memory=201916 CPUtime=0.71 cores=0,2,4,6
/proc/30573/task/30588/stat : 30588 (java) S 30570 30573 30301 0 -1 1077944384 738 0 0 0 34 37 0 0 20 0 15 0 95237713 10916999168 50479 33554432000 4194304 4196468 140722878600800 139694157761584 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
Current children cumulated CPU time: 2450.63 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 201916 KiB
[startup+2502.3 s]
/proc/loadavg: 1.25 1.25 1.29 3/215 30825
/proc/meminfo: memFree=22803348/32770624 swapFree=67108404/67108860
[pid=30573] ppid=30570 vsize=10661132 memory=203964 CPUtime=2510.81 cores=0,2,4,6
/proc/30573/stat : 30573 (java) S 30570 30573 30301 0 -1 1077944320 44339 0 0 0 250957 124 0 0 20 0 15 0 95237707 10916999168 50991 33554432000 4194304 4196468 140722878600800 140722878583344 139694606520055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
/proc/30573/statm: 2665283 50991 3149 1 0 2627263 0
[pid=30573/tid=30575] ppid=30570 vsize=10661132 memory=203964 CPUtime=2494.21 cores=0,2,4,6
/proc/30573/task/30575/stat : 30575 (java) R 30570 30573 30301 0 -1 4202560 14634 0 0 0 249410 11 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694610759472 139694234977816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30576] ppid=30570 vsize=10661132 memory=203964 CPUtime=2.77 cores=0,2,4,6
/proc/30573/task/30576/stat : 30576 (java) S 30570 30573 30301 0 -1 1077944384 2912 0 0 0 253 24 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694559140368 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30577] ppid=30570 vsize=10661132 memory=201916 CPUtime=2.75 cores=0,2,4,6
/proc/30573/task/30577/stat : 30577 (java) S 30570 30573 30301 0 -1 1077944384 2773 0 0 0 250 25 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694558087824 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30578] ppid=30570 vsize=10661132 memory=201916 CPUtime=2.76 cores=0,2,4,6
/proc/30573/task/30578/stat : 30578 (java) S 30570 30573 30301 0 -1 1077944384 3794 0 0 0 254 22 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694557034768 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30579] ppid=30570 vsize=10661132 memory=203964 CPUtime=2.75 cores=0,2,4,6
/proc/30573/task/30579/stat : 30579 (java) S 30570 30573 30301 0 -1 1077944384 3581 0 0 0 253 22 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694555982224 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30580] ppid=30570 vsize=10661132 memory=201916 CPUtime=2.98 cores=0,2,4,6
/proc/30573/task/30580/stat : 30580 (java) S 30570 30573 30301 0 -1 1077944384 5054 0 0 0 276 22 0 0 20 0 15 0 95237710 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694166182640 139694606531202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30581] ppid=30570 vsize=10661132 memory=203964 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30581/stat : 30581 (java) S 30570 30573 30301 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95237710 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694165128864 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30582] ppid=30570 vsize=10661132 memory=203964 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30582/stat : 30582 (java) S 30570 30573 30301 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95237711 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694164075760 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30583] ppid=30570 vsize=10661132 memory=203964 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30583/stat : 30583 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694163024336 139694606538651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30584] ppid=30570 vsize=10661132 memory=203964 CPUtime=0.7 cores=0,2,4,6
/proc/30573/task/30584/stat : 30584 (java) S 30570 30573 30301 0 -1 1077944384 3836 0 0 0 70 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694161971440 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30585] ppid=30570 vsize=10661132 memory=203964 CPUtime=0.76 cores=0,2,4,6
/proc/30573/task/30585/stat : 30585 (java) S 30570 30573 30301 0 -1 1077944384 3552 0 0 0 76 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694160918896 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30586] ppid=30570 vsize=10661132 memory=203964 CPUtime=0.32 cores=0,2,4,6
/proc/30573/task/30586/stat : 30586 (java) S 30570 30573 30301 0 -1 1077944384 2052 0 0 0 31 1 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694159865840 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30587] ppid=30570 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30587/stat : 30587 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694158813536 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30588] ppid=30570 vsize=10661132 memory=203964 CPUtime=0.72 cores=0,2,4,6
/proc/30573/task/30588/stat : 30588 (java) S 30570 30573 30301 0 -1 1077944384 742 0 0 0 34 38 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694157761584 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
Current children cumulated CPU time: 2510.81 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 203964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.5 s]
/proc/loadavg: 1.37 1.27 1.30 3/215 30825
/proc/meminfo: memFree=22303524/32770624 swapFree=67108404/67108860
[pid=30573] ppid=30570 vsize=10661132 memory=203964 CPUtime=2520.04 cores=0,2,4,6
/proc/30573/stat : 30573 (java) S 30570 30573 30301 0 -1 1077944320 44365 0 0 0 251880 124 0 0 20 0 15 0 95237707 10916999168 50991 33554432000 4194304 4196468 140722878600800 140722878583344 139694606520055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
/proc/30573/statm: 2665283 50991 3149 1 0 2627263 0
[pid=30573/tid=30575] ppid=30570 vsize=10661132 memory=16240 CPUtime=2503.37 cores=0,2,4,6
/proc/30573/task/30575/stat : 30575 (java) R 30570 30573 30301 0 -1 4202560 14655 0 0 0 250326 11 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694610759488 139694234977816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30576] ppid=30570 vsize=10661132 memory=203964 CPUtime=2.78 cores=0,2,4,6
/proc/30573/task/30576/stat : 30576 (java) S 30570 30573 30301 0 -1 1077944384 2913 0 0 0 254 24 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694559140368 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30577] ppid=30570 vsize=10661132 memory=203964 CPUtime=2.76 cores=0,2,4,6
/proc/30573/task/30577/stat : 30577 (java) S 30570 30573 30301 0 -1 1077944384 2773 0 0 0 251 25 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694558087824 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30578] ppid=30570 vsize=10661132 memory=201916 CPUtime=2.77 cores=0,2,4,6
/proc/30573/task/30578/stat : 30578 (java) S 30570 30573 30301 0 -1 1077944384 3794 0 0 0 255 22 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694557034768 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30579] ppid=30570 vsize=10661132 memory=203964 CPUtime=2.77 cores=0,2,4,6
/proc/30573/task/30579/stat : 30579 (java) S 30570 30573 30301 0 -1 1077944384 3581 0 0 0 255 22 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694555982224 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30580] ppid=30570 vsize=10661132 memory=203964 CPUtime=2.99 cores=0,2,4,6
/proc/30573/task/30580/stat : 30580 (java) S 30570 30573 30301 0 -1 1077944384 5056 0 0 0 277 22 0 0 20 0 15 0 95237710 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694166182640 139694606531202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30581] ppid=30570 vsize=10661132 memory=203964 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30581/stat : 30581 (java) S 30570 30573 30301 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95237710 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694165128864 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30582] ppid=30570 vsize=10661132 memory=140614613140536 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30582/stat : 30582 (java) S 30570 30573 30301 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95237711 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694164075760 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30583] ppid=30570 vsize=10661132 memory=203964 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30583/stat : 30583 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694163024336 139694606538651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30584] ppid=30570 vsize=10661132 memory=4612 CPUtime=0.7 cores=0,2,4,6
/proc/30573/task/30584/stat : 30584 (java) S 30570 30573 30301 0 -1 1077944384 3836 0 0 0 70 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694161971440 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30585] ppid=30570 vsize=10661132 memory=140614612248866 CPUtime=0.76 cores=0,2,4,6
/proc/30573/task/30585/stat : 30585 (java) S 30570 30573 30301 0 -1 1077944384 3552 0 0 0 76 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694160918896 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30586] ppid=30570 vsize=10661132 memory=203964 CPUtime=0.32 cores=0,2,4,6
/proc/30573/task/30586/stat : 30586 (java) S 30570 30573 30301 0 -1 1077944384 2052 0 0 0 31 1 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694159865840 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30587] ppid=30570 vsize=10661132 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30587/stat : 30587 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694158813536 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30588] ppid=30570 vsize=10661132 memory=2396 CPUtime=0.74 cores=0,2,4,6
/proc/30573/task/30588/stat : 30588 (java) S 30570 30573 30301 0 -1 1077944384 744 0 0 0 35 39 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694157761584 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 203964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.51 s]
# the end of solver process 30573 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.81 s, system=1.25258 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2511.5 s]
/proc/loadavg: 1.37 1.27 1.30 3/215 30825
/proc/meminfo: memFree=22303524/32770624 swapFree=67108404/67108860
[pid=30573] ppid=30570 vsize=10661132 memory=203964 CPUtime=2520.04 cores=0,2,4,6
/proc/30573/stat : 30573 (java) S 30570 30573 30301 0 -1 1077944320 44365 0 0 0 251880 124 0 0 20 0 15 0 95237707 10916999168 50991 33554432000 4194304 4196468 140722878600800 140722878583344 139694606520055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
/proc/30573/statm: 2665283 50991 3149 1 0 2627263 0
[pid=30573/tid=30575] ppid=30570 vsize=10661132 memory=16240 CPUtime=2503.37 cores=0,2,4,6
/proc/30573/task/30575/stat : 30575 (java) R 30570 30573 30301 0 -1 4202560 14655 0 0 0 250326 11 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694610759488 139694234977816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30576] ppid=30570 vsize=10661132 memory=203964 CPUtime=2.78 cores=0,2,4,6
/proc/30573/task/30576/stat : 30576 (java) S 30570 30573 30301 0 -1 1077944384 2913 0 0 0 254 24 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694559140368 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30577] ppid=30570 vsize=10661132 memory=203964 CPUtime=2.76 cores=0,2,4,6
/proc/30573/task/30577/stat : 30577 (java) S 30570 30573 30301 0 -1 1077944384 2773 0 0 0 251 25 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694558087824 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30578] ppid=30570 vsize=10661132 memory=201916 CPUtime=2.77 cores=0,2,4,6
/proc/30573/task/30578/stat : 30578 (java) S 30570 30573 30301 0 -1 1077944384 3794 0 0 0 255 22 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694557034768 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30579] ppid=30570 vsize=10661132 memory=203964 CPUtime=2.77 cores=0,2,4,6
/proc/30573/task/30579/stat : 30579 (java) S 30570 30573 30301 0 -1 1077944384 3581 0 0 0 255 22 0 0 20 0 15 0 95237708 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694555982224 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30580] ppid=30570 vsize=10661132 memory=203964 CPUtime=2.99 cores=0,2,4,6
/proc/30573/task/30580/stat : 30580 (java) S 30570 30573 30301 0 -1 1077944384 5056 0 0 0 277 22 0 0 20 0 15 0 95237710 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694166182640 139694606531202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30581] ppid=30570 vsize=10661132 memory=203964 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30581/stat : 30581 (java) S 30570 30573 30301 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95237710 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694165128864 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30582] ppid=30570 vsize=10661132 memory=140614613140536 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30582/stat : 30582 (java) S 30570 30573 30301 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95237711 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694164075760 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30583] ppid=30570 vsize=10661132 memory=203964 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30583/stat : 30583 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694163024336 139694606538651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30584] ppid=30570 vsize=10661132 memory=4612 CPUtime=0.7 cores=0,2,4,6
/proc/30573/task/30584/stat : 30584 (java) S 30570 30573 30301 0 -1 1077944384 3836 0 0 0 70 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694161971440 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30585] ppid=30570 vsize=10661132 memory=140614612248866 CPUtime=0.76 cores=0,2,4,6
/proc/30573/task/30585/stat : 30585 (java) S 30570 30573 30301 0 -1 1077944384 3552 0 0 0 76 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694160918896 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30586] ppid=30570 vsize=10661132 memory=203964 CPUtime=0.32 cores=0,2,4,6
/proc/30573/task/30586/stat : 30586 (java) S 30570 30573 30301 0 -1 1077944384 2052 0 0 0 31 1 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694159865840 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30587] ppid=30570 vsize=10661132 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/30573/task/30587/stat : 30587 (java) S 30570 30573 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694158813536 139694606530261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
[pid=30573/tid=30588] ppid=30570 vsize=10661132 memory=2396 CPUtime=0.74 cores=0,2,4,6
/proc/30573/task/30588/stat : 30588 (java) S 30570 30573 30301 0 -1 1077944384 744 0 0 0 35 39 0 0 20 0 15 0 95237713 10916999168 50991 33554432000 4194304 4196468 140722878600800 139694157761584 139694606531202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140722878604405 140722878604553 140722878604553 140722878607311 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 203964 KiB
Child status: 143
Real time (s): 2511.51
CPU time (s): 2520.06
CPU user time (s): 2518.81
CPU system time (s): 1.25258
CPU usage (%): 100.34
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 204368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.81
system time used= 1.25258
maximum resident set size= 211088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138622
involuntary context switches= 6153
# summary of solver processes directly reported to runsolver:
# pid: 30573
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.81
# total CPU system time (s): 1.25258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.348 second user time and 22.8151 second system time
The end