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 (9980 MiB free)
memory of node 1: 16384 MiB (12177 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396284-1568392169/watcher-4396284-1568392169 -o /tmp/evaluation-result-4396284-1568392169/solver-4396284-1568392169 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568392123-5656 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1013453821 HOME/instance-4396284-1568392169.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=5880, runsolver pid=5877
Current StackSize limit: 8192 KiB
[startup+0.100122 s]*
/proc/loadavg: 2.18 1.98 1.89 4/219 5937
/proc/meminfo: memFree=22683172/32770624 swapFree=66999272/67108860
[pid=5880] ppid=5877 vsize=9972712 memory=16816 CPUtime=0.1 cores=0,2,4,6
/proc/5880/stat : 5880 (java) S 5877 5880 2817 0 -1 1077944320 4436 13228 0 0 1 1 5 3 20 0 6 0 415155401 10212057088 4204 33554432000 4194304 4196468 140728340314944 140728340297488 140075548782327 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
/proc/5880/statm: 2493178 4204 1935 1 0 2481616 0
[pid=5880/tid=5933] ppid=5877 vsize=9972712 memory=-8960601696899481537 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5933/stat : 5933 (java) R 5877 5880 2817 0 -1 4202560 2254 13228 0 0 0 0 5 3 20 0 6 0 415155410 10212057088 4204 33554432000 4194304 4196468 140728340314944 140075520619088 140075532862814 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5934] ppid=5877 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5934/stat : 5934 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 6 0 415155411 10212057088 4204 33554432000 4194304 4196468 140728340314944 140075553025168 140075548792533 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5935] ppid=5877 vsize=9972712 memory=140530609301120 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5935/stat : 5935 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 6 0 415155411 10212057088 4204 33554432000 4194304 4196468 140728340314944 140075467844624 140075548792533 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5936] ppid=5877 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5936/stat : 5936 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 6 0 415155411 10212057088 4204 33554432000 4194304 4196468 140728340314944 140075466791824 140075548792533 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5937] ppid=5877 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5937/stat : 5937 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 6 0 415155411 10212057088 4716 33554432000 4194304 4196468 140728340314944 140075465739024 140075548792533 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.209923 s]*
/proc/loadavg: 2.18 1.98 1.89 4/228 5946
/proc/meminfo: memFree=22660412/32770624 swapFree=66999272/67108860
[pid=5880] ppid=5877 vsize=10819664 memory=42876 CPUtime=0.26 cores=0,2,4,6
/proc/5880/stat : 5880 (java) S 5877 5880 2817 0 -1 1077944320 7039 13228 0 0 15 3 5 3 20 0 15 0 415155401 11079335936 10719 33554432000 4194304 4196468 140728340314944 140728340297488 140075548782327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
/proc/5880/statm: 2704916 10719 3166 1 0 2667149 0
[pid=5880/tid=5933] ppid=5877 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/5880/task/5933/stat : 5933 (java) R 5877 5880 2817 0 -1 4202560 3517 13228 0 0 10 1 5 3 20 0 15 0 415155410 11079335936 10719 33554432000 4194304 4196468 140728340314944 140075520589920 140075531969136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5934] ppid=5877 vsize=10819664 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5934/stat : 5934 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155411 11079335936 10719 33554432000 4194304 4196468 140728340314944 140075553025168 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5935] ppid=5877 vsize=10819664 memory=140530609312518 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5935/stat : 5935 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155411 11079335936 10719 33554432000 4194304 4196468 140728340314944 140075467844624 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5936] ppid=5877 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5936/stat : 5936 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155411 11079335936 10719 33554432000 4194304 4196468 140728340314944 140075466791824 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5937] ppid=5877 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5937/stat : 5937 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155411 11079335936 10719 33554432000 4194304 4196468 140728340314944 140075465739024 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5938] ppid=5877 vsize=10819664 memory=140530609301120 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5938/stat : 5938 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155412 11079335936 10719 33554432000 4194304 4196468 140728340314944 140075075418480 140075548793474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5939] ppid=5877 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5939/stat : 5939 (java) S 5877 5880 2817 0 -1 1077944384 13 13228 0 0 0 0 5 3 20 0 15 0 415155413 11079335936 10719 33554432000 4194304 4196468 140728340314944 140074989642784 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5940] ppid=5877 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5940/stat : 5940 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155413 11079335936 10719 33554432000 4194304 4196468 140728340314944 140074519880560 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5941] ppid=5877 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5941/stat : 5941 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155415 11079335936 10719 33554432000 4194304 4196468 140728340314944 140074251446096 140075548800923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5942] ppid=5877 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5880/task/5942/stat : 5942 (java) S 5877 5880 2817 0 -1 1077944384 596 13228 0 0 1 0 5 3 20 0 15 0 415155415 11079335936 10719 33554432000 4194304 4196468 140728340314944 140075074366320 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5943] ppid=5877 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5943/stat : 5943 (java) S 5877 5880 2817 0 -1 1077944384 64 13228 0 0 0 0 5 3 20 0 15 0 415155415 11079335936 10719 33554432000 4194304 4196468 140728340314944 140075073313520 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5944] ppid=5877 vsize=10819664 memory=140530609301120 CPUtime=0.1 cores=0,2,4,6
/proc/5880/task/5944/stat : 5944 (java) S 5877 5880 2817 0 -1 1077944384 627 13228 0 0 2 0 5 3 20 0 15 0 415155415 11079335936 10719 33554432000 4194304 4196468 140728340314944 140075072260720 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5945] ppid=5877 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5945/stat : 5945 (java) S 5877 5880 2817 0 -1 1077944384 3 13228 0 0 0 0 5 3 20 0 15 0 415155416 11079335936 10719 33554432000 4194304 4196468 140728340314944 140073781684960 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5946] ppid=5877 vsize=10819664 memory=140530609301120 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5946/stat : 5946 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155416 11079335936 10719 33554432000 4194304 4196468 140728340314944 140075071208112 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 42876 KiB
[startup+0.310407 s]*
/proc/loadavg: 2.18 1.98 1.89 3/228 5946
/proc/meminfo: memFree=22568732/32770624 swapFree=66999272/67108860
[pid=5880] ppid=5877 vsize=10820148 memory=54232 CPUtime=0.4 cores=0,2,4,6
/proc/5880/stat : 5880 (java) S 5877 5880 2817 0 -1 1077944320 10742 13228 0 0 28 4 5 3 20 0 15 0 415155401 11079831552 13558 33554432000 4194304 4196468 140728340314944 140728340297488 140075548782327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
/proc/5880/statm: 2705037 13558 3320 1 0 2667149 0
[pid=5880/tid=5933] ppid=5877 vsize=10820148 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/5880/task/5933/stat : 5933 (java) R 5877 5880 2817 0 -1 4202560 7189 13228 0 0 18 3 5 3 20 0 15 0 415155410 11079831552 13558 33554432000 4194304 4196468 140728340314944 140075520604720 140075532862814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5934] ppid=5877 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5934/stat : 5934 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155411 11079831552 13558 33554432000 4194304 4196468 140728340314944 140075553025168 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5935] ppid=5877 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5935/stat : 5935 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155411 11079831552 13558 33554432000 4194304 4196468 140728340314944 140075467844624 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5936] ppid=5877 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5936/stat : 5936 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155411 11079831552 13558 33554432000 4194304 4196468 140728340314944 140075466791824 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5937] ppid=5877 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5937/stat : 5937 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155411 11079831552 13558 33554432000 4194304 4196468 140728340314944 140075465739024 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5938] ppid=5877 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5938/stat : 5938 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155412 11079831552 13558 33554432000 4194304 4196468 140728340314944 140075075418480 140075548793474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5939] ppid=5877 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5939/stat : 5939 (java) S 5877 5880 2817 0 -1 1077944384 13 13228 0 0 0 0 5 3 20 0 15 0 415155413 11079831552 13558 33554432000 4194304 4196468 140728340314944 140074989642784 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5940] ppid=5877 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5940/stat : 5940 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155413 11079831552 13558 33554432000 4194304 4196468 140728340314944 140074519880560 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5941] ppid=5877 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5941/stat : 5941 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155415 11079831552 13558 33554432000 4194304 4196468 140728340314944 140074251446096 140075548800923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5942] ppid=5877 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/5880/task/5942/stat : 5942 (java) S 5877 5880 2817 0 -1 1077944384 597 13228 0 0 2 0 5 3 20 0 15 0 415155415 11079831552 13558 33554432000 4194304 4196468 140728340314944 140075074366320 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5943] ppid=5877 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/5880/task/5943/stat : 5943 (java) S 5877 5880 2817 0 -1 1077944384 73 13228 0 0 1 0 5 3 20 0 15 0 415155415 11079831552 13558 33554432000 4194304 4196468 140728340314944 140075073313520 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5944] ppid=5877 vsize=10820148 memory=140530609301120 CPUtime=0.13 cores=0,2,4,6
/proc/5880/task/5944/stat : 5944 (java) S 5877 5880 2817 0 -1 1077944384 650 13228 0 0 5 0 5 3 20 0 15 0 415155415 11079831552 13558 33554432000 4194304 4196468 140728340314944 140075072260720 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5945] ppid=5877 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5945/stat : 5945 (java) S 5877 5880 2817 0 -1 1077944384 3 13228 0 0 0 0 5 3 20 0 15 0 415155416 11079831552 13558 33554432000 4194304 4196468 140728340314944 140073781684960 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5946] ppid=5877 vsize=10820148 memory=140530609301120 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5946/stat : 5946 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155416 11079831552 13558 33554432000 4194304 4196468 140728340314944 140075071208112 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 54232 KiB
[startup+0.700729 s]
/proc/loadavg: 2.18 1.98 1.89 4/228 5946
/proc/meminfo: memFree=22404876/32770624 swapFree=66999272/67108860
[pid=5880] ppid=5877 vsize=10824360 memory=87920 CPUtime=1.15 cores=0,2,4,6
/proc/5880/stat : 5880 (java) S 5877 5880 2817 0 -1 1077944320 15196 13228 0 0 100 7 5 3 20 0 15 0 415155401 11084144640 21980 33554432000 4194304 4196468 140728340314944 140728340297488 140075548782327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
/proc/5880/statm: 2706090 21980 3500 1 0 2668173 0
[pid=5880/tid=5933] ppid=5877 vsize=10824360 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5880/task/5933/stat : 5933 (java) R 5877 5880 2817 0 -1 4202560 10312 13228 0 0 54 5 5 3 20 0 15 0 415155410 11084144640 21980 33554432000 4194304 4196468 140728340314944 140075520584384 140075548804253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5934] ppid=5877 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5934/stat : 5934 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155411 11084144640 21980 33554432000 4194304 4196468 140728340314944 140075553025168 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5935] ppid=5877 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5935/stat : 5935 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155411 11084144640 21980 33554432000 4194304 4196468 140728340314944 140075467844624 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5936] ppid=5877 vsize=10824360 memory=140530457654032 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5936/stat : 5936 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155411 11084144640 21980 33554432000 4194304 4196468 140728340314944 140075466791824 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5937] ppid=5877 vsize=10824360 memory=140531329925724 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5937/stat : 5937 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155411 11084144640 21980 33554432000 4194304 4196468 140728340314944 140075465739024 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5938] ppid=5877 vsize=10824360 memory=612 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5938/stat : 5938 (java) S 5877 5880 2817 0 -1 1077944384 5 13228 0 0 0 0 5 3 20 0 15 0 415155412 11084144640 21980 33554432000 4194304 4196468 140728340314944 140075075418480 140075548793474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5939] ppid=5877 vsize=10824360 memory=7302135314614015845 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5939/stat : 5939 (java) S 5877 5880 2817 0 -1 1077944384 13 13228 0 0 0 0 5 3 20 0 15 0 415155413 11084144640 21980 33554432000 4194304 4196468 140728340314944 140074989642784 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5940] ppid=5877 vsize=10824360 memory=6081102367496956009 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5940/stat : 5940 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155413 11084144640 21980 33554432000 4194304 4196468 140728340314944 140074519880560 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5941] ppid=5877 vsize=10824360 memory=14060 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5941/stat : 5941 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155415 11084144640 21980 33554432000 4194304 4196468 140728340314944 140074251446096 140075548800923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5942] ppid=5877 vsize=10824360 memory=2116 CPUtime=0.23 cores=0,2,4,6
/proc/5880/task/5942/stat : 5942 (java) R 5877 5880 2817 0 -1 4202560 1186 13228 0 0 15 0 5 3 20 0 15 0 415155415 11084144640 21980 33554432000 4194304 4196468 140728340314944 140075074366320 140075534846272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5943] ppid=5877 vsize=10824360 memory=18872 CPUtime=0.2 cores=0,2,4,6
/proc/5880/task/5943/stat : 5943 (java) S 5877 5880 2817 0 -1 1077944384 524 13228 0 0 12 0 5 3 20 0 15 0 415155415 11084144640 21980 33554432000 4194304 4196468 140728340314944 140075073313520 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5944] ppid=5877 vsize=10824360 memory=532 CPUtime=0.24 cores=0,2,4,6
/proc/5880/task/5944/stat : 5944 (java) S 5877 5880 2817 0 -1 1077944384 934 13228 0 0 16 0 5 3 20 0 15 0 415155415 11084144640 21980 33554432000 4194304 4196468 140728340314944 140075072260720 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5945] ppid=5877 vsize=10824360 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5945/stat : 5945 (java) S 5877 5880 2817 0 -1 1077944384 3 13228 0 0 0 0 5 3 20 0 15 0 415155416 11084144640 21980 33554432000 4194304 4196468 140728340314944 140073781684960 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5946] ppid=5877 vsize=10824360 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5946/stat : 5946 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155416 11084144640 21980 33554432000 4194304 4196468 140728340314944 140075071208112 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 87920 KiB
[startup+1.50077 s]
/proc/loadavg: 2.18 1.98 1.89 5/228 5946
/proc/meminfo: memFree=22363444/32770624 swapFree=66999272/67108860
[pid=5880] ppid=5877 vsize=10834676 memory=186748 CPUtime=2.77 cores=0,2,4,6
/proc/5880/stat : 5880 (java) S 5877 5880 2817 0 -1 1077944320 24287 13228 0 0 256 13 5 3 20 0 15 0 415155401 11094708224 46687 33554432000 4194304 4196468 140728340314944 140728340297488 140075548782327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
/proc/5880/statm: 2708669 46687 3592 1 0 2670733 0
[pid=5880/tid=5933] ppid=5877 vsize=10834676 memory=72156 CPUtime=1.43 cores=0,2,4,6
/proc/5880/task/5933/stat : 5933 (java) R 5877 5880 2817 0 -1 4202560 15915 13228 0 0 128 7 5 3 20 0 15 0 415155410 11094708224 46687 33554432000 4194304 4196468 140728340314944 140075520598768 140075548794262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5934] ppid=5877 vsize=10834676 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/5880/task/5934/stat : 5934 (java) S 5877 5880 2817 0 -1 1077944384 70 13228 0 0 1 0 5 3 20 0 15 0 415155411 11094708224 46687 33554432000 4194304 4196468 140728340314944 140075553025168 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5935] ppid=5877 vsize=10834676 memory=281060915339424 CPUtime=0.09 cores=0,2,4,6
/proc/5880/task/5935/stat : 5935 (java) S 5877 5880 2817 0 -1 1077944384 33 13228 0 0 1 0 5 3 20 0 15 0 415155411 11094708224 46687 33554432000 4194304 4196468 140728340314944 140075467844624 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5936] ppid=5877 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5880/task/5936/stat : 5936 (java) S 5877 5880 2817 0 -1 1077944384 310 13228 0 0 1 0 5 3 20 0 15 0 415155411 11094708224 46687 33554432000 4194304 4196468 140728340314944 140075466791824 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5937] ppid=5877 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5880/task/5937/stat : 5937 (java) S 5877 5880 2817 0 -1 1077944384 99 13228 0 0 1 0 5 3 20 0 15 0 415155411 11094708224 46687 33554432000 4194304 4196468 140728340314944 140075465739024 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5938] ppid=5877 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5880/task/5938/stat : 5938 (java) S 5877 5880 2817 0 -1 1077944384 1162 13228 0 0 1 0 5 3 20 0 15 0 415155412 11094708224 46687 33554432000 4194304 4196468 140728340314944 140075075418480 140075548793474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5939] ppid=5877 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5939/stat : 5939 (java) S 5877 5880 2817 0 -1 1077944384 14 13228 0 0 0 0 5 3 20 0 15 0 415155413 11094708224 46687 33554432000 4194304 4196468 140728340314944 140074989642848 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5940] ppid=5877 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5940/stat : 5940 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155413 11094708224 46687 33554432000 4194304 4196468 140728340314944 140074519880576 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5941] ppid=5877 vsize=10834676 memory=-2245088631185882904 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5941/stat : 5941 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155415 11094708224 46687 33554432000 4194304 4196468 140728340314944 140074251446096 140075548800923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5942] ppid=5877 vsize=10834676 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/5880/task/5942/stat : 5942 (java) R 5877 5880 2817 0 -1 1077944384 1772 13228 0 0 44 0 5 3 20 0 15 0 415155415 11094708224 46687 33554432000 4194304 4196468 140728340314944 140075074366320 140075548793474 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5943] ppid=5877 vsize=10834676 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/5880/task/5943/stat : 5943 (java) S 5877 5880 2817 0 -1 1077944384 955 13228 0 0 31 0 5 3 20 0 15 0 415155415 11094708224 46687 33554432000 4194304 4196468 140728340314944 140075073313520 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5944] ppid=5877 vsize=10834676 memory=8112282956445269571 CPUtime=0.53 cores=0,2,4,6
/proc/5880/task/5944/stat : 5944 (java) R 5877 5880 2817 0 -1 4202560 1741 13228 0 0 44 1 5 3 20 0 15 0 415155415 11094708224 46687 33554432000 4194304 4196468 140728340314944 140075072260720 140075532862814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5945] ppid=5877 vsize=10834676 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5945/stat : 5945 (java) S 5877 5880 2817 0 -1 1077944384 3 13228 0 0 0 0 5 3 20 0 15 0 415155416 11094708224 46687 33554432000 4194304 4196468 140728340314944 140073781684960 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5946] ppid=5877 vsize=10834676 memory=281060915583872 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5946/stat : 5946 (java) S 5877 5880 2817 0 -1 1077944384 1 13228 0 0 0 0 5 3 20 0 15 0 415155416 11094708224 46687 33554432000 4194304 4196468 140728340314944 140075071208112 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/5880/task/5933/stat : 5933 (java) R 5877 5880 2817 0 -1 4202560 161377 13228 0 0 236856 65 5 3 20 0 15 0 415155410 11109408768 390883 33554432000 4194304 4196468 140728340314944 140075520614016 140075157266897 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5934] ppid=5877 vsize=10849032 memory=0 CPUtime=10.36 cores=0,2,4,6
/proc/5880/task/5934/stat : 5934 (java) S 5877 5880 2817 0 -1 1077944384 25475 13228 0 0 991 37 5 3 20 0 15 0 415155411 11109408768 390883 33554432000 4194304 4196468 140728340314944 140075553025168 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5935] ppid=5877 vsize=10849032 memory=1433932 CPUtime=10.39 cores=0,2,4,6
/proc/5880/task/5935/stat : 5935 (java) S 5877 5880 2817 0 -1 1077944384 25858 13228 0 0 992 39 5 3 20 0 15 0 415155411 11109408768 390883 33554432000 4194304 4196468 140728340314944 140075467844624 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5936] ppid=5877 vsize=10849032 memory=1503896 CPUtime=10.35 cores=0,2,4,6
/proc/5880/task/5936/stat : 5936 (java) S 5877 5880 2817 0 -1 1077944384 32037 13228 0 0 986 41 5 3 20 0 15 0 415155411 11109408768 390883 33554432000 4194304 4196468 140728340314944 140075466791824 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5937] ppid=5877 vsize=10849032 memory=1530136 CPUtime=10.32 cores=0,2,4,6
/proc/5880/task/5937/stat : 5937 (java) S 5877 5880 2817 0 -1 1077944384 37643 13228 0 0 986 38 5 3 20 0 15 0 415155411 11109408768 390883 33554432000 4194304 4196468 140728340314944 140075465739024 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5938] ppid=5877 vsize=10849032 memory=1538380 CPUtime=2.01 cores=0,2,4,6
/proc/5880/task/5938/stat : 5938 (java) S 5877 5880 2817 0 -1 1077944384 33897 13228 0 0 168 25 5 3 20 0 15 0 415155412 11109408768 390883 33554432000 4194304 4196468 140728340314944 140075075418480 140075548793474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5939] ppid=5877 vsize=10849032 memory=1563416 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5939/stat : 5939 (java) S 5877 5880 2817 0 -1 1077944384 51 13228 0 0 0 0 5 3 20 0 15 0 415155413 11109408768 390883 33554432000 4194304 4196468 140728340314944 140074989642848 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5940] ppid=5877 vsize=10849032 memory=1563532 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5940/stat : 5940 (java) S 5877 5880 2817 0 -1 1077944384 39 13228 0 0 0 0 5 3 20 0 15 0 415155413 11109408768 390883 33554432000 4194304 4196468 140728340314944 140074519880576 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5941] ppid=5877 vsize=10849032 memory=1563532 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5941/stat : 5941 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155415 11109408768 390883 33554432000 4194304 4196468 140728340314944 140074251446096 140075548800923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5942] ppid=5877 vsize=10849032 memory=33 CPUtime=10.93 cores=0,2,4,6
/proc/5880/task/5942/stat : 5942 (java) S 5877 5880 2817 0 -1 1077944384 60618 13228 0 0 1078 7 5 3 20 0 15 0 415155415 11109408768 390883 33554432000 4194304 4196468 140728340314944 140075074366320 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5943] ppid=5877 vsize=10849032 memory=8190989401951786068 CPUtime=11.4 cores=0,2,4,6
/proc/5880/task/5943/stat : 5943 (java) S 5877 5880 2817 0 -1 1077944384 67288 13228 0 0 1126 6 5 3 20 0 15 0 415155415 11109408768 390883 33554432000 4194304 4196468 140728340314944 140075073313520 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5944] ppid=5877 vsize=10849032 memory=14060 CPUtime=2.98 cores=0,2,4,6
/proc/5880/task/5944/stat : 5944 (java) S 5877 5880 2817 0 -1 1077944384 84152 13228 0 0 279 11 5 3 20 0 15 0 415155415 11109408768 390883 33554432000 4194304 4196468 140728340314944 140075072260720 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5945] ppid=5877 vsize=10849032 memory=2116 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5945/stat : 5945 (java) S 5877 5880 2817 0 -1 1077944384 3 13228 0 0 0 0 5 3 20 0 15 0 415155416 11109408768 390883 33554432000 4194304 4196468 140728340314944 140073781684960 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5946] ppid=5877 vsize=10849032 memory=18920 CPUtime=1.53 cores=0,2,4,6
/proc/5880/task/5946/stat : 5946 (java) S 5877 5880 2817 0 -1 1077944384 1904 13228 0 0 75 70 5 3 20 0 15 0 415155416 11109408768 390883 33554432000 4194304 4196468 140728340314944 140075071208112 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
Current children cumulated CPU time: 2438.94 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1563532 KiB
[startup+2442.3 s]
/proc/loadavg: 1.83 1.74 1.77 3/227 6191
/proc/meminfo: memFree=18852528/32770624 swapFree=66999276/67108860
[pid=5880] ppid=5877 vsize=10849032 memory=1760560 CPUtime=2499.31 cores=0,2,4,6
/proc/5880/stat : 5880 (java) S 5877 5880 2817 0 -1 1077944320 542420 13228 0 0 249590 333 5 3 20 0 15 0 415155401 11109408768 440140 33554432000 4194304 4196468 140728340314944 140728340297488 140075548782327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
/proc/5880/statm: 2712258 440140 3644 1 0 2674317 0
[pid=5880/tid=5933] ppid=5877 vsize=10849032 memory=14004 CPUtime=2429.15 cores=0,2,4,6
/proc/5880/task/5933/stat : 5933 (java) R 5877 5880 2817 0 -1 4202560 170022 13228 0 0 242840 67 5 3 20 0 15 0 415155410 11109408768 440140 33554432000 4194304 4196468 140728340314944 140075520614016 140075159158671 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5934] ppid=5877 vsize=10849032 memory=1760560 CPUtime=10.47 cores=0,2,4,6
/proc/5880/task/5934/stat : 5934 (java) S 5877 5880 2817 0 -1 1077944384 25522 13228 0 0 1000 39 5 3 20 0 15 0 415155411 11109408768 440140 33554432000 4194304 4196468 140728340314944 140075553025168 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5935] ppid=5877 vsize=10849032 memory=1735960 CPUtime=10.49 cores=0,2,4,6
/proc/5880/task/5935/stat : 5935 (java) S 5877 5880 2817 0 -1 1077944384 25899 13228 0 0 1000 41 5 3 20 0 15 0 415155411 11109408768 440140 33554432000 4194304 4196468 140728340314944 140075467844624 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5936] ppid=5877 vsize=10849032 memory=1503896 CPUtime=10.46 cores=0,2,4,6
/proc/5880/task/5936/stat : 5936 (java) S 5877 5880 2817 0 -1 1077944384 32105 13228 0 0 995 43 5 3 20 0 15 0 415155411 11109408768 440140 33554432000 4194304 4196468 140728340314944 140075466791824 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5937] ppid=5877 vsize=10849032 memory=1701012 CPUtime=10.45 cores=0,2,4,6
/proc/5880/task/5937/stat : 5937 (java) S 5877 5880 2817 0 -1 1077944384 37763 13228 0 0 996 41 5 3 20 0 15 0 415155411 11109408768 440140 33554432000 4194304 4196468 140728340314944 140075465739024 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5938] ppid=5877 vsize=10849032 memory=1725652 CPUtime=2.02 cores=0,2,4,6
/proc/5880/task/5938/stat : 5938 (java) S 5877 5880 2817 0 -1 1077944384 34030 13228 0 0 169 25 5 3 20 0 15 0 415155412 11109408768 440140 33554432000 4194304 4196468 140728340314944 140075075418480 140075548793474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5939] ppid=5877 vsize=10849032 memory=1692744 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5939/stat : 5939 (java) S 5877 5880 2817 0 -1 1077944384 51 13228 0 0 0 0 5 3 20 0 15 0 415155413 11109408768 440140 33554432000 4194304 4196468 140728340314944 140074989642848 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5940] ppid=5877 vsize=10849032 memory=1725652 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5940/stat : 5940 (java) S 5877 5880 2817 0 -1 1077944384 39 13228 0 0 0 0 5 3 20 0 15 0 415155413 11109408768 440140 33554432000 4194304 4196468 140728340314944 140074519880576 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5941] ppid=5877 vsize=10849032 memory=1735960 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5941/stat : 5941 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155415 11109408768 440140 33554432000 4194304 4196468 140728340314944 140074251446096 140075548800923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5942] ppid=5877 vsize=10849032 memory=1760560 CPUtime=10.93 cores=0,2,4,6
/proc/5880/task/5942/stat : 5942 (java) S 5877 5880 2817 0 -1 1077944384 60618 13228 0 0 1078 7 5 3 20 0 15 0 415155415 11109408768 440140 33554432000 4194304 4196468 140728340314944 140075074366320 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5943] ppid=5877 vsize=10849032 memory=1760560 CPUtime=11.4 cores=0,2,4,6
/proc/5880/task/5943/stat : 5943 (java) S 5877 5880 2817 0 -1 1077944384 68094 13228 0 0 1126 6 5 3 20 0 15 0 415155415 11109408768 440140 33554432000 4194304 4196468 140728340314944 140075073313520 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5944] ppid=5877 vsize=10849032 memory=1664076 CPUtime=2.98 cores=0,2,4,6
/proc/5880/task/5944/stat : 5944 (java) S 5877 5880 2817 0 -1 1077944384 84152 13228 0 0 279 11 5 3 20 0 15 0 415155415 11109408768 440140 33554432000 4194304 4196468 140728340314944 140075072260720 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5945] ppid=5877 vsize=10849032 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5945/stat : 5945 (java) S 5877 5880 2817 0 -1 1077944384 3 13228 0 0 0 0 5 3 20 0 15 0 415155416 11109408768 440140 33554432000 4194304 4196468 140728340314944 140073781684960 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5946] ppid=5877 vsize=10849032 memory=1760560 CPUtime=1.57 cores=0,2,4,6
/proc/5880/task/5946/stat : 5946 (java) S 5877 5880 2817 0 -1 1077944384 1910 13228 0 0 76 73 5 3 20 0 15 0 415155416 11109408768 440140 33554432000 4194304 4196468 140728340314944 140075071208112 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
Current children cumulated CPU time: 2499.31 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1760560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.9 s]
/proc/loadavg: 1.88 1.76 1.77 3/227 6193
/proc/meminfo: memFree=18764752/32770624 swapFree=66999276/67108860
[pid=5880] ppid=5877 vsize=10849032 memory=1848772 CPUtime=2520.06 cores=0,2,4,6
/proc/5880/stat : 5880 (java) S 5877 5880 2817 0 -1 1077944320 549010 13228 0 0 251659 339 5 3 20 0 15 0 415155401 11109408768 462193 33554432000 4194304 4196468 140728340314944 140728340297488 140075548782327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
/proc/5880/statm: 2712258 462193 3644 1 0 2674317 0
[pid=5880/tid=5933] ppid=5877 vsize=10849032 memory=1848772 CPUtime=2449.7 cores=0,2,4,6
/proc/5880/task/5933/stat : 5933 (java) R 5877 5880 2817 0 -1 4202560 175213 13228 0 0 244894 68 5 3 20 0 15 0 415155410 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075520614080 140075159742450 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5934] ppid=5877 vsize=10849032 memory=1848772 CPUtime=10.52 cores=0,2,4,6
/proc/5880/task/5934/stat : 5934 (java) S 5877 5880 2817 0 -1 1077944384 25549 13228 0 0 1004 40 5 3 20 0 15 0 415155411 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075553025168 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5935] ppid=5877 vsize=10849032 memory=1848772 CPUtime=10.55 cores=0,2,4,6
/proc/5880/task/5935/stat : 5935 (java) S 5877 5880 2817 0 -1 1077944384 27021 13228 0 0 1004 43 5 3 20 0 15 0 415155411 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075467844624 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5936] ppid=5877 vsize=10849032 memory=1811908 CPUtime=10.51 cores=0,2,4,6
/proc/5880/task/5936/stat : 5936 (java) S 5877 5880 2817 0 -1 1077944384 32210 13228 0 0 999 44 5 3 20 0 15 0 415155411 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075466791824 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5937] ppid=5877 vsize=10849032 memory=1811908 CPUtime=10.49 cores=0,2,4,6
/proc/5880/task/5937/stat : 5937 (java) S 5877 5880 2817 0 -1 1077944384 37783 13228 0 0 999 42 5 3 20 0 15 0 415155411 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075465739024 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5938] ppid=5877 vsize=10849032 memory=1801580 CPUtime=2.02 cores=0,2,4,6
/proc/5880/task/5938/stat : 5938 (java) S 5877 5880 2817 0 -1 1077944384 34117 13228 0 0 169 25 5 3 20 0 15 0 415155412 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075075418480 140075548793474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5939] ppid=5877 vsize=10849032 memory=1692744 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5939/stat : 5939 (java) S 5877 5880 2817 0 -1 1077944384 51 13228 0 0 0 0 5 3 20 0 15 0 415155413 11109408768 462193 33554432000 4194304 4196468 140728340314944 140074989642848 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5940] ppid=5877 vsize=10849032 memory=1848772 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5940/stat : 5940 (java) S 5877 5880 2817 0 -1 1077944384 39 13228 0 0 0 0 5 3 20 0 15 0 415155413 11109408768 462193 33554432000 4194304 4196468 140728340314944 140074519880576 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5941] ppid=5877 vsize=10849032 memory=1848772 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5941/stat : 5941 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155415 11109408768 462193 33554432000 4194304 4196468 140728340314944 140074251446096 140075548800923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5942] ppid=5877 vsize=10849032 memory=612 CPUtime=10.93 cores=0,2,4,6
/proc/5880/task/5942/stat : 5942 (java) S 5877 5880 2817 0 -1 1077944384 60625 13228 0 0 1078 7 5 3 20 0 15 0 415155415 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075074366320 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5943] ppid=5877 vsize=10849032 memory=1848772 CPUtime=11.4 cores=0,2,4,6
/proc/5880/task/5943/stat : 5943 (java) S 5877 5880 2817 0 -1 1077944384 68097 13228 0 0 1126 6 5 3 20 0 15 0 415155415 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075073313520 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5944] ppid=5877 vsize=10849032 memory=0 CPUtime=2.98 cores=0,2,4,6
/proc/5880/task/5944/stat : 5944 (java) S 5877 5880 2817 0 -1 1077944384 84157 13228 0 0 279 11 5 3 20 0 15 0 415155415 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075072260720 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5945] ppid=5877 vsize=10849032 memory=1848772 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5945/stat : 5945 (java) S 5877 5880 2817 0 -1 1077944384 3 13228 0 0 0 0 5 3 20 0 15 0 415155416 11109408768 462193 33554432000 4194304 4196468 140728340314944 140073781684960 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5946] ppid=5877 vsize=10849032 memory=1712 CPUtime=1.58 cores=0,2,4,6
/proc/5880/task/5946/stat : 5946 (java) S 5877 5880 2817 0 -1 1077944384 1933 13228 0 0 77 73 5 3 20 0 15 0 415155416 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075071208112 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1848772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.96 s]
# the end of solver process 5880 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.69 s, system=3.45021 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2462.9 s]
/proc/loadavg: 1.88 1.76 1.77 3/227 6193
/proc/meminfo: memFree=18764752/32770624 swapFree=66999276/67108860
[pid=5880] ppid=5877 vsize=10849032 memory=1848772 CPUtime=2520.06 cores=0,2,4,6
/proc/5880/stat : 5880 (java) S 5877 5880 2817 0 -1 1077944320 549010 13228 0 0 251659 339 5 3 20 0 15 0 415155401 11109408768 462193 33554432000 4194304 4196468 140728340314944 140728340297488 140075548782327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
/proc/5880/statm: 2712258 462193 3644 1 0 2674317 0
[pid=5880/tid=5933] ppid=5877 vsize=10849032 memory=1848772 CPUtime=2449.7 cores=0,2,4,6
/proc/5880/task/5933/stat : 5933 (java) R 5877 5880 2817 0 -1 4202560 175213 13228 0 0 244894 68 5 3 20 0 15 0 415155410 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075520614080 140075159742450 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5934] ppid=5877 vsize=10849032 memory=1848772 CPUtime=10.52 cores=0,2,4,6
/proc/5880/task/5934/stat : 5934 (java) S 5877 5880 2817 0 -1 1077944384 25549 13228 0 0 1004 40 5 3 20 0 15 0 415155411 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075553025168 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5935] ppid=5877 vsize=10849032 memory=1848772 CPUtime=10.55 cores=0,2,4,6
/proc/5880/task/5935/stat : 5935 (java) S 5877 5880 2817 0 -1 1077944384 27021 13228 0 0 1004 43 5 3 20 0 15 0 415155411 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075467844624 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5936] ppid=5877 vsize=10849032 memory=1811908 CPUtime=10.51 cores=0,2,4,6
/proc/5880/task/5936/stat : 5936 (java) S 5877 5880 2817 0 -1 1077944384 32210 13228 0 0 999 44 5 3 20 0 15 0 415155411 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075466791824 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5937] ppid=5877 vsize=10849032 memory=1811908 CPUtime=10.49 cores=0,2,4,6
/proc/5880/task/5937/stat : 5937 (java) S 5877 5880 2817 0 -1 1077944384 37783 13228 0 0 999 42 5 3 20 0 15 0 415155411 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075465739024 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5938] ppid=5877 vsize=10849032 memory=1801580 CPUtime=2.02 cores=0,2,4,6
/proc/5880/task/5938/stat : 5938 (java) S 5877 5880 2817 0 -1 1077944384 34117 13228 0 0 169 25 5 3 20 0 15 0 415155412 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075075418480 140075548793474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5939] ppid=5877 vsize=10849032 memory=1692744 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5939/stat : 5939 (java) S 5877 5880 2817 0 -1 1077944384 51 13228 0 0 0 0 5 3 20 0 15 0 415155413 11109408768 462193 33554432000 4194304 4196468 140728340314944 140074989642848 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5940] ppid=5877 vsize=10849032 memory=1848772 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5940/stat : 5940 (java) S 5877 5880 2817 0 -1 1077944384 39 13228 0 0 0 0 5 3 20 0 15 0 415155413 11109408768 462193 33554432000 4194304 4196468 140728340314944 140074519880576 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5941] ppid=5877 vsize=10849032 memory=1848772 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5941/stat : 5941 (java) S 5877 5880 2817 0 -1 1077944384 2 13228 0 0 0 0 5 3 20 0 15 0 415155415 11109408768 462193 33554432000 4194304 4196468 140728340314944 140074251446096 140075548800923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5942] ppid=5877 vsize=10849032 memory=612 CPUtime=10.93 cores=0,2,4,6
/proc/5880/task/5942/stat : 5942 (java) S 5877 5880 2817 0 -1 1077944384 60625 13228 0 0 1078 7 5 3 20 0 15 0 415155415 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075074366320 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5943] ppid=5877 vsize=10849032 memory=1848772 CPUtime=11.4 cores=0,2,4,6
/proc/5880/task/5943/stat : 5943 (java) S 5877 5880 2817 0 -1 1077944384 68097 13228 0 0 1126 6 5 3 20 0 15 0 415155415 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075073313520 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5944] ppid=5877 vsize=10849032 memory=0 CPUtime=2.98 cores=0,2,4,6
/proc/5880/task/5944/stat : 5944 (java) S 5877 5880 2817 0 -1 1077944384 84157 13228 0 0 279 11 5 3 20 0 15 0 415155415 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075072260720 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5945] ppid=5877 vsize=10849032 memory=1848772 CPUtime=0.08 cores=0,2,4,6
/proc/5880/task/5945/stat : 5945 (java) S 5877 5880 2817 0 -1 1077944384 3 13228 0 0 0 0 5 3 20 0 15 0 415155416 11109408768 462193 33554432000 4194304 4196468 140728340314944 140073781684960 140075548792533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
[pid=5880/tid=5946] ppid=5877 vsize=10849032 memory=1712 CPUtime=1.58 cores=0,2,4,6
/proc/5880/task/5946/stat : 5946 (java) S 5877 5880 2817 0 -1 1077944384 1933 13228 0 0 77 73 5 3 20 0 15 0 415155416 11109408768 462193 33554432000 4194304 4196468 140728340314944 140075071208112 140075548793474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13295616 140728340323055 140728340325573 140728340325573 140728340328399 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1848772 KiB
Child status: 143
Real time (s): 2462.96
CPU time (s): 2520.14
CPU user time (s): 2516.69
CPU system time (s): 3.45021
CPU usage (%): 102.322
Max. virtual memory (cumulated for all children) (KiB): 10849804
Max. memory (cumulated for all children) (KiB): 3167668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.69
system time used= 3.45021
maximum resident set size= 3167668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92914
involuntary context switches= 3707
# summary of solver processes directly reported to runsolver:
# pid: 5880
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.69
# total CPU system time (s): 3.45021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1094 second user time and 22.8208 second system time
The end