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 (4887 MiB free)
memory of node 1: 16384 MiB (7782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295853-1532598730/watcher-4295853-1532598730 -o /tmp/evaluation-result-4295853-1532598730/solver-4295853-1532598730 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532598730-8938 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1668681241 HOME/instance-4295853-1532598730.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8968, runsolver pid=8961
[startup+0.100108 s]*
/proc/loadavg: 1.55 1.66 1.87 3/189 9073
/proc/meminfo: memFree=12965872/32770624 swapFree=67108860/67108860
[pid=8968] ppid=8961 vsize=9972712 memory=18324 CPUtime=0.09 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8961 8968 6157 0 -1 1077944320 4190 13265 0 0 0 1 5 3 20 0 6 0 77436181 10212057088 4581 33554432000 4194304 4196468 140733820781248 140733820763792 140651563441911 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
/proc/8968/statm: 2493178 4581 1930 1 0 2481616 0
[pid=8968/tid=9073] ppid=8961 vsize=9972712 memory=-2899909650764262549 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9073/stat : 9073 (java) R 8961 8968 6157 0 -1 4202560 2016 13265 0 0 0 0 5 3 20 0 6 0 77436191 10212057088 4581 33554432000 4194304 4196468 140733820781248 140651535278672 140651549124437 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9078] ppid=8961 vsize=9972712 memory=5793854886600690105 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9078/stat : 9078 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 6 0 77436192 10212057088 4581 33554432000 4194304 4196468 140733820781248 140651567684752 140651563452117 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9079] ppid=8961 vsize=9972712 memory=139635590796928 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9079/stat : 9079 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 6 0 77436192 10212057088 4581 33554432000 4194304 4196468 140733820781248 140651455958032 140651563452117 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9080] ppid=8961 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9080/stat : 9080 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 6 0 77436192 10212057088 4581 33554432000 4194304 4196468 140733820781248 140651136019344 140651563452117 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9081] ppid=8961 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9081/stat : 9081 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 6 0 77436192 10212057088 4581 33554432000 4194304 4196468 140733820781248 140651134966544 140651563452117 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18324 KiB
[startup+0.21004 s]*
/proc/loadavg: 1.55 1.66 1.87 4/215 9099
/proc/meminfo: memFree=12920944/32770624 swapFree=67108860/67108860
[pid=8968] ppid=8961 vsize=10818856 memory=41952 CPUtime=0.26 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8961 8968 6157 0 -1 1077944320 8361 13265 0 0 16 2 5 3 20 0 15 0 77436181 11078508544 10488 33554432000 4194304 4196468 140733820781248 140733820763792 140651563441911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
/proc/8968/statm: 2704714 10488 2960 1 0 2667149 0
[pid=8968/tid=9073] ppid=8961 vsize=10818856 memory=7377246124687064083 CPUtime=0.19 cores=0,2,4,6
/proc/8968/task/9073/stat : 9073 (java) R 8961 8968 6157 0 -1 4202560 4859 13265 0 0 10 1 5 3 20 0 15 0 77436191 11078508544 10488 33554432000 4194304 4196468 140733820781248 140651535239568 140651543717226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9078] ppid=8961 vsize=10818856 memory=4211973361795587466 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9078/stat : 9078 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436192 11078508544 10488 33554432000 4194304 4196468 140733820781248 140651567684752 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9079] ppid=8961 vsize=10818856 memory=139635590796928 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9079/stat : 9079 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436192 11078508544 10488 33554432000 4194304 4196468 140733820781248 140651455958032 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9080] ppid=8961 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9080/stat : 9080 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436192 11078508544 10488 33554432000 4194304 4196468 140733820781248 140651136019344 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9081] ppid=8961 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9081/stat : 9081 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436192 11078508544 10488 33554432000 4194304 4196468 140733820781248 140651134966544 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9083] ppid=8961 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9083/stat : 9083 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436193 11078508544 10488 33554432000 4194304 4196468 140733820781248 140651022899568 140651563453058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9085] ppid=8961 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9085/stat : 9085 (java) S 8961 8968 6157 0 -1 1077944384 33 13265 0 0 0 0 5 3 20 0 15 0 77436193 11078508544 10488 33554432000 4194304 4196468 140733820781248 140651021845536 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9087] ppid=8961 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9087/stat : 9087 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436194 11078508544 10488 33554432000 4194304 4196468 140733820781248 140650381042544 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9092] ppid=8961 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9092/stat : 9092 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436196 11078508544 10488 33554432000 4194304 4196468 140733820781248 140650140751696 140651563460507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9094] ppid=8961 vsize=10818856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9094/stat : 9094 (java) S 8961 8968 6157 0 -1 1077944384 479 13265 0 0 1 0 5 3 20 0 15 0 77436196 11078508544 10488 33554432000 4194304 4196468 140733820781248 140650988288880 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9095] ppid=8961 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9095/stat : 9095 (java) S 8961 8968 6157 0 -1 1077944384 138 13265 0 0 0 0 5 3 20 0 15 0 77436196 11078508544 10488 33554432000 4194304 4196468 140733820781248 140650987236080 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9096] ppid=8961 vsize=10818856 memory=139635590796928 CPUtime=0.11 cores=0,2,4,6
/proc/8968/task/9096/stat : 9096 (java) S 8961 8968 6157 0 -1 1077944384 650 13265 0 0 3 0 5 3 20 0 15 0 77436196 11078508544 10488 33554432000 4194304 4196468 140733820781248 140650986183280 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9098] ppid=8961 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9098/stat : 9098 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436197 11078508544 10488 33554432000 4194304 4196468 140733820781248 140650107194080 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9099] ppid=8961 vsize=10818856 memory=139635590796928 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9099/stat : 9099 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436197 11078508544 10488 33554432000 4194304 4196468 140733820781248 140650461784752 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 41952 KiB
[startup+0.310249 s]*
/proc/loadavg: 1.55 1.66 1.87 4/215 9099
/proc/meminfo: memFree=12896072/32770624 swapFree=67108860/67108860
[pid=8968] ppid=8961 vsize=10819352 memory=53560 CPUtime=0.39 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8961 8968 6157 0 -1 1077944320 10376 13265 0 0 28 3 5 3 20 0 15 0 77436181 11079016448 13390 33554432000 4194304 4196468 140733820781248 140733820763792 140651563441911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
/proc/8968/statm: 2704838 13390 3105 1 0 2667149 0
[pid=8968/tid=9073] ppid=8961 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/8968/task/9073/stat : 9073 (java) R 8961 8968 6157 0 -1 4202560 6864 13265 0 0 19 2 5 3 20 0 15 0 77436191 11079016448 13390 33554432000 4194304 4196468 140733820781248 140651535253920 140651547522398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9078] ppid=8961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9078/stat : 9078 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436192 11079016448 13390 33554432000 4194304 4196468 140733820781248 140651567684752 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9079] ppid=8961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9079/stat : 9079 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436192 11079016448 13390 33554432000 4194304 4196468 140733820781248 140651455958032 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9080] ppid=8961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9080/stat : 9080 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436192 11079016448 13390 33554432000 4194304 4196468 140733820781248 140651136019344 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9081] ppid=8961 vsize=10819352 memory=2 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9081/stat : 9081 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436192 11079016448 13390 33554432000 4194304 4196468 140733820781248 140651134966544 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9083] ppid=8961 vsize=10819352 memory=139635590796927 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9083/stat : 9083 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436193 11079016448 13390 33554432000 4194304 4196468 140733820781248 140651022899568 140651563453058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9085] ppid=8961 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9085/stat : 9085 (java) S 8961 8968 6157 0 -1 1077944384 33 13265 0 0 0 0 5 3 20 0 15 0 77436193 11079016448 13390 33554432000 4194304 4196468 140733820781248 140651021845536 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9087] ppid=8961 vsize=10819352 memory=139635590796928 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9087/stat : 9087 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436194 11079016448 13390 33554432000 4194304 4196468 140733820781248 140650381042544 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9092] ppid=8961 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9092/stat : 9092 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436196 11079016448 13390 33554432000 4194304 4196468 140733820781248 140650140751696 140651563460507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9094] ppid=8961 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/8968/task/9094/stat : 9094 (java) S 8961 8968 6157 0 -1 1077944384 480 13265 0 0 2 0 5 3 20 0 15 0 77436196 11079016448 13390 33554432000 4194304 4196468 140733820781248 140650988288880 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9095] ppid=8961 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9095/stat : 9095 (java) S 8961 8968 6157 0 -1 1077944384 138 13265 0 0 1 0 5 3 20 0 15 0 77436196 11079016448 13390 33554432000 4194304 4196468 140733820781248 140650987236080 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9096] ppid=8961 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8968/task/9096/stat : 9096 (java) S 8961 8968 6157 0 -1 1077944384 662 13265 0 0 5 0 5 3 20 0 15 0 77436196 11079016448 13390 33554432000 4194304 4196468 140733820781248 140650986183280 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9098] ppid=8961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9098/stat : 9098 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436197 11079016448 13390 33554432000 4194304 4196468 140733820781248 140650107194080 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9099] ppid=8961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9099/stat : 9099 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436197 11079016448 13390 33554432000 4194304 4196468 140733820781248 140650461784752 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53560 KiB
[startup+0.700885 s]
/proc/loadavg: 1.55 1.66 1.87 4/215 9099
/proc/meminfo: memFree=12873172/32770624 swapFree=67108860/67108860
[pid=8968] ppid=8961 vsize=10819352 memory=86804 CPUtime=0.98 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8961 8968 6157 0 -1 1077944320 16853 13265 0 0 86 4 5 3 20 0 15 0 77436181 11079016448 21701 33554432000 4194304 4196468 140733820781248 140733820763792 140651563441911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
/proc/8968/statm: 2704838 21701 3237 1 0 2667149 0
[pid=8968/tid=9073] ppid=8961 vsize=10819352 memory=23060 CPUtime=0.66 cores=0,2,4,6
/proc/8968/task/9073/stat : 9073 (java) R 8961 8968 6157 0 -1 4202560 12337 13265 0 0 55 3 5 3 20 0 15 0 77436191 11079016448 21701 33554432000 4194304 4196468 140733820781248 140651535262736 140651545005471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9078] ppid=8961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9078/stat : 9078 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436192 11079016448 21701 33554432000 4194304 4196468 140733820781248 140651567684752 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9079] ppid=8961 vsize=10819352 memory=288230587427465593 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9079/stat : 9079 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436192 11079016448 21701 33554432000 4194304 4196468 140733820781248 140651455958032 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9080] ppid=8961 vsize=10819352 memory=14130039499279127 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9080/stat : 9080 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436192 11079016448 21701 33554432000 4194304 4196468 140733820781248 140651136019344 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9081] ppid=8961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9081/stat : 9081 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436192 11079016448 21701 33554432000 4194304 4196468 140733820781248 140651134966544 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9083] ppid=8961 vsize=10819352 memory=139635494003200 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9083/stat : 9083 (java) S 8961 8968 6157 0 -1 1077944384 5 13265 0 0 0 0 5 3 20 0 15 0 77436193 11079016448 21701 33554432000 4194304 4196468 140733820781248 140651022899568 140651563453058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9085] ppid=8961 vsize=10819352 memory=139637976728626 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9085/stat : 9085 (java) S 8961 8968 6157 0 -1 1077944384 33 13265 0 0 0 0 5 3 20 0 15 0 77436193 11079016448 21701 33554432000 4194304 4196468 140733820781248 140651021845536 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9087] ppid=8961 vsize=10819352 memory=1236 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9087/stat : 9087 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436194 11079016448 21701 33554432000 4194304 4196468 140733820781248 140650381042544 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9092] ppid=8961 vsize=10819352 memory=7305218370954488405 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9092/stat : 9092 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436196 11079016448 21701 33554432000 4194304 4196468 140733820781248 140650140751696 140651563460507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9094] ppid=8961 vsize=10819352 memory=7884488363001599585 CPUtime=0.18 cores=0,2,4,6
/proc/8968/task/9094/stat : 9094 (java) S 8961 8968 6157 0 -1 1077944384 1138 13265 0 0 10 0 5 3 20 0 15 0 77436196 11079016448 21701 33554432000 4194304 4196468 140733820781248 140650988288880 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9095] ppid=8961 vsize=10819352 memory=6935655852947886160 CPUtime=0.14 cores=0,2,4,6
/proc/8968/task/9095/stat : 9095 (java) S 8961 8968 6157 0 -1 1077944384 393 13265 0 0 6 0 5 3 20 0 15 0 77436196 11079016448 21701 33554432000 4194304 4196468 140733820781248 140650987236080 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9096] ppid=8961 vsize=10819352 memory=5450909908396308010 CPUtime=0.21 cores=0,2,4,6
/proc/8968/task/9096/stat : 9096 (java) S 8961 8968 6157 0 -1 1077944384 745 13265 0 0 13 0 5 3 20 0 15 0 77436196 11079016448 21701 33554432000 4194304 4196468 140733820781248 140650986183280 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9098] ppid=8961 vsize=10819352 memory=-7533522213388100735 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9098/stat : 9098 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436197 11079016448 21701 33554432000 4194304 4196468 140733820781248 140650107194080 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9099] ppid=8961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9099/stat : 9099 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436197 11079016448 21701 33554432000 4194304 4196468 140733820781248 140650461784752 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86804 KiB
[startup+1.50117 s]
/proc/loadavg: 1.55 1.66 1.87 6/215 9099
/proc/meminfo: memFree=12780052/32770624 swapFree=67108860/67108860
[pid=8968] ppid=8961 vsize=10834252 memory=177628 CPUtime=2.3 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8961 8968 6157 0 -1 1077944320 24627 13265 0 0 213 9 5 3 20 0 15 0 77436181 11094274048 44407 33554432000 4194304 4196468 140733820781248 140733820763792 140651563441911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
/proc/8968/statm: 2708563 44407 3465 1 0 2670221 0
[pid=8968/tid=9073] ppid=8961 vsize=10834252 memory=7019467088024121401 CPUtime=1.43 cores=0,2,4,6
/proc/8968/task/9073/stat : 9073 (java) R 8961 8968 6157 0 -1 4202560 18029 13265 0 0 129 6 5 3 20 0 15 0 77436191 11094274048 44407 33554432000 4194304 4196468 140733820781248 140651535250416 140651545005467 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9078] ppid=8961 vsize=10834252 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9078/stat : 9078 (java) S 8961 8968 6157 0 -1 1077944384 12 13265 0 0 1 0 5 3 20 0 15 0 77436192 11094274048 44407 33554432000 4194304 4196468 140733820781248 140651567684752 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9079] ppid=8961 vsize=10834252 memory=2209 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9079/stat : 9079 (java) S 8961 8968 6157 0 -1 1077944384 56 13265 0 0 1 0 5 3 20 0 15 0 77436192 11094274048 44407 33554432000 4194304 4196468 140733820781248 140651455958032 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9080] ppid=8961 vsize=10834252 memory=144096 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9080/stat : 9080 (java) S 8961 8968 6157 0 -1 1077944384 33 13265 0 0 1 0 5 3 20 0 15 0 77436192 11094274048 44407 33554432000 4194304 4196468 140733820781248 140651136019344 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9081] ppid=8961 vsize=10834252 memory=-3117775541953849440 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9081/stat : 9081 (java) S 8961 8968 6157 0 -1 1077944384 245 13265 0 0 1 0 5 3 20 0 15 0 77436192 11094274048 44407 33554432000 4194304 4196468 140733820781248 140651134966544 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9083] ppid=8961 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9083/stat : 9083 (java) S 8961 8968 6157 0 -1 1077944384 482 13265 0 0 1 0 5 3 20 0 15 0 77436193 11094274048 44407 33554432000 4194304 4196468 140733820781248 140651022899568 140651563453058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9085] ppid=8961 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9085/stat : 9085 (java) S 8961 8968 6157 0 -1 1077944384 34 13265 0 0 0 0 5 3 20 0 15 0 77436193 11094274048 44407 33554432000 4194304 4196468 140733820781248 140651021845600 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9087] ppid=8961 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9087/stat : 9087 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436194 11094274048 44407 33554432000 4194304 4196468 140733820781248 140650381042560 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9092] ppid=8961 vsize=10834252 memory=178646681704857 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9092/stat : 9092 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436196 11094274048 44407 33554432000 4194304 4196468 140733820781248 140650140751696 140651563460507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9094] ppid=8961 vsize=10834252 memory=440234 CPUtime=0.3 cores=0,2,4,6
/proc/8968/task/9094/stat : 9094 (java) S 8961 8968 6157 0 -1 1077944384 1325 13265 0 0 22 0 5 3 20 0 15 0 77436196 11094274048 44407 33554432000 4194304 4196468 140733820781248 140650988288880 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9095] ppid=8961 vsize=10834252 memory=6935649255759568960 CPUtime=0.27 cores=0,2,4,6
/proc/8968/task/9095/stat : 9095 (java) S 8961 8968 6157 0 -1 1077944384 830 13265 0 0 19 0 5 3 20 0 15 0 77436196 11094274048 44407 33554432000 4194304 4196468 140733820781248 140650987236080 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9096] ppid=8961 vsize=10834252 memory=4638778402627666016 CPUtime=0.42 cores=0,2,4,6
/proc/8968/task/9096/stat : 9096 (java) S 8961 8968 6157 0 -1 1077944384 1384 13265 0 0 34 0 5 3 20 0 15 0 77436196 11094274048 44407 33554432000 4194304 4196468 140733820781248 140650986183280 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9098] ppid=8961 vsize=10834252 memory=279270987399408 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9098/stat : 9098 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436197 11094274048 44407 33554432000 4194304 4196468 140733820781248 140650107194080 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9099] ppid=8961 vsize=10834252 memory=7588935152971043413 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9099/stat : 9099 (java) S 8961 8968 6157 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 77436197 11094274048 44407 33554432000 4194304 4196468 140733820781248 140650461784752 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 177628 KiB
[startup+3.11104 s]
/proc/loadavg: 1.55 1.66 1.87 6/215 9099
/proc/meminfo: memFree=12540732/32770624 swapFree=67108860/67108860
[pid=8968] ppid=8961 vsize=10844512 memory=243400 CPUtime=6.08 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8961 8968 6157 0 -1 1077944320 31749 13265 0 0 585 15 5 3 20 0 15 0 77436181 11104780288 60850 33554432000 4194304 4196468 140733820781248 140733820763792 140651563441911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
/proc/8968/statm: 2711128 60850 3488 1 0 2672781 0
[pid=8968/tid=9073] ppid=8961 vsize=10844512 memory=221244 CPUtime=3.03 cores=0,2,4,6
/proc/8968/task/9073/stat : 9073 (java) R 8961 8968 6157 0 -1 4202560 21610 13265 0 0 287 8 5 3 20 0 15 0 77436191 11104780288 60850 33554432000 4194304 4196468 140733820781248 140651535275264 140651136163750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9078] ppid=8961 vsize=10844512 memory=279270987478416 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9078/stat : 9078 (java) S 8961 8968 6157 0 -1 1077944384 12 13265 0 0 1 0 5 3 20 0 15 0 77436192 11104780288 60850 33554432000 4194304 4196468 140733820781248 140651567684752 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9079] ppid=8961 vsize=10844512 memory=288230583166042426 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9079/stat : 9079 (java) S 8961 8968 6157 0 -1 1077944384 56 13265 0 0 1 0 5 3 20 0 15 0 77436192 11104780288 60850 33554432000 4194304 4196468 140733820781248 140651455958032 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9080] ppid=8961 vsize=10844512 memory=15258134151170443 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9080/stat : 9080 (java) S 8961 8968 6157 0 -1 1077944384 33 13265 0 0 1 0 5 3 20 0 15 0 77436192 11104780288 60850 33554432000 4194304 4196468 140733820781248 140651136019344 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9081] ppid=8961 vsize=10844512 memory=792 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9081/stat : 9081 (java) S 8961 8968 6157 0 -1 1077944384 245 13265 0 0 1 0 5 3 20 0 15 0 77436192 11104780288 60850 33554432000 4194304 4196468 140733820781248 140651134966544 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9083] ppid=8961 vsize=10844512 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9083/stat : 9083 (java) S 8961 8968 6157 0 -1 1077944384 485 13265 0 0 1 0 5 3 20 0 15 0 77436193 11104780288 60850 33554432000 4194304 4196468 140733820781248 140651022899568 140651563453058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9085] ppid=8961 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9085/stat : 9085 (java) S 8961 8968 6157 0 -1 1077944384 34 13265 0 0 0 0 5 3 20 0 15 0 77436193 11104780288 60850 33554432000 4194304 4196468 140733820781248 140651021845600 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9087] ppid=8961 vsize=10844512 memory=279270987886240 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9087/stat : 9087 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436194 11104780288 60850 33554432000 4194304 4196468 140733820781248 140650381042560 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9092] ppid=8961 vsize=10844512 memory=139635493867904 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9092/stat : 9092 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436196 11104780288 60850 33554432000 4194304 4196468 140733820781248 140650140751696 140651563460507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9094] ppid=8961 vsize=10844512 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/8968/task/9094/stat : 9094 (java) R 8961 8968 6157 0 -1 4202560 1989 13265 0 0 89 1 5 3 20 0 15 0 77436196 11104780288 60850 33554432000 4194304 4196468 140733820781248 140650988289008 140651543758591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9095] ppid=8961 vsize=10844512 memory=0 CPUtime=0.97 cores=0,2,4,6
/proc/8968/task/9095/stat : 9095 (java) R 8961 8968 6157 0 -1 4202560 1780 13265 0 0 88 1 5 3 20 0 15 0 77436196 11104780288 60850 33554432000 4194304 4196468 140733820781248 140650987221792 140651544967533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9096] ppid=8961 vsize=10844512 memory=7234305373151253100 CPUtime=1.21 cores=0,2,4,6
/proc/8968/task/9096/stat : 9096 (java) R 8961 8968 6157 0 -1 1077944384 3307 13265 0 0 111 2 5 3 20 0 15 0 77436196 11104780288 60850 33554432000 4194304 4196468 140733820781248 140650986182464 140651563452117 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9098] ppid=8961 vsize=10844512 memory=6370719275257063784 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9098/stat : 9098 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436197 11104780288 60850 33554432000 4194304 4196468 140733820781248 140650107194080 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9099] ppid=8961 vsize=10844512 memory=8170769317788082514 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9099/stat : 9099 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436197 11104780288 60850 33554432000 4194304 4196468 140733820781248 140650461784752 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 243400 KiB
[startup+4.22281 s]
# the end of solver process 8968 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.05614 s, system=0.269183 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20085 s]
/proc/loadavg: 1.55 1.66 1.87 6/215 9099
/proc/meminfo: memFree=12540732/32770624 swapFree=67108860/67108860
[pid=8968] ppid=8961 vsize=10844512 memory=248952 CPUtime=6.35 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8961 8968 6157 0 -1 1077944320 37986 13265 0 0 611 16 5 3 20 0 15 0 77436181 11104780288 62238 33554432000 4194304 4196468 140733820781248 140733820763792 140651563441911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
/proc/8968/statm: 2711128 62238 3488 1 0 2672781 0
[pid=8968/tid=9073] ppid=8961 vsize=10844512 memory=0 CPUtime=3.13 cores=0,2,4,6
/proc/8968/task/9073/stat : 9073 (java) R 8961 8968 6157 0 -1 4202560 24941 13265 0 0 296 9 5 3 20 0 15 0 77436191 11104780288 62238 33554432000 4194304 4196468 140733820781248 140651535270680 140651547485541 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9078] ppid=8961 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9078/stat : 9078 (java) S 8961 8968 6157 0 -1 1077944384 12 13265 0 0 1 0 5 3 20 0 15 0 77436192 11104780288 62238 33554432000 4194304 4196468 140733820781248 140651567684752 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9079] ppid=8961 vsize=10844512 memory=279269175507878 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9079/stat : 9079 (java) S 8961 8968 6157 0 -1 1077944384 56 13265 0 0 1 0 5 3 20 0 15 0 77436192 11104780288 62238 33554432000 4194304 4196468 140733820781248 140651455958032 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9080] ppid=8961 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9080/stat : 9080 (java) S 8961 8968 6157 0 -1 1077944384 33 13265 0 0 1 0 5 3 20 0 15 0 77436192 11104780288 62238 33554432000 4194304 4196468 140733820781248 140651136019344 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9081] ppid=8961 vsize=10844512 memory=301741373374332954 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9081/stat : 9081 (java) S 8961 8968 6157 0 -1 1077944384 245 13265 0 0 1 0 5 3 20 0 15 0 77436192 11104780288 62238 33554432000 4194304 4196468 140733820781248 140651134966544 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9083] ppid=8961 vsize=10844512 memory=301741382048153914 CPUtime=0.09 cores=0,2,4,6
/proc/8968/task/9083/stat : 9083 (java) S 8961 8968 6157 0 -1 1077944384 485 13265 0 0 1 0 5 3 20 0 15 0 77436193 11104780288 62238 33554432000 4194304 4196468 140733820781248 140651022899568 140651563453058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9085] ppid=8961 vsize=10844512 memory=15258134151170443 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9085/stat : 9085 (java) S 8961 8968 6157 0 -1 1077944384 34 13265 0 0 0 0 5 3 20 0 15 0 77436193 11104780288 62238 33554432000 4194304 4196468 140733820781248 140651021845600 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9087] ppid=8961 vsize=10844512 memory=139635494092311 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9087/stat : 9087 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436194 11104780288 62238 33554432000 4194304 4196468 140733820781248 140650381042560 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9092] ppid=8961 vsize=10844512 memory=279270987487824 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9092/stat : 9092 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436196 11104780288 62238 33554432000 4194304 4196468 140733820781248 140650140751696 140651563460507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9094] ppid=8961 vsize=10844512 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/8968/task/9094/stat : 9094 (java) S 8961 8968 6157 0 -1 1077944384 2737 13265 0 0 95 2 5 3 20 0 15 0 77436196 11104780288 62238 33554432000 4194304 4196468 140733820781248 140650988288880 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9095] ppid=8961 vsize=10844512 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/8968/task/9095/stat : 9095 (java) R 8961 8968 6157 0 -1 4202560 3616 13265 0 0 96 1 5 3 20 0 15 0 77436196 11104780288 62238 33554432000 4194304 4196468 140733820781248 140650987236080 140651544620793 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9096] ppid=8961 vsize=10844512 memory=6943526294502006880 CPUtime=1.25 cores=0,2,4,6
/proc/8968/task/9096/stat : 9096 (java) S 8961 8968 6157 0 -1 1077944384 3626 13265 0 0 115 2 5 3 20 0 15 0 77436196 11104780288 62238 33554432000 4194304 4196468 140733820781248 140650986183280 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9098] ppid=8961 vsize=10844512 memory=-7452431979323206951 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9098/stat : 9098 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436197 11104780288 62238 33554432000 4194304 4196468 140733820781248 140650107194080 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9099] ppid=8961 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9099/stat : 9099 (java) S 8961 8968 6157 0 -1 1077944384 6 13265 0 0 0 0 5 3 20 0 15 0 77436197 11104780288 62238 33554432000 4194304 4196468 140733820781248 140650461784752 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 248952 KiB
[startup+4.00069 s]*
/proc/loadavg: 1.74 1.70 1.88 8/215 9099
/proc/meminfo: memFree=12336584/32770624 swapFree=67108860/67108860
[pid=8968] ppid=8961 vsize=10916500 memory=349244 CPUtime=8.7 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8961 8968 6157 0 -1 1077944320 66815 13265 0 0 840 22 5 3 20 0 15 0 77436181 11178496000 87311 33554432000 4194304 4196468 140733820781248 140733820763792 140651563441911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
/proc/8968/statm: 2729125 87311 3507 1 0 2690778 0
[pid=8968/tid=9073] ppid=8961 vsize=10916500 memory=8112282956445269571 CPUtime=3.88 cores=0,2,4,6
/proc/8968/task/9073/stat : 9073 (java) R 8961 8968 6157 0 -1 4202560 42535 13265 0 0 369 11 5 3 20 0 15 0 77436191 11178496000 87311 33554432000 4194304 4196468 140733820781248 140651535272544 140651146894127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9078] ppid=8961 vsize=10916500 memory=-7003737579269690708 CPUtime=0.11 cores=0,2,4,6
/proc/8968/task/9078/stat : 9078 (java) S 8961 8968 6157 0 -1 1077944384 66 13265 0 0 3 0 5 3 20 0 15 0 77436192 11178496000 87311 33554432000 4194304 4196468 140733820781248 140651567684752 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9079] ppid=8961 vsize=10916500 memory=8041645962788481611 CPUtime=0.11 cores=0,2,4,6
/proc/8968/task/9079/stat : 9079 (java) S 8961 8968 6157 0 -1 1077944384 275 13265 0 0 3 0 5 3 20 0 15 0 77436192 11178496000 87311 33554432000 4194304 4196468 140733820781248 140651455958032 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9080] ppid=8961 vsize=10916500 memory=3054156605268205967 CPUtime=0.11 cores=0,2,4,6
/proc/8968/task/9080/stat : 9080 (java) S 8961 8968 6157 0 -1 1077944384 450 13265 0 0 3 0 5 3 20 0 15 0 77436192 11178496000 87311 33554432000 4194304 4196468 140733820781248 140651136019344 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9081] ppid=8961 vsize=10916500 memory=-8253362762721551995 CPUtime=0.11 cores=0,2,4,6
/proc/8968/task/9081/stat : 9081 (java) S 8961 8968 6157 0 -1 1077944384 261 13265 0 0 3 0 5 3 20 0 15 0 77436192 11178496000 87311 33554432000 4194304 4196468 140733820781248 140651134966544 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9083] ppid=8961 vsize=10916500 memory=-4050210904893472145 CPUtime=0.11 cores=0,2,4,6
/proc/8968/task/9083/stat : 9083 (java) S 8961 8968 6157 0 -1 1077944384 3486 13265 0 0 3 0 5 3 20 0 15 0 77436193 11178496000 87311 33554432000 4194304 4196468 140733820781248 140651022899568 140651563453058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9085] ppid=8961 vsize=10916500 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9085/stat : 9085 (java) S 8961 8968 6157 0 -1 1077944384 37 13265 0 0 0 0 5 3 20 0 15 0 77436193 11178496000 87311 33554432000 4194304 4196468 140733820781248 140651021845600 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9087] ppid=8961 vsize=10916500 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9087/stat : 9087 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 77436194 11178496000 87311 33554432000 4194304 4196468 140733820781248 140650381042560 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9092] ppid=8961 vsize=10916500 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9092/stat : 9092 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436196 11178496000 87311 33554432000 4194304 4196468 140733820781248 140650140751696 140651563460507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9094] ppid=8961 vsize=10916500 memory=0 CPUtime=1.62 cores=0,2,4,6
/proc/8968/task/9094/stat : 9094 (java) R 8961 8968 6157 0 -1 4202560 5779 13265 0 0 152 2 5 3 20 0 15 0 77436196 11178496000 87311 33554432000 4194304 4196468 140733820781248 140650988275408 140651544963311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9095] ppid=8961 vsize=10916500 memory=0 CPUtime=1.67 cores=0,2,4,6
/proc/8968/task/9095/stat : 9095 (java) R 8961 8968 6157 0 -1 4202560 7484 13265 0 0 158 1 5 3 20 0 15 0 77436196 11178496000 87311 33554432000 4194304 4196468 140733820781248 140650987221584 140651544959793 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9096] ppid=8961 vsize=10916500 memory=7016593293745496243 CPUtime=1.51 cores=0,2,4,6
/proc/8968/task/9096/stat : 9096 (java) R 8961 8968 6157 0 -1 1077944384 4240 13265 0 0 141 2 5 3 20 0 15 0 77436196 11178496000 87311 33554432000 4194304 4196468 140733820781248 140650986183280 140651563453058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9098] ppid=8961 vsize=10916500 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9098/stat : 9098 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 77436197 11178496000 87311 33554432000 4194304 4196468 140733820781248 140650107194080 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9099] ppid=8961 vsize=10916500 memory=139635590796928 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9099/stat : 9099 (java) S 8961 8968 6157 0 -1 1077944384 6 13265 0 0 0 0 5 3 20 0 15 0 77436197 11178496000 87311 33554432000 4194304 4196468 140733820781248 140650461784752 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
Current children cumulated CPU time: 8.7 s
Current children cumulated vsize: 10916500 KiB
Current children cumulated memory: 349244 KiB
[startup+4.2007 s]
/proc/loadavg: 1.74 1.70 1.88 8/215 9099
/proc/meminfo: memFree=12336584/32770624 swapFree=67108860/67108860
[pid=8968] ppid=8961 vsize=11015308 memory=350524 CPUtime=9.29 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8961 8968 6157 0 -1 1077944320 68728 13265 0 0 899 22 5 3 20 0 14 0 77436181 11279675392 87631 33554432000 4194304 4196468 140733820781248 140733820763792 140651563441911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
/proc/8968/statm: 2753827 87631 3512 1 0 2715480 0
[pid=8968/tid=9073] ppid=8961 vsize=11015308 memory=279270987876912 CPUtime=4.05 cores=0,2,4,6
/proc/8968/task/9073/stat : 9073 (java) S 8961 8968 6157 0 -1 1077944384 42708 13265 0 0 386 11 5 3 20 0 14 0 77436191 11279675392 87631 33554432000 4194304 4196468 140733820781248 140651535285392 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9078] ppid=8961 vsize=11015308 memory=6943526294502006880 CPUtime=0.11 cores=0,2,4,6
/proc/8968/task/9078/stat : 9078 (java) S 8961 8968 6157 0 -1 1077944384 66 13265 0 0 3 0 5 3 20 0 14 0 77436192 11279675392 87631 33554432000 4194304 4196468 140733820781248 140651567684752 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9079] ppid=8961 vsize=11015308 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/8968/task/9079/stat : 9079 (java) S 8961 8968 6157 0 -1 1077944384 275 13265 0 0 3 0 5 3 20 0 14 0 77436192 11279675392 87631 33554432000 4194304 4196468 140733820781248 140651455958032 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9080] ppid=8961 vsize=11015308 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/8968/task/9080/stat : 9080 (java) S 8961 8968 6157 0 -1 1077944384 450 13265 0 0 3 0 5 3 20 0 14 0 77436192 11279675392 87631 33554432000 4194304 4196468 140733820781248 140651136019344 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9081] ppid=8961 vsize=11015308 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/8968/task/9081/stat : 9081 (java) S 8961 8968 6157 0 -1 1077944384 261 13265 0 0 3 0 5 3 20 0 14 0 77436192 11279675392 87631 33554432000 4194304 4196468 140733820781248 140651134966544 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9083] ppid=8961 vsize=11015308 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/8968/task/9083/stat : 9083 (java) S 8961 8968 6157 0 -1 1077944384 3486 13265 0 0 3 0 5 3 20 0 14 0 77436193 11279675392 87631 33554432000 4194304 4196468 140733820781248 140651022899776 140651563453058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9085] ppid=8961 vsize=11015308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9085/stat : 9085 (java) S 8961 8968 6157 0 -1 1077944384 37 13265 0 0 0 0 5 3 20 0 14 0 77436193 11279675392 87631 33554432000 4194304 4196468 140733820781248 140651021845600 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9087] ppid=8961 vsize=11015308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9087/stat : 9087 (java) S 8961 8968 6157 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 14 0 77436194 11279675392 87631 33554432000 4194304 4196468 140733820781248 140650381042560 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9092] ppid=8961 vsize=11015308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9092/stat : 9092 (java) S 8961 8968 6157 0 -1 1077944384 6 13265 0 0 0 0 5 3 20 0 14 0 77436196 11279675392 87631 33554432000 4194304 4196468 140733820781248 140650140751344 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9094] ppid=8961 vsize=11015308 memory=288230574492221466 CPUtime=1.79 cores=0,2,4,6
/proc/8968/task/9094/stat : 9094 (java) S 8961 8968 6157 0 -1 1077944384 5841 13265 0 0 169 2 5 3 20 0 14 0 77436196 11279675392 87631 33554432000 4194304 4196468 140733820781248 140650988273392 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9095] ppid=8961 vsize=11015308 memory=310748581302894906 CPUtime=1.86 cores=0,2,4,6
/proc/8968/task/9095/stat : 9095 (java) R 8961 8968 6157 0 -1 4202560 8998 13265 0 0 177 1 5 3 20 0 14 0 77436196 11279675392 87631 33554432000 4194304 4196468 140733820781248 140650987222104 140651544986129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9096] ppid=8961 vsize=11015308 memory=15258134151170443 CPUtime=1.57 cores=0,2,4,6
/proc/8968/task/9096/stat : 9096 (java) S 8961 8968 6157 0 -1 1077944384 4386 13265 0 0 147 2 5 3 20 0 14 0 77436196 11279675392 87631 33554432000 4194304 4196468 140733820781248 140650986183280 140651563453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
[pid=8968/tid=9098] ppid=8961 vsize=11015308 memory=6944656591801717918 CPUtime=0.08 cores=0,2,4,6
/proc/8968/task/9098/stat : 9098 (java) S 8961 8968 6157 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 14 0 77436197 11279675392 87631 33554432000 4194304 4196468 140733820781248 140650107194080 140651563452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27914240 140733820783214 140733820786012 140733820786012 140733820788687 0
Current children cumulated CPU time: 9.29 s
Current children cumulated vsize: 11015308 KiB
Current children cumulated memory: 350524 KiB
Child status: 0
Real time (s): 4.22287
CPU time (s): 9.32532
CPU user time (s): 9.05614
CPU system time (s): 0.269183
CPU usage (%): 220.829
Max. virtual memory (cumulated for all children) (KiB): 11015308
Max. memory (cumulated for all children) (KiB): 350608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.05614
system time used= 0.269183
maximum resident set size= 353500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6615
involuntary context switches= 79
# summary of solver processes directly reported to runsolver:
# pid: 8968
# total CPU time (s): 9.32532
# total CPU user time (s): 9.05614
# total CPU system time (s): 0.269183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035745 second user time and 0.095322 second system time
The end