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 (9593 MiB free)
memory of node 1: 16384 MiB (9914 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295854-1532597207/watcher-4295854-1532597207 -o /tmp/evaluation-result-4295854-1532597207/solver-4295854-1532597207 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532594793-3954 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=14832804 -superng HOME/instance-4295854-1532597207.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=4408, runsolver pid=4405
[startup+0.100062 s]*
/proc/loadavg: 1.76 1.75 1.69 7/211 4465
/proc/meminfo: memFree=19971392/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=9972712 memory=18596 CPUtime=0.1 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 2275 0 -1 1077944320 4283 13121 0 0 1 1 5 3 20 0 6 0 77283889 10212057088 4649 33554432000 4194304 4196468 140732876249008 140732876231552 139689662492407 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
/proc/4408/statm: 2493178 4649 1932 1 0 2481616 0
[pid=4408/tid=4461] ppid=4405 vsize=9972712 memory=-8384983170502934465 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4461/stat : 4461 (java) R 4405 4408 2275 0 -1 4202560 2108 13121 0 0 0 0 5 3 20 0 6 0 77283899 10212057088 4649 33554432000 4194304 4196468 140732876249008 139689634329168 139689662514333 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4462] ppid=4405 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4462/stat : 4462 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 6 0 77283899 10212057088 4649 33554432000 4194304 4196468 140732876249008 139689666735248 139689662502613 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4463] ppid=4405 vsize=9972712 memory=140658183538304 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4463/stat : 4463 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 6 0 77283899 10212057088 4649 33554432000 4194304 4196468 140732876249008 139689585486864 139689662502613 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4464] ppid=4405 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4464/stat : 4464 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 6 0 77283899 10212057088 4649 33554432000 4194304 4196468 140732876249008 139689234193296 139689662502613 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4465] ppid=4405 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4465/stat : 4465 (java) S 4405 4408 2275 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 6 0 77283899 10212057088 4649 33554432000 4194304 4196468 140732876249008 139689233140496 139689662502613 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210652 s]*
/proc/loadavg: 1.76 1.75 1.69 3/220 4474
/proc/meminfo: memFree=19949460/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=10821524 memory=44076 CPUtime=0.26 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 2275 0 -1 1077944320 8267 13121 0 0 16 2 5 3 20 0 15 0 77283889 11081240576 11019 33554432000 4194304 4196468 140732876249008 140732876231552 139689662492407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
/proc/4408/statm: 2705381 11019 2932 1 0 2667804 0
[pid=4408/tid=4461] ppid=4405 vsize=10818904 memory=8514701219931451533 CPUtime=0.19 cores=0,2,4,6
/proc/4408/task/4461/stat : 4461 (java) D 4405 4408 2275 0 -1 1077944384 5208 13121 0 0 10 1 5 3 20 0 15 0 77283899 11078557696 10674 33554432000 4194304 4196468 140732876249008 139689634317216 139689655171629 0 4 0 16800975 18446744072101641764 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4462] ppid=4405 vsize=10818904 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4462/stat : 4462 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283899 11078557696 10674 33554432000 4194304 4196468 140732876249008 139689666735248 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4463] ppid=4405 vsize=10818904 memory=140658183538304 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4463/stat : 4463 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283899 11078557696 10674 33554432000 4194304 4196468 140732876249008 139689585486864 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4464] ppid=4405 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4464/stat : 4464 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283899 11078557696 10674 33554432000 4194304 4196468 140732876249008 139689234193296 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4465] ppid=4405 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4465/stat : 4465 (java) S 4405 4408 2275 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 77283899 11078590464 10674 33554432000 4194304 4196468 140732876249008 139689233140496 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4466] ppid=4405 vsize=10818936 memory=140658183538304 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4466/stat : 4466 (java) S 4405 4408 2275 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 77283901 11078590464 10674 33554432000 4194304 4196468 140732876249008 139689189181808 139689662503554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4467] ppid=4405 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4467/stat : 4467 (java) S 4405 4408 2275 0 -1 1077944384 13 13121 0 0 0 0 5 3 20 0 15 0 77283901 11078590464 10674 33554432000 4194304 4196468 140732876249008 139689113674784 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4468] ppid=4405 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4468/stat : 4468 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283902 11078590464 10739 33554432000 4194304 4196468 140732876249008 139688509694832 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4469] ppid=4405 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4469/stat : 4469 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11078590464 10739 33554432000 4194304 4196468 140732876249008 139688202295120 139689662511003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4470] ppid=4405 vsize=10818936 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4470/stat : 4470 (java) S 4405 4408 2275 0 -1 1077944384 523 13121 0 0 1 0 5 3 20 0 15 0 77283904 11078590464 10739 33554432000 4194304 4196468 140732876249008 139689188129648 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4471] ppid=4405 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4471/stat : 4471 (java) S 4405 4408 2275 0 -1 1077944384 55 13121 0 0 0 0 5 3 20 0 15 0 77283904 11078590464 10805 33554432000 4194304 4196468 140732876249008 139689187076848 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4472] ppid=4405 vsize=10818936 memory=140658183538304 CPUtime=0.11 cores=0,2,4,6
/proc/4408/task/4472/stat : 4472 (java) S 4405 4408 2275 0 -1 1077944384 559 13121 0 0 3 0 5 3 20 0 15 0 77283904 11078590464 10805 33554432000 4194304 4196468 140732876249008 139689186024048 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4473] ppid=4405 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4473/stat : 4473 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11078590464 10805 33554432000 4194304 4196468 140732876249008 139688168737504 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4474] ppid=4405 vsize=10818936 memory=140658183538304 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4474/stat : 4474 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283905 11078590464 10805 33554432000 4194304 4196468 140732876249008 139689184971440 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 44076 KiB
[startup+0.310731 s]*
/proc/loadavg: 1.76 1.75 1.69 3/220 4474
/proc/meminfo: memFree=19937676/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=10819352 memory=53156 CPUtime=0.38 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 2275 0 -1 1077944320 10409 13121 0 0 27 3 5 3 20 0 15 0 77283889 11079016448 13289 33554432000 4194304 4196468 140732876249008 140732876231552 139689662492407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
/proc/4408/statm: 2704838 13289 3051 1 0 2667149 0
[pid=4408/tid=4461] ppid=4405 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/4408/task/4461/stat : 4461 (java) R 4405 4408 2275 0 -1 4202560 7049 13121 0 0 18 2 5 3 20 0 15 0 77283899 11079016448 13289 33554432000 4194304 4196468 140732876249008 139689634304416 139689646572894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4462] ppid=4405 vsize=10819352 memory=7230637329278455888 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4462/stat : 4462 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283899 11079016448 13289 33554432000 4194304 4196468 140732876249008 139689666735248 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4463] ppid=4405 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4463/stat : 4463 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283899 11079016448 13289 33554432000 4194304 4196468 140732876249008 139689585486864 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4464] ppid=4405 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4464/stat : 4464 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283899 11079016448 13289 33554432000 4194304 4196468 140732876249008 139689234193296 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4465] ppid=4405 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4465/stat : 4465 (java) S 4405 4408 2275 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 77283899 11079016448 13289 33554432000 4194304 4196468 140732876249008 139689233140496 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4466] ppid=4405 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4466/stat : 4466 (java) S 4405 4408 2275 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 77283901 11079016448 13289 33554432000 4194304 4196468 140732876249008 139689189181808 139689662503554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4467] ppid=4405 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4467/stat : 4467 (java) S 4405 4408 2275 0 -1 1077944384 13 13121 0 0 0 0 5 3 20 0 15 0 77283901 11079016448 13289 33554432000 4194304 4196468 140732876249008 139689113674784 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4468] ppid=4405 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4468/stat : 4468 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283902 11079016448 13289 33554432000 4194304 4196468 140732876249008 139688509694832 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4469] ppid=4405 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4469/stat : 4469 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11079016448 13289 33554432000 4194304 4196468 140732876249008 139688202295120 139689662511003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4470] ppid=4405 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4470/stat : 4470 (java) S 4405 4408 2275 0 -1 1077944384 524 13121 0 0 1 0 5 3 20 0 15 0 77283904 11079016448 13289 33554432000 4194304 4196468 140732876249008 139689188129648 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4471] ppid=4405 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4471/stat : 4471 (java) R 4405 4408 2275 0 -1 4202560 55 13121 0 0 1 0 5 3 20 0 15 0 77283904 11079016448 13289 33554432000 4194304 4196468 140732876249008 139689187076848 139689662506256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4472] ppid=4405 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4408/task/4472/stat : 4472 (java) R 4405 4408 2275 0 -1 4202560 576 13121 0 0 5 0 5 3 20 0 15 0 77283904 11079016448 13289 33554432000 4194304 4196468 140732876249008 139689186024048 139689646572894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4473] ppid=4405 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4473/stat : 4473 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11079016448 13289 33554432000 4194304 4196468 140732876249008 139688168737504 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4474] ppid=4405 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4474/stat : 4474 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283905 11079016448 13289 33554432000 4194304 4196468 140732876249008 139689184971440 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53156 KiB
[startup+0.700753 s]
/proc/loadavg: 1.76 1.75 1.69 3/220 4474
/proc/meminfo: memFree=19926140/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=10819352 memory=86276 CPUtime=0.99 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 2275 0 -1 1077944320 16741 13121 0 0 85 6 5 3 20 0 15 0 77283889 11079016448 21569 33554432000 4194304 4196468 140732876249008 140732876231552 139689662492407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
/proc/4408/statm: 2704838 21569 3237 1 0 2667149 0
[pid=4408/tid=4461] ppid=4405 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4408/task/4461/stat : 4461 (java) R 4405 4408 2275 0 -1 4202560 12315 13121 0 0 54 5 5 3 20 0 15 0 77283899 11079016448 21569 33554432000 4194304 4196468 140732876249008 139689634307072 139689646572894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4462] ppid=4405 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4462/stat : 4462 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283899 11079016448 21569 33554432000 4194304 4196468 140732876249008 139689666735248 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4463] ppid=4405 vsize=10819352 memory=3828 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4463/stat : 4463 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283899 11079016448 21569 33554432000 4194304 4196468 140732876249008 139689585486864 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4464] ppid=4405 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4464/stat : 4464 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283899 11079016448 21569 33554432000 4194304 4196468 140732876249008 139689234193296 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4465] ppid=4405 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4465/stat : 4465 (java) S 4405 4408 2275 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 77283899 11079016448 21569 33554432000 4194304 4196468 140732876249008 139689233140496 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4466] ppid=4405 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4466/stat : 4466 (java) S 4405 4408 2275 0 -1 1077944384 5 13121 0 0 0 0 5 3 20 0 15 0 77283901 11079016448 21569 33554432000 4194304 4196468 140732876249008 139689189181808 139689662503554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4467] ppid=4405 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4467/stat : 4467 (java) S 4405 4408 2275 0 -1 1077944384 13 13121 0 0 0 0 5 3 20 0 15 0 77283901 11079016448 21569 33554432000 4194304 4196468 140732876249008 139689113674784 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4468] ppid=4405 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4468/stat : 4468 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283902 11079016448 21569 33554432000 4194304 4196468 140732876249008 139688509694832 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4469] ppid=4405 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4469/stat : 4469 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11079016448 21569 33554432000 4194304 4196468 140732876249008 139688202295120 139689662511003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4470] ppid=4405 vsize=10819352 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/4408/task/4470/stat : 4470 (java) S 4405 4408 2275 0 -1 1077944384 899 13121 0 0 6 0 5 3 20 0 15 0 77283904 11079016448 21569 33554432000 4194304 4196468 140732876249008 139689188129648 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4471] ppid=4405 vsize=10819352 memory=15460 CPUtime=0.17 cores=0,2,4,6
/proc/4408/task/4471/stat : 4471 (java) S 4405 4408 2275 0 -1 1077944384 639 13121 0 0 9 0 5 3 20 0 15 0 77283904 11079016448 21569 33554432000 4194304 4196468 140732876249008 139689187076848 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4472] ppid=4405 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/4408/task/4472/stat : 4472 (java) S 4405 4408 2275 0 -1 1077944384 671 13121 0 0 13 0 5 3 20 0 15 0 77283904 11079016448 21569 33554432000 4194304 4196468 140732876249008 139689186024048 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4473] ppid=4405 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4473/stat : 4473 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11079016448 21569 33554432000 4194304 4196468 140732876249008 139688168737504 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4474] ppid=4405 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4474/stat : 4474 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283905 11079016448 21569 33554432000 4194304 4196468 140732876249008 139689184971440 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86276 KiB
[startup+1.50072 s]
/proc/loadavg: 1.77 1.75 1.69 3/220 4474
/proc/meminfo: memFree=19880032/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=10834252 memory=177060 CPUtime=2.3 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 2275 0 -1 1077944320 24710 13121 0 0 212 10 5 3 20 0 15 0 77283889 11094274048 44265 33554432000 4194304 4196468 140732876249008 140732876231552 139689662492407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
/proc/4408/statm: 2708563 44265 3470 1 0 2670221 0
[pid=4408/tid=4461] ppid=4405 vsize=10834252 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/4408/task/4461/stat : 4461 (java) R 4405 4408 2275 0 -1 4202560 17968 13121 0 0 128 7 5 3 20 0 15 0 77283899 11094274048 44265 33554432000 4194304 4196468 140732876249008 139689634323744 139689648698723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4462] ppid=4405 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4462/stat : 4462 (java) S 4405 4408 2275 0 -1 1077944384 37 13121 0 0 1 0 5 3 20 0 15 0 77283899 11094274048 44265 33554432000 4194304 4196468 140732876249008 139689666735248 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4463] ppid=4405 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4463/stat : 4463 (java) S 4405 4408 2275 0 -1 1077944384 215 13121 0 0 1 0 5 3 20 0 15 0 77283899 11094274048 44265 33554432000 4194304 4196468 140732876249008 139689585486864 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4464] ppid=4405 vsize=10834252 memory=3683998604062831409 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4464/stat : 4464 (java) S 4405 4408 2275 0 -1 1077944384 18 13121 0 0 1 0 5 3 20 0 15 0 77283899 11094274048 44265 33554432000 4194304 4196468 140732876249008 139689234193296 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4465] ppid=4405 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4465/stat : 4465 (java) S 4405 4408 2275 0 -1 1077944384 66 13121 0 0 1 0 5 3 20 0 15 0 77283899 11094274048 44265 33554432000 4194304 4196468 140732876249008 139689233140496 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4466] ppid=4405 vsize=10834252 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4466/stat : 4466 (java) S 4405 4408 2275 0 -1 1077944384 670 13121 0 0 1 0 5 3 20 0 15 0 77283901 11094274048 44265 33554432000 4194304 4196468 140732876249008 139689189181808 139689662503554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4467] ppid=4405 vsize=10834252 memory=281316062996736 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4467/stat : 4467 (java) S 4405 4408 2275 0 -1 1077944384 13 13121 0 0 0 0 5 3 20 0 15 0 77283901 11094274048 44265 33554432000 4194304 4196468 140732876249008 139689113674848 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4468] ppid=4405 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4468/stat : 4468 (java) S 4405 4408 2275 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 77283902 11094274048 44265 33554432000 4194304 4196468 140732876249008 139688509694848 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4469] ppid=4405 vsize=10834252 memory=1948 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4469/stat : 4469 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11094274048 44265 33554432000 4194304 4196468 140732876249008 139688202295120 139689662511003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4470] ppid=4405 vsize=10834252 memory=5524 CPUtime=0.24 cores=0,2,4,6
/proc/4408/task/4470/stat : 4470 (java) S 4405 4408 2275 0 -1 1077944384 1100 13121 0 0 16 0 5 3 20 0 15 0 77283904 11094274048 44265 33554432000 4194304 4196468 140732876249008 139689188129648 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4471] ppid=4405 vsize=10834252 memory=1444 CPUtime=0.33 cores=0,2,4,6
/proc/4408/task/4471/stat : 4471 (java) S 4405 4408 2275 0 -1 1077944384 1126 13121 0 0 25 0 5 3 20 0 15 0 77283904 11094274048 44265 33554432000 4194304 4196468 140732876249008 139689187076848 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4472] ppid=4405 vsize=10834252 memory=1200 CPUtime=0.42 cores=0,2,4,6
/proc/4408/task/4472/stat : 4472 (java) S 4405 4408 2275 0 -1 1077944384 1301 13121 0 0 34 0 5 3 20 0 15 0 77283904 11094274048 44265 33554432000 4194304 4196468 140732876249008 139689186024048 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4473] ppid=4405 vsize=10834252 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4473/stat : 4473 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11094274048 44265 33554432000 4194304 4196468 140732876249008 139688168737504 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4474] ppid=4405 vsize=10834252 memory=12040 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4474/stat : 4474 (java) S 4405 4408 2275 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 77283905 11094274048 44265 33554432000 4194304 4196468 140732876249008 139689184971440 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+5.84025 s]
# the end of solver process 4408 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.729 s, system=0.270594 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20092 s]
/proc/loadavg: 1.77 1.75 1.69 6/220 4474
/proc/meminfo: memFree=19758872/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=10844512 memory=248248 CPUtime=6.7 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 2275 0 -1 1077944320 44249 13121 0 0 647 15 5 3 20 0 15 0 77283889 11104780288 62062 33554432000 4194304 4196468 140732876249008 140732876231552 139689662492407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
/proc/4408/statm: 2711128 62062 3495 1 0 2672781 0
[pid=4408/tid=4461] ppid=4405 vsize=10844512 memory=0 CPUtime=3.12 cores=0,2,4,6
/proc/4408/task/4461/stat : 4461 (java) R 4405 4408 2275 0 -1 4202560 28331 13121 0 0 295 9 5 3 20 0 15 0 77283899 11104780288 62062 33554432000 4194304 4196468 140732876249008 139689634324816 139689662504342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4462] ppid=4405 vsize=10844512 memory=6656426216303648864 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4462/stat : 4462 (java) S 4405 4408 2275 0 -1 1077944384 37 13121 0 0 1 0 5 3 20 0 15 0 77283899 11104780288 62062 33554432000 4194304 4196468 140732876249008 139689666735248 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4463] ppid=4405 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4463/stat : 4463 (java) S 4405 4408 2275 0 -1 1077944384 215 13121 0 0 1 0 5 3 20 0 15 0 77283899 11104780288 62062 33554432000 4194304 4196468 140732876249008 139689585486864 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4464] ppid=4405 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4464/stat : 4464 (java) S 4405 4408 2275 0 -1 1077944384 18 13121 0 0 1 0 5 3 20 0 15 0 77283899 11104780288 62062 33554432000 4194304 4196468 140732876249008 139689234193296 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4465] ppid=4405 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4465/stat : 4465 (java) S 4405 4408 2275 0 -1 1077944384 66 13121 0 0 1 0 5 3 20 0 15 0 77283899 11104780288 62062 33554432000 4194304 4196468 140732876249008 139689233140496 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4466] ppid=4405 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4408/task/4466/stat : 4466 (java) S 4405 4408 2275 0 -1 1077944384 854 13121 0 0 1 0 5 3 20 0 15 0 77283901 11104780288 62062 33554432000 4194304 4196468 140732876249008 139689189181808 139689662503554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4467] ppid=4405 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4467/stat : 4467 (java) S 4405 4408 2275 0 -1 1077944384 13 13121 0 0 0 0 5 3 20 0 15 0 77283901 11104780288 62062 33554432000 4194304 4196468 140732876249008 139689113674848 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4468] ppid=4405 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4468/stat : 4468 (java) S 4405 4408 2275 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 77283902 11104780288 62062 33554432000 4194304 4196468 140732876249008 139688509694848 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4469] ppid=4405 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4469/stat : 4469 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11104780288 62062 33554432000 4194304 4196468 140732876249008 139688202295120 139689662511003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4470] ppid=4405 vsize=10844512 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/4408/task/4470/stat : 4470 (java) R 4405 4408 2275 0 -1 4202560 4731 13121 0 0 124 1 5 3 20 0 15 0 77283904 11104780288 62062 33554432000 4194304 4196468 140732876249008 139689188112832 139689640896303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4471] ppid=4405 vsize=10844512 memory=4616 CPUtime=1.16 cores=0,2,4,6
/proc/4408/task/4471/stat : 4471 (java) R 4405 4408 2275 0 -1 4202560 2669 13121 0 0 107 1 5 3 20 0 15 0 77283904 11104780288 62062 33554432000 4194304 4196468 140732876249008 139689187057792 139689646884818 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4472] ppid=4405 vsize=10844512 memory=15868 CPUtime=1.22 cores=0,2,4,6
/proc/4408/task/4472/stat : 4472 (java) R 4405 4408 2275 0 -1 1077944384 5109 13121 0 0 113 1 5 3 20 0 15 0 77283904 11104780288 62062 33554432000 4194304 4196468 140732876249008 139689186024048 139689662503554 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4473] ppid=4405 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4473/stat : 4473 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11104780288 62062 33554432000 4194304 4196468 140732876249008 139688168737504 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4474] ppid=4405 vsize=10844512 memory=6788 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4474/stat : 4474 (java) S 4405 4408 2275 0 -1 1077944384 11 13121 0 0 0 0 5 3 20 0 15 0 77283905 11104780288 62062 33554432000 4194304 4196468 140732876249008 139689184971440 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
Current children cumulated CPU time: 6.7 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 248248 KiB
[startup+4.80065 s]
/proc/loadavg: 1.77 1.75 1.69 5/220 4474
/proc/meminfo: memFree=19658924/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=10914144 memory=351076 CPUtime=11.56 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 2275 0 -1 1077944320 65075 13121 0 0 1127 21 5 3 20 0 15 0 77283889 11176083456 87769 33554432000 4194304 4196468 140732876249008 140732876231552 139689662492407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
/proc/4408/statm: 2728536 87769 3511 1 0 2690189 0
[pid=4408/tid=4461] ppid=4405 vsize=10914144 memory=13565994329179714 CPUtime=4.67 cores=0,2,4,6
/proc/4408/task/4461/stat : 4461 (java) R 4405 4408 2275 0 -1 4202560 40531 13121 0 0 447 12 5 3 20 0 15 0 77283899 11176083456 87769 33554432000 4194304 4196468 140732876249008 139689634321488 139689662504342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4462] ppid=4405 vsize=10914144 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4408/task/4462/stat : 4462 (java) S 4405 4408 2275 0 -1 1077944384 114 13121 0 0 4 0 5 3 20 0 15 0 77283899 11176083456 87769 33554432000 4194304 4196468 140732876249008 139689666735248 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4463] ppid=4405 vsize=10914144 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/4408/task/4463/stat : 4463 (java) S 4405 4408 2275 0 -1 1077944384 237 13121 0 0 3 0 5 3 20 0 15 0 77283899 11176083456 87769 33554432000 4194304 4196468 140732876249008 139689585486864 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4464] ppid=4405 vsize=10914144 memory=4137293581110450563 CPUtime=0.11 cores=0,2,4,6
/proc/4408/task/4464/stat : 4464 (java) S 4405 4408 2275 0 -1 1077944384 30 13121 0 0 3 0 5 3 20 0 15 0 77283899 11176083456 87769 33554432000 4194304 4196468 140732876249008 139689234193296 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4465] ppid=4405 vsize=10914144 memory=7682744562830902074 CPUtime=0.1 cores=0,2,4,6
/proc/4408/task/4465/stat : 4465 (java) S 4405 4408 2275 0 -1 1077944384 93 13121 0 0 2 0 5 3 20 0 15 0 77283899 11176083456 87769 33554432000 4194304 4196468 140732876249008 139689233140496 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4466] ppid=4405 vsize=10914144 memory=7016714186490735262 CPUtime=0.11 cores=0,2,4,6
/proc/4408/task/4466/stat : 4466 (java) S 4405 4408 2275 0 -1 1077944384 2150 13121 0 0 3 0 5 3 20 0 15 0 77283901 11176083456 87769 33554432000 4194304 4196468 140732876249008 139689189181808 139689662503554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4467] ppid=4405 vsize=10914144 memory=-7522837583129307271 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4467/stat : 4467 (java) S 4405 4408 2275 0 -1 1077944384 13 13121 0 0 0 0 5 3 20 0 15 0 77283901 11176083456 87769 33554432000 4194304 4196468 140732876249008 139689113674848 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4468] ppid=4405 vsize=10914144 memory=6944613755495348631 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4468/stat : 4468 (java) S 4405 4408 2275 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 77283902 11176083456 87769 33554432000 4194304 4196468 140732876249008 139688509694848 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4469] ppid=4405 vsize=10914144 memory=7016714190785702558 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4469/stat : 4469 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11176083456 87769 33554432000 4194304 4196468 140732876249008 139688202295120 139689662511003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4470] ppid=4405 vsize=10914144 memory=6944656592455360608 CPUtime=2.74 cores=0,2,4,6
/proc/4408/task/4470/stat : 4470 (java) R 4405 4408 2275 0 -1 4202560 9404 13121 0 0 264 2 5 3 20 0 15 0 77283904 11176083456 87769 33554432000 4194304 4196468 140732876249008 139689188109360 139689639716560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4471] ppid=4405 vsize=10914144 memory=0 CPUtime=2.47 cores=0,2,4,6
/proc/4408/task/4471/stat : 4471 (java) R 4405 4408 2275 0 -1 4202560 4313 13121 0 0 238 1 5 3 20 0 15 0 77283904 11176083456 87769 33554432000 4194304 4196468 140732876249008 139689187076656 139689662513754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4472] ppid=4405 vsize=10914144 memory=140658031762225 CPUtime=1.68 cores=0,2,4,6
/proc/4408/task/4472/stat : 4472 (java) R 4405 4408 2275 0 -1 1077944384 5983 13121 0 0 158 2 5 3 20 0 15 0 77283904 11176083456 87769 33554432000 4194304 4196468 140732876249008 139689186024048 139689662503554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4473] ppid=4405 vsize=10914144 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4473/stat : 4473 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11176083456 87769 33554432000 4194304 4196468 140732876249008 139688168737504 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4474] ppid=4405 vsize=10914144 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4474/stat : 4474 (java) S 4405 4408 2275 0 -1 1077944384 12 13121 0 0 0 0 5 3 20 0 15 0 77283905 11176083456 87769 33554432000 4194304 4196468 140732876249008 139689184971440 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
Current children cumulated CPU time: 11.56 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 351076 KiB
[startup+5.60129 s]
/proc/loadavg: 1.77 1.75 1.69 5/220 4474
/proc/meminfo: memFree=19621632/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=10914144 memory=365424 CPUtime=13.68 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 2275 0 -1 1077944320 73087 13121 0 0 1338 22 5 3 20 0 15 0 77283889 11176083456 91356 33554432000 4194304 4196468 140732876249008 140732876231552 139689662492407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
/proc/4408/statm: 2728536 91356 3520 1 0 2690189 0
[pid=4408/tid=4461] ppid=4405 vsize=10914144 memory=0 CPUtime=5.44 cores=0,2,4,6
/proc/4408/task/4461/stat : 4461 (java) R 4405 4408 2275 0 -1 4202560 41333 13121 0 0 524 12 5 3 20 0 15 0 77283899 11176083456 91356 33554432000 4194304 4196468 140732876249008 139689634320888 139689280165558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4462] ppid=4405 vsize=10914144 memory=281316063788704 CPUtime=0.12 cores=0,2,4,6
/proc/4408/task/4462/stat : 4462 (java) S 4405 4408 2275 0 -1 1077944384 147 13121 0 0 4 0 5 3 20 0 15 0 77283899 11176083456 91356 33554432000 4194304 4196468 140732876249008 139689666735248 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4463] ppid=4405 vsize=10914144 memory=140658031896624 CPUtime=0.11 cores=0,2,4,6
/proc/4408/task/4463/stat : 4463 (java) S 4405 4408 2275 0 -1 1077944384 403 13121 0 0 3 0 5 3 20 0 15 0 77283899 11176083456 91356 33554432000 4194304 4196468 140732876249008 139689585486864 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4464] ppid=4405 vsize=10914144 memory=1296 CPUtime=0.11 cores=0,2,4,6
/proc/4408/task/4464/stat : 4464 (java) S 4405 4408 2275 0 -1 1077944384 853 13121 0 0 3 0 5 3 20 0 15 0 77283899 11176083456 91356 33554432000 4194304 4196468 140732876249008 139689234193296 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4465] ppid=4405 vsize=10914144 memory=2448 CPUtime=0.1 cores=0,2,4,6
/proc/4408/task/4465/stat : 4465 (java) S 4405 4408 2275 0 -1 1077944384 127 13121 0 0 2 0 5 3 20 0 15 0 77283899 11176083456 91356 33554432000 4194304 4196468 140732876249008 139689233140496 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4466] ppid=4405 vsize=10914144 memory=1728 CPUtime=0.12 cores=0,2,4,6
/proc/4408/task/4466/stat : 4466 (java) S 4405 4408 2275 0 -1 1077944384 2179 13121 0 0 4 0 5 3 20 0 15 0 77283901 11176083456 91356 33554432000 4194304 4196468 140732876249008 139689189181808 139689662503554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4467] ppid=4405 vsize=10914144 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4467/stat : 4467 (java) S 4405 4408 2275 0 -1 1077944384 14 13121 0 0 0 0 5 3 20 0 15 0 77283901 11176083456 91356 33554432000 4194304 4196468 140732876249008 139689113674848 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4468] ppid=4405 vsize=10914144 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4468/stat : 4468 (java) S 4405 4408 2275 0 -1 1077944384 7 13121 0 0 0 0 5 3 20 0 15 0 77283902 11176083456 91356 33554432000 4194304 4196468 140732876249008 139688509694848 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4469] ppid=4405 vsize=10914144 memory=1948 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4469/stat : 4469 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11176083456 91356 33554432000 4194304 4196468 140732876249008 139688202295120 139689662511003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4470] ppid=4405 vsize=10914144 memory=5524 CPUtime=3.35 cores=0,2,4,6
/proc/4408/task/4470/stat : 4470 (java) S 4405 4408 2275 0 -1 1077944384 11980 13121 0 0 325 2 5 3 20 0 15 0 77283904 11176083456 91356 33554432000 4194304 4196468 140732876249008 139689188129648 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4471] ppid=4405 vsize=10914144 memory=1444 CPUtime=3.07 cores=0,2,4,6
/proc/4408/task/4471/stat : 4471 (java) S 4405 4408 2275 0 -1 1077944384 6295 13121 0 0 297 2 5 3 20 0 15 0 77283904 11176083456 91356 33554432000 4194304 4196468 140732876249008 139689187076848 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4472] ppid=4405 vsize=10914144 memory=1200 CPUtime=1.79 cores=0,2,4,6
/proc/4408/task/4472/stat : 4472 (java) S 4405 4408 2275 0 -1 1077944384 7053 13121 0 0 169 2 5 3 20 0 15 0 77283904 11176083456 91356 33554432000 4194304 4196468 140732876249008 139689186024048 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4473] ppid=4405 vsize=10914144 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4473/stat : 4473 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11176083456 91356 33554432000 4194304 4196468 140732876249008 139688168737504 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4474] ppid=4405 vsize=10914144 memory=12040 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4474/stat : 4474 (java) S 4405 4408 2275 0 -1 1077944384 503 13121 0 0 0 0 5 3 20 0 15 0 77283905 11176083456 91356 33554432000 4194304 4196468 140732876249008 139689184971440 139689662503554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
Current children cumulated CPU time: 13.68 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 365424 KiB
[startup+5.80065 s]
/proc/loadavg: 1.77 1.75 1.69 5/220 4474
/proc/meminfo: memFree=19621632/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=10914144 memory=365896 CPUtime=13.92 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 2275 0 -1 1077944320 73594 13121 0 0 1362 22 5 3 20 0 15 0 77283889 11176083456 91474 33554432000 4194304 4196468 140732876249008 140732876231552 139689662492407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
/proc/4408/statm: 2728536 91474 3520 1 0 2690189 0
[pid=4408/tid=4461] ppid=4405 vsize=10914144 memory=6370170619105464425 CPUtime=5.64 cores=0,2,4,6
/proc/4408/task/4461/stat : 4461 (java) R 4405 4408 2275 0 -1 4202560 41750 13121 0 0 544 12 5 3 20 0 15 0 77283899 11176083456 91474 33554432000 4194304 4196468 140732876249008 139689634329392 139689646572894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4462] ppid=4405 vsize=10914144 memory=8112282956445269571 CPUtime=0.12 cores=0,2,4,6
/proc/4408/task/4462/stat : 4462 (java) S 4405 4408 2275 0 -1 1077944384 147 13121 0 0 4 0 5 3 20 0 15 0 77283899 11176083456 91474 33554432000 4194304 4196468 140732876249008 139689666735248 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4463] ppid=4405 vsize=10914144 memory=928 CPUtime=0.11 cores=0,2,4,6
/proc/4408/task/4463/stat : 4463 (java) S 4405 4408 2275 0 -1 1077944384 403 13121 0 0 3 0 5 3 20 0 15 0 77283899 11176083456 91474 33554432000 4194304 4196468 140732876249008 139689585486864 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4464] ppid=4405 vsize=10914144 memory=2244 CPUtime=0.11 cores=0,2,4,6
/proc/4408/task/4464/stat : 4464 (java) S 4405 4408 2275 0 -1 1077944384 853 13121 0 0 3 0 5 3 20 0 15 0 77283899 11176083456 91474 33554432000 4194304 4196468 140732876249008 139689234193296 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4465] ppid=4405 vsize=10914144 memory=4132 CPUtime=0.1 cores=0,2,4,6
/proc/4408/task/4465/stat : 4465 (java) S 4405 4408 2275 0 -1 1077944384 127 13121 0 0 2 0 5 3 20 0 15 0 77283899 11176083456 91474 33554432000 4194304 4196468 140732876249008 139689233140496 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4466] ppid=4405 vsize=10914144 memory=1696 CPUtime=0.12 cores=0,2,4,6
/proc/4408/task/4466/stat : 4466 (java) S 4405 4408 2275 0 -1 1077944384 2184 13121 0 0 4 0 5 3 20 0 15 0 77283901 11176083456 91474 33554432000 4194304 4196468 140732876249008 139689189181808 139689662503554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4467] ppid=4405 vsize=10914144 memory=916 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4467/stat : 4467 (java) S 4405 4408 2275 0 -1 1077944384 14 13121 0 0 0 0 5 3 20 0 15 0 77283901 11176083456 91474 33554432000 4194304 4196468 140732876249008 139689113674848 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4468] ppid=4405 vsize=10914144 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4468/stat : 4468 (java) S 4405 4408 2275 0 -1 1077944384 7 13121 0 0 0 0 5 3 20 0 15 0 77283902 11176083456 91474 33554432000 4194304 4196468 140732876249008 139688509694848 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4469] ppid=4405 vsize=10914144 memory=2196 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4469/stat : 4469 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11176083456 91474 33554432000 4194304 4196468 140732876249008 139688202295120 139689662511003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4470] ppid=4405 vsize=10914144 memory=7528 CPUtime=3.36 cores=0,2,4,6
/proc/4408/task/4470/stat : 4470 (java) R 4405 4408 2275 0 -1 4202560 11990 13121 0 0 326 2 5 3 20 0 15 0 77283904 11176083456 91474 33554432000 4194304 4196468 140732876249008 139689188129648 139689645989389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4471] ppid=4405 vsize=10914144 memory=832 CPUtime=3.08 cores=0,2,4,6
/proc/4408/task/4471/stat : 4471 (java) R 4405 4408 2275 0 -1 4202560 6301 13121 0 0 298 2 5 3 20 0 15 0 77283904 11176083456 91474 33554432000 4194304 4196468 140732876249008 139689187075248 139689642148816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4472] ppid=4405 vsize=10914144 memory=0 CPUtime=1.81 cores=0,2,4,6
/proc/4408/task/4472/stat : 4472 (java) R 4405 4408 2275 0 -1 4202560 7122 13121 0 0 171 2 5 3 20 0 15 0 77283904 11176083456 91474 33554432000 4194304 4196468 140732876249008 139689186021304 139689641628067 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4473] ppid=4405 vsize=10914144 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4473/stat : 4473 (java) S 4405 4408 2275 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 77283904 11176083456 91474 33554432000 4194304 4196468 140732876249008 139688168737504 139689662502613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
[pid=4408/tid=4474] ppid=4405 vsize=10914144 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4474/stat : 4474 (java) R 4405 4408 2275 0 -1 1077944384 503 13121 0 0 0 0 5 3 20 0 15 0 77283905 11176083456 91474 33554432000 4194304 4196468 140732876249008 139689184971440 139689662503554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140732876253357 140732876256604 140732876256604 140732876259279 0
Current children cumulated CPU time: 13.92 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 365896 KiB
Child status: 0
Real time (s): 5.8403
CPU time (s): 13.9996
CPU user time (s): 13.729
CPU system time (s): 0.270594
CPU usage (%): 239.707
Max. virtual memory (cumulated for all children) (KiB): 10917004
Max. memory (cumulated for all children) (KiB): 366512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.729
system time used= 0.270594
maximum resident set size= 368152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86918
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6936
involuntary context switches= 99
# summary of solver processes directly reported to runsolver:
# pid: 4408
# total CPU time (s): 13.9996
# total CPU user time (s): 13.729
# total CPU system time (s): 0.270594
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063792 second user time and 0.093157 second system time
The end