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 (13416 MiB free)
memory of node 1: 16384 MiB (11270 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302395-1532894846/watcher-4302395-1532894846 -o /tmp/evaluation-result-4302395-1532894846/solver-4302395-1532894846 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=235623986 HOME/instance-4302395-1532894846.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=16528, runsolver pid=16525
[startup+0.100065 s]*
/proc/loadavg: 1.72 1.75 1.62 3/206 16585
/proc/meminfo: memFree=25273052/32770624 swapFree=67108436/67108860
[pid=16528] ppid=16525 vsize=10005480 memory=18596 CPUtime=0.08 cores=0,2,4,6
/proc/16528/stat : 16528 (java) S 16525 16528 9814 0 -1 1077944320 4294 13161 0 0 0 1 5 2 20 0 6 0 107047739 10245611520 4649 33554432000 4194304 4196468 140723646862240 140723646844784 140617512201975 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
/proc/16528/statm: 2501370 4649 1933 1 0 2489808 0
[pid=16528/tid=16581] ppid=16525 vsize=10005480 memory=4279135704014094991 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16581/stat : 16581 (java) R 16525 16528 9814 0 -1 4202560 2109 13161 0 0 0 0 5 2 20 0 6 0 107047748 10245611520 4649 33554432000 4194304 4196468 140723646862240 140617484038736 140617497884501 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16582] ppid=16525 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16582/stat : 16582 (java) S 16525 16528 9814 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 6 0 107047749 10245611520 4649 33554432000 4194304 4196468 140723646862240 140617516444816 140617512212181 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16583] ppid=16525 vsize=10005480 memory=140706194736768 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16583/stat : 16583 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 6 0 107047749 10245611520 4649 33554432000 4194304 4196468 140723646862240 140617371163664 140617512212181 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16584] ppid=16525 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16584/stat : 16584 (java) S 16525 16528 9814 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 6 0 107047749 10245611520 4649 33554432000 4194304 4196468 140723646862240 140617370110864 140617512212181 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16585] ppid=16525 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16585/stat : 16585 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 6 0 107047749 10245611520 4649 33554432000 4194304 4196468 140723646862240 140617369058064 140617512212181 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210023 s]*
/proc/loadavg: 1.72 1.75 1.62 3/215 16594
/proc/meminfo: memFree=25249212/32770624 swapFree=67108436/67108860
[pid=16528] ppid=16525 vsize=10982744 memory=44904 CPUtime=0.25 cores=0,2,4,6
/proc/16528/stat : 16528 (java) S 16525 16528 9814 0 -1 1077944320 7897 13161 0 0 16 2 5 2 20 0 15 0 107047739 11246329856 11226 33554432000 4194304 4196468 140723646862240 140723646844784 140617512201975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
/proc/16528/statm: 2745686 11226 2983 1 0 2708109 0
[pid=16528/tid=16581] ppid=16525 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/16528/task/16581/stat : 16581 (java) R 16525 16528 9814 0 -1 4202560 4656 13161 0 0 10 1 5 2 20 0 15 0 107047748 11247345664 11424 33554432000 4194304 4196468 140723646862240 140617484026784 140617504881693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16582] ppid=16525 vsize=10983736 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16582/stat : 16582 (java) S 16525 16528 9814 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 107047749 11247345664 11490 33554432000 4194304 4196468 140723646862240 140617516444816 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16583] ppid=16525 vsize=10983736 memory=140706194753416 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16583/stat : 16583 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047749 11247345664 11490 33554432000 4194304 4196468 140723646862240 140617371163664 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16584] ppid=16525 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16584/stat : 16584 (java) S 16525 16528 9814 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 107047749 11247345664 11490 33554432000 4194304 4196468 140723646862240 140617370110864 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16585] ppid=16525 vsize=10985364 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16585/stat : 16585 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047749 11249012736 11490 33554432000 4194304 4196468 140723646862240 140617369058064 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16586] ppid=16525 vsize=10985364 memory=140706194736768 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16586/stat : 16586 (java) S 16525 16528 9814 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 107047751 11249012736 11490 33554432000 4194304 4196468 140723646862240 140617029572976 140617512213122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16587] ppid=16525 vsize=10985364 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16587/stat : 16587 (java) S 16525 16528 9814 0 -1 1077944384 13 13161 0 0 0 0 5 2 20 0 15 0 107047751 11249012736 11556 33554432000 4194304 4196468 140723646862240 140616289739808 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16588] ppid=16525 vsize=10985364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16588/stat : 16588 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047751 11249012736 11556 33554432000 4194304 4196468 140723646862240 140616088413040 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16589] ppid=16525 vsize=10985364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16589/stat : 16589 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11249012736 11556 33554432000 4194304 4196468 140723646862240 140615781013328 140617512220571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16590] ppid=16525 vsize=10985364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16528/task/16590/stat : 16590 (java) S 16525 16528 9814 0 -1 1077944384 540 13161 0 0 1 0 5 2 20 0 15 0 107047754 11249012736 11556 33554432000 4194304 4196468 140723646862240 140616960830320 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16591] ppid=16525 vsize=10985364 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16528/task/16591/stat : 16591 (java) S 16525 16528 9814 0 -1 1077944384 69 13161 0 0 1 0 5 2 20 0 15 0 107047754 11249012736 11556 33554432000 4194304 4196468 140723646862240 140616959777520 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16592] ppid=16525 vsize=10985364 memory=140706194736768 CPUtime=0.1 cores=0,2,4,6
/proc/16528/task/16592/stat : 16592 (java) S 16525 16528 9814 0 -1 1077944384 621 13161 0 0 3 0 5 2 20 0 15 0 107047754 11249012736 11622 33554432000 4194304 4196468 140723646862240 140616958724720 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16593] ppid=16525 vsize=10985364 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16593/stat : 16593 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11249012736 11622 33554432000 4194304 4196468 140723646862240 140615350217440 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16594] ppid=16525 vsize=10985364 memory=140706194736768 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16594/stat : 16594 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047754 11249012736 11622 33554432000 4194304 4196468 140723646862240 140616957672112 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44904 KiB
[startup+0.310261 s]*
/proc/loadavg: 1.72 1.75 1.62 5/215 16594
/proc/meminfo: memFree=25237488/32770624 swapFree=67108436/67108860
[pid=16528] ppid=16525 vsize=10983192 memory=55576 CPUtime=0.38 cores=0,2,4,6
/proc/16528/stat : 16528 (java) S 16525 16528 9814 0 -1 1077944320 10407 13161 0 0 28 3 5 2 20 0 15 0 107047739 11246788608 13894 33554432000 4194304 4196468 140723646862240 140723646844784 140617512201975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
/proc/16528/statm: 2745798 13894 3102 1 0 2708109 0
[pid=16528/tid=16581] ppid=16525 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/16528/task/16581/stat : 16581 (java) R 16525 16528 9814 0 -1 4202560 6940 13161 0 0 19 2 5 2 20 0 15 0 107047748 11246788608 13894 33554432000 4194304 4196468 140723646862240 140617484022632 140617496282462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16582] ppid=16525 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16582/stat : 16582 (java) S 16525 16528 9814 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 107047749 11246788608 13894 33554432000 4194304 4196468 140723646862240 140617516444816 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16583] ppid=16525 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16583/stat : 16583 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047749 11246788608 13894 33554432000 4194304 4196468 140723646862240 140617371163664 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16584] ppid=16525 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16584/stat : 16584 (java) S 16525 16528 9814 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 107047749 11246788608 13894 33554432000 4194304 4196468 140723646862240 140617370110864 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16585] ppid=16525 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16585/stat : 16585 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047749 11246788608 13894 33554432000 4194304 4196468 140723646862240 140617369058064 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16586] ppid=16525 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16586/stat : 16586 (java) S 16525 16528 9814 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 107047751 11246788608 13894 33554432000 4194304 4196468 140723646862240 140617029572976 140617512213122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16587] ppid=16525 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16587/stat : 16587 (java) S 16525 16528 9814 0 -1 1077944384 13 13161 0 0 0 0 5 2 20 0 15 0 107047751 11246788608 13894 33554432000 4194304 4196468 140723646862240 140616289739808 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16588] ppid=16525 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16588/stat : 16588 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047751 11246788608 13894 33554432000 4194304 4196468 140723646862240 140616088413040 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16589] ppid=16525 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16589/stat : 16589 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11246788608 13894 33554432000 4194304 4196468 140723646862240 140615781013328 140617512220571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16590] ppid=16525 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16528/task/16590/stat : 16590 (java) R 16525 16528 9814 0 -1 1077944384 542 13161 0 0 1 0 5 2 20 0 15 0 107047754 11246788608 13894 33554432000 4194304 4196468 140723646862240 140616960830320 140617512213122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16591] ppid=16525 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16528/task/16591/stat : 16591 (java) S 16525 16528 9814 0 -1 1077944384 69 13161 0 0 1 0 5 2 20 0 15 0 107047754 11246788608 13894 33554432000 4194304 4196468 140723646862240 140616959777520 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16592] ppid=16525 vsize=10983192 memory=140706194736768 CPUtime=0.11 cores=0,2,4,6
/proc/16528/task/16592/stat : 16592 (java) S 16525 16528 9814 0 -1 1077944384 641 13161 0 0 4 0 5 2 20 0 15 0 107047754 11246788608 13894 33554432000 4194304 4196468 140723646862240 140616958724720 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16593] ppid=16525 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16593/stat : 16593 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11246788608 13894 33554432000 4194304 4196468 140723646862240 140615350217440 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16594] ppid=16525 vsize=10983192 memory=140706194736768 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16594/stat : 16594 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047754 11246788608 13894 33554432000 4194304 4196468 140723646862240 140616957672112 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55576 KiB
[startup+0.700703 s]
/proc/loadavg: 1.72 1.75 1.62 3/215 16594
/proc/meminfo: memFree=25226964/32770624 swapFree=67108436/67108860
[pid=16528] ppid=16525 vsize=10983192 memory=88360 CPUtime=0.99 cores=0,2,4,6
/proc/16528/stat : 16528 (java) S 16525 16528 9814 0 -1 1077944320 16774 13161 0 0 87 5 5 2 20 0 15 0 107047739 11246788608 22090 33554432000 4194304 4196468 140723646862240 140723646844784 140617512201975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
/proc/16528/statm: 2745798 22090 3238 1 0 2708109 0
[pid=16528/tid=16581] ppid=16525 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/16528/task/16581/stat : 16581 (java) R 16525 16528 9814 0 -1 4202560 12197 13161 0 0 55 3 5 2 20 0 15 0 107047748 11246788608 22090 33554432000 4194304 4196468 140723646862240 140617484023696 140617496282462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16582] ppid=16525 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16582/stat : 16582 (java) S 16525 16528 9814 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 107047749 11246788608 22090 33554432000 4194304 4196468 140723646862240 140617516444816 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16583] ppid=16525 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16583/stat : 16583 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047749 11246788608 22090 33554432000 4194304 4196468 140723646862240 140617371163664 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16584] ppid=16525 vsize=10983192 memory=140706081551152 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16584/stat : 16584 (java) S 16525 16528 9814 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 107047749 11246788608 22090 33554432000 4194304 4196468 140723646862240 140617370110864 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16585] ppid=16525 vsize=10983192 memory=140707423584857 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16585/stat : 16585 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047749 11246788608 22090 33554432000 4194304 4196468 140723646862240 140617369058064 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16586] ppid=16525 vsize=10983192 memory=1388 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16586/stat : 16586 (java) S 16525 16528 9814 0 -1 1077944384 5 13161 0 0 0 0 5 2 20 0 15 0 107047751 11246788608 22090 33554432000 4194304 4196468 140723646862240 140617029572976 140617512213122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16587] ppid=16525 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16587/stat : 16587 (java) S 16525 16528 9814 0 -1 1077944384 13 13161 0 0 0 0 5 2 20 0 15 0 107047751 11246788608 22090 33554432000 4194304 4196468 140723646862240 140616289739808 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16588] ppid=16525 vsize=10983192 memory=8027477668130812270 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16588/stat : 16588 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047751 11246788608 22090 33554432000 4194304 4196468 140723646862240 140616088413040 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16589] ppid=16525 vsize=10983192 memory=17444 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16589/stat : 16589 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11246788608 22090 33554432000 4194304 4196468 140723646862240 140615781013328 140617512220571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16590] ppid=16525 vsize=10983192 memory=16148 CPUtime=0.15 cores=0,2,4,6
/proc/16528/task/16590/stat : 16590 (java) S 16525 16528 9814 0 -1 1077944384 967 13161 0 0 8 0 5 2 20 0 15 0 107047754 11246788608 22090 33554432000 4194304 4196468 140723646862240 140616960830320 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16591] ppid=16525 vsize=10983192 memory=4004 CPUtime=0.16 cores=0,2,4,6
/proc/16528/task/16591/stat : 16591 (java) S 16525 16528 9814 0 -1 1077944384 643 13161 0 0 9 0 5 2 20 0 15 0 107047754 11246788608 22090 33554432000 4194304 4196468 140723646862240 140616959777520 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16592] ppid=16525 vsize=10983192 memory=636 CPUtime=0.2 cores=0,2,4,6
/proc/16528/task/16592/stat : 16592 (java) S 16525 16528 9814 0 -1 1077944384 744 13161 0 0 13 0 5 2 20 0 15 0 107047754 11246788608 22090 33554432000 4194304 4196468 140723646862240 140616958724720 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16593] ppid=16525 vsize=10983192 memory=1780 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16593/stat : 16593 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11246788608 22090 33554432000 4194304 4196468 140723646862240 140615350217440 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16594] ppid=16525 vsize=10983192 memory=1236 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16594/stat : 16594 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047754 11246788608 22090 33554432000 4194304 4196468 140723646862240 140616957672112 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88360 KiB
[startup+1.50069 s]
/proc/loadavg: 1.72 1.75 1.62 3/215 16594
/proc/meminfo: memFree=25187876/32770624 swapFree=67108436/67108860
[pid=16528] ppid=16525 vsize=10998092 memory=181164 CPUtime=2.28 cores=0,2,4,6
/proc/16528/stat : 16528 (java) S 16525 16528 9814 0 -1 1077944320 23899 13161 0 0 210 11 5 2 20 0 15 0 107047739 11262046208 45291 33554432000 4194304 4196468 140723646862240 140723646844784 140617512201975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
/proc/16528/statm: 2749523 45291 3468 1 0 2711181 0
[pid=16528/tid=16581] ppid=16525 vsize=10998092 memory=65144 CPUtime=1.43 cores=0,2,4,6
/proc/16528/task/16581/stat : 16581 (java) R 16525 16528 9814 0 -1 4202560 17758 13161 0 0 130 6 5 2 20 0 15 0 107047748 11262046208 45291 33554432000 4194304 4196468 140723646862240 140617484025280 140617512223901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16582] ppid=16525 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/16528/task/16582/stat : 16582 (java) S 16525 16528 9814 0 -1 1077944384 60 13161 0 0 1 0 5 2 20 0 15 0 107047749 11262046208 45291 33554432000 4194304 4196468 140723646862240 140617516444816 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16583] ppid=16525 vsize=10998092 memory=281412163133600 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16583/stat : 16583 (java) S 16525 16528 9814 0 -1 1077944384 27 13161 0 0 0 0 5 2 20 0 15 0 107047749 11262046208 45291 33554432000 4194304 4196468 140723646862240 140617371163664 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16584] ppid=16525 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16584/stat : 16584 (java) S 16525 16528 9814 0 -1 1077944384 185 13161 0 0 0 0 5 2 20 0 15 0 107047749 11262046208 45291 33554432000 4194304 4196468 140723646862240 140617370110864 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16585] ppid=16525 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16585/stat : 16585 (java) S 16525 16528 9814 0 -1 1077944384 32 13161 0 0 0 0 5 2 20 0 15 0 107047749 11262046208 45291 33554432000 4194304 4196468 140723646862240 140617369058064 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16586] ppid=16525 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16528/task/16586/stat : 16586 (java) S 16525 16528 9814 0 -1 1077944384 51 13161 0 0 1 0 5 2 20 0 15 0 107047751 11262046208 45291 33554432000 4194304 4196468 140723646862240 140617029572976 140617512213122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16587] ppid=16525 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16587/stat : 16587 (java) S 16525 16528 9814 0 -1 1077944384 14 13161 0 0 0 0 5 2 20 0 15 0 107047751 11262046208 45291 33554432000 4194304 4196468 140723646862240 140616289739872 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16588] ppid=16525 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16588/stat : 16588 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047751 11262046208 45291 33554432000 4194304 4196468 140723646862240 140616088413056 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16589] ppid=16525 vsize=10998092 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16589/stat : 16589 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11262046208 45291 33554432000 4194304 4196468 140723646862240 140615781013328 140617512220571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16590] ppid=16525 vsize=10998092 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/16528/task/16590/stat : 16590 (java) S 16525 16528 9814 0 -1 1077944384 1133 13161 0 0 18 0 5 2 20 0 15 0 107047754 11262046208 45291 33554432000 4194304 4196468 140723646862240 140616960830320 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16591] ppid=16525 vsize=10998092 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/16528/task/16591/stat : 16591 (java) S 16525 16528 9814 0 -1 1077944384 1112 13161 0 0 23 0 5 2 20 0 15 0 107047754 11262046208 45291 33554432000 4194304 4196468 140723646862240 140616959777520 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16592] ppid=16525 vsize=10998092 memory=6791534058613427641 CPUtime=0.39 cores=0,2,4,6
/proc/16528/task/16592/stat : 16592 (java) S 16525 16528 9814 0 -1 1077944384 1327 13161 0 0 32 0 5 2 20 0 15 0 107047754 11262046208 45291 33554432000 4194304 4196468 140723646862240 140616958724720 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16593] ppid=16525 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16593/stat : 16593 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11262046208 45291 33554432000 4194304 4196468 140723646862240 140615350217440 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16594] ppid=16525 vsize=10998092 memory=281412163378048 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16594/stat : 16594 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047754 11262046208 45291 33554432000 4194304 4196468 140723646862240 140616957672112 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/16528/task/16581/stat : 16581 (java) R 16525 16528 9814 0 -1 4202560 49147 13161 0 0 16006 29 5 2 20 0 15 0 107047748 11343855616 357981 33554432000 4194304 4196468 140723646862240 140617484037168 140617061483434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16582] ppid=16525 vsize=11077984 memory=1431836 CPUtime=0.62 cores=0,2,4,6
/proc/16528/task/16582/stat : 16582 (java) S 16525 16528 9814 0 -1 1077944384 3329 13161 0 0 49 6 5 2 20 0 15 0 107047749 11343855616 357981 33554432000 4194304 4196468 140723646862240 140617516444816 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16583] ppid=16525 vsize=11077984 memory=1431836 CPUtime=0.61 cores=0,2,4,6
/proc/16528/task/16583/stat : 16583 (java) S 16525 16528 9814 0 -1 1077944384 2147 13161 0 0 48 6 5 2 20 0 15 0 107047749 11343855616 357981 33554432000 4194304 4196468 140723646862240 140617371163664 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16584] ppid=16525 vsize=11077984 memory=1431836 CPUtime=0.61 cores=0,2,4,6
/proc/16528/task/16584/stat : 16584 (java) S 16525 16528 9814 0 -1 1077944384 1159 13161 0 0 49 5 5 2 20 0 15 0 107047749 11343855616 357981 33554432000 4194304 4196468 140723646862240 140617370110864 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16585] ppid=16525 vsize=11077984 memory=1431924 CPUtime=0.62 cores=0,2,4,6
/proc/16528/task/16585/stat : 16585 (java) S 16525 16528 9814 0 -1 1077944384 2735 13161 0 0 50 5 5 2 20 0 15 0 107047749 11343855616 357981 33554432000 4194304 4196468 140723646862240 140617369058064 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16586] ppid=16525 vsize=11077984 memory=1431924 CPUtime=0.55 cores=0,2,4,6
/proc/16528/task/16586/stat : 16586 (java) S 16525 16528 9814 0 -1 1077944384 6604 13161 0 0 45 3 5 2 20 0 15 0 107047751 11343855616 357981 33554432000 4194304 4196468 140723646862240 140617029572976 140617512213122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16587] ppid=16525 vsize=11077984 memory=1431768 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16587/stat : 16587 (java) S 16525 16528 9814 0 -1 1077944384 14 13161 0 0 0 0 5 2 20 0 15 0 107047751 11343855616 357981 33554432000 4194304 4196468 140723646862240 140616289739936 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16588] ppid=16525 vsize=11077984 memory=1431924 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16588/stat : 16588 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047751 11343855616 357981 33554432000 4194304 4196468 140723646862240 140616088413056 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16589] ppid=16525 vsize=11077984 memory=1431836 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16589/stat : 16589 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11343855616 357981 33554432000 4194304 4196468 140723646862240 140615781013328 140617512220571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16590] ppid=16525 vsize=11077984 memory=796 CPUtime=5.01 cores=0,2,4,6
/proc/16528/task/16590/stat : 16590 (java) S 16525 16528 9814 0 -1 1077944384 21846 13161 0 0 490 4 5 2 20 0 15 0 107047754 11343855616 357981 33554432000 4194304 4196468 140723646862240 140616960830320 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16591] ppid=16525 vsize=11077984 memory=1388 CPUtime=4.53 cores=0,2,4,6
/proc/16528/task/16591/stat : 16591 (java) S 16525 16528 9814 0 -1 1077944384 15761 13161 0 0 443 3 5 2 20 0 15 0 107047754 11343855616 357981 33554432000 4194304 4196468 140723646862240 140616959777520 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16592] ppid=16525 vsize=11077984 memory=1431924 CPUtime=2.68 cores=0,2,4,6
/proc/16528/task/16592/stat : 16592 (java) S 16525 16528 9814 0 -1 1077944384 18696 13161 0 0 256 5 5 2 20 0 15 0 107047754 11343855616 357981 33554432000 4194304 4196468 140723646862240 140616958724720 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 61 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16593] ppid=16525 vsize=11077984 memory=1431924 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16593/stat : 16593 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11343855616 357981 33554432000 4194304 4196468 140723646862240 140615350217440 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16594] ppid=16525 vsize=11077984 memory=1431924 CPUtime=0.16 cores=0,2,4,6
/proc/16528/task/16594/stat : 16594 (java) S 16525 16528 9814 0 -1 1077944384 387 13161 0 0 5 4 5 2 20 0 15 0 107047754 11343855616 357981 33554432000 4194304 4196468 140723646862240 140616957672112 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
Current children cumulated CPU time: 175.29 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1431924 KiB
[startup+222.301 s]
/proc/loadavg: 1.87 1.81 1.68 5/216 17115
/proc/meminfo: memFree=26378920/32770624 swapFree=67108436/67108860
[pid=16528] ppid=16525 vsize=11077984 memory=1432204 CPUtime=237.32 cores=0,2,4,6
/proc/16528/stat : 16528 (java) S 16525 16528 9814 0 -1 1077944320 135302 13161 0 0 23645 80 5 2 20 0 15 0 107047739 11343855616 358051 33554432000 4194304 4196468 140723646862240 140723646844784 140617512201975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
/proc/16528/statm: 2769496 358051 3515 1 0 2731149 0
[pid=16528/tid=16581] ppid=16525 vsize=11077984 memory=1432188 CPUtime=219.78 cores=0,2,4,6
/proc/16528/task/16581/stat : 16581 (java) R 16525 16528 9814 0 -1 4202560 50430 13161 0 0 21941 30 5 2 20 0 15 0 107047748 11343855616 358051 33554432000 4194304 4196468 140723646862240 140617484037552 140617061597921 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16582] ppid=16525 vsize=11077984 memory=1852 CPUtime=0.9 cores=0,2,4,6
/proc/16528/task/16582/stat : 16582 (java) S 16525 16528 9814 0 -1 1077944384 4495 13161 0 0 76 7 5 2 20 0 15 0 107047749 11343855616 358051 33554432000 4194304 4196468 140723646862240 140617516444816 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16583] ppid=16525 vsize=11077984 memory=1432204 CPUtime=0.9 cores=0,2,4,6
/proc/16528/task/16583/stat : 16583 (java) S 16525 16528 9814 0 -1 1077944384 2247 13161 0 0 75 8 5 2 20 0 15 0 107047749 11343855616 358051 33554432000 4194304 4196468 140723646862240 140617371163664 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16584] ppid=16525 vsize=11077984 memory=1432204 CPUtime=0.9 cores=0,2,4,6
/proc/16528/task/16584/stat : 16584 (java) S 16525 16528 9814 0 -1 1077944384 1768 13161 0 0 76 7 5 2 20 0 15 0 107047749 11343855616 358051 33554432000 4194304 4196468 140723646862240 140617370110864 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16585] ppid=16525 vsize=11077984 memory=1432188 CPUtime=0.9 cores=0,2,4,6
/proc/16528/task/16585/stat : 16585 (java) S 16525 16528 9814 0 -1 1077944384 2841 13161 0 0 78 5 5 2 20 0 15 0 107047749 11343855616 358051 33554432000 4194304 4196468 140723646862240 140617369058064 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16586] ppid=16525 vsize=11077984 memory=1432204 CPUtime=0.82 cores=0,2,4,6
/proc/16528/task/16586/stat : 16586 (java) S 16525 16528 9814 0 -1 1077944384 6924 13161 0 0 71 4 5 2 20 0 15 0 107047751 11343855616 358051 33554432000 4194304 4196468 140723646862240 140617029572976 140617512213122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16587] ppid=16525 vsize=11077984 memory=1432188 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16587/stat : 16587 (java) S 16525 16528 9814 0 -1 1077944384 14 13161 0 0 0 0 5 2 20 0 15 0 107047751 11343855616 358051 33554432000 4194304 4196468 140723646862240 140616289739936 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16588] ppid=16525 vsize=11077984 memory=1432188 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16588/stat : 16588 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047751 11343855616 358051 33554432000 4194304 4196468 140723646862240 140616088413056 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16589] ppid=16525 vsize=11077984 memory=1432188 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16589/stat : 16589 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11343855616 358051 33554432000 4194304 4196468 140723646862240 140615781013328 140617512220571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16590] ppid=16525 vsize=11077984 memory=1432180 CPUtime=5.48 cores=0,2,4,6
/proc/16528/task/16590/stat : 16590 (java) S 16525 16528 9814 0 -1 1077944384 23377 13161 0 0 537 4 5 2 20 0 15 0 107047754 11343855616 358051 33554432000 4194304 4196468 140723646862240 140616960830320 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16591] ppid=16525 vsize=11077984 memory=1432204 CPUtime=5 cores=0,2,4,6
/proc/16528/task/16591/stat : 16591 (java) S 16525 16528 9814 0 -1 1077944384 19004 13161 0 0 490 3 5 2 20 0 15 0 107047754 11343855616 358051 33554432000 4194304 4196468 140723646862240 140616959777520 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16592] ppid=16525 vsize=11077984 memory=4140 CPUtime=2.94 cores=0,2,4,6
/proc/16528/task/16592/stat : 16592 (java) S 16525 16528 9814 0 -1 1077944384 21589 13161 0 0 281 6 5 2 20 0 15 0 107047754 11343855616 358051 33554432000 4194304 4196468 140723646862240 140616958724720 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 61 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16593] ppid=16525 vsize=11077984 memory=30556 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16593/stat : 16593 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11343855616 358051 33554432000 4194304 4196468 140723646862240 140615350217440 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16594] ppid=16525 vsize=11077984 memory=1296 CPUtime=0.2 cores=0,2,4,6
/proc/16528/task/16594/stat : 16594 (java) S 16525 16528 9814 0 -1 1077944384 414 13161 0 0 7 6 5 2 20 0 15 0 107047754 11343855616 358051 33554432000 4194304 4196468 140723646862240 140616957672112 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
Current children cumulated CPU time: 237.32 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1432204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+236.501 s]
/proc/loadavg: 1.89 1.81 1.68 3/216 17115
/proc/meminfo: memFree=25449152/32770624 swapFree=67108436/67108860
[pid=16528] ppid=16525 vsize=11077984 memory=1432240 CPUtime=252.01 cores=0,2,4,6
/proc/16528/stat : 16528 (java) S 16525 16528 9814 0 -1 1077944320 141865 13161 0 0 25111 83 5 2 20 0 15 0 107047739 11343855616 358060 33554432000 4194304 4196468 140723646862240 140723646844784 140617512201975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
/proc/16528/statm: 2769496 358060 3515 1 0 2731149 0
[pid=16528/tid=16581] ppid=16525 vsize=11077984 memory=1432240 CPUtime=233.83 cores=0,2,4,6
/proc/16528/task/16581/stat : 16581 (java) R 16525 16528 9814 0 -1 4202560 50993 13161 0 0 23345 31 5 2 20 0 15 0 107047748 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617484037552 140617045058686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16582] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.98 cores=0,2,4,6
/proc/16528/task/16582/stat : 16582 (java) S 16525 16528 9814 0 -1 1077944384 4505 13161 0 0 83 8 5 2 20 0 15 0 107047749 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617516444816 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16583] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.97 cores=0,2,4,6
/proc/16528/task/16583/stat : 16583 (java) S 16525 16528 9814 0 -1 1077944384 2792 13161 0 0 82 8 5 2 20 0 15 0 107047749 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617371163664 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16584] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.98 cores=0,2,4,6
/proc/16528/task/16584/stat : 16584 (java) S 16525 16528 9814 0 -1 1077944384 1778 13161 0 0 83 8 5 2 20 0 15 0 107047749 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617370110864 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16585] ppid=16525 vsize=11077984 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/16528/task/16585/stat : 16585 (java) S 16525 16528 9814 0 -1 1077944384 2913 13161 0 0 85 6 5 2 20 0 15 0 107047749 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617369058064 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16586] ppid=16525 vsize=11077984 memory=1432204 CPUtime=0.89 cores=0,2,4,6
/proc/16528/task/16586/stat : 16586 (java) S 16525 16528 9814 0 -1 1077944384 7192 13161 0 0 77 5 5 2 20 0 15 0 107047751 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617029572976 140617512213122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16587] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16587/stat : 16587 (java) S 16525 16528 9814 0 -1 1077944384 14 13161 0 0 0 0 5 2 20 0 15 0 107047751 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616289739936 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16588] ppid=16525 vsize=11077984 memory=1432204 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16588/stat : 16588 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047751 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616088413056 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16589] ppid=16525 vsize=11077984 memory=1432188 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16589/stat : 16589 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140615781013328 140617512220571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16590] ppid=16525 vsize=11077984 memory=1432240 CPUtime=5.59 cores=0,2,4,6
/proc/16528/task/16590/stat : 16590 (java) S 16525 16528 9814 0 -1 1077944384 25321 13161 0 0 548 4 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616960830320 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16591] ppid=16525 vsize=11077984 memory=1432240 CPUtime=5.11 cores=0,2,4,6
/proc/16528/task/16591/stat : 16591 (java) S 16525 16528 9814 0 -1 1077944384 19973 13161 0 0 501 3 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616959777520 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16592] ppid=16525 vsize=11077984 memory=1852 CPUtime=3.01 cores=0,2,4,6
/proc/16528/task/16592/stat : 16592 (java) S 16525 16528 9814 0 -1 1077944384 23754 13161 0 0 288 6 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616958724720 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 61 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16593] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16593/stat : 16593 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140615350217440 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16594] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.21 cores=0,2,4,6
/proc/16528/task/16594/stat : 16594 (java) S 16525 16528 9814 0 -1 1077944384 431 13161 0 0 7 7 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616957672112 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1432240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+236.538 s]
# the end of solver process 16528 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.187 s, system=0.888465 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+236.501 s]
/proc/loadavg: 1.89 1.81 1.68 3/216 17115
/proc/meminfo: memFree=25449152/32770624 swapFree=67108436/67108860
[pid=16528] ppid=16525 vsize=11077984 memory=1432240 CPUtime=252.01 cores=0,2,4,6
/proc/16528/stat : 16528 (java) S 16525 16528 9814 0 -1 1077944320 141865 13161 0 0 25111 83 5 2 20 0 15 0 107047739 11343855616 358060 33554432000 4194304 4196468 140723646862240 140723646844784 140617512201975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
/proc/16528/statm: 2769496 358060 3515 1 0 2731149 0
[pid=16528/tid=16581] ppid=16525 vsize=11077984 memory=1432240 CPUtime=233.83 cores=0,2,4,6
/proc/16528/task/16581/stat : 16581 (java) R 16525 16528 9814 0 -1 4202560 50993 13161 0 0 23345 31 5 2 20 0 15 0 107047748 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617484037552 140617045058686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16582] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.98 cores=0,2,4,6
/proc/16528/task/16582/stat : 16582 (java) S 16525 16528 9814 0 -1 1077944384 4505 13161 0 0 83 8 5 2 20 0 15 0 107047749 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617516444816 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16583] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.97 cores=0,2,4,6
/proc/16528/task/16583/stat : 16583 (java) S 16525 16528 9814 0 -1 1077944384 2792 13161 0 0 82 8 5 2 20 0 15 0 107047749 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617371163664 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16584] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.98 cores=0,2,4,6
/proc/16528/task/16584/stat : 16584 (java) S 16525 16528 9814 0 -1 1077944384 1778 13161 0 0 83 8 5 2 20 0 15 0 107047749 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617370110864 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16585] ppid=16525 vsize=11077984 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/16528/task/16585/stat : 16585 (java) S 16525 16528 9814 0 -1 1077944384 2913 13161 0 0 85 6 5 2 20 0 15 0 107047749 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617369058064 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16586] ppid=16525 vsize=11077984 memory=1432204 CPUtime=0.89 cores=0,2,4,6
/proc/16528/task/16586/stat : 16586 (java) S 16525 16528 9814 0 -1 1077944384 7192 13161 0 0 77 5 5 2 20 0 15 0 107047751 11343855616 358060 33554432000 4194304 4196468 140723646862240 140617029572976 140617512213122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16587] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16587/stat : 16587 (java) S 16525 16528 9814 0 -1 1077944384 14 13161 0 0 0 0 5 2 20 0 15 0 107047751 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616289739936 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16588] ppid=16525 vsize=11077984 memory=1432204 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16588/stat : 16588 (java) S 16525 16528 9814 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 107047751 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616088413056 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16589] ppid=16525 vsize=11077984 memory=1432188 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16589/stat : 16589 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140615781013328 140617512220571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16590] ppid=16525 vsize=11077984 memory=1432240 CPUtime=5.59 cores=0,2,4,6
/proc/16528/task/16590/stat : 16590 (java) S 16525 16528 9814 0 -1 1077944384 25321 13161 0 0 548 4 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616960830320 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16591] ppid=16525 vsize=11077984 memory=1432240 CPUtime=5.11 cores=0,2,4,6
/proc/16528/task/16591/stat : 16591 (java) S 16525 16528 9814 0 -1 1077944384 19973 13161 0 0 501 3 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616959777520 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16592] ppid=16525 vsize=11077984 memory=1852 CPUtime=3.01 cores=0,2,4,6
/proc/16528/task/16592/stat : 16592 (java) S 16525 16528 9814 0 -1 1077944384 23754 13161 0 0 288 6 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616958724720 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 61 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16593] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.07 cores=0,2,4,6
/proc/16528/task/16593/stat : 16593 (java) S 16525 16528 9814 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140615350217440 140617512212181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
[pid=16528/tid=16594] ppid=16525 vsize=11077984 memory=1432240 CPUtime=0.21 cores=0,2,4,6
/proc/16528/task/16594/stat : 16594 (java) S 16525 16528 9814 0 -1 1077944384 431 13161 0 0 7 7 5 2 20 0 15 0 107047754 11343855616 358060 33554432000 4194304 4196468 140723646862240 140616957672112 140617512213122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21561344 140723646868082 140723646870881 140723646870881 140723646873551 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1432240 KiB
Child status: 143
Real time (s): 236.538
CPU time (s): 252.076
CPU user time (s): 251.187
CPU system time (s): 0.888465
CPU usage (%): 106.569
Max. virtual memory (cumulated for all children) (KiB): 11080696
Max. memory (cumulated for all children) (KiB): 1432240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.187
system time used= 0.888465
maximum resident set size= 1434736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156035
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32241
involuntary context switches= 908
# summary of solver processes directly reported to runsolver:
# pid: 16528
# total CPU time (s): 252.076
# total CPU user time (s): 251.187
# total CPU system time (s): 0.888465
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5585 second user time and 2.15846 second system time
The end