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 (6092 MiB free)
memory of node 1: 16384 MiB (698 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402948-1568982773/watcher-4402948-1568982773 -o /tmp/evaluation-result-4402948-1568982773/solver-4402948-1568982773 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568967596-5048 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1747730442 HOME/instance-4402948-1568982773.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
solver pid=9495, runsolver pid=9492
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.53 1.43 1.42 3/218 9552
/proc/meminfo: memFree=6947548/32770624 swapFree=66959532/67108860
[pid=9495] ppid=9492 vsize=9972712 memory=16812 CPUtime=0.1 cores=0,2,4,6
/proc/9495/stat : 9495 (java) S 9492 9495 5017 0 -1 1077944320 4466 13046 0 0 1 1 5 3 20 0 6 0 474546182 10212057088 4203 33554432000 4194304 4196468 140731936435568 140731936418112 140293615996663 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
/proc/9495/statm: 2493178 4203 1935 1 0 2481616 0
[pid=9495/tid=9548] ppid=9492 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9548/stat : 9548 (java) R 9492 9495 5017 0 -1 4202560 2284 13046 0 0 0 0 5 3 20 0 6 0 474546191 10212057088 4269 33554432000 4194304 4196468 140731936435568 140293587833424 140293616018589 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9549] ppid=9492 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9549/stat : 9549 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 6 0 474546192 10212057088 4269 33554432000 4194304 4196468 140731936435568 140293620238608 140293616006869 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9550] ppid=9492 vsize=9972712 memory=13985674436318872 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9550/stat : 9550 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 6 0 474546192 10212057088 4269 33554432000 4194304 4196468 140731936435568 140293508512144 140293616006869 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9551] ppid=9492 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9551/stat : 9551 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 6 0 474546192 10212057088 4269 33554432000 4194304 4196468 140731936435568 140293507459600 140293616006869 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9552] ppid=9492 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9552/stat : 9552 (java) S 9492 9495 5017 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 6 0 474546192 10212057088 4269 33554432000 4194304 4196468 140731936435568 140293506407056 140293616006869 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210069 s]*
/proc/loadavg: 1.53 1.43 1.42 5/227 9561
/proc/meminfo: memFree=6929868/32770624 swapFree=66959532/67108860
[pid=9495] ppid=9492 vsize=10820164 memory=40092 CPUtime=0.27 cores=0,2,4,6
/proc/9495/stat : 9495 (java) S 9492 9495 5017 0 -1 1077944320 7517 13046 0 0 17 2 5 3 20 0 15 0 474546182 11079847936 10023 33554432000 4194304 4196468 140731936435568 140731936418112 140293615996663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
/proc/9495/statm: 2705041 10023 3266 1 0 2667149 0
[pid=9495/tid=9548] ppid=9492 vsize=10820188 memory=751940894209540401 CPUtime=0.19 cores=0,2,4,6
/proc/9495/task/9548/stat : 9548 (java) R 9492 9495 5017 0 -1 4202560 4023 13046 0 0 10 1 5 3 20 0 15 0 474546191 11079872512 10023 33554432000 4194304 4196468 140731936435568 140293587807696 140293539072978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9549] ppid=9492 vsize=10820188 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9549/stat : 9549 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546192 11079872512 10023 33554432000 4194304 4196468 140731936435568 140293620238608 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9550] ppid=9492 vsize=10820188 memory=13985674436318872 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9550/stat : 9550 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546192 11079872512 10023 33554432000 4194304 4196468 140731936435568 140293508512144 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9551] ppid=9492 vsize=10820188 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9551/stat : 9551 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546192 11079872512 10023 33554432000 4194304 4196468 140731936435568 140293507459600 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9552] ppid=9492 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9552/stat : 9552 (java) S 9492 9495 5017 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 474546192 11079880704 10023 33554432000 4194304 4196468 140731936435568 140293506407056 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9553] ppid=9492 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9553/stat : 9553 (java) S 9492 9495 5017 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 474546193 11079880704 10023 33554432000 4194304 4196468 140731936435568 140292618426864 140293616007810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9554] ppid=9492 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9554/stat : 9554 (java) S 9492 9495 5017 0 -1 1077944384 33 13046 0 0 0 0 5 3 20 0 15 0 474546193 11079880704 10023 33554432000 4194304 4196468 140731936435568 140292617373088 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9555] ppid=9492 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9555/stat : 9555 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546194 11079880704 10023 33554432000 4194304 4196468 140731936435568 140292489471472 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9556] ppid=9492 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9556/stat : 9556 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546196 11079880704 10023 33554432000 4194304 4196468 140731936435568 140292182072016 140293616015259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9557] ppid=9492 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9495/task/9557/stat : 9557 (java) R 9492 9495 5017 0 -1 4202560 580 13046 0 0 1 0 5 3 20 0 15 0 474546196 11079880704 10023 33554432000 4194304 4196468 140731936435568 140292583815152 140293600283362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9558] ppid=9492 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9558/stat : 9558 (java) S 9492 9495 5017 0 -1 1077944384 58 13046 0 0 0 0 5 3 20 0 15 0 474546196 11079880704 10023 33554432000 4194304 4196468 140731936435568 140292582762608 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9559] ppid=9492 vsize=10820196 memory=140404019467904 CPUtime=0.11 cores=0,2,4,6
/proc/9495/task/9559/stat : 9559 (java) R 9492 9495 5017 0 -1 1077944384 616 13046 0 0 3 0 5 3 20 0 15 0 474546196 11079880704 10023 33554432000 4194304 4196468 140731936435568 140292581710064 140293616007810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9560] ppid=9492 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9560/stat : 9560 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546197 11079880704 10023 33554432000 4194304 4196468 140731936435568 140292148513376 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9561] ppid=9492 vsize=10820196 memory=140404019467904 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9561/stat : 9561 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546197 11079880704 10023 33554432000 4194304 4196468 140731936435568 140292580657968 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 40092 KiB
[startup+0.310944 s]*
/proc/loadavg: 1.53 1.43 1.42 4/227 9561
/proc/meminfo: memFree=6917632/32770624 swapFree=66959532/67108860
[pid=9495] ppid=9492 vsize=10820196 memory=48264 CPUtime=0.4 cores=0,2,4,6
/proc/9495/stat : 9495 (java) S 9492 9495 5017 0 -1 1077944320 10887 13046 0 0 29 3 5 3 20 0 15 0 474546182 11079880704 12066 33554432000 4194304 4196468 140731936435568 140731936418112 140293615996663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
/proc/9495/statm: 2705049 12066 3287 1 0 2667149 0
[pid=9495/tid=9548] ppid=9492 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/9495/task/9548/stat : 9548 (java) R 9492 9495 5017 0 -1 4202560 7366 13046 0 0 19 2 5 3 20 0 15 0 474546191 11079880704 12066 33554432000 4194304 4196468 140731936435568 140293587811128 140293600077150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9549] ppid=9492 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9549/stat : 9549 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546192 11079880704 12066 33554432000 4194304 4196468 140731936435568 140293620238608 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9550] ppid=9492 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9550/stat : 9550 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546192 11079880704 12066 33554432000 4194304 4196468 140731936435568 140293508512144 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9551] ppid=9492 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9551/stat : 9551 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546192 11079880704 12066 33554432000 4194304 4196468 140731936435568 140293507459600 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9552] ppid=9492 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9552/stat : 9552 (java) S 9492 9495 5017 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 474546192 11079880704 12066 33554432000 4194304 4196468 140731936435568 140293506407056 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9553] ppid=9492 vsize=10820196 memory=140404019467903 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9553/stat : 9553 (java) S 9492 9495 5017 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 474546193 11079880704 12066 33554432000 4194304 4196468 140731936435568 140292618426864 140293616007810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9554] ppid=9492 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9554/stat : 9554 (java) S 9492 9495 5017 0 -1 1077944384 33 13046 0 0 0 0 5 3 20 0 15 0 474546193 11079880704 12066 33554432000 4194304 4196468 140731936435568 140292617373088 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9555] ppid=9492 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9555/stat : 9555 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546194 11079880704 12066 33554432000 4194304 4196468 140731936435568 140292489471472 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9556] ppid=9492 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9556/stat : 9556 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546196 11079880704 12066 33554432000 4194304 4196468 140731936435568 140292182072016 140293616015259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9557] ppid=9492 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9495/task/9557/stat : 9557 (java) S 9492 9495 5017 0 -1 1077944384 589 13046 0 0 2 0 5 3 20 0 15 0 474546196 11079880704 12066 33554432000 4194304 4196468 140731936435568 140292583815152 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9558] ppid=9492 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/9495/task/9558/stat : 9558 (java) S 9492 9495 5017 0 -1 1077944384 59 13046 0 0 1 0 5 3 20 0 15 0 474546196 11079880704 12066 33554432000 4194304 4196468 140731936435568 140292582762608 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9559] ppid=9492 vsize=10820196 memory=140404019467904 CPUtime=0.13 cores=0,2,4,6
/proc/9495/task/9559/stat : 9559 (java) S 9492 9495 5017 0 -1 1077944384 625 13046 0 0 5 0 5 3 20 0 15 0 474546196 11079880704 12066 33554432000 4194304 4196468 140731936435568 140292581710064 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9560] ppid=9492 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9560/stat : 9560 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546197 11079880704 12066 33554432000 4194304 4196468 140731936435568 140292148513376 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9561] ppid=9492 vsize=10820196 memory=140404019467904 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9561/stat : 9561 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546197 11079880704 12066 33554432000 4194304 4196468 140731936435568 140292580657968 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48264 KiB
[startup+0.700677 s]
/proc/loadavg: 1.53 1.43 1.42 3/227 9561
/proc/meminfo: memFree=6902968/32770624 swapFree=66959532/67108860
[pid=9495] ppid=9492 vsize=10824364 memory=81376 CPUtime=1.15 cores=0,2,4,6
/proc/9495/stat : 9495 (java) S 9492 9495 5017 0 -1 1077944320 15093 13046 0 0 101 6 5 3 20 0 15 0 474546182 11084148736 20344 33554432000 4194304 4196468 140731936435568 140731936418112 140293615996663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
/proc/9495/statm: 2706091 20344 3507 1 0 2668173 0
[pid=9495/tid=9548] ppid=9492 vsize=10824364 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/9495/task/9548/stat : 9548 (java) R 9492 9495 5017 0 -1 4202560 10413 13046 0 0 55 4 5 3 20 0 15 0 474546191 11084148736 20344 33554432000 4194304 4196468 140731936435568 140293587823536 140293601691504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9549] ppid=9492 vsize=10824364 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9549/stat : 9549 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546192 11084148736 20344 33554432000 4194304 4196468 140731936435568 140293620238608 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9550] ppid=9492 vsize=10824364 memory=4040 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9550/stat : 9550 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546192 11084148736 20344 33554432000 4194304 4196468 140731936435568 140293508512144 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9551] ppid=9492 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9551/stat : 9551 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546192 11084148736 20344 33554432000 4194304 4196468 140731936435568 140293507459600 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9552] ppid=9492 vsize=10824364 memory=140404019466737 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9552/stat : 9552 (java) S 9492 9495 5017 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 474546192 11084148736 20344 33554432000 4194304 4196468 140731936435568 140293506407056 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9553] ppid=9492 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9553/stat : 9553 (java) S 9492 9495 5017 0 -1 1077944384 5 13046 0 0 0 0 5 3 20 0 15 0 474546193 11084148736 20344 33554432000 4194304 4196468 140731936435568 140292618426864 140293616007810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9554] ppid=9492 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9554/stat : 9554 (java) S 9492 9495 5017 0 -1 1077944384 33 13046 0 0 0 0 5 3 20 0 15 0 474546193 11084148736 20344 33554432000 4194304 4196468 140731936435568 140292617373088 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9555] ppid=9492 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9555/stat : 9555 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546194 11084148736 20344 33554432000 4194304 4196468 140731936435568 140292489471472 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9556] ppid=9492 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9556/stat : 9556 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546196 11084148736 20344 33554432000 4194304 4196468 140731936435568 140292182072016 140293616015259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9557] ppid=9492 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/9495/task/9557/stat : 9557 (java) R 9492 9495 5017 0 -1 4202560 1096 13046 0 0 16 0 5 3 20 0 15 0 474546196 11084148736 20344 33554432000 4194304 4196468 140731936435568 140292583815152 140293593220816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9558] ppid=9492 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/9495/task/9558/stat : 9558 (java) S 9492 9495 5017 0 -1 1077944384 523 13046 0 0 12 0 5 3 20 0 15 0 474546196 11084148736 20344 33554432000 4194304 4196468 140731936435568 140292582762608 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9559] ppid=9492 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/9495/task/9559/stat : 9559 (java) S 9492 9495 5017 0 -1 1077944384 807 13046 0 0 17 0 5 3 20 0 15 0 474546196 11084148736 20344 33554432000 4194304 4196468 140731936435568 140292581710064 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9560] ppid=9492 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9560/stat : 9560 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546197 11084148736 20344 33554432000 4194304 4196468 140731936435568 140292148513376 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9561] ppid=9492 vsize=10824364 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9561/stat : 9561 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546197 11084148736 20344 33554432000 4194304 4196468 140731936435568 140292580657968 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81376 KiB
[startup+1.50354 s]
/proc/loadavg: 1.53 1.43 1.42 5/227 9561
/proc/meminfo: memFree=6859856/32770624 swapFree=66959532/67108860
[pid=9495] ppid=9492 vsize=10834680 memory=183292 CPUtime=2.93 cores=0,2,4,6
/proc/9495/stat : 9495 (java) S 9492 9495 5017 0 -1 1077944320 25714 13046 0 0 274 11 5 3 20 0 15 0 474546182 11094712320 45823 33554432000 4194304 4196468 140731936435568 140731936418112 140293615996663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
/proc/9495/statm: 2708670 45823 3587 1 0 2670733 0
[pid=9495/tid=9548] ppid=9492 vsize=10834680 memory=55 CPUtime=1.43 cores=0,2,4,6
/proc/9495/task/9548/stat : 9548 (java) R 9492 9495 5017 0 -1 4202560 16036 13046 0 0 128 7 5 3 20 0 15 0 474546191 11094712320 45823 33554432000 4194304 4196468 140731936435568 140293587827792 140293600040293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9549] ppid=9492 vsize=10834680 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/9495/task/9549/stat : 9549 (java) S 9492 9495 5017 0 -1 1077944384 334 13046 0 0 1 0 5 3 20 0 15 0 474546192 11094712320 45823 33554432000 4194304 4196468 140731936435568 140293620238608 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9550] ppid=9492 vsize=10834680 memory=140404019477985 CPUtime=0.09 cores=0,2,4,6
/proc/9495/task/9550/stat : 9550 (java) S 9492 9495 5017 0 -1 1077944384 27 13046 0 0 1 0 5 3 20 0 15 0 474546192 11094712320 45823 33554432000 4194304 4196468 140731936435568 140293508512144 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9551] ppid=9492 vsize=10834680 memory=140404019475777 CPUtime=0.09 cores=0,2,4,6
/proc/9495/task/9551/stat : 9551 (java) S 9492 9495 5017 0 -1 1077944384 50 13046 0 0 1 0 5 3 20 0 15 0 474546192 11094712320 45823 33554432000 4194304 4196468 140731936435568 140293507459600 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9552] ppid=9492 vsize=10834680 memory=140404019477665 CPUtime=0.09 cores=0,2,4,6
/proc/9495/task/9552/stat : 9552 (java) S 9492 9495 5017 0 -1 1077944384 65 13046 0 0 1 0 5 3 20 0 15 0 474546192 11094712320 45823 33554432000 4194304 4196468 140731936435568 140293506407056 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9553] ppid=9492 vsize=10834680 memory=1384 CPUtime=0.09 cores=0,2,4,6
/proc/9495/task/9553/stat : 9553 (java) S 9492 9495 5017 0 -1 1077944384 279 13046 0 0 1 0 5 3 20 0 15 0 474546193 11094712320 45823 33554432000 4194304 4196468 140731936435568 140292618426864 140293616007810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9554] ppid=9492 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9554/stat : 9554 (java) S 9492 9495 5017 0 -1 1077944384 33 13046 0 0 0 0 5 3 20 0 15 0 474546193 11094712320 45823 33554432000 4194304 4196468 140731936435568 140292617373088 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9555] ppid=9492 vsize=10834680 memory=7014751519700570214 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9555/stat : 9555 (java) S 9492 9495 5017 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 474546194 11094712320 45823 33554432000 4194304 4196468 140731936435568 140292489471472 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9556] ppid=9492 vsize=10834680 memory=7734480926354859609 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9556/stat : 9556 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546196 11094712320 45823 33554432000 4194304 4196468 140731936435568 140292182072016 140293616015259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9557] ppid=9492 vsize=10834680 memory=7230642895607783788 CPUtime=0.6 cores=0,2,4,6
/proc/9495/task/9557/stat : 9557 (java) S 9492 9495 5017 0 -1 1077944384 3751 13046 0 0 52 0 5 3 20 0 15 0 474546196 11094712320 45823 33554432000 4194304 4196468 140731936435568 140292583815152 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9558] ppid=9492 vsize=10834680 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/9495/task/9558/stat : 9558 (java) R 9492 9495 5017 0 -1 4202560 1249 13046 0 0 39 0 5 3 20 0 15 0 474546196 11094712320 45823 33554432000 4194304 4196468 140731936435568 140292582751600 140293600884784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9559] ppid=9492 vsize=10834680 memory=4949696295840688515 CPUtime=0.52 cores=0,2,4,6
/proc/9495/task/9559/stat : 9559 (java) R 9492 9495 5017 0 -1 4202560 1677 13046 0 0 44 0 5 3 20 0 15 0 474546196 11094712320 45823 33554432000 4194304 4196468 140731936435568 140292581706800 140293594932352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9560] ppid=9492 vsize=10834680 memory=-7390251449858225344 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9560/stat : 9560 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546197 11094712320 45823 33554432000 4194304 4196468 140731936435568 140292148513376 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9561] ppid=9492 vsize=10834680 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9561/stat : 9561 (java) S 9492 9495 5017 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 474546197 11094712320 45823 33554432000 4194304 4196468 140731936435568 140292580657968 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/9495/task/9548/stat : 9548 (java) R 9492 9495 5017 0 -1 4202560 283981 13046 0 0 235625 92 5 3 20 0 15 0 474546191 11109412864 138841 33554432000 4194304 4196468 140731936435568 140293587831504 140293197943345 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9549] ppid=9492 vsize=10849036 memory=565924 CPUtime=14.53 cores=0,2,4,6
/proc/9495/task/9549/stat : 9549 (java) S 9492 9495 5017 0 -1 1077944384 38041 13046 0 0 1362 83 5 3 20 0 15 0 474546192 11109412864 138841 33554432000 4194304 4196468 140731936435568 140293620238608 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9550] ppid=9492 vsize=10849036 memory=550684 CPUtime=14.51 cores=0,2,4,6
/proc/9495/task/9550/stat : 9550 (java) S 9492 9495 5017 0 -1 1077944384 38826 13046 0 0 1362 81 5 3 20 0 15 0 474546192 11109412864 138841 33554432000 4194304 4196468 140731936435568 140293508512144 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9551] ppid=9492 vsize=10849036 memory=562172 CPUtime=14.54 cores=0,2,4,6
/proc/9495/task/9551/stat : 9551 (java) S 9492 9495 5017 0 -1 1077944384 41390 13046 0 0 1368 78 5 3 20 0 15 0 474546192 11109412864 138841 33554432000 4194304 4196468 140731936435568 140293507459600 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9552] ppid=9492 vsize=10849036 memory=570076 CPUtime=14.56 cores=0,2,4,6
/proc/9495/task/9552/stat : 9552 (java) S 9492 9495 5017 0 -1 1077944384 38831 13046 0 0 1363 85 5 3 20 0 15 0 474546192 11109412864 138841 33554432000 4194304 4196468 140731936435568 140293506407056 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9553] ppid=9492 vsize=10849036 memory=569048 CPUtime=7.22 cores=0,2,4,6
/proc/9495/task/9553/stat : 9553 (java) S 9492 9495 5017 0 -1 1077944384 14963 13046 0 0 629 85 5 3 20 0 15 0 474546193 11109412864 138841 33554432000 4194304 4196468 140731936435568 140292618426864 140293616007810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9554] ppid=9492 vsize=10849036 memory=564944 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9554/stat : 9554 (java) S 9492 9495 5017 0 -1 1077944384 45 13046 0 0 0 0 5 3 20 0 15 0 474546193 11109412864 138841 33554432000 4194304 4196468 140731936435568 140292617373216 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9555] ppid=9492 vsize=10849036 memory=556224 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9555/stat : 9555 (java) S 9492 9495 5017 0 -1 1077944384 13 13046 0 0 0 0 5 3 20 0 15 0 474546194 11109412864 138841 33554432000 4194304 4196468 140731936435568 140292489471488 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9556] ppid=9492 vsize=10849036 memory=566996 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9556/stat : 9556 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546196 11109412864 138841 33554432000 4194304 4196468 140731936435568 140292182072016 140293616015259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9557] ppid=9492 vsize=10849036 memory=559300 CPUtime=7.69 cores=0,2,4,6
/proc/9495/task/9557/stat : 9557 (java) S 9492 9495 5017 0 -1 1077944384 47149 13046 0 0 755 6 5 3 20 0 15 0 474546196 11109412864 138841 33554432000 4194304 4196468 140731936435568 140292583815152 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9558] ppid=9492 vsize=10849036 memory=3624 CPUtime=7.39 cores=0,2,4,6
/proc/9495/task/9558/stat : 9558 (java) S 9492 9495 5017 0 -1 1077944384 33178 13046 0 0 727 4 5 3 20 0 15 0 474546196 11109412864 138841 33554432000 4194304 4196468 140731936435568 140292582762608 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9559] ppid=9492 vsize=10849036 memory=2024 CPUtime=2.64 cores=0,2,4,6
/proc/9495/task/9559/stat : 9559 (java) S 9492 9495 5017 0 -1 1077944384 26781 13046 0 0 250 6 5 3 20 0 15 0 474546196 11109412864 138841 33554432000 4194304 4196468 140731936435568 140292581710064 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9560] ppid=9492 vsize=10849036 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9560/stat : 9560 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546197 11109412864 138841 33554432000 4194304 4196468 140731936435568 140292148513376 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9561] ppid=9492 vsize=10849036 memory=8112282956445269571 CPUtime=1.51 cores=0,2,4,6
/proc/9495/task/9561/stat : 9561 (java) S 9492 9495 5017 0 -1 1077944384 967 13046 0 0 72 71 5 3 20 0 15 0 474546197 11109412864 138841 33554432000 4194304 4196468 140731936435568 140292580657968 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
Current children cumulated CPU time: 2441.22 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 555364 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.53 1.51 3/229 10458
/proc/meminfo: memFree=3823164/32770624 swapFree=66959532/67108860
[pid=9495] ppid=9492 vsize=10849036 memory=577776 CPUtime=2502.45 cores=0,2,4,6
/proc/9495/stat : 9495 (java) S 9492 9495 5017 0 -1 1077944320 580623 13046 0 0 249683 554 5 3 20 0 15 0 474546182 11109412864 144444 33554432000 4194304 4196468 140731936435568 140731936418112 140293615996663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
/proc/9495/statm: 2712259 144444 3633 1 0 2674317 0
[pid=9495/tid=9548] ppid=9492 vsize=10849036 memory=583420 CPUtime=2416.55 cores=0,2,4,6
/proc/9495/task/9548/stat : 9548 (java) R 9492 9495 5017 0 -1 4202560 294900 13046 0 0 241553 94 5 3 20 0 15 0 474546191 11109412864 144444 33554432000 4194304 4196468 140731936435568 140293587832288 140293195938994 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9549] ppid=9492 vsize=10849036 memory=586500 CPUtime=14.97 cores=0,2,4,6
/proc/9495/task/9549/stat : 9549 (java) S 9492 9495 5017 0 -1 1077944384 38873 13046 0 0 1403 86 5 3 20 0 15 0 474546192 11109412864 144444 33554432000 4194304 4196468 140731936435568 140293620238608 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9550] ppid=9492 vsize=10849036 memory=594524 CPUtime=14.93 cores=0,2,4,6
/proc/9495/task/9550/stat : 9550 (java) S 9492 9495 5017 0 -1 1077944384 39503 13046 0 0 1402 83 5 3 20 0 15 0 474546192 11109412864 144444 33554432000 4194304 4196468 140731936435568 140293508512144 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9551] ppid=9492 vsize=10849036 memory=564428 CPUtime=14.97 cores=0,2,4,6
/proc/9495/task/9551/stat : 9551 (java) S 9492 9495 5017 0 -1 1077944384 42108 13046 0 0 1408 81 5 3 20 0 15 0 474546192 11109412864 144444 33554432000 4194304 4196468 140731936435568 140293507459600 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9552] ppid=9492 vsize=10849036 memory=580856 CPUtime=14.99 cores=0,2,4,6
/proc/9495/task/9552/stat : 9552 (java) S 9492 9495 5017 0 -1 1077944384 39610 13046 0 0 1403 88 5 3 20 0 15 0 474546192 11109412864 144444 33554432000 4194304 4196468 140731936435568 140293506407056 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9553] ppid=9492 vsize=10849036 memory=578804 CPUtime=7.39 cores=0,2,4,6
/proc/9495/task/9553/stat : 9553 (java) S 9492 9495 5017 0 -1 1077944384 15262 13046 0 0 644 87 5 3 20 0 15 0 474546193 11109412864 144444 33554432000 4194304 4196468 140731936435568 140292618426864 140293616007810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9554] ppid=9492 vsize=10849036 memory=581368 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9554/stat : 9554 (java) S 9492 9495 5017 0 -1 1077944384 45 13046 0 0 0 0 5 3 20 0 15 0 474546193 11109412864 144444 33554432000 4194304 4196468 140731936435568 140292617373216 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9555] ppid=9492 vsize=10849036 memory=589900 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9555/stat : 9555 (java) S 9492 9495 5017 0 -1 1077944384 13 13046 0 0 0 0 5 3 20 0 15 0 474546194 11109412864 144444 33554432000 4194304 4196468 140731936435568 140292489471488 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9556] ppid=9492 vsize=10849036 memory=590932 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9556/stat : 9556 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546196 11109412864 144444 33554432000 4194304 4196468 140731936435568 140292182072016 140293616015259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9557] ppid=9492 vsize=10849036 memory=55528 CPUtime=7.69 cores=0,2,4,6
/proc/9495/task/9557/stat : 9557 (java) S 9492 9495 5017 0 -1 1077944384 47151 13046 0 0 755 6 5 3 20 0 15 0 474546196 11109412864 144444 33554432000 4194304 4196468 140731936435568 140292583815152 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9558] ppid=9492 vsize=10849036 memory=988 CPUtime=7.39 cores=0,2,4,6
/proc/9495/task/9558/stat : 9558 (java) S 9492 9495 5017 0 -1 1077944384 33180 13046 0 0 727 4 5 3 20 0 15 0 474546196 11109412864 144444 33554432000 4194304 4196468 140731936435568 140292582762608 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9559] ppid=9492 vsize=10849036 memory=566604 CPUtime=2.64 cores=0,2,4,6
/proc/9495/task/9559/stat : 9559 (java) S 9492 9495 5017 0 -1 1077944384 26783 13046 0 0 250 6 5 3 20 0 15 0 474546196 11109412864 144444 33554432000 4194304 4196468 140731936435568 140292581710064 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9560] ppid=9492 vsize=10849036 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9560/stat : 9560 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546197 11109412864 144444 33554432000 4194304 4196468 140731936435568 140292148513376 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9561] ppid=9492 vsize=10849036 memory=579316 CPUtime=1.56 cores=0,2,4,6
/proc/9495/task/9561/stat : 9561 (java) S 9492 9495 5017 0 -1 1077944384 985 13046 0 0 75 73 5 3 20 0 15 0 474546197 11109412864 144444 33554432000 4194304 4196468 140731936435568 140292580657968 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
Current children cumulated CPU time: 2502.45 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 577776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2459.5 s]
/proc/loadavg: 1.42 1.49 1.50 3/230 10461
/proc/meminfo: memFree=3830204/32770624 swapFree=66959532/67108860
[pid=9495] ppid=9492 vsize=10849036 memory=570340 CPUtime=2520.04 cores=0,2,4,6
/proc/9495/stat : 9495 (java) S 9492 9495 5017 0 -1 1077944320 582592 13046 0 0 251438 558 5 3 20 0 15 0 474546182 11109412864 142585 33554432000 4194304 4196468 140731936435568 140731936418112 140293615996663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
/proc/9495/statm: 2712259 142585 3633 1 0 2674317 0
[pid=9495/tid=9548] ppid=9492 vsize=10849036 memory=575980 CPUtime=2433.57 cores=0,2,4,6
/proc/9495/task/9548/stat : 9548 (java) R 9492 9495 5017 0 -1 4202560 295753 13046 0 0 243255 94 5 3 20 0 15 0 474546191 11109412864 142585 33554432000 4194304 4196468 140731936435568 140293587831616 140293189876240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9549] ppid=9492 vsize=10849036 memory=564428 CPUtime=15.08 cores=0,2,4,6
/proc/9495/task/9549/stat : 9549 (java) S 9492 9495 5017 0 -1 1077944384 38976 13046 0 0 1414 86 5 3 20 0 15 0 474546192 11109412864 142585 33554432000 4194304 4196468 140731936435568 140293620238608 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9550] ppid=9492 vsize=10849036 memory=573928 CPUtime=15.05 cores=0,2,4,6
/proc/9495/task/9550/stat : 9550 (java) S 9492 9495 5017 0 -1 1077944384 39692 13046 0 0 1414 83 5 3 20 0 15 0 474546192 11109412864 142585 33554432000 4194304 4196468 140731936435568 140293508512144 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9551] ppid=9492 vsize=10849036 memory=1502 CPUtime=15.08 cores=0,2,4,6
/proc/9495/task/9551/stat : 9551 (java) S 9492 9495 5017 0 -1 1077944384 42338 13046 0 0 1419 81 5 3 20 0 15 0 474546192 11109412864 142585 33554432000 4194304 4196468 140731936435568 140293507459600 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9552] ppid=9492 vsize=10849036 memory=572904 CPUtime=15.12 cores=0,2,4,6
/proc/9495/task/9552/stat : 9552 (java) S 9492 9495 5017 0 -1 1077944384 39987 13046 0 0 1415 89 5 3 20 0 15 0 474546192 11109412864 142585 33554432000 4194304 4196468 140731936435568 140293506407056 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9553] ppid=9492 vsize=10849036 memory=570340 CPUtime=7.43 cores=0,2,4,6
/proc/9495/task/9553/stat : 9553 (java) S 9492 9495 5017 0 -1 1077944384 15458 13046 0 0 648 87 5 3 20 0 15 0 474546193 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292618426864 140293616007810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9554] ppid=9492 vsize=10849036 memory=17302 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9554/stat : 9554 (java) S 9492 9495 5017 0 -1 1077944384 45 13046 0 0 0 0 5 3 20 0 15 0 474546193 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292617373216 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9555] ppid=9492 vsize=10849036 memory=393 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9555/stat : 9555 (java) S 9492 9495 5017 0 -1 1077944384 13 13046 0 0 0 0 5 3 20 0 15 0 474546194 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292489471488 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9556] ppid=9492 vsize=10849036 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9556/stat : 9556 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546196 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292182072016 140293616015259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9557] ppid=9492 vsize=10849036 memory=7953758703165137518 CPUtime=7.69 cores=0,2,4,6
/proc/9495/task/9557/stat : 9557 (java) S 9492 9495 5017 0 -1 1077944384 47154 13046 0 0 755 6 5 3 20 0 15 0 474546196 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292583815152 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9558] ppid=9492 vsize=10849036 memory=574956 CPUtime=7.39 cores=0,2,4,6
/proc/9495/task/9558/stat : 9558 (java) S 9492 9495 5017 0 -1 1077944384 33182 13046 0 0 727 4 5 3 20 0 15 0 474546196 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292582762608 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9559] ppid=9492 vsize=10849036 memory=988 CPUtime=2.64 cores=0,2,4,6
/proc/9495/task/9559/stat : 9559 (java) S 9492 9495 5017 0 -1 1077944384 26785 13046 0 0 250 6 5 3 20 0 15 0 474546196 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292581710064 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9560] ppid=9492 vsize=10849036 memory=571876 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9560/stat : 9560 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546197 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292148513376 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9561] ppid=9492 vsize=10849036 memory=6044 CPUtime=1.56 cores=0,2,4,6
/proc/9495/task/9561/stat : 9561 (java) S 9492 9495 5017 0 -1 1077944384 999 13046 0 0 75 73 5 3 20 0 15 0 474546197 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292580657968 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 570340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2459.57 s]
# the end of solver process 9495 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.48 s, system=5.62335 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2459.5 s]
/proc/loadavg: 1.42 1.49 1.50 3/230 10461
/proc/meminfo: memFree=3830204/32770624 swapFree=66959532/67108860
[pid=9495] ppid=9492 vsize=10849036 memory=570340 CPUtime=2520.04 cores=0,2,4,6
/proc/9495/stat : 9495 (java) S 9492 9495 5017 0 -1 1077944320 582592 13046 0 0 251438 558 5 3 20 0 15 0 474546182 11109412864 142585 33554432000 4194304 4196468 140731936435568 140731936418112 140293615996663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
/proc/9495/statm: 2712259 142585 3633 1 0 2674317 0
[pid=9495/tid=9548] ppid=9492 vsize=10849036 memory=575980 CPUtime=2433.57 cores=0,2,4,6
/proc/9495/task/9548/stat : 9548 (java) R 9492 9495 5017 0 -1 4202560 295753 13046 0 0 243255 94 5 3 20 0 15 0 474546191 11109412864 142585 33554432000 4194304 4196468 140731936435568 140293587831616 140293189876240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9549] ppid=9492 vsize=10849036 memory=564428 CPUtime=15.08 cores=0,2,4,6
/proc/9495/task/9549/stat : 9549 (java) S 9492 9495 5017 0 -1 1077944384 38976 13046 0 0 1414 86 5 3 20 0 15 0 474546192 11109412864 142585 33554432000 4194304 4196468 140731936435568 140293620238608 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9550] ppid=9492 vsize=10849036 memory=573928 CPUtime=15.05 cores=0,2,4,6
/proc/9495/task/9550/stat : 9550 (java) S 9492 9495 5017 0 -1 1077944384 39692 13046 0 0 1414 83 5 3 20 0 15 0 474546192 11109412864 142585 33554432000 4194304 4196468 140731936435568 140293508512144 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9551] ppid=9492 vsize=10849036 memory=1502 CPUtime=15.08 cores=0,2,4,6
/proc/9495/task/9551/stat : 9551 (java) S 9492 9495 5017 0 -1 1077944384 42338 13046 0 0 1419 81 5 3 20 0 15 0 474546192 11109412864 142585 33554432000 4194304 4196468 140731936435568 140293507459600 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9552] ppid=9492 vsize=10849036 memory=572904 CPUtime=15.12 cores=0,2,4,6
/proc/9495/task/9552/stat : 9552 (java) S 9492 9495 5017 0 -1 1077944384 39987 13046 0 0 1415 89 5 3 20 0 15 0 474546192 11109412864 142585 33554432000 4194304 4196468 140731936435568 140293506407056 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9553] ppid=9492 vsize=10849036 memory=570340 CPUtime=7.43 cores=0,2,4,6
/proc/9495/task/9553/stat : 9553 (java) S 9492 9495 5017 0 -1 1077944384 15458 13046 0 0 648 87 5 3 20 0 15 0 474546193 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292618426864 140293616007810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9554] ppid=9492 vsize=10849036 memory=17302 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9554/stat : 9554 (java) S 9492 9495 5017 0 -1 1077944384 45 13046 0 0 0 0 5 3 20 0 15 0 474546193 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292617373216 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9555] ppid=9492 vsize=10849036 memory=393 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9555/stat : 9555 (java) S 9492 9495 5017 0 -1 1077944384 13 13046 0 0 0 0 5 3 20 0 15 0 474546194 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292489471488 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9556] ppid=9492 vsize=10849036 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9556/stat : 9556 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546196 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292182072016 140293616015259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9557] ppid=9492 vsize=10849036 memory=7953758703165137518 CPUtime=7.69 cores=0,2,4,6
/proc/9495/task/9557/stat : 9557 (java) S 9492 9495 5017 0 -1 1077944384 47154 13046 0 0 755 6 5 3 20 0 15 0 474546196 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292583815152 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9558] ppid=9492 vsize=10849036 memory=574956 CPUtime=7.39 cores=0,2,4,6
/proc/9495/task/9558/stat : 9558 (java) S 9492 9495 5017 0 -1 1077944384 33182 13046 0 0 727 4 5 3 20 0 15 0 474546196 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292582762608 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9559] ppid=9492 vsize=10849036 memory=988 CPUtime=2.64 cores=0,2,4,6
/proc/9495/task/9559/stat : 9559 (java) S 9492 9495 5017 0 -1 1077944384 26785 13046 0 0 250 6 5 3 20 0 15 0 474546196 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292581710064 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9560] ppid=9492 vsize=10849036 memory=571876 CPUtime=0.08 cores=0,2,4,6
/proc/9495/task/9560/stat : 9560 (java) S 9492 9495 5017 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 474546197 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292148513376 140293616006869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
[pid=9495/tid=9561] ppid=9492 vsize=10849036 memory=6044 CPUtime=1.56 cores=0,2,4,6
/proc/9495/task/9561/stat : 9561 (java) S 9492 9495 5017 0 -1 1077944384 999 13046 0 0 75 73 5 3 20 0 15 0 474546197 11109412864 142585 33554432000 4194304 4196468 140731936435568 140292580657968 140293616007810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35917824 140731936439023 140731936441541 140731936441541 140731936444367 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 570340 KiB
Child status: 143
Real time (s): 2459.57
CPU time (s): 2520.11
CPU user time (s): 2514.48
CPU system time (s): 5.62335
CPU usage (%): 102.461
Max. virtual memory (cumulated for all children) (KiB): 10849804
Max. memory (cumulated for all children) (KiB): 1810288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.48
system time used= 5.62335
maximum resident set size= 1815436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 597072
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 206536
involuntary context switches= 7697
# summary of solver processes directly reported to runsolver:
# pid: 9495
# total CPU time (s): 2520.11
# total CPU user time (s): 2514.48
# total CPU system time (s): 5.62335
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8452 second user time and 25.4033 second system time
The end