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 (5775 MiB free)
memory of node 1: 16384 MiB (10472 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296258-1532620483/watcher-4296258-1532620483 -o /tmp/evaluation-result-4296258-1532620483/solver-4296258-1532620483 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532618017-6176 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1668523679 -superng HOME/instance-4296258-1532620483.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6626, runsolver pid=6623
[startup+0.100117 s]*
/proc/loadavg: 1.83 1.46 1.39 3/206 6683
/proc/meminfo: memFree=16632272/32770624 swapFree=67108796/67108860
[pid=6626] ppid=6623 vsize=9972712 memory=16812 CPUtime=0.1 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 6144 0 -1 1077944320 4384 12982 0 0 1 1 5 3 20 0 6 0 79611499 10212057088 4203 33554432000 4194304 4196468 140724338759680 140724338742224 140402046602999 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
/proc/6626/statm: 2493178 4203 1934 1 0 2481616 0
[pid=6626/tid=6679] ppid=6623 vsize=9972712 memory=-8960601696899481541 CPUtime=0.09 cores=1,3,5,7
/proc/6626/task/6679/stat : 6679 (java) R 6623 6626 6144 0 -1 4202560 2225 12982 0 0 1 0 5 3 20 0 6 0 79611508 10212057088 4269 33554432000 4194304 4196468 140724338759680 140402018439760 140402030683486 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6680] ppid=6623 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6680/stat : 6680 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 6 0 79611509 10212057088 4269 33554432000 4194304 4196468 140724338759680 140402050845584 140402046613205 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6681] ppid=6623 vsize=9972712 memory=140133433398912 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6681/stat : 6681 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 6 0 79611509 10212057088 4269 33554432000 4194304 4196468 140724338759680 140401949735696 140402046613205 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6682] ppid=6623 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6682/stat : 6682 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 6 0 79611509 10212057088 4269 33554432000 4194304 4196468 140724338759680 140401948683408 140402046613205 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6683] ppid=6623 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6683/stat : 6683 (java) S 6623 6626 6144 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 6 0 79611509 10212057088 4269 33554432000 4194304 4196468 140724338759680 140401947630608 140402046613205 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.209839 s]*
/proc/loadavg: 1.83 1.46 1.39 3/215 6692
/proc/meminfo: memFree=16609060/32770624 swapFree=67108796/67108860
[pid=6626] ppid=6623 vsize=10818936 memory=44256 CPUtime=0.27 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 6144 0 -1 1077944320 8963 12982 0 0 17 2 5 3 20 0 15 0 79611499 11078590464 11064 33554432000 4194304 4196468 140724338759680 140724338742224 140402046602999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
/proc/6626/statm: 2704734 11064 2927 1 0 2667157 0
[pid=6626/tid=6679] ppid=6623 vsize=10818936 memory=8514701219931451533 CPUtime=0.2 cores=1,3,5,7
/proc/6626/task/6679/stat : 6679 (java) R 6623 6626 6144 0 -1 4202560 6064 12982 0 0 11 1 5 3 20 0 15 0 79611508 11078590464 11513 33554432000 4194304 4196468 140724338759680 140402018427808 140402039282717 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6680] ppid=6623 vsize=10818936 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6680/stat : 6680 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611509 11078590464 11513 33554432000 4194304 4196468 140724338759680 140402050845584 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6681] ppid=6623 vsize=10818936 memory=140133433398912 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6681/stat : 6681 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611509 11078590464 11513 33554432000 4194304 4196468 140724338759680 140401949735696 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6682] ppid=6623 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6682/stat : 6682 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611509 11078590464 11513 33554432000 4194304 4196468 140724338759680 140401948683408 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6683] ppid=6623 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6683/stat : 6683 (java) S 6623 6626 6144 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 79611509 11078590464 11513 33554432000 4194304 4196468 140724338759680 140401947630608 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6684] ppid=6623 vsize=10818936 memory=140133433398912 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6684/stat : 6684 (java) S 6623 6626 6144 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 79611510 11078590464 11513 33554432000 4194304 4196468 140724338759680 140401506130032 140402046614146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6685] ppid=6623 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6685/stat : 6685 (java) S 6623 6626 6144 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 79611510 11078590464 11513 33554432000 4194304 4196468 140724338759680 140401407157024 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6686] ppid=6623 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6686/stat : 6686 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611511 11078590464 11513 33554432000 4194304 4196468 140724338759680 140400803177584 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6687] ppid=6623 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6687/stat : 6687 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611513 11078557696 11513 33554432000 4194304 4196468 140724338759680 140400562886736 140402046621595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6688] ppid=6623 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6626/task/6688/stat : 6688 (java) S 6623 6626 6144 0 -1 1077944384 526 12982 0 0 1 0 5 3 20 0 15 0 79611513 11078557696 11513 33554432000 4194304 4196468 140724338759680 140401505077872 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6689] ppid=6623 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6689/stat : 6689 (java) S 6623 6626 6144 0 -1 1077944384 53 12982 0 0 0 0 5 3 20 0 15 0 79611513 11078557696 11513 33554432000 4194304 4196468 140724338759680 140401504025072 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6690] ppid=6623 vsize=10818904 memory=140133433398912 CPUtime=0.11 cores=1,3,5,7
/proc/6626/task/6690/stat : 6690 (java) S 6623 6626 6144 0 -1 1077944384 557 12982 0 0 3 0 5 3 20 0 15 0 79611513 11078557696 11513 33554432000 4194304 4196468 140724338759680 140401502972784 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6691] ppid=6623 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6691/stat : 6691 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611514 11078557696 11513 33554432000 4194304 4196468 140724338759680 140400529329120 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6692] ppid=6623 vsize=10818904 memory=140133433398912 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6692/stat : 6692 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611514 11078557696 11513 33554432000 4194304 4196468 140724338759680 140401501919664 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 44256 KiB
[startup+0.310325 s]*
/proc/loadavg: 1.83 1.46 1.39 3/215 6692
/proc/meminfo: memFree=16595664/32770624 swapFree=67108796/67108860
[pid=6626] ppid=6623 vsize=10819352 memory=53928 CPUtime=0.39 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 6144 0 -1 1077944320 10628 12982 0 0 29 2 5 3 20 0 15 0 79611499 11079016448 13482 33554432000 4194304 4196468 140724338759680 140724338742224 140402046602999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
/proc/6626/statm: 2704838 13482 3046 1 0 2667149 0
[pid=6626/tid=6679] ppid=6623 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/6626/task/6679/stat : 6679 (java) R 6623 6626 6144 0 -1 4202560 7264 12982 0 0 20 1 5 3 20 0 15 0 79611508 11079016448 13482 33554432000 4194304 4196468 140724338759680 140402018415008 140402029789829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6680] ppid=6623 vsize=10819352 memory=7084556223002071120 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6680/stat : 6680 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611509 11079016448 13482 33554432000 4194304 4196468 140724338759680 140402050845584 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6681] ppid=6623 vsize=10819352 memory=2072 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6681/stat : 6681 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611509 11079016448 13482 33554432000 4194304 4196468 140724338759680 140401949735696 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6682] ppid=6623 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6682/stat : 6682 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611509 11079016448 13482 33554432000 4194304 4196468 140724338759680 140401948683408 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6683] ppid=6623 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6683/stat : 6683 (java) S 6623 6626 6144 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 79611509 11079016448 13482 33554432000 4194304 4196468 140724338759680 140401947630608 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6684] ppid=6623 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6684/stat : 6684 (java) S 6623 6626 6144 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 79611510 11079016448 13482 33554432000 4194304 4196468 140724338759680 140401506130032 140402046614146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6685] ppid=6623 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6685/stat : 6685 (java) S 6623 6626 6144 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 79611510 11079016448 13482 33554432000 4194304 4196468 140724338759680 140401407157024 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6686] ppid=6623 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6686/stat : 6686 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611511 11079016448 13482 33554432000 4194304 4196468 140724338759680 140400803177584 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6687] ppid=6623 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6687/stat : 6687 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611513 11079016448 13482 33554432000 4194304 4196468 140724338759680 140400562886736 140402046621595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6688] ppid=6623 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6626/task/6688/stat : 6688 (java) S 6623 6626 6144 0 -1 1077944384 527 12982 0 0 2 0 5 3 20 0 15 0 79611513 11079016448 13482 33554432000 4194304 4196468 140724338759680 140401505077872 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6689] ppid=6623 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6626/task/6689/stat : 6689 (java) S 6623 6626 6144 0 -1 1077944384 53 12982 0 0 1 0 5 3 20 0 15 0 79611513 11079016448 13482 33554432000 4194304 4196468 140724338759680 140401504025072 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6690] ppid=6623 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/6626/task/6690/stat : 6690 (java) S 6623 6626 6144 0 -1 1077944384 565 12982 0 0 5 0 5 3 20 0 15 0 79611513 11079016448 13482 33554432000 4194304 4196468 140724338759680 140401502972784 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6691] ppid=6623 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6691/stat : 6691 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611514 11079016448 13482 33554432000 4194304 4196468 140724338759680 140400529329120 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6692] ppid=6623 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6692/stat : 6692 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611514 11079016448 13482 33554432000 4194304 4196468 140724338759680 140401501919664 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53928 KiB
[startup+0.700771 s]
/proc/loadavg: 1.83 1.46 1.39 3/215 6692
/proc/meminfo: memFree=16587204/32770624 swapFree=67108796/67108860
[pid=6626] ppid=6623 vsize=10819352 memory=86380 CPUtime=1 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 6144 0 -1 1077944320 16771 12982 0 0 88 4 5 3 20 0 15 0 79611499 11079016448 21595 33554432000 4194304 4196468 140724338759680 140724338742224 140402046602999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
/proc/6626/statm: 2704838 21595 3237 1 0 2667149 0
[pid=6626/tid=6679] ppid=6623 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6626/task/6679/stat : 6679 (java) R 6623 6626 6144 0 -1 4202560 12363 12982 0 0 57 2 5 3 20 0 15 0 79611508 11079016448 21595 33554432000 4194304 4196468 140724338759680 140402018423824 140402026878134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6680] ppid=6623 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6680/stat : 6680 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611509 11079016448 21595 33554432000 4194304 4196468 140724338759680 140402050845584 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6681] ppid=6623 vsize=10819352 memory=3708 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6681/stat : 6681 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611509 11079016448 21595 33554432000 4194304 4196468 140724338759680 140401949735696 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6682] ppid=6623 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6682/stat : 6682 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611509 11079016448 21595 33554432000 4194304 4196468 140724338759680 140401948683408 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6683] ppid=6623 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6683/stat : 6683 (java) S 6623 6626 6144 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 79611509 11079016448 21595 33554432000 4194304 4196468 140724338759680 140401947630608 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6684] ppid=6623 vsize=10819352 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6684/stat : 6684 (java) S 6623 6626 6144 0 -1 1077944384 5 12982 0 0 0 0 5 3 20 0 15 0 79611510 11079016448 21595 33554432000 4194304 4196468 140724338759680 140401506130032 140402046614146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6685] ppid=6623 vsize=10819352 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6685/stat : 6685 (java) S 6623 6626 6144 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 79611510 11079016448 21595 33554432000 4194304 4196468 140724338759680 140401407157024 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6686] ppid=6623 vsize=10819352 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6686/stat : 6686 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611511 11079016448 21595 33554432000 4194304 4196468 140724338759680 140400803177584 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6687] ppid=6623 vsize=10819352 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6687/stat : 6687 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611513 11079016448 21595 33554432000 4194304 4196468 140724338759680 140400562886736 140402046621595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6688] ppid=6623 vsize=10819352 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/6626/task/6688/stat : 6688 (java) S 6623 6626 6144 0 -1 1077944384 904 12982 0 0 7 0 5 3 20 0 15 0 79611513 11079016448 21595 33554432000 4194304 4196468 140724338759680 140401505077872 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6689] ppid=6623 vsize=10819352 memory=15460 CPUtime=0.17 cores=1,3,5,7
/proc/6626/task/6689/stat : 6689 (java) S 6623 6626 6144 0 -1 1077944384 651 12982 0 0 9 0 5 3 20 0 15 0 79611513 11079016448 21595 33554432000 4194304 4196468 140724338759680 140401504025072 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6690] ppid=6623 vsize=10819352 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/6626/task/6690/stat : 6690 (java) S 6623 6626 6144 0 -1 1077944384 631 12982 0 0 13 0 5 3 20 0 15 0 79611513 11079016448 21595 33554432000 4194304 4196468 140724338759680 140401502972784 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6691] ppid=6623 vsize=10819352 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6691/stat : 6691 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611514 11079016448 21595 33554432000 4194304 4196468 140724338759680 140400529329120 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6692] ppid=6623 vsize=10819352 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6692/stat : 6692 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611514 11079016448 21595 33554432000 4194304 4196468 140724338759680 140401501919664 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86380 KiB
[startup+1.50075 s]
/proc/loadavg: 1.83 1.46 1.39 3/215 6692
/proc/meminfo: memFree=16540972/32770624 swapFree=67108796/67108860
[pid=6626] ppid=6623 vsize=10834252 memory=177420 CPUtime=2.32 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 6144 0 -1 1077944320 23974 12982 0 0 214 10 5 3 20 0 15 0 79611499 11094274048 44355 33554432000 4194304 4196468 140724338759680 140724338742224 140402046602999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
/proc/6626/statm: 2708563 44355 3475 1 0 2670221 0
[pid=6626/tid=6679] ppid=6623 vsize=10834252 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/6626/task/6679/stat : 6679 (java) R 6623 6626 6144 0 -1 4202560 17840 12982 0 0 129 6 5 3 20 0 15 0 79611508 11094274048 44355 33554432000 4194304 4196468 140724338759680 140402018437424 140402030646629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6680] ppid=6623 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6626/task/6680/stat : 6680 (java) S 6623 6626 6144 0 -1 1077944384 13 12982 0 0 1 0 5 3 20 0 15 0 79611509 11094274048 44355 33554432000 4194304 4196468 140724338759680 140402050845584 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6681] ppid=6623 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6626/task/6681/stat : 6681 (java) S 6623 6626 6144 0 -1 1077944384 191 12982 0 0 1 0 5 3 20 0 15 0 79611509 11094274048 44355 33554432000 4194304 4196468 140724338759680 140401949735696 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6682] ppid=6623 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6626/task/6682/stat : 6682 (java) S 6623 6626 6144 0 -1 1077944384 67 12982 0 0 1 0 5 3 20 0 15 0 79611509 11094274048 44355 33554432000 4194304 4196468 140724338759680 140401948683408 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6683] ppid=6623 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6626/task/6683/stat : 6683 (java) S 6623 6626 6144 0 -1 1077944384 33 12982 0 0 1 0 5 3 20 0 15 0 79611509 11094274048 44355 33554432000 4194304 4196468 140724338759680 140401947630608 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6684] ppid=6623 vsize=10834252 memory=1399103955520229747 CPUtime=0.09 cores=1,3,5,7
/proc/6626/task/6684/stat : 6684 (java) S 6623 6626 6144 0 -1 1077944384 72 12982 0 0 1 0 5 3 20 0 15 0 79611510 11094274048 44355 33554432000 4194304 4196468 140724338759680 140401506130032 140402046614146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6685] ppid=6623 vsize=10834252 memory=280266614581504 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6685/stat : 6685 (java) S 6623 6626 6144 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 79611510 11094274048 44355 33554432000 4194304 4196468 140724338759680 140401407157088 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6686] ppid=6623 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6686/stat : 6686 (java) S 6623 6626 6144 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 79611511 11094274048 44355 33554432000 4194304 4196468 140724338759680 140400803177600 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6687] ppid=6623 vsize=10834252 memory=792 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6687/stat : 6687 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611513 11094274048 44355 33554432000 4194304 4196468 140724338759680 140400562886736 140402046621595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6688] ppid=6623 vsize=10834252 memory=832 CPUtime=0.26 cores=1,3,5,7
/proc/6626/task/6688/stat : 6688 (java) S 6623 6626 6144 0 -1 1077944384 1091 12982 0 0 18 0 5 3 20 0 15 0 79611513 11094274048 44355 33554432000 4194304 4196468 140724338759680 140401505077872 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6689] ppid=6623 vsize=10834252 memory=1608 CPUtime=0.33 cores=1,3,5,7
/proc/6626/task/6689/stat : 6689 (java) S 6623 6626 6144 0 -1 1077944384 1107 12982 0 0 25 0 5 3 20 0 15 0 79611513 11094274048 44355 33554432000 4194304 4196468 140724338759680 140401504025072 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6690] ppid=6623 vsize=10834252 memory=5024 CPUtime=0.43 cores=1,3,5,7
/proc/6626/task/6690/stat : 6690 (java) R 6623 6626 6144 0 -1 4202560 1348 12982 0 0 34 1 5 3 20 0 15 0 79611513 11094274048 44355 33554432000 4194304 4196468 140724338759680 140401502972784 140402039699835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6691] ppid=6623 vsize=10834252 memory=4032 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6691/stat : 6691 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611514 11094274048 44355 33554432000 4194304 4196468 140724338759680 140400529329120 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6692] ppid=6623 vsize=10834252 memory=1284 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6692/stat : 6692 (java) S 6623 6626 6144 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 79611514 11094274048 44355 33554432000 4194304 4196468 140724338759680 140401501919664 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/6626/task/6679/stat : 6679 (java) R 6623 6626 6144 0 -1 4202560 90331 12982 0 0 236164 43 5 3 20 0 15 0 79611508 11178180608 214817 33554432000 4194304 4196468 140724338759680 140402018438800 140401642895744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6680] ppid=6623 vsize=10916192 memory=859268 CPUtime=9.93 cores=1,3,5,7
/proc/6626/task/6680/stat : 6680 (java) S 6623 6626 6144 0 -1 1077944384 11106 12982 0 0 943 42 5 3 20 0 15 0 79611509 11178180608 214817 33554432000 4194304 4196468 140724338759680 140402050845584 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6681] ppid=6623 vsize=10916192 memory=859268 CPUtime=9.91 cores=1,3,5,7
/proc/6626/task/6681/stat : 6681 (java) S 6623 6626 6144 0 -1 1077944384 11630 12982 0 0 944 39 5 3 20 0 15 0 79611509 11178180608 214817 33554432000 4194304 4196468 140724338759680 140401949735696 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6682] ppid=6623 vsize=10916192 memory=859268 CPUtime=9.92 cores=1,3,5,7
/proc/6626/task/6682/stat : 6682 (java) S 6623 6626 6144 0 -1 1077944384 10675 12982 0 0 940 44 5 3 20 0 15 0 79611509 11178180608 214817 33554432000 4194304 4196468 140724338759680 140401948683408 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6683] ppid=6623 vsize=10916192 memory=859268 CPUtime=9.9 cores=1,3,5,7
/proc/6626/task/6683/stat : 6683 (java) S 6623 6626 6144 0 -1 1077944384 10487 12982 0 0 940 42 5 3 20 0 15 0 79611509 11178180608 214817 33554432000 4194304 4196468 140724338759680 140401947630608 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6684] ppid=6623 vsize=10916192 memory=0 CPUtime=8 cores=1,3,5,7
/proc/6626/task/6684/stat : 6684 (java) S 6623 6626 6144 0 -1 1077944384 13737 12982 0 0 747 45 5 3 20 0 15 0 79611510 11178180608 214817 33554432000 4194304 4196468 140724338759680 140401506130032 140402046614146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6685] ppid=6623 vsize=10916192 memory=859268 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6685/stat : 6685 (java) S 6623 6626 6144 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 79611510 11178180608 214817 33554432000 4194304 4196468 140724338759680 140401407157088 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6686] ppid=6623 vsize=10916192 memory=859268 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6686/stat : 6686 (java) S 6623 6626 6144 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 79611511 11178180608 214817 33554432000 4194304 4196468 140724338759680 140400803177600 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6687] ppid=6623 vsize=10916192 memory=859268 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6687/stat : 6687 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611513 11178180608 214817 33554432000 4194304 4196468 140724338759680 140400562886736 140402046621595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6688] ppid=6623 vsize=10916192 memory=859268 CPUtime=7.13 cores=1,3,5,7
/proc/6626/task/6688/stat : 6688 (java) S 6623 6626 6144 0 -1 1077944384 32596 12982 0 0 699 6 5 3 20 0 15 0 79611513 11178180608 214817 33554432000 4194304 4196468 140724338759680 140401505077872 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6689] ppid=6623 vsize=10916192 memory=859268 CPUtime=7.35 cores=1,3,5,7
/proc/6626/task/6689/stat : 6689 (java) S 6623 6626 6144 0 -1 1077944384 36017 12982 0 0 720 7 5 3 20 0 15 0 79611513 11178180608 214817 33554432000 4194304 4196468 140724338759680 140401504025072 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6690] ppid=6623 vsize=10916192 memory=859268 CPUtime=3.49 cores=1,3,5,7
/proc/6626/task/6690/stat : 6690 (java) S 6623 6626 6144 0 -1 1077944384 31097 12982 0 0 334 7 5 3 20 0 15 0 79611513 11178180608 214817 33554432000 4194304 4196468 140724338759680 140401502972784 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6691] ppid=6623 vsize=10916192 memory=1088 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6691/stat : 6691 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611514 11178180608 214817 33554432000 4194304 4196468 140724338759680 140400529329120 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6692] ppid=6623 vsize=10916192 memory=129 CPUtime=1.38 cores=1,3,5,7
/proc/6626/task/6692/stat : 6692 (java) S 6623 6626 6144 0 -1 1077944384 2593 12982 0 0 58 72 5 3 20 0 15 0 79611514 11178180608 214817 33554432000 4194304 4196468 140724338759680 140401501919664 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
Current children cumulated CPU time: 2428.53 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 859268 KiB
[startup+2442.3 s]
/proc/loadavg: 1.51 1.42 1.41 5/215 6919
/proc/meminfo: memFree=15565352/32770624 swapFree=67108796/67108860
[pid=6626] ppid=6623 vsize=10916192 memory=859332 CPUtime=2489.28 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 6144 0 -1 1077944320 253912 12982 0 0 248609 311 5 3 20 0 15 0 79611499 11178180608 214833 33554432000 4194304 4196468 140724338759680 140724338742224 140402046602999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
/proc/6626/statm: 2729048 214833 3523 1 0 2690701 0
[pid=6626/tid=6679] ppid=6623 vsize=10916192 memory=859332 CPUtime=2421.62 cores=1,3,5,7
/proc/6626/task/6679/stat : 6679 (java) R 6623 6626 6144 0 -1 4202560 91000 12982 0 0 242110 44 5 3 20 0 15 0 79611508 11178180608 214833 33554432000 4194304 4196468 140724338759680 140402018438368 140401639771120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6680] ppid=6623 vsize=10916192 memory=859324 CPUtime=10.2 cores=1,3,5,7
/proc/6626/task/6680/stat : 6680 (java) S 6623 6626 6144 0 -1 1077944384 11140 12982 0 0 968 44 5 3 20 0 15 0 79611509 11178180608 214833 33554432000 4194304 4196468 140724338759680 140402050845584 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6681] ppid=6623 vsize=10916192 memory=859332 CPUtime=10.16 cores=1,3,5,7
/proc/6626/task/6681/stat : 6681 (java) S 6623 6626 6144 0 -1 1077944384 11652 12982 0 0 968 40 5 3 20 0 15 0 79611509 11178180608 214833 33554432000 4194304 4196468 140724338759680 140401949735696 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6682] ppid=6623 vsize=10916192 memory=859332 CPUtime=10.19 cores=1,3,5,7
/proc/6626/task/6682/stat : 6682 (java) S 6623 6626 6144 0 -1 1077944384 11037 12982 0 0 966 45 5 3 20 0 15 0 79611509 11178180608 214833 33554432000 4194304 4196468 140724338759680 140401948683408 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6683] ppid=6623 vsize=10916192 memory=859332 CPUtime=10.16 cores=1,3,5,7
/proc/6626/task/6683/stat : 6683 (java) S 6623 6626 6144 0 -1 1077944384 10593 12982 0 0 965 43 5 3 20 0 15 0 79611509 11178180608 214833 33554432000 4194304 4196468 140724338759680 140401947630608 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6684] ppid=6623 vsize=10916192 memory=859332 CPUtime=8.2 cores=1,3,5,7
/proc/6626/task/6684/stat : 6684 (java) S 6623 6626 6144 0 -1 1077944384 13951 12982 0 0 766 46 5 3 20 0 15 0 79611510 11178180608 214833 33554432000 4194304 4196468 140724338759680 140401506130032 140402046614146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6685] ppid=6623 vsize=10916192 memory=859332 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6685/stat : 6685 (java) S 6623 6626 6144 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 79611510 11178180608 214833 33554432000 4194304 4196468 140724338759680 140401407157088 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6686] ppid=6623 vsize=10916192 memory=859332 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6686/stat : 6686 (java) S 6623 6626 6144 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 79611511 11178180608 214833 33554432000 4194304 4196468 140724338759680 140400803177600 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6687] ppid=6623 vsize=10916192 memory=859332 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6687/stat : 6687 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611513 11178180608 214833 33554432000 4194304 4196468 140724338759680 140400562886736 140402046621595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6688] ppid=6623 vsize=10916192 memory=859332 CPUtime=7.13 cores=1,3,5,7
/proc/6626/task/6688/stat : 6688 (java) S 6623 6626 6144 0 -1 1077944384 32598 12982 0 0 699 6 5 3 20 0 15 0 79611513 11178180608 214833 33554432000 4194304 4196468 140724338759680 140401505077872 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6689] ppid=6623 vsize=10916192 memory=8876 CPUtime=7.35 cores=1,3,5,7
/proc/6626/task/6689/stat : 6689 (java) S 6623 6626 6144 0 -1 1077944384 36019 12982 0 0 720 7 5 3 20 0 15 0 79611513 11178180608 214833 33554432000 4194304 4196468 140724338759680 140401504025072 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6690] ppid=6623 vsize=10916192 memory=859332 CPUtime=3.49 cores=1,3,5,7
/proc/6626/task/6690/stat : 6690 (java) S 6623 6626 6144 0 -1 1077944384 31099 12982 0 0 334 7 5 3 20 0 15 0 79611513 11178180608 214833 33554432000 4194304 4196468 140724338759680 140401502972784 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6691] ppid=6623 vsize=10916192 memory=859332 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6691/stat : 6691 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611514 11178180608 214833 33554432000 4194304 4196468 140724338759680 140400529329120 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6692] ppid=6623 vsize=10916192 memory=859332 CPUtime=1.42 cores=1,3,5,7
/proc/6626/task/6692/stat : 6692 (java) S 6623 6626 6144 0 -1 1077944384 2611 12982 0 0 60 74 5 3 20 0 15 0 79611514 11178180608 214833 33554432000 4194304 4196468 140724338759680 140401501919664 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
Current children cumulated CPU time: 2489.28 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 859332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.7 s]
/proc/loadavg: 1.44 1.41 1.41 3/215 6919
/proc/meminfo: memFree=15565928/32770624 swapFree=67108796/67108860
[pid=6626] ppid=6623 vsize=10916192 memory=859440 CPUtime=2520.05 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 6144 0 -1 1077944320 255098 12982 0 0 251682 315 5 3 20 0 15 0 79611499 11178180608 214860 33554432000 4194304 4196468 140724338759680 140724338742224 140402046602999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
/proc/6626/statm: 2729048 214860 3523 1 0 2690701 0
[pid=6626/tid=6679] ppid=6623 vsize=10916192 memory=859440 CPUtime=2451.75 cores=1,3,5,7
/proc/6626/task/6679/stat : 6679 (java) R 6623 6626 6144 0 -1 4202560 91448 12982 0 0 245122 45 5 3 20 0 15 0 79611508 11178180608 214860 33554432000 4194304 4196468 140724338759680 140402018437728 140401643176076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6680] ppid=6623 vsize=10916192 memory=3708 CPUtime=10.32 cores=1,3,5,7
/proc/6626/task/6680/stat : 6680 (java) S 6623 6626 6144 0 -1 1077944384 11161 12982 0 0 980 44 5 3 20 0 15 0 79611509 11178180608 214860 33554432000 4194304 4196468 140724338759680 140402050845584 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6681] ppid=6623 vsize=10916192 memory=859332 CPUtime=10.3 cores=1,3,5,7
/proc/6626/task/6681/stat : 6681 (java) S 6623 6626 6144 0 -1 1077944384 11714 12982 0 0 981 41 5 3 20 0 15 0 79611509 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401949735696 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6682] ppid=6623 vsize=10916192 memory=280266614722672 CPUtime=10.31 cores=1,3,5,7
/proc/6626/task/6682/stat : 6682 (java) S 6623 6626 6144 0 -1 1077944384 11108 12982 0 0 978 45 5 3 20 0 15 0 79611509 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401948683408 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6683] ppid=6623 vsize=10916192 memory=859332 CPUtime=10.29 cores=1,3,5,7
/proc/6626/task/6683/stat : 6683 (java) S 6623 6626 6144 0 -1 1077944384 10951 12982 0 0 978 43 5 3 20 0 15 0 79611509 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401947630608 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6684] ppid=6623 vsize=10916192 memory=129 CPUtime=8.3 cores=1,3,5,7
/proc/6626/task/6684/stat : 6684 (java) S 6623 6626 6144 0 -1 1077944384 14156 12982 0 0 775 47 5 3 20 0 15 0 79611510 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401506130032 140402046614146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6685] ppid=6623 vsize=10916192 memory=859440 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6685/stat : 6685 (java) S 6623 6626 6144 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 79611510 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401407157088 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6686] ppid=6623 vsize=10916192 memory=859440 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6686/stat : 6686 (java) S 6623 6626 6144 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 79611511 11178180608 214860 33554432000 4194304 4196468 140724338759680 140400803177600 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6687] ppid=6623 vsize=10916192 memory=859440 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6687/stat : 6687 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611513 11178180608 214860 33554432000 4194304 4196468 140724338759680 140400562886736 140402046621595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6688] ppid=6623 vsize=10916192 memory=859440 CPUtime=7.13 cores=1,3,5,7
/proc/6626/task/6688/stat : 6688 (java) S 6623 6626 6144 0 -1 1077944384 32600 12982 0 0 699 6 5 3 20 0 15 0 79611513 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401505077872 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6689] ppid=6623 vsize=10916192 memory=859440 CPUtime=7.35 cores=1,3,5,7
/proc/6626/task/6689/stat : 6689 (java) S 6623 6626 6144 0 -1 1077944384 36021 12982 0 0 720 7 5 3 20 0 15 0 79611513 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401504025072 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6690] ppid=6623 vsize=10916192 memory=859440 CPUtime=3.49 cores=1,3,5,7
/proc/6626/task/6690/stat : 6690 (java) S 6623 6626 6144 0 -1 1077944384 31101 12982 0 0 334 7 5 3 20 0 15 0 79611513 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401502972784 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6691] ppid=6623 vsize=10916192 memory=859440 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6691/stat : 6691 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611514 11178180608 214860 33554432000 4194304 4196468 140724338759680 140400529329120 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6692] ppid=6623 vsize=10916192 memory=1088 CPUtime=1.43 cores=1,3,5,7
/proc/6626/task/6692/stat : 6692 (java) S 6623 6626 6144 0 -1 1077944384 2626 12982 0 0 60 75 5 3 20 0 15 0 79611514 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401501919664 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 859440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.73 s]
# the end of solver process 6626 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.89 s, system=3.19111 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.7 s]
/proc/loadavg: 1.44 1.41 1.41 3/215 6919
/proc/meminfo: memFree=15565928/32770624 swapFree=67108796/67108860
[pid=6626] ppid=6623 vsize=10916192 memory=859440 CPUtime=2520.05 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 6144 0 -1 1077944320 255098 12982 0 0 251682 315 5 3 20 0 15 0 79611499 11178180608 214860 33554432000 4194304 4196468 140724338759680 140724338742224 140402046602999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
/proc/6626/statm: 2729048 214860 3523 1 0 2690701 0
[pid=6626/tid=6679] ppid=6623 vsize=10916192 memory=859440 CPUtime=2451.75 cores=1,3,5,7
/proc/6626/task/6679/stat : 6679 (java) R 6623 6626 6144 0 -1 4202560 91448 12982 0 0 245122 45 5 3 20 0 15 0 79611508 11178180608 214860 33554432000 4194304 4196468 140724338759680 140402018437728 140401643176076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6680] ppid=6623 vsize=10916192 memory=3708 CPUtime=10.32 cores=1,3,5,7
/proc/6626/task/6680/stat : 6680 (java) S 6623 6626 6144 0 -1 1077944384 11161 12982 0 0 980 44 5 3 20 0 15 0 79611509 11178180608 214860 33554432000 4194304 4196468 140724338759680 140402050845584 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6681] ppid=6623 vsize=10916192 memory=859332 CPUtime=10.3 cores=1,3,5,7
/proc/6626/task/6681/stat : 6681 (java) S 6623 6626 6144 0 -1 1077944384 11714 12982 0 0 981 41 5 3 20 0 15 0 79611509 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401949735696 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6682] ppid=6623 vsize=10916192 memory=280266614722672 CPUtime=10.31 cores=1,3,5,7
/proc/6626/task/6682/stat : 6682 (java) S 6623 6626 6144 0 -1 1077944384 11108 12982 0 0 978 45 5 3 20 0 15 0 79611509 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401948683408 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6683] ppid=6623 vsize=10916192 memory=859332 CPUtime=10.29 cores=1,3,5,7
/proc/6626/task/6683/stat : 6683 (java) S 6623 6626 6144 0 -1 1077944384 10951 12982 0 0 978 43 5 3 20 0 15 0 79611509 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401947630608 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6684] ppid=6623 vsize=10916192 memory=129 CPUtime=8.3 cores=1,3,5,7
/proc/6626/task/6684/stat : 6684 (java) S 6623 6626 6144 0 -1 1077944384 14156 12982 0 0 775 47 5 3 20 0 15 0 79611510 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401506130032 140402046614146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6685] ppid=6623 vsize=10916192 memory=859440 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6685/stat : 6685 (java) S 6623 6626 6144 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 79611510 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401407157088 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6686] ppid=6623 vsize=10916192 memory=859440 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6686/stat : 6686 (java) S 6623 6626 6144 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 79611511 11178180608 214860 33554432000 4194304 4196468 140724338759680 140400803177600 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6687] ppid=6623 vsize=10916192 memory=859440 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6687/stat : 6687 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611513 11178180608 214860 33554432000 4194304 4196468 140724338759680 140400562886736 140402046621595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6688] ppid=6623 vsize=10916192 memory=859440 CPUtime=7.13 cores=1,3,5,7
/proc/6626/task/6688/stat : 6688 (java) S 6623 6626 6144 0 -1 1077944384 32600 12982 0 0 699 6 5 3 20 0 15 0 79611513 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401505077872 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6689] ppid=6623 vsize=10916192 memory=859440 CPUtime=7.35 cores=1,3,5,7
/proc/6626/task/6689/stat : 6689 (java) S 6623 6626 6144 0 -1 1077944384 36021 12982 0 0 720 7 5 3 20 0 15 0 79611513 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401504025072 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6690] ppid=6623 vsize=10916192 memory=859440 CPUtime=3.49 cores=1,3,5,7
/proc/6626/task/6690/stat : 6690 (java) S 6623 6626 6144 0 -1 1077944384 31101 12982 0 0 334 7 5 3 20 0 15 0 79611513 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401502972784 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6691] ppid=6623 vsize=10916192 memory=859440 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6691/stat : 6691 (java) S 6623 6626 6144 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 79611514 11178180608 214860 33554432000 4194304 4196468 140724338759680 140400529329120 140402046613205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
[pid=6626/tid=6692] ppid=6623 vsize=10916192 memory=1088 CPUtime=1.43 cores=1,3,5,7
/proc/6626/task/6692/stat : 6692 (java) S 6623 6626 6144 0 -1 1077944384 2626 12982 0 0 60 75 5 3 20 0 15 0 79611514 11178180608 214860 33554432000 4194304 4196468 140724338759680 140401501919664 140402046614146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19595264 140724338768043 140724338771292 140724338771292 140724338773967 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 859440 KiB
Child status: 143
Real time (s): 2472.73
CPU time (s): 2520.08
CPU user time (s): 2516.89
CPU system time (s): 3.19111
CPU usage (%): 101.915
Max. virtual memory (cumulated for all children) (KiB): 10918828
Max. memory (cumulated for all children) (KiB): 939816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.89
system time used= 3.19111
maximum resident set size= 941864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269046
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 234152
involuntary context switches= 5572
# summary of solver processes directly reported to runsolver:
# pid: 6626
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.89
# total CPU system time (s): 3.19111
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6707 second user time and 20.5969 second system time
The end