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 (9977 MiB free)
memory of node 1: 16384 MiB (11275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396474-1568397899/watcher-4396474-1568397899 -o /tmp/evaluation-result-4396474-1568397899/solver-4396474-1568397899 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568394621-6335 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1640088370 HOME/instance-4396474-1568397899.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7532, runsolver pid=7529
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 1.58 1.50 1.49 3/216 7585
/proc/meminfo: memFree=21757020/32770624 swapFree=66999276/67108860
[pid=7532] ppid=7529 vsize=9972712 memory=16552 CPUtime=0.09 cores=0,2,4,6
/proc/7532/stat : 7532 (java) S 7529 7532 6304 0 -1 1077944320 4388 13347 0 0 1 0 5 3 20 0 6 0 415728350 10212057088 4138 33554432000 4194304 4196468 140727300931424 140727300913968 139908860284663 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
/proc/7532/statm: 2493178 4138 1933 1 0 2481616 0
[pid=7532/tid=7585] ppid=7529 vsize=9972712 memory=-8673215745677901765 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7585/stat : 7585 (java) R 7529 7532 6304 0 -1 4202560 2208 13347 0 0 0 0 5 3 20 0 6 0 415728359 10212057088 4204 33554432000 4194304 4196468 140727300931424 139908832121424 139908844365150 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7586] ppid=7529 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7586/stat : 7586 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 6 0 415728360 10212057088 4204 33554432000 4194304 4196468 140727300931424 139908864526992 139908860294869 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7587] ppid=7529 vsize=9972712 memory=139705831880320 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7587/stat : 7587 (java) S 7529 7532 6304 0 -1 1077944384 2 13347 0 0 0 0 5 3 20 0 6 0 415728360 10212057088 4204 33554432000 4194304 4196468 140727300931424 139908763417104 139908860294869 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7588] ppid=7529 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7588/stat : 7588 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 6 0 415728360 10212057088 4204 33554432000 4194304 4196468 140727300931424 139908762364304 139908860294869 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7589] ppid=7529 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7589/stat : 7589 (java) S 7529 7532 6304 0 -1 1077944384 2 13347 0 0 0 0 5 3 20 0 6 0 415728360 10212057088 4204 33554432000 4194304 4196468 140727300931424 139908431603984 139908860294869 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB
[startup+0.210365 s]*
/proc/loadavg: 1.58 1.50 1.49 4/229 7598
/proc/meminfo: memFree=21735380/32770624 swapFree=66999276/67108860
[pid=7532] ppid=7529 vsize=10819664 memory=41276 CPUtime=0.27 cores=0,2,4,6
/proc/7532/stat : 7532 (java) S 7529 7532 6304 0 -1 1077944320 7198 13347 0 0 18 1 5 3 20 0 15 0 415728350 11079335936 10319 33554432000 4194304 4196468 140727300931424 140727300913968 139908860284663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
/proc/7532/statm: 2704916 10319 3121 1 0 2667149 0
[pid=7532/tid=7585] ppid=7529 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/7532/task/7585/stat : 7585 (java) R 7529 7532 6304 0 -1 4202560 3690 13347 0 0 11 0 5 3 20 0 15 0 415728359 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908832072656 139908844365180 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7586] ppid=7529 vsize=10819664 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7586/stat : 7586 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728360 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908864526992 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7587] ppid=7529 vsize=10819664 memory=139705831888105 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7587/stat : 7587 (java) S 7529 7532 6304 0 -1 1077944384 2 13347 0 0 0 0 5 3 20 0 15 0 415728360 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908763417104 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7588] ppid=7529 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7588/stat : 7588 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728360 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908762364304 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7589] ppid=7529 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7589/stat : 7589 (java) S 7529 7532 6304 0 -1 1077944384 2 13347 0 0 0 0 5 3 20 0 15 0 415728360 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908431603984 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7590] ppid=7529 vsize=10819664 memory=139705831880320 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7590/stat : 7590 (java) S 7529 7532 6304 0 -1 1077944384 2 13347 0 0 0 0 5 3 20 0 15 0 415728361 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908319796080 139908860295810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7591] ppid=7529 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7591/stat : 7591 (java) S 7529 7532 6304 0 -1 1077944384 13 13347 0 0 0 0 5 3 20 0 15 0 415728362 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908224116256 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7592] ppid=7529 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7592/stat : 7592 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728362 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908089898352 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7593] ppid=7529 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7593/stat : 7593 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11079335936 10319 33554432000 4194304 4196468 140727300931424 139907379845456 139908860303259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7594] ppid=7529 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7532/task/7594/stat : 7594 (java) S 7529 7532 6304 0 -1 1077944384 459 13347 0 0 1 0 5 3 20 0 15 0 415728365 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908318742896 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7595] ppid=7529 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/7532/task/7595/stat : 7595 (java) S 7529 7532 6304 0 -1 1077944384 190 13347 0 0 1 0 5 3 20 0 15 0 415728365 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908317690096 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7596] ppid=7529 vsize=10819664 memory=139705831880320 CPUtime=0.11 cores=0,2,4,6
/proc/7532/task/7596/stat : 7596 (java) R 7529 7532 6304 0 -1 4202560 626 13347 0 0 3 0 5 3 20 0 15 0 415728365 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908316637296 139908838804801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7597] ppid=7529 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7597/stat : 7597 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11079335936 10319 33554432000 4194304 4196468 140727300931424 139907346286816 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7598] ppid=7529 vsize=10819664 memory=139705831880320 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7598/stat : 7598 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728365 11079335936 10319 33554432000 4194304 4196468 140727300931424 139908315585712 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41276 KiB
[startup+0.310709 s]*
/proc/loadavg: 1.58 1.50 1.49 3/229 7598
/proc/meminfo: memFree=21722676/32770624 swapFree=66999276/67108860
[pid=7532] ppid=7529 vsize=10820148 memory=50444 CPUtime=0.4 cores=0,2,4,6
/proc/7532/stat : 7532 (java) S 7529 7532 6304 0 -1 1077944320 10851 13347 0 0 29 3 5 3 20 0 15 0 415728350 11079831552 12611 33554432000 4194304 4196468 140727300931424 140727300913968 139908860284663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
/proc/7532/statm: 2705037 12611 3289 1 0 2667149 0
[pid=7532/tid=7585] ppid=7529 vsize=10820148 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/7532/task/7585/stat : 7585 (java) R 7529 7532 6304 0 -1 4202560 7320 13347 0 0 19 2 5 3 20 0 15 0 415728359 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908832084576 139908844365150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7586] ppid=7529 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7586/stat : 7586 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728360 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908864526992 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7587] ppid=7529 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7587/stat : 7587 (java) S 7529 7532 6304 0 -1 1077944384 2 13347 0 0 0 0 5 3 20 0 15 0 415728360 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908763417104 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7588] ppid=7529 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7588/stat : 7588 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728360 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908762364304 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7589] ppid=7529 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7589/stat : 7589 (java) S 7529 7532 6304 0 -1 1077944384 2 13347 0 0 0 0 5 3 20 0 15 0 415728360 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908431603984 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7590] ppid=7529 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7590/stat : 7590 (java) S 7529 7532 6304 0 -1 1077944384 2 13347 0 0 0 0 5 3 20 0 15 0 415728361 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908319796080 139908860295810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7591] ppid=7529 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7591/stat : 7591 (java) S 7529 7532 6304 0 -1 1077944384 13 13347 0 0 0 0 5 3 20 0 15 0 415728362 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908224116256 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7592] ppid=7529 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7592/stat : 7592 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728362 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908089898352 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7593] ppid=7529 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7593/stat : 7593 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11079831552 12611 33554432000 4194304 4196468 140727300931424 139907379845456 139908860303259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7594] ppid=7529 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/7532/task/7594/stat : 7594 (java) R 7529 7532 6304 0 -1 1077944384 460 13347 0 0 2 0 5 3 20 0 15 0 415728365 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908318742896 139908860295810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7595] ppid=7529 vsize=10820148 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/7532/task/7595/stat : 7595 (java) S 7529 7532 6304 0 -1 1077944384 199 13347 0 0 2 0 5 3 20 0 15 0 415728365 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908317690096 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7596] ppid=7529 vsize=10820148 memory=139705831880320 CPUtime=0.13 cores=0,2,4,6
/proc/7532/task/7596/stat : 7596 (java) R 7529 7532 6304 0 -1 4202560 635 13347 0 0 5 0 5 3 20 0 15 0 415728365 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908316637296 139908860306010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7597] ppid=7529 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7597/stat : 7597 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11079831552 12611 33554432000 4194304 4196468 140727300931424 139907346286816 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7598] ppid=7529 vsize=10820148 memory=139705831880320 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7598/stat : 7598 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728365 11079831552 12611 33554432000 4194304 4196468 140727300931424 139908315585712 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50444 KiB
[startup+0.700732 s]
/proc/loadavg: 1.58 1.50 1.49 3/229 7598
/proc/meminfo: memFree=21708952/32770624 swapFree=66999276/67108860
[pid=7532] ppid=7529 vsize=10824360 memory=83764 CPUtime=1.11 cores=0,2,4,6
/proc/7532/stat : 7532 (java) S 7529 7532 6304 0 -1 1077944320 15139 13347 0 0 98 5 5 3 20 0 15 0 415728350 11084144640 20941 33554432000 4194304 4196468 140727300931424 140727300913968 139908860284663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
/proc/7532/statm: 2706090 20941 3511 1 0 2668173 0
[pid=7532/tid=7585] ppid=7529 vsize=10824360 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/7532/task/7585/stat : 7585 (java) R 7529 7532 6304 0 -1 4202560 10295 13347 0 0 55 4 5 3 20 0 15 0 415728359 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908832078504 139908860306589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7586] ppid=7529 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7586/stat : 7586 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728360 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908864526992 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7587] ppid=7529 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7587/stat : 7587 (java) S 7529 7532 6304 0 -1 1077944384 2 13347 0 0 0 0 5 3 20 0 15 0 415728360 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908763417104 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7588] ppid=7529 vsize=10824360 memory=139705689715472 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7588/stat : 7588 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728360 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908762364304 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7589] ppid=7529 vsize=10824360 memory=139706696204892 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7589/stat : 7589 (java) S 7529 7532 6304 0 -1 1077944384 2 13347 0 0 0 0 5 3 20 0 15 0 415728360 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908431603984 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7590] ppid=7529 vsize=10824360 memory=612 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7590/stat : 7590 (java) S 7529 7532 6304 0 -1 1077944384 5 13347 0 0 0 0 5 3 20 0 15 0 415728361 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908319796080 139908860295810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7591] ppid=7529 vsize=10824360 memory=7302135314614015845 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7591/stat : 7591 (java) S 7529 7532 6304 0 -1 1077944384 13 13347 0 0 0 0 5 3 20 0 15 0 415728362 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908224116256 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7592] ppid=7529 vsize=10824360 memory=6081102367496956009 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7592/stat : 7592 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728362 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908089898352 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7593] ppid=7529 vsize=10824360 memory=14060 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7593/stat : 7593 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11084144640 20941 33554432000 4194304 4196468 140727300931424 139907379845456 139908860303259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7594] ppid=7529 vsize=10824360 memory=2116 CPUtime=0.23 cores=0,2,4,6
/proc/7532/task/7594/stat : 7594 (java) S 7529 7532 6304 0 -1 1077944384 1138 13347 0 0 15 0 5 3 20 0 15 0 415728365 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908318742896 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7595] ppid=7529 vsize=10824360 memory=18968 CPUtime=0.17 cores=0,2,4,6
/proc/7532/task/7595/stat : 7595 (java) S 7529 7532 6304 0 -1 1077944384 619 13347 0 0 9 0 5 3 20 0 15 0 415728365 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908317690096 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7596] ppid=7529 vsize=10824360 memory=532 CPUtime=0.25 cores=0,2,4,6
/proc/7532/task/7596/stat : 7596 (java) S 7529 7532 6304 0 -1 1077944384 845 13347 0 0 17 0 5 3 20 0 15 0 415728365 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908316637296 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7597] ppid=7529 vsize=10824360 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7597/stat : 7597 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11084144640 20941 33554432000 4194304 4196468 140727300931424 139907346286816 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7598] ppid=7529 vsize=10824360 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7598/stat : 7598 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728365 11084144640 20941 33554432000 4194304 4196468 140727300931424 139908315585712 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83764 KiB
[startup+1.50066 s]
/proc/loadavg: 1.58 1.50 1.49 5/229 7598
/proc/meminfo: memFree=21661864/32770624 swapFree=66999276/67108860
[pid=7532] ppid=7529 vsize=10834676 memory=187712 CPUtime=2.67 cores=0,2,4,6
/proc/7532/stat : 7532 (java) S 7529 7532 6304 0 -1 1077944320 23438 13347 0 0 248 11 5 3 20 0 15 0 415728350 11094708224 46928 33554432000 4194304 4196468 140727300931424 140727300913968 139908860284663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
/proc/7532/statm: 2708669 46928 3585 1 0 2670733 0
[pid=7532/tid=7585] ppid=7529 vsize=10834676 memory=67848 CPUtime=1.43 cores=0,2,4,6
/proc/7532/task/7585/stat : 7585 (java) R 7529 7532 6304 0 -1 4202560 15407 13347 0 0 128 7 5 3 20 0 15 0 415728359 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908832107392 139908860296598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7586] ppid=7529 vsize=10834676 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/7532/task/7586/stat : 7586 (java) S 7529 7532 6304 0 -1 1077944384 342 13347 0 0 1 0 5 3 20 0 15 0 415728360 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908864526992 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7587] ppid=7529 vsize=10834676 memory=279411379462304 CPUtime=0.09 cores=0,2,4,6
/proc/7532/task/7587/stat : 7587 (java) S 7529 7532 6304 0 -1 1077944384 60 13347 0 0 1 0 5 3 20 0 15 0 415728360 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908763417104 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7588] ppid=7529 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7532/task/7588/stat : 7588 (java) S 7529 7532 6304 0 -1 1077944384 29 13347 0 0 1 0 5 3 20 0 15 0 415728360 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908762364304 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7589] ppid=7529 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7532/task/7589/stat : 7589 (java) S 7529 7532 6304 0 -1 1077944384 87 13347 0 0 1 0 5 3 20 0 15 0 415728360 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908431603984 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7590] ppid=7529 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7532/task/7590/stat : 7590 (java) S 7529 7532 6304 0 -1 1077944384 146 13347 0 0 1 0 5 3 20 0 15 0 415728361 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908319796080 139908860295810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7591] ppid=7529 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7591/stat : 7591 (java) S 7529 7532 6304 0 -1 1077944384 13 13347 0 0 0 0 5 3 20 0 15 0 415728362 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908224116320 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7592] ppid=7529 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7592/stat : 7592 (java) S 7529 7532 6304 0 -1 1077944384 2 13347 0 0 0 0 5 3 20 0 15 0 415728362 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908089898368 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7593] ppid=7529 vsize=10834676 memory=-2245088631185882904 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7593/stat : 7593 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11094708224 46928 33554432000 4194304 4196468 140727300931424 139907379845456 139908860303259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7594] ppid=7529 vsize=10834676 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/7532/task/7594/stat : 7594 (java) R 7529 7532 6304 0 -1 1077944384 2395 13347 0 0 42 0 5 3 20 0 15 0 415728365 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908318742896 139908860295810 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7595] ppid=7529 vsize=10834676 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/7532/task/7595/stat : 7595 (java) S 7529 7532 6304 0 -1 1077944384 902 13347 0 0 27 0 5 3 20 0 15 0 415728365 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908317690096 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7596] ppid=7529 vsize=10834676 memory=8112282956445269571 CPUtime=0.49 cores=0,2,4,6
/proc/7532/task/7596/stat : 7596 (java) R 7529 7532 6304 0 -1 4202560 1841 13347 0 0 41 0 5 3 20 0 15 0 415728365 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908316637296 139908844328293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7597] ppid=7529 vsize=10834676 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7597/stat : 7597 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11094708224 46928 33554432000 4194304 4196468 140727300931424 139907346286816 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7598] ppid=7529 vsize=10834676 memory=279411379706752 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7598/stat : 7598 (java) S 7529 7532 6304 0 -1 1077944384 1 13347 0 0 0 0 5 3 20 0 15 0 415728365 11094708224 46928 33554432000 4194304 4196468 140727300931424 139908315585712 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
[startup+1784.28 s]
# the end of solver process 7532 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1806.35 s, system=1.68745 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1782.4 s]
/proc/loadavg: 1.47 1.46 1.48 3/228 7892
/proc/meminfo: memFree=20931512/32770624 swapFree=66999276/67108860
[pid=7532] ppid=7529 vsize=10846984 memory=314016 CPUtime=1806.13 cores=0,2,4,6
/proc/7532/stat : 7532 (java) S 7529 7532 6304 0 -1 1077944320 214759 13347 0 0 180441 164 5 3 20 0 15 0 415728350 11107311616 78504 33554432000 4194304 4196468 140727300931424 140727300913968 139908860284663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
/proc/7532/statm: 2711746 78504 3628 1 0 2673805 0
[pid=7532/tid=7585] ppid=7529 vsize=10846984 memory=314016 CPUtime=1774.32 cores=0,2,4,6
/proc/7532/task/7585/stat : 7585 (java) R 7529 7532 6304 0 -1 4202560 53850 13347 0 0 177395 29 5 3 20 0 15 0 415728359 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908832120480 139908461649335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7586] ppid=7529 vsize=10846984 memory=314016 CPUtime=3.81 cores=0,2,4,6
/proc/7532/task/7586/stat : 7586 (java) S 7529 7532 6304 0 -1 1077944384 5274 13347 0 0 354 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908864526992 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7587] ppid=7529 vsize=10846984 memory=314016 CPUtime=3.8 cores=0,2,4,6
/proc/7532/task/7587/stat : 7587 (java) S 7529 7532 6304 0 -1 1077944384 11884 13347 0 0 356 16 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908763417104 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7588] ppid=7529 vsize=10846984 memory=314016 CPUtime=3.83 cores=0,2,4,6
/proc/7532/task/7588/stat : 7588 (java) S 7529 7532 6304 0 -1 1077944384 11794 13347 0 0 356 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908762364304 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7589] ppid=7529 vsize=10846984 memory=314016 CPUtime=3.83 cores=0,2,4,6
/proc/7532/task/7589/stat : 7589 (java) S 7529 7532 6304 0 -1 1077944384 10730 13347 0 0 356 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908431603984 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7590] ppid=7529 vsize=10846984 memory=314016 CPUtime=3.04 cores=0,2,4,6
/proc/7532/task/7590/stat : 7590 (java) S 7529 7532 6304 0 -1 1077944384 12705 13347 0 0 272 24 5 3 20 0 15 0 415728361 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908319796080 139908860295810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7591] ppid=7529 vsize=10846984 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7591/stat : 7591 (java) S 7529 7532 6304 0 -1 1077944384 23 13347 0 0 0 0 5 3 20 0 15 0 415728362 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908224116384 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7592] ppid=7529 vsize=10846984 memory=314016 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7592/stat : 7592 (java) S 7529 7532 6304 0 -1 1077944384 20 13347 0 0 0 0 5 3 20 0 15 0 415728362 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908089898368 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7593] ppid=7529 vsize=10846984 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7593/stat : 7593 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139907379845456 139908860303259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7594] ppid=7529 vsize=10846984 memory=8112282956445269571 CPUtime=5.76 cores=0,2,4,6
/proc/7532/task/7594/stat : 7594 (java) S 7529 7532 6304 0 -1 1077944384 37192 13347 0 0 564 4 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908318742896 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7595] ppid=7529 vsize=10846984 memory=314016 CPUtime=5.09 cores=0,2,4,6
/proc/7532/task/7595/stat : 7595 (java) S 7529 7532 6304 0 -1 1077944384 40412 13347 0 0 496 5 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908317690096 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7596] ppid=7529 vsize=10846984 memory=8112282956445269571 CPUtime=2.29 cores=0,2,4,6
/proc/7532/task/7596/stat : 7596 (java) S 7529 7532 6304 0 -1 1077944384 26566 13347 0 0 216 5 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908316637296 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7597] ppid=7529 vsize=10846984 memory=772 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7597/stat : 7597 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139907346286816 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7598] ppid=7529 vsize=10846984 memory=10596 CPUtime=0.98 cores=0,2,4,6
/proc/7532/task/7598/stat : 7598 (java) S 7529 7532 6304 0 -1 1077944384 2093 13347 0 0 47 43 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908315585712 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
Current children cumulated CPU time: 1806.13 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 314016 KiB
[startup+1783.2 s]
/proc/loadavg: 1.47 1.46 1.48 3/228 7892
/proc/meminfo: memFree=20931512/32770624 swapFree=66999276/67108860
[pid=7532] ppid=7529 vsize=10846984 memory=314016 CPUtime=1806.93 cores=0,2,4,6
/proc/7532/stat : 7532 (java) S 7529 7532 6304 0 -1 1077944320 214761 13347 0 0 180521 164 5 3 20 0 15 0 415728350 11107311616 78504 33554432000 4194304 4196468 140727300931424 140727300913968 139908860284663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
/proc/7532/statm: 2711746 78504 3628 1 0 2673805 0
[pid=7532/tid=7585] ppid=7529 vsize=10846984 memory=988 CPUtime=1775.12 cores=0,2,4,6
/proc/7532/task/7585/stat : 7585 (java) R 7529 7532 6304 0 -1 4202560 53852 13347 0 0 177475 29 5 3 20 0 15 0 415728359 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908832120480 139908461649745 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7586] ppid=7529 vsize=10846984 memory=8112282956445269571 CPUtime=3.81 cores=0,2,4,6
/proc/7532/task/7586/stat : 7586 (java) S 7529 7532 6304 0 -1 1077944384 5274 13347 0 0 354 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908864526992 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7587] ppid=7529 vsize=10846984 memory=5900 CPUtime=3.8 cores=0,2,4,6
/proc/7532/task/7587/stat : 7587 (java) S 7529 7532 6304 0 -1 1077944384 11884 13347 0 0 356 16 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908763417104 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7588] ppid=7529 vsize=10846984 memory=612 CPUtime=3.83 cores=0,2,4,6
/proc/7532/task/7588/stat : 7588 (java) S 7529 7532 6304 0 -1 1077944384 11794 13347 0 0 356 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908762364304 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7589] ppid=7529 vsize=10846984 memory=1220 CPUtime=3.83 cores=0,2,4,6
/proc/7532/task/7589/stat : 7589 (java) S 7529 7532 6304 0 -1 1077944384 10730 13347 0 0 356 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908431603984 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7590] ppid=7529 vsize=10846984 memory=8112282956445269571 CPUtime=3.05 cores=0,2,4,6
/proc/7532/task/7590/stat : 7590 (java) S 7529 7532 6304 0 -1 1077944384 12705 13347 0 0 272 25 5 3 20 0 15 0 415728361 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908319796080 139908860295810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7591] ppid=7529 vsize=10846984 memory=14060 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7591/stat : 7591 (java) S 7529 7532 6304 0 -1 1077944384 23 13347 0 0 0 0 5 3 20 0 15 0 415728362 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908224116384 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7592] ppid=7529 vsize=10846984 memory=2116 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7592/stat : 7592 (java) S 7529 7532 6304 0 -1 1077944384 20 13347 0 0 0 0 5 3 20 0 15 0 415728362 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908089898368 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7593] ppid=7529 vsize=10846984 memory=18988 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7593/stat : 7593 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139907379845456 139908860303259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7594] ppid=7529 vsize=10846984 memory=2828 CPUtime=5.76 cores=0,2,4,6
/proc/7532/task/7594/stat : 7594 (java) S 7529 7532 6304 0 -1 1077944384 37192 13347 0 0 564 4 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908318742896 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7595] ppid=7529 vsize=10846984 memory=1048 CPUtime=5.09 cores=0,2,4,6
/proc/7532/task/7595/stat : 7595 (java) S 7529 7532 6304 0 -1 1077944384 40412 13347 0 0 496 5 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908317690096 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7596] ppid=7529 vsize=10846984 memory=5900 CPUtime=2.29 cores=0,2,4,6
/proc/7532/task/7596/stat : 7596 (java) S 7529 7532 6304 0 -1 1077944384 26566 13347 0 0 216 5 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908316637296 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7597] ppid=7529 vsize=10846984 memory=612 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7597/stat : 7597 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139907346286816 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7598] ppid=7529 vsize=10846984 memory=1220 CPUtime=0.98 cores=0,2,4,6
/proc/7532/task/7598/stat : 7598 (java) S 7529 7532 6304 0 -1 1077944384 2093 13347 0 0 47 43 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908315585712 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
Current children cumulated CPU time: 1806.93 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 314016 KiB
[startup+1784 s]*
/proc/loadavg: 1.51 1.47 1.48 3/228 7892
/proc/meminfo: memFree=20931512/32770624 swapFree=66999276/67108860
[pid=7532] ppid=7529 vsize=10846984 memory=314016 CPUtime=1807.75 cores=0,2,4,6
/proc/7532/stat : 7532 (java) S 7529 7532 6304 0 -1 1077944320 214763 13347 0 0 180603 164 5 3 20 0 15 0 415728350 11107311616 78504 33554432000 4194304 4196468 140727300931424 140727300913968 139908860284663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
/proc/7532/statm: 2711746 78504 3628 1 0 2673805 0
[pid=7532/tid=7585] ppid=7529 vsize=10846984 memory=1652 CPUtime=1775.92 cores=0,2,4,6
/proc/7532/task/7585/stat : 7585 (java) R 7529 7532 6304 0 -1 4202560 53854 13347 0 0 177555 29 5 3 20 0 15 0 415728359 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908832120560 139908460748423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7586] ppid=7529 vsize=10846984 memory=3624 CPUtime=3.81 cores=0,2,4,6
/proc/7532/task/7586/stat : 7586 (java) S 7529 7532 6304 0 -1 1077944384 5274 13347 0 0 354 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908864526992 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7587] ppid=7529 vsize=10846984 memory=39504 CPUtime=3.8 cores=0,2,4,6
/proc/7532/task/7587/stat : 7587 (java) S 7529 7532 6304 0 -1 1077944384 11884 13347 0 0 356 16 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908763417104 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7588] ppid=7529 vsize=10846984 memory=4872558044660077418 CPUtime=3.83 cores=0,2,4,6
/proc/7532/task/7588/stat : 7588 (java) S 7529 7532 6304 0 -1 1077944384 11794 13347 0 0 356 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908762364304 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7589] ppid=7529 vsize=10846984 memory=2540 CPUtime=3.83 cores=0,2,4,6
/proc/7532/task/7589/stat : 7589 (java) S 7529 7532 6304 0 -1 1077944384 10730 13347 0 0 356 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908431603984 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7590] ppid=7529 vsize=10846984 memory=1760 CPUtime=3.05 cores=0,2,4,6
/proc/7532/task/7590/stat : 7590 (java) S 7529 7532 6304 0 -1 1077944384 12705 13347 0 0 272 25 5 3 20 0 15 0 415728361 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908319796080 139908860295810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7591] ppid=7529 vsize=10846984 memory=111636 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7591/stat : 7591 (java) S 7529 7532 6304 0 -1 1077944384 23 13347 0 0 0 0 5 3 20 0 15 0 415728362 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908224116384 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7592] ppid=7529 vsize=10846984 memory=804 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7592/stat : 7592 (java) S 7529 7532 6304 0 -1 1077944384 20 13347 0 0 0 0 5 3 20 0 15 0 415728362 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908089898368 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7593] ppid=7529 vsize=10846984 memory=1804 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7593/stat : 7593 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139907379845456 139908860303259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7594] ppid=7529 vsize=10846984 memory=916 CPUtime=5.76 cores=0,2,4,6
/proc/7532/task/7594/stat : 7594 (java) S 7529 7532 6304 0 -1 1077944384 37192 13347 0 0 564 4 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908318742896 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7595] ppid=7529 vsize=10846984 memory=3848 CPUtime=5.09 cores=0,2,4,6
/proc/7532/task/7595/stat : 7595 (java) S 7529 7532 6304 0 -1 1077944384 40412 13347 0 0 496 5 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908317690096 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7596] ppid=7529 vsize=10846984 memory=2932 CPUtime=2.29 cores=0,2,4,6
/proc/7532/task/7596/stat : 7596 (java) S 7529 7532 6304 0 -1 1077944384 26566 13347 0 0 216 5 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908316637296 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7597] ppid=7529 vsize=10846984 memory=2612 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7597/stat : 7597 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139907346286816 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7598] ppid=7529 vsize=10846984 memory=4104 CPUtime=0.98 cores=0,2,4,6
/proc/7532/task/7598/stat : 7598 (java) S 7529 7532 6304 0 -1 1077944384 2093 13347 0 0 47 43 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908315585712 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
Current children cumulated CPU time: 1807.75 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 314016 KiB
[startup+1784.2 s]
/proc/loadavg: 1.51 1.47 1.48 3/228 7892
/proc/meminfo: memFree=20931512/32770624 swapFree=66999276/67108860
[pid=7532] ppid=7529 vsize=10846984 memory=314016 CPUtime=1807.94 cores=0,2,4,6
/proc/7532/stat : 7532 (java) S 7529 7532 6304 0 -1 1077944320 214765 13347 0 0 180622 164 5 3 20 0 15 0 415728350 11107311616 78504 33554432000 4194304 4196468 140727300931424 140727300913968 139908860284663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
/proc/7532/statm: 2711746 78504 3628 1 0 2673805 0
[pid=7532/tid=7585] ppid=7529 vsize=10846984 memory=3184 CPUtime=1776.11 cores=0,2,4,6
/proc/7532/task/7585/stat : 7585 (java) R 7529 7532 6304 0 -1 4202560 53855 13347 0 0 177574 29 5 3 20 0 15 0 415728359 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908832120944 139908451749105 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7586] ppid=7529 vsize=10846984 memory=314016 CPUtime=3.82 cores=0,2,4,6
/proc/7532/task/7586/stat : 7586 (java) S 7529 7532 6304 0 -1 1077944384 5274 13347 0 0 355 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908864526992 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7587] ppid=7529 vsize=10846984 memory=1408 CPUtime=3.81 cores=0,2,4,6
/proc/7532/task/7587/stat : 7587 (java) S 7529 7532 6304 0 -1 1077944384 11884 13347 0 0 357 16 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908763417104 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7588] ppid=7529 vsize=10846984 memory=3184 CPUtime=3.83 cores=0,2,4,6
/proc/7532/task/7588/stat : 7588 (java) S 7529 7532 6304 0 -1 1077944384 11794 13347 0 0 356 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908762364304 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7589] ppid=7529 vsize=10846984 memory=1942520 CPUtime=3.83 cores=0,2,4,6
/proc/7532/task/7589/stat : 7589 (java) S 7529 7532 6304 0 -1 1077944384 10730 13347 0 0 356 19 5 3 20 0 15 0 415728360 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908431603984 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7590] ppid=7529 vsize=10846984 memory=8112282956445269571 CPUtime=3.05 cores=0,2,4,6
/proc/7532/task/7590/stat : 7590 (java) S 7529 7532 6304 0 -1 1077944384 12706 13347 0 0 272 25 5 3 20 0 15 0 415728361 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908319796080 139908860295810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7591] ppid=7529 vsize=10846984 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7591/stat : 7591 (java) S 7529 7532 6304 0 -1 1077944384 23 13347 0 0 0 0 5 3 20 0 15 0 415728362 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908224116384 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7592] ppid=7529 vsize=10846984 memory=2612 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7592/stat : 7592 (java) S 7529 7532 6304 0 -1 1077944384 20 13347 0 0 0 0 5 3 20 0 15 0 415728362 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908089898368 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7593] ppid=7529 vsize=10846984 memory=4104 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7593/stat : 7593 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139907379845456 139908860303259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7594] ppid=7529 vsize=10846984 memory=1408 CPUtime=5.76 cores=0,2,4,6
/proc/7532/task/7594/stat : 7594 (java) S 7529 7532 6304 0 -1 1077944384 37192 13347 0 0 564 4 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908318742896 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7595] ppid=7529 vsize=10846984 memory=314016 CPUtime=5.09 cores=0,2,4,6
/proc/7532/task/7595/stat : 7595 (java) S 7529 7532 6304 0 -1 1077944384 40412 13347 0 0 496 5 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908317690096 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7596] ppid=7529 vsize=10846984 memory=14060 CPUtime=2.29 cores=0,2,4,6
/proc/7532/task/7596/stat : 7596 (java) S 7529 7532 6304 0 -1 1077944384 26566 13347 0 0 216 5 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908316637296 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7597] ppid=7529 vsize=10846984 memory=2116 CPUtime=0.08 cores=0,2,4,6
/proc/7532/task/7597/stat : 7597 (java) S 7529 7532 6304 0 -1 1077944384 3 13347 0 0 0 0 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139907346286816 139908860294869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
[pid=7532/tid=7598] ppid=7529 vsize=10846984 memory=8112282956445269571 CPUtime=0.98 cores=0,2,4,6
/proc/7532/task/7598/stat : 7598 (java) S 7529 7532 6304 0 -1 1077944384 2093 13347 0 0 47 43 5 3 20 0 15 0 415728365 11107311616 78504 33554432000 4194304 4196468 140727300931424 139908315585712 139908860295810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140727300938479 140727300940997 140727300940997 140727300943823 0
Current children cumulated CPU time: 1807.94 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 314016 KiB
Child status: 0
Real time (s): 1784.28
CPU time (s): 1808.04
CPU user time (s): 1806.35
CPU system time (s): 1.68745
CPU usage (%): 101.332
Max. virtual memory (cumulated for all children) (KiB): 10849680
Max. memory (cumulated for all children) (KiB): 1113724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1806.35
system time used= 1.68745
maximum resident set size= 1117820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105252
involuntary context switches= 3899
# summary of solver processes directly reported to runsolver:
# pid: 7532
# total CPU time (s): 1808.04
# total CPU user time (s): 1806.35
# total CPU system time (s): 1.68745
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1298 second user time and 16.9412 second system time
The end