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 (13830 MiB free)
memory of node 1: 16384 MiB (14520 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401091-1568684181/watcher-4401091-1568684181 -o /tmp/evaluation-result-4401091-1568684181/solver-4401091-1568684181 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568673292-1029 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=479243401 HOME/instance-4401091-1568684181.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4564, runsolver pid=4561
[startup+0.100061 s]*
/proc/loadavg: 1.41 1.40 1.43 3/219 4621
/proc/meminfo: memFree=29027148/32770624 swapFree=66998740/67108860
[pid=4564] ppid=4561 vsize=9972712 memory=16552 CPUtime=0.08 cores=0,2,4,6
/proc/4564/stat : 4564 (java) S 4561 4564 998 0 -1 1077944320 4382 13172 0 0 0 1 5 2 20 0 6 0 444682964 10212057088 4138 33554432000 4194304 4196468 140731593226464 140731593209008 139834507566839 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
/proc/4564/statm: 2493178 4138 1933 1 0 2481616 0
[pid=4564/tid=4617] ppid=4561 vsize=9972712 memory=8514726395714820750 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4617/stat : 4617 (java) R 4561 4564 998 0 -1 4202560 2231 13172 0 0 0 0 5 2 20 0 6 0 444682973 10212057088 4204 33554432000 4194304 4196468 140731593226464 139834479403600 139834491647356 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4618] ppid=4561 vsize=9972712 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4618/stat : 4618 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 6 0 444682974 10212057088 4204 33554432000 4194304 4196468 140731593226464 139834511800976 139834507577045 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4619] ppid=4561 vsize=9972712 memory=139831660963456 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4619/stat : 4619 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 6 0 444682974 10212057088 4204 33554432000 4194304 4196468 140731593226464 139834410699280 139834507577045 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4620] ppid=4561 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4620/stat : 4620 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 6 0 444682974 10212057088 4204 33554432000 4194304 4196468 140731593226464 139834409646480 139834507577045 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4621] ppid=4561 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4621/stat : 4621 (java) S 4561 4564 998 0 -1 1077944384 2 13172 0 0 0 0 5 2 20 0 6 0 444682974 10212057088 4204 33554432000 4194304 4196468 140731593226464 139834408593680 139834507577045 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB
[startup+0.210209 s]*
/proc/loadavg: 1.41 1.40 1.43 4/228 4630
/proc/meminfo: memFree=29006632/32770624 swapFree=66998740/67108860
[pid=4564] ppid=4561 vsize=10819712 memory=39340 CPUtime=0.25 cores=0,2,4,6
/proc/4564/stat : 4564 (java) S 4561 4564 998 0 -1 1077944320 7295 13172 0 0 15 3 5 2 20 0 15 0 444682964 11079385088 9835 33554432000 4194304 4196468 140731593226464 140731593209008 139834507566839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
/proc/4564/statm: 2704928 9835 3173 1 0 2667149 0
[pid=4564/tid=4617] ppid=4561 vsize=10819712 memory=5450916389569530688 CPUtime=0.17 cores=0,2,4,6
/proc/4564/task/4617/stat : 4617 (java) R 4561 4564 998 0 -1 4202560 3820 13172 0 0 9 1 5 2 20 0 15 0 444682973 11079385088 9835 33554432000 4194304 4196468 140731593226464 139834479378560 139834493634958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4618] ppid=4561 vsize=10819712 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4618/stat : 4618 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682974 11079385088 9835 33554432000 4194304 4196468 140731593226464 139834511800976 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4619] ppid=4561 vsize=10819712 memory=139831660963456 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4619/stat : 4619 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682974 11079385088 9835 33554432000 4194304 4196468 140731593226464 139834410699280 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4620] ppid=4561 vsize=10819712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4620/stat : 4620 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682974 11079385088 9835 33554432000 4194304 4196468 140731593226464 139834409646480 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4621] ppid=4561 vsize=10819712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4621/stat : 4621 (java) S 4561 4564 998 0 -1 1077944384 2 13172 0 0 0 0 5 2 20 0 15 0 444682974 11079385088 9835 33554432000 4194304 4196468 140731593226464 139834408593680 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4622] ppid=4561 vsize=10819712 memory=139831660963456 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4622/stat : 4622 (java) S 4561 4564 998 0 -1 1077944384 2 13172 0 0 0 0 5 2 20 0 15 0 444682976 11079385088 9835 33554432000 4194304 4196468 140731593226464 139833966873456 139834507577986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4623] ppid=4561 vsize=10819712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4623/stat : 4623 (java) S 4561 4564 998 0 -1 1077944384 13 13172 0 0 0 0 5 2 20 0 15 0 444682976 11079385088 9835 33554432000 4194304 4196468 140731593226464 139833397732896 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4624] ppid=4561 vsize=10819712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4624/stat : 4624 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682976 11079385088 9835 33554432000 4194304 4196468 140731593226464 139833263514992 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4625] ppid=4561 vsize=10819712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4625/stat : 4625 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11079385088 10347 33554432000 4194304 4196468 140731593226464 139833023224144 139834507585435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4626] ppid=4561 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4564/task/4626/stat : 4626 (java) S 4561 4564 998 0 -1 1077944384 344 13172 0 0 1 0 5 2 20 0 15 0 444682979 11079385088 10347 33554432000 4194304 4196468 140731593226464 139833965820272 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4627] ppid=4561 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4564/task/4627/stat : 4627 (java) S 4561 4564 998 0 -1 1077944384 312 13172 0 0 1 0 5 2 20 0 15 0 444682979 11079385088 10347 33554432000 4194304 4196468 140731593226464 139833964767472 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4628] ppid=4561 vsize=10819712 memory=139831660963456 CPUtime=0.1 cores=0,2,4,6
/proc/4564/task/4628/stat : 4628 (java) S 4561 4564 998 0 -1 1077944384 593 13172 0 0 3 0 5 2 20 0 15 0 444682979 11079385088 10347 33554432000 4194304 4196468 140731593226464 139833963714672 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4629] ppid=4561 vsize=10819712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4629/stat : 4629 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11079385088 10347 33554432000 4194304 4196468 140731593226464 139832989665504 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4630] ppid=4561 vsize=10819712 memory=139831660963456 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4630/stat : 4630 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682980 11079385088 10347 33554432000 4194304 4196468 140731593226464 139833962663088 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 39340 KiB
[startup+0.311167 s]*
/proc/loadavg: 1.41 1.40 1.43 3/228 4630
/proc/meminfo: memFree=28994692/32770624 swapFree=66998740/67108860
[pid=4564] ppid=4561 vsize=10820196 memory=50596 CPUtime=0.38 cores=0,2,4,6
/proc/4564/stat : 4564 (java) S 4561 4564 998 0 -1 1077944320 10836 13172 0 0 27 4 5 2 20 0 15 0 444682964 11079880704 12649 33554432000 4194304 4196468 140731593226464 140731593209008 139834507566839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
/proc/4564/statm: 2705049 12649 3308 1 0 2667149 0
[pid=4564/tid=4617] ppid=4561 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=0,2,4,6
/proc/4564/task/4617/stat : 4617 (java) R 4561 4564 998 0 -1 4202560 7350 13172 0 0 18 3 5 2 20 0 15 0 444682973 11079880704 12649 33554432000 4194304 4196468 140731593226464 139834479372176 139834491647326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4618] ppid=4561 vsize=10820196 memory=8021301621242292072 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4618/stat : 4618 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682974 11079880704 12649 33554432000 4194304 4196468 140731593226464 139834511800976 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4619] ppid=4561 vsize=10820196 memory=5931329032301858896 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4619/stat : 4619 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682974 11079880704 12649 33554432000 4194304 4196468 140731593226464 139834410699280 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4620] ppid=4561 vsize=10820196 memory=7019606919509199812 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4620/stat : 4620 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682974 11079880704 12649 33554432000 4194304 4196468 140731593226464 139834409646480 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4621] ppid=4561 vsize=10820196 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4621/stat : 4621 (java) S 4561 4564 998 0 -1 1077944384 2 13172 0 0 0 0 5 2 20 0 15 0 444682974 11079880704 12649 33554432000 4194304 4196468 140731593226464 139834408593680 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4622] ppid=4561 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4622/stat : 4622 (java) S 4561 4564 998 0 -1 1077944384 2 13172 0 0 0 0 5 2 20 0 15 0 444682976 11079880704 12649 33554432000 4194304 4196468 140731593226464 139833966873456 139834507577986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4623] ppid=4561 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4623/stat : 4623 (java) S 4561 4564 998 0 -1 1077944384 13 13172 0 0 0 0 5 2 20 0 15 0 444682976 11079880704 12649 33554432000 4194304 4196468 140731593226464 139833397732896 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4624] ppid=4561 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4624/stat : 4624 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682976 11079880704 12649 33554432000 4194304 4196468 140731593226464 139833263514992 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4625] ppid=4561 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4625/stat : 4625 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11079880704 12649 33554432000 4194304 4196468 140731593226464 139833023224144 139834507585435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4626] ppid=4561 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4564/task/4626/stat : 4626 (java) S 4561 4564 998 0 -1 1077944384 354 13172 0 0 2 0 5 2 20 0 15 0 444682979 11079880704 12649 33554432000 4194304 4196468 140731593226464 139833965820272 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4627] ppid=4561 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4564/task/4627/stat : 4627 (java) S 4561 4564 998 0 -1 1077944384 312 13172 0 0 1 0 5 2 20 0 15 0 444682979 11079880704 12649 33554432000 4194304 4196468 140731593226464 139833964767472 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4628] ppid=4561 vsize=10820196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4564/task/4628/stat : 4628 (java) S 4561 4564 998 0 -1 1077944384 601 13172 0 0 5 0 5 2 20 0 15 0 444682979 11079880704 12649 33554432000 4194304 4196468 140731593226464 139833963714672 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4629] ppid=4561 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4629/stat : 4629 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11079880704 12649 33554432000 4194304 4196468 140731593226464 139832989665504 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4630] ppid=4561 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4630/stat : 4630 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682980 11079880704 12649 33554432000 4194304 4196468 140731593226464 139833962663088 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50596 KiB
[startup+0.707168 s]
/proc/loadavg: 1.41 1.40 1.43 3/228 4630
/proc/meminfo: memFree=28980568/32770624 swapFree=66998740/67108860
[pid=4564] ppid=4561 vsize=10824364 memory=83996 CPUtime=1.12 cores=0,2,4,6
/proc/4564/stat : 4564 (java) S 4561 4564 998 0 -1 1077944320 15226 13172 0 0 99 6 5 2 20 0 15 0 444682964 11084148736 20999 33554432000 4194304 4196468 140731593226464 140731593209008 139834507566839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
/proc/4564/statm: 2706091 20999 3512 1 0 2668173 0
[pid=4564/tid=4617] ppid=4561 vsize=10824364 memory=2241 CPUtime=0.66 cores=0,2,4,6
/proc/4564/task/4617/stat : 4617 (java) R 4561 4564 998 0 -1 4202560 10652 13172 0 0 54 5 5 2 20 0 15 0 444682973 11084148736 20999 33554432000 4194304 4196468 140731593226464 139834479381648 139834492732478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4618] ppid=4561 vsize=10824364 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4618/stat : 4618 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682974 11084148736 20999 33554432000 4194304 4196468 140731593226464 139834511800976 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4619] ppid=4561 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4619/stat : 4619 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682974 11084148736 20999 33554432000 4194304 4196468 140731593226464 139834410699280 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4620] ppid=4561 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4620/stat : 4620 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682974 11084148736 20999 33554432000 4194304 4196468 140731593226464 139834409646480 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4621] ppid=4561 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4621/stat : 4621 (java) S 4561 4564 998 0 -1 1077944384 2 13172 0 0 0 0 5 2 20 0 15 0 444682974 11084148736 20999 33554432000 4194304 4196468 140731593226464 139834408593680 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4622] ppid=4561 vsize=10824364 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4622/stat : 4622 (java) S 4561 4564 998 0 -1 1077944384 5 13172 0 0 0 0 5 2 20 0 15 0 444682976 11084148736 20999 33554432000 4194304 4196468 140731593226464 139833966873456 139834507577986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4623] ppid=4561 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4623/stat : 4623 (java) S 4561 4564 998 0 -1 1077944384 13 13172 0 0 0 0 5 2 20 0 15 0 444682976 11084148736 20999 33554432000 4194304 4196468 140731593226464 139833397732896 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4624] ppid=4561 vsize=10824364 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4624/stat : 4624 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682976 11084148736 20999 33554432000 4194304 4196468 140731593226464 139833263514992 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4625] ppid=4561 vsize=10824364 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4625/stat : 4625 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11084148736 20999 33554432000 4194304 4196468 140731593226464 139833023224144 139834507585435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4626] ppid=4561 vsize=10824364 memory=139831518726032 CPUtime=0.21 cores=0,2,4,6
/proc/4564/task/4626/stat : 4626 (java) R 4561 4564 998 0 -1 4202560 803 13172 0 0 14 0 5 2 20 0 15 0 444682979 11084148736 20999 33554432000 4194304 4196468 140731593226464 139833965820272 139834492475896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4627] ppid=4561 vsize=10824364 memory=24964 CPUtime=0.19 cores=0,2,4,6
/proc/4564/task/4627/stat : 4627 (java) R 4561 4564 998 0 -1 4202560 755 13172 0 0 12 0 5 2 20 0 15 0 444682979 11084148736 20999 33554432000 4194304 4196468 140731593226464 139833964767472 139834491855707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4628] ppid=4561 vsize=10824364 memory=2244 CPUtime=0.24 cores=0,2,4,6
/proc/4564/task/4628/stat : 4628 (java) S 4561 4564 998 0 -1 1077944384 781 13172 0 0 17 0 5 2 20 0 15 0 444682979 11084148736 20999 33554432000 4194304 4196468 140731593226464 139833963714672 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4629] ppid=4561 vsize=10824364 memory=139831518723440 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4629/stat : 4629 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11084148736 20999 33554432000 4194304 4196468 140731593226464 139832989665504 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4630] ppid=4561 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4630/stat : 4630 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682980 11084148736 20999 33554432000 4194304 4196468 140731593226464 139833962663088 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83996 KiB
[startup+1.50071 s]
/proc/loadavg: 1.41 1.40 1.43 4/228 4630
/proc/meminfo: memFree=28937484/32770624 swapFree=66998740/67108860
[pid=4564] ppid=4561 vsize=10834680 memory=171656 CPUtime=2.44 cores=0,2,4,6
/proc/4564/stat : 4564 (java) S 4561 4564 998 0 -1 1077944320 21767 13172 0 0 225 12 5 2 20 0 15 0 444682964 11094712320 42914 33554432000 4194304 4196468 140731593226464 140731593209008 139834507566839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
/proc/4564/statm: 2708670 42914 3578 1 0 2670733 0
[pid=4564/tid=4617] ppid=4561 vsize=10834680 memory=19 CPUtime=1.41 cores=0,2,4,6
/proc/4564/task/4617/stat : 4617 (java) R 4561 4564 998 0 -1 4202560 15468 13172 0 0 127 7 5 2 20 0 15 0 444682973 11094712320 42914 33554432000 4194304 4196468 140731593226464 139834479366176 139834491647326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4618] ppid=4561 vsize=10834680 memory=26 CPUtime=0.08 cores=0,2,4,6
/proc/4564/task/4618/stat : 4618 (java) S 4561 4564 998 0 -1 1077944384 62 13172 0 0 1 0 5 2 20 0 15 0 444682974 11094712320 42914 33554432000 4194304 4196468 140731593226464 139834511800976 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4619] ppid=4561 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4619/stat : 4619 (java) S 4561 4564 998 0 -1 1077944384 31 13172 0 0 0 0 5 2 20 0 15 0 444682974 11094712320 42914 33554432000 4194304 4196468 140731593226464 139834410699280 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4620] ppid=4561 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4564/task/4620/stat : 4620 (java) S 4561 4564 998 0 -1 1077944384 348 13172 0 0 1 0 5 2 20 0 15 0 444682974 11094712320 42914 33554432000 4194304 4196468 140731593226464 139834409646480 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4621] ppid=4561 vsize=10834680 memory=97860 CPUtime=0.08 cores=0,2,4,6
/proc/4564/task/4621/stat : 4621 (java) S 4561 4564 998 0 -1 1077944384 80 13172 0 0 1 0 5 2 20 0 15 0 444682974 11094712320 42914 33554432000 4194304 4196468 140731593226464 139834408593680 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4622] ppid=4561 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4564/task/4622/stat : 4622 (java) S 4561 4564 998 0 -1 1077944384 149 13172 0 0 1 0 5 2 20 0 15 0 444682976 11094712320 42914 33554432000 4194304 4196468 140731593226464 139833966873456 139834507577986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4623] ppid=4561 vsize=10834680 memory=7305218370954619481 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4623/stat : 4623 (java) S 4561 4564 998 0 -1 1077944384 14 13172 0 0 0 0 5 2 20 0 15 0 444682976 11094712320 42914 33554432000 4194304 4196468 140731593226464 139833397732960 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4624] ppid=4561 vsize=10834680 memory=6010993116971100262 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4624/stat : 4624 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682976 11094712320 42914 33554432000 4194304 4196468 140731593226464 139833263515008 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4625] ppid=4561 vsize=10834680 memory=7522256486133944932 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4625/stat : 4625 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11094712320 42914 33554432000 4194304 4196468 140731593226464 139833023224144 139834507585435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4626] ppid=4561 vsize=10834680 memory=4639074098508484690 CPUtime=0.3 cores=0,2,4,6
/proc/4564/task/4626/stat : 4626 (java) S 4561 4564 998 0 -1 1077944384 935 13172 0 0 23 0 5 2 20 0 15 0 444682979 11094712320 42914 33554432000 4194304 4196468 140731593226464 139833965820272 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4627] ppid=4561 vsize=10834680 memory=7162522592511879790 CPUtime=0.33 cores=0,2,4,6
/proc/4564/task/4627/stat : 4627 (java) S 4561 4564 998 0 -1 1077944384 974 13172 0 0 26 0 5 2 20 0 15 0 444682979 11094712320 42914 33554432000 4194304 4196468 140731593226464 139833964767472 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4628] ppid=4561 vsize=10834680 memory=7305218370954619481 CPUtime=0.47 cores=0,2,4,6
/proc/4564/task/4628/stat : 4628 (java) R 4561 4564 998 0 -1 4202560 1497 13172 0 0 40 0 5 2 20 0 15 0 444682979 11094712320 42914 33554432000 4194304 4196468 140731593226464 139833963714672 139834507588186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4629] ppid=4561 vsize=10834680 memory=7305218370954619481 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4629/stat : 4629 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11094712320 42914 33554432000 4194304 4196468 140731593226464 139832989665504 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4630] ppid=4561 vsize=10834680 memory=55 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4630/stat : 4630 (java) S 4561 4564 998 0 -1 1077944384 1 13172 0 0 0 0 5 2 20 0 15 0 444682980 11094712320 42914 33554432000 4194304 4196468 140731593226464 139833962663088 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[startup+1544.44 s]
# the end of solver process 4564 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1570.71 s, system=2.42287 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1542.4 s]
/proc/loadavg: 1.13 1.34 1.38 3/230 4948
/proc/meminfo: memFree=28774072/32770624 swapFree=66998744/67108860
[pid=4564] ppid=4561 vsize=10846988 memory=751356 CPUtime=1571.04 cores=0,2,4,6
/proc/4564/stat : 4564 (java) S 4561 4564 998 0 -1 1077944320 182057 13172 0 0 156859 238 5 2 20 0 15 0 444682964 11107315712 187839 33554432000 4194304 4196468 140731593226464 140731593209008 139834507566839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
/proc/4564/statm: 2711747 187839 3633 1 0 2673805 0
[pid=4564/tid=4617] ppid=4561 vsize=10846988 memory=1552 CPUtime=1526.26 cores=0,2,4,6
/proc/4564/task/4617/stat : 4617 (java) R 4561 4564 998 0 -1 4202560 53332 13172 0 0 152583 36 5 2 20 0 15 0 444682973 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834479402112 139834100195561 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4618] ppid=4561 vsize=10846988 memory=1204 CPUtime=7.08 cores=0,2,4,6
/proc/4564/task/4618/stat : 4618 (java) S 4561 4564 998 0 -1 1077944384 9677 13172 0 0 661 40 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834511800976 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4619] ppid=4561 vsize=10846988 memory=8112282956445269571 CPUtime=7.09 cores=0,2,4,6
/proc/4564/task/4619/stat : 4619 (java) S 4561 4564 998 0 -1 1077944384 8467 13172 0 0 663 39 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834410699280 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4620] ppid=4561 vsize=10846988 memory=751192 CPUtime=7.09 cores=0,2,4,6
/proc/4564/task/4620/stat : 4620 (java) S 4561 4564 998 0 -1 1077944384 9662 13172 0 0 667 35 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834409646480 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4621] ppid=4561 vsize=10846988 memory=1760 CPUtime=7.07 cores=0,2,4,6
/proc/4564/task/4621/stat : 4621 (java) S 4561 4564 998 0 -1 1077944384 13420 13172 0 0 661 39 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834408593680 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4622] ppid=4561 vsize=10846988 memory=14012 CPUtime=6.69 cores=0,2,4,6
/proc/4564/task/4622/stat : 4622 (java) S 4561 4564 998 0 -1 1077944384 10899 13172 0 0 631 31 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833966873456 139834507577986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4623] ppid=4561 vsize=10846988 memory=279663037941856 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4623/stat : 4623 (java) S 4561 4564 998 0 -1 1077944384 19 13172 0 0 0 0 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833397732960 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4624] ppid=4561 vsize=10846988 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4624/stat : 4624 (java) S 4561 4564 998 0 -1 1077944384 6 13172 0 0 0 0 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833263515008 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4625] ppid=4561 vsize=10846988 memory=7957689449132282197 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4625/stat : 4625 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833023224144 139834507585435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4626] ppid=4561 vsize=10846988 memory=7444825561389879400 CPUtime=3.74 cores=0,2,4,6
/proc/4564/task/4626/stat : 4626 (java) S 4561 4564 998 0 -1 1077944384 27596 13172 0 0 363 4 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833965820272 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4627] ppid=4561 vsize=10846988 memory=279663038943280 CPUtime=3.66 cores=0,2,4,6
/proc/4564/task/4627/stat : 4627 (java) S 4561 4564 998 0 -1 1077944384 22092 13172 0 0 357 2 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833964767472 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4628] ppid=4561 vsize=10846988 memory=6944656592455097440 CPUtime=1.88 cores=0,2,4,6
/proc/4564/task/4628/stat : 4628 (java) S 4561 4564 998 0 -1 1077944384 23276 13172 0 0 176 5 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833963714672 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4629] ppid=4561 vsize=10846988 memory=2020 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4629/stat : 4629 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139832989665504 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4630] ppid=4561 vsize=10846988 memory=1432 CPUtime=0.98 cores=0,2,4,6
/proc/4564/task/4630/stat : 4630 (java) S 4561 4564 998 0 -1 1077944384 1401 13172 0 0 44 47 5 2 20 0 15 0 444682980 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833962663088 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
Current children cumulated CPU time: 1571.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 751356 KiB
[startup+1543.2 s]
/proc/loadavg: 1.13 1.34 1.38 3/230 4948
/proc/meminfo: memFree=28774072/32770624 swapFree=66998744/67108860
[pid=4564] ppid=4561 vsize=10846988 memory=751356 CPUtime=1571.85 cores=0,2,4,6
/proc/4564/stat : 4564 (java) S 4561 4564 998 0 -1 1077944320 182062 13172 0 0 156940 238 5 2 20 0 15 0 444682964 11107315712 187839 33554432000 4194304 4196468 140731593226464 140731593209008 139834507566839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
/proc/4564/statm: 2711747 187839 3633 1 0 2673805 0
[pid=4564/tid=4617] ppid=4561 vsize=10846988 memory=3580 CPUtime=1527.06 cores=0,2,4,6
/proc/4564/task/4617/stat : 4617 (java) R 4561 4564 998 0 -1 4202560 53337 13172 0 0 152663 36 5 2 20 0 15 0 444682973 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834479401920 139834100102061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4618] ppid=4561 vsize=10846988 memory=8112282956445269571 CPUtime=7.08 cores=0,2,4,6
/proc/4564/task/4618/stat : 4618 (java) S 4561 4564 998 0 -1 1077944384 9677 13172 0 0 661 40 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834511800976 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4619] ppid=4561 vsize=10846988 memory=656 CPUtime=7.09 cores=0,2,4,6
/proc/4564/task/4619/stat : 4619 (java) S 4561 4564 998 0 -1 1077944384 8467 13172 0 0 663 39 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834410699280 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4620] ppid=4561 vsize=10846988 memory=4036 CPUtime=7.09 cores=0,2,4,6
/proc/4564/task/4620/stat : 4620 (java) S 4561 4564 998 0 -1 1077944384 9662 13172 0 0 667 35 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834409646480 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4621] ppid=4561 vsize=10846988 memory=751356 CPUtime=7.08 cores=0,2,4,6
/proc/4564/task/4621/stat : 4621 (java) S 4561 4564 998 0 -1 1077944384 13420 13172 0 0 662 39 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834408593680 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4622] ppid=4561 vsize=10846988 memory=1552 CPUtime=6.69 cores=0,2,4,6
/proc/4564/task/4622/stat : 4622 (java) S 4561 4564 998 0 -1 1077944384 10899 13172 0 0 631 31 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833966873456 139834507577986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4623] ppid=4561 vsize=10846988 memory=751356 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4623/stat : 4623 (java) S 4561 4564 998 0 -1 1077944384 19 13172 0 0 0 0 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833397732960 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4624] ppid=4561 vsize=10846988 memory=1056 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4624/stat : 4624 (java) S 4561 4564 998 0 -1 1077944384 6 13172 0 0 0 0 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833263515008 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4625] ppid=4561 vsize=10846988 memory=14012 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4625/stat : 4625 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833023224144 139834507585435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4626] ppid=4561 vsize=10846988 memory=24552 CPUtime=3.74 cores=0,2,4,6
/proc/4564/task/4626/stat : 4626 (java) S 4561 4564 998 0 -1 1077944384 27596 13172 0 0 363 4 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833965820272 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4627] ppid=4561 vsize=10846988 memory=12024 CPUtime=3.66 cores=0,2,4,6
/proc/4564/task/4627/stat : 4627 (java) S 4561 4564 998 0 -1 1077944384 22092 13172 0 0 357 2 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833964767472 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4628] ppid=4561 vsize=10846988 memory=2120 CPUtime=1.88 cores=0,2,4,6
/proc/4564/task/4628/stat : 4628 (java) S 4561 4564 998 0 -1 1077944384 23276 13172 0 0 176 5 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833963714672 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4629] ppid=4561 vsize=10846988 memory=3580 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4629/stat : 4629 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139832989665504 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4630] ppid=4561 vsize=10846988 memory=45684 CPUtime=0.98 cores=0,2,4,6
/proc/4564/task/4630/stat : 4630 (java) S 4561 4564 998 0 -1 1077944384 1401 13172 0 0 44 47 5 2 20 0 15 0 444682980 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833962663088 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
Current children cumulated CPU time: 1571.85 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 751356 KiB
[startup+1544 s]*
/proc/loadavg: 1.13 1.34 1.38 3/230 4948
/proc/meminfo: memFree=28774072/32770624 swapFree=66998744/67108860
[pid=4564] ppid=4561 vsize=10846988 memory=751356 CPUtime=1572.67 cores=0,2,4,6
/proc/4564/stat : 4564 (java) S 4561 4564 998 0 -1 1077944320 182069 13172 0 0 157022 238 5 2 20 0 15 0 444682964 11107315712 187839 33554432000 4194304 4196468 140731593226464 140731593209008 139834507566839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
/proc/4564/statm: 2711747 187839 3633 1 0 2673805 0
[pid=4564/tid=4617] ppid=4561 vsize=10846988 memory=1398722017469774279 CPUtime=1527.86 cores=0,2,4,6
/proc/4564/task/4617/stat : 4617 (java) R 4561 4564 998 0 -1 4202560 53342 13172 0 0 152743 36 5 2 20 0 15 0 444682973 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834479402320 139834098473752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4618] ppid=4561 vsize=10846988 memory=4126316290023845779 CPUtime=7.08 cores=0,2,4,6
/proc/4564/task/4618/stat : 4618 (java) S 4561 4564 998 0 -1 1077944384 9677 13172 0 0 661 40 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834511800976 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4619] ppid=4561 vsize=10846988 memory=1056 CPUtime=7.1 cores=0,2,4,6
/proc/4564/task/4619/stat : 4619 (java) S 4561 4564 998 0 -1 1077944384 8468 13172 0 0 664 39 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834410699280 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4620] ppid=4561 vsize=10846988 memory=14012 CPUtime=7.1 cores=0,2,4,6
/proc/4564/task/4620/stat : 4620 (java) S 4561 4564 998 0 -1 1077944384 9663 13172 0 0 668 35 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834409646480 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4621] ppid=4561 vsize=10846988 memory=751356 CPUtime=7.08 cores=0,2,4,6
/proc/4564/task/4621/stat : 4621 (java) S 4561 4564 998 0 -1 1077944384 13420 13172 0 0 662 39 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834408593680 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4622] ppid=4561 vsize=10846988 memory=288230574492221466 CPUtime=6.7 cores=0,2,4,6
/proc/4564/task/4622/stat : 4622 (java) S 4561 4564 998 0 -1 1077944384 10899 13172 0 0 632 31 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833966873456 139834507577986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4623] ppid=4561 vsize=10846988 memory=288230621803970871 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4623/stat : 4623 (java) S 4561 4564 998 0 -1 1077944384 19 13172 0 0 0 0 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833397732960 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4624] ppid=4561 vsize=10846988 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4624/stat : 4624 (java) S 4561 4564 998 0 -1 1077944384 6 13172 0 0 0 0 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833263515008 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4625] ppid=4561 vsize=10846988 memory=496 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4625/stat : 4625 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833023224144 139834507585435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4626] ppid=4561 vsize=10846988 memory=1560 CPUtime=3.74 cores=0,2,4,6
/proc/4564/task/4626/stat : 4626 (java) S 4561 4564 998 0 -1 1077944384 27596 13172 0 0 363 4 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833965820272 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4627] ppid=4561 vsize=10846988 memory=1808 CPUtime=3.66 cores=0,2,4,6
/proc/4564/task/4627/stat : 4627 (java) S 4561 4564 998 0 -1 1077944384 22092 13172 0 0 357 2 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833964767472 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4628] ppid=4561 vsize=10846988 memory=924 CPUtime=1.88 cores=0,2,4,6
/proc/4564/task/4628/stat : 4628 (java) S 4561 4564 998 0 -1 1077944384 23276 13172 0 0 176 5 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833963714672 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4629] ppid=4561 vsize=10846988 memory=3848 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4629/stat : 4629 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139832989665504 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4630] ppid=4561 vsize=10846988 memory=2612 CPUtime=0.98 cores=0,2,4,6
/proc/4564/task/4630/stat : 4630 (java) S 4561 4564 998 0 -1 1077944384 1401 13172 0 0 44 47 5 2 20 0 15 0 444682980 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833962663088 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
Current children cumulated CPU time: 1572.67 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 751356 KiB
[startup+1544.4 s]
/proc/loadavg: 1.13 1.34 1.38 3/230 4948
/proc/meminfo: memFree=28774072/32770624 swapFree=66998744/67108860
[pid=4564] ppid=4561 vsize=10846988 memory=751356 CPUtime=1573.07 cores=0,2,4,6
/proc/4564/stat : 4564 (java) S 4561 4564 998 0 -1 1077944320 182073 13172 0 0 157062 238 5 2 20 0 15 0 444682964 11107315712 187839 33554432000 4194304 4196468 140731593226464 140731593209008 139834507566839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
/proc/4564/statm: 2711747 187839 3633 1 0 2673805 0
[pid=4564/tid=4617] ppid=4561 vsize=10846988 memory=3848 CPUtime=1528.24 cores=0,2,4,6
/proc/4564/task/4617/stat : 4617 (java) R 4561 4564 998 0 -1 4202560 53345 13172 0 0 152781 36 5 2 20 0 15 0 444682973 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834479402656 139834085942856 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4618] ppid=4561 vsize=10846988 memory=2612 CPUtime=7.09 cores=0,2,4,6
/proc/4564/task/4618/stat : 4618 (java) S 4561 4564 998 0 -1 1077944384 9677 13172 0 0 662 40 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834511800976 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4619] ppid=4561 vsize=10846988 memory=2612 CPUtime=7.1 cores=0,2,4,6
/proc/4564/task/4619/stat : 4619 (java) S 4561 4564 998 0 -1 1077944384 8468 13172 0 0 664 39 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834410699280 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4620] ppid=4561 vsize=10846988 memory=932 CPUtime=7.1 cores=0,2,4,6
/proc/4564/task/4620/stat : 4620 (java) S 4561 4564 998 0 -1 1077944384 9664 13172 0 0 668 35 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834409646480 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4621] ppid=4561 vsize=10846988 memory=751356 CPUtime=7.08 cores=0,2,4,6
/proc/4564/task/4621/stat : 4621 (java) S 4561 4564 998 0 -1 1077944384 13420 13172 0 0 662 39 5 2 20 0 15 0 444682974 11107315712 187839 33554432000 4194304 4196468 140731593226464 139834408593680 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4622] ppid=4561 vsize=10846988 memory=14012 CPUtime=6.7 cores=0,2,4,6
/proc/4564/task/4622/stat : 4622 (java) S 4561 4564 998 0 -1 1077944384 10899 13172 0 0 632 31 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833966873456 139834507577986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4623] ppid=4561 vsize=10846988 memory=24552 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4623/stat : 4623 (java) S 4561 4564 998 0 -1 1077944384 19 13172 0 0 0 0 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833397732960 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4624] ppid=4561 vsize=10846988 memory=12024 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4624/stat : 4624 (java) S 4561 4564 998 0 -1 1077944384 6 13172 0 0 0 0 5 2 20 0 15 0 444682976 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833263515008 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4625] ppid=4561 vsize=10846988 memory=2120 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4625/stat : 4625 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833023224144 139834507585435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4626] ppid=4561 vsize=10846988 memory=496 CPUtime=3.74 cores=0,2,4,6
/proc/4564/task/4626/stat : 4626 (java) S 4561 4564 998 0 -1 1077944384 27596 13172 0 0 363 4 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833965820272 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4627] ppid=4561 vsize=10846988 memory=1560 CPUtime=3.66 cores=0,2,4,6
/proc/4564/task/4627/stat : 4627 (java) S 4561 4564 998 0 -1 1077944384 22092 13172 0 0 357 2 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833964767472 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4628] ppid=4561 vsize=10846988 memory=1808 CPUtime=1.88 cores=0,2,4,6
/proc/4564/task/4628/stat : 4628 (java) S 4561 4564 998 0 -1 1077944384 23276 13172 0 0 176 5 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833963714672 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4629] ppid=4561 vsize=10846988 memory=924 CPUtime=0.07 cores=0,2,4,6
/proc/4564/task/4629/stat : 4629 (java) S 4561 4564 998 0 -1 1077944384 3 13172 0 0 0 0 5 2 20 0 15 0 444682979 11107315712 187839 33554432000 4194304 4196468 140731593226464 139832989665504 139834507577045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
[pid=4564/tid=4630] ppid=4561 vsize=10846988 memory=3848 CPUtime=0.98 cores=0,2,4,6
/proc/4564/task/4630/stat : 4630 (java) S 4561 4564 998 0 -1 1077944384 1401 13172 0 0 44 47 5 2 20 0 15 0 444682980 11107315712 187839 33554432000 4194304 4196468 140731593226464 139833962663088 139834507577986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140731593235184 140731593237701 140731593237701 140731593240527 0
Current children cumulated CPU time: 1573.07 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 751356 KiB
Child status: 0
Real time (s): 1544.44
CPU time (s): 1573.13
CPU user time (s): 1570.71
CPU system time (s): 2.42287
CPU usage (%): 101.858
Max. virtual memory (cumulated for all children) (KiB): 10849636
Max. memory (cumulated for all children) (KiB): 751356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1570.71
system time used= 2.42287
maximum resident set size= 753448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197090
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178464
involuntary context switches= 5963
# summary of solver processes directly reported to runsolver:
# pid: 4564
# total CPU time (s): 1573.13
# total CPU user time (s): 1570.71
# total CPU system time (s): 2.42287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2638 second user time and 14.4919 second system time
The end