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 (9219 MiB free)
memory of node 1: 16384 MiB (10625 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300361-1532869488/watcher-4300361-1532869488 -o /tmp/evaluation-result-4300361-1532869488/solver-4300361-1532869488 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532844847-28543 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4300361-1532869488.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=31138, runsolver pid=31135
Current StackSize limit: 8192 KiB
[startup+0.100664 s]*
/proc/loadavg: 1.22 1.35 1.36 4/218 31153
/proc/meminfo: memFree=20307748/32770624 swapFree=67108796/67108860
[pid=31138] ppid=31135 vsize=10658972 memory=26520 CPUtime=0.13 cores=0,2,4,6
/proc/31138/stat : 31138 (java) S 31135 31138 28512 0 -1 1077944320 5071 0 0 0 12 1 0 0 20 0 15 0 104511983 10914787328 6630 33554432000 4194304 4196468 140722695983088 140722695965632 139877718851319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
/proc/31138/statm: 2664743 6630 2842 1 0 2627263 0
[pid=31138/tid=31140] ppid=31135 vsize=10658972 memory=-8341684059579519870 CPUtime=0.09 cores=0,2,4,6
/proc/31138/task/31140/stat : 31140 (java) R 31135 31138 28512 0 -1 4202560 2874 0 0 0 9 0 0 0 20 0 15 0 104511984 10914787328 6630 33554432000 4194304 4196468 140722695983088 139877723082208 139877702894949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31141] ppid=31135 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31141/stat : 31141 (java) S 31135 31138 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104511985 10914787328 6630 33554432000 4194304 4196468 140722695983088 139877690694544 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31142] ppid=31135 vsize=10658972 memory=140028091246208 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31142/stat : 31142 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914787328 6630 33554432000 4194304 4196468 140722695983088 139877325048592 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31143] ppid=31135 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31143/stat : 31143 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914787328 6630 33554432000 4194304 4196468 140722695983088 139877323996304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31144] ppid=31135 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31144/stat : 31144 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914787328 6630 33554432000 4194304 4196468 140722695983088 139877322943504 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31145] ppid=31135 vsize=10658972 memory=140028091246208 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31145/stat : 31145 (java) S 31135 31138 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104511986 10914787328 6630 33554432000 4194304 4196468 140722695983088 139876956596336 139877718862466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31146] ppid=31135 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31146/stat : 31146 (java) S 31135 31138 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104511986 10914787328 6630 33554432000 4194304 4196468 140722695983088 139876955542304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31147] ppid=31135 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31147/stat : 31147 (java) S 31135 31138 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104511987 10914787328 6630 33554432000 4194304 4196468 140722695983088 139876954489968 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31148] ppid=31135 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31148/stat : 31148 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914787328 6696 33554432000 4194304 4196468 140722695983088 139876953438288 139877718869915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31149] ppid=31135 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31149/stat : 31149 (java) R 31135 31138 28512 0 -1 4202560 336 0 0 0 0 0 0 0 20 0 15 0 104511989 10914787328 6696 33554432000 4194304 4196468 140722695983088 139876884277872 139877699264624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31150] ppid=31135 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31150/stat : 31150 (java) R 31135 31138 28512 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 104511989 10914787328 6696 33554432000 4194304 4196468 140722695983088 139876883225072 139877718862466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31151] ppid=31135 vsize=10658972 memory=140028091246208 CPUtime=0.02 cores=0,2,4,6
/proc/31138/task/31151/stat : 31151 (java) S 31135 31138 28512 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 104511989 10914787328 6696 33554432000 4194304 4196468 140722695983088 139876882172784 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31152] ppid=31135 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31152/stat : 31152 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914787328 6696 33554432000 4194304 4196468 140722695983088 139876881120224 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31153] ppid=31135 vsize=10658972 memory=140028091246208 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31153/stat : 31153 (java) R 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511989 10914787328 6696 33554432000 4194304 4196468 140722695983088 139876880066992 139877718862466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 26520 KiB
[startup+0.210634 s]*
/proc/loadavg: 1.22 1.35 1.36 5/218 31153
/proc/meminfo: memFree=20295384/32770624 swapFree=67108796/67108860
[pid=31138] ppid=31135 vsize=10658972 memory=39376 CPUtime=0.34 cores=0,2,4,6
/proc/31138/stat : 31138 (java) S 31135 31138 28512 0 -1 1077944320 7956 0 0 0 32 2 0 0 20 0 15 0 104511983 10914787328 9844 33554432000 4194304 4196468 140722695983088 140722695965632 139877718851319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
/proc/31138/statm: 2664743 9844 2953 1 0 2627263 0
[pid=31138/tid=31140] ppid=31135 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31138/task/31140/stat : 31140 (java) R 31135 31138 28512 0 -1 4202560 4675 0 0 0 19 1 0 0 20 0 15 0 104511984 10914787328 9844 33554432000 4194304 4196468 140722695983088 139877723091104 139877355629008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31141] ppid=31135 vsize=10658972 memory=345 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31141/stat : 31141 (java) S 31135 31138 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104511985 10914787328 9844 33554432000 4194304 4196468 140722695983088 139877690694544 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31142] ppid=31135 vsize=10658972 memory=288370404242957952 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31142/stat : 31142 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914787328 9844 33554432000 4194304 4196468 140722695983088 139877325048592 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31143] ppid=31135 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31143/stat : 31143 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914787328 9844 33554432000 4194304 4196468 140722695983088 139877323996304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31144] ppid=31135 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31144/stat : 31144 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914787328 9844 33554432000 4194304 4196468 140722695983088 139877322943504 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31145] ppid=31135 vsize=10658972 memory=140028091246208 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31145/stat : 31145 (java) S 31135 31138 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104511986 10914787328 9844 33554432000 4194304 4196468 140722695983088 139876956596336 139877718862466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31146] ppid=31135 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31146/stat : 31146 (java) S 31135 31138 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104511986 10914787328 9844 33554432000 4194304 4196468 140722695983088 139876955542304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31147] ppid=31135 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31147/stat : 31147 (java) S 31135 31138 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104511987 10914787328 9844 33554432000 4194304 4196468 140722695983088 139876954489968 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31148] ppid=31135 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31148/stat : 31148 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914787328 9844 33554432000 4194304 4196468 140722695983088 139876953438288 139877718869915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31149] ppid=31135 vsize=10658972 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31149/stat : 31149 (java) R 31135 31138 28512 0 -1 4202560 497 0 0 0 1 0 0 0 20 0 15 0 104511989 10914787328 9844 33554432000 4194304 4196468 140722695983088 139876884258872 139877702757273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31150] ppid=31135 vsize=10658972 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31138/task/31150/stat : 31150 (java) R 31135 31138 28512 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 104511989 10914787328 9844 33554432000 4194304 4196468 140722695983088 139876883225168 139877718861525 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31151] ppid=31135 vsize=10658972 memory=140028091246208 CPUtime=0.08 cores=0,2,4,6
/proc/31138/task/31151/stat : 31151 (java) R 31135 31138 28512 0 -1 4202560 902 0 0 0 8 0 0 0 20 0 15 0 104511989 10914787328 9844 33554432000 4194304 4196468 140722695983088 139876882168936 139877702931806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31152] ppid=31135 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31152/stat : 31152 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914787328 9844 33554432000 4194304 4196468 140722695983088 139876881120224 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31153] ppid=31135 vsize=10658972 memory=140028091246208 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31153/stat : 31153 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511989 10914787328 9844 33554432000 4194304 4196468 140722695983088 139876880066992 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 39376 KiB
[startup+0.312596 s]*
/proc/loadavg: 1.22 1.35 1.36 7/218 31153
/proc/meminfo: memFree=20290568/32770624 swapFree=67108796/67108860
[pid=31138] ppid=31135 vsize=10659048 memory=46576 CPUtime=0.61 cores=0,2,4,6
/proc/31138/stat : 31138 (java) S 31135 31138 28512 0 -1 1077944320 8754 0 0 0 58 3 0 0 20 0 15 0 104511983 10914865152 11644 33554432000 4194304 4196468 140722695983088 140722695965632 139877718851319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
/proc/31138/statm: 2664762 11644 3047 1 0 2627263 0
[pid=31138/tid=31140] ppid=31135 vsize=10659048 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/31138/task/31140/stat : 31140 (java) R 31135 31138 28512 0 -1 4202560 5001 0 0 0 29 1 0 0 20 0 15 0 104511984 10914865152 11644 33554432000 4194304 4196468 140722695983088 139877723087616 139877355668936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31141] ppid=31135 vsize=10659048 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31141/stat : 31141 (java) S 31135 31138 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 11644 33554432000 4194304 4196468 140722695983088 139877690694544 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31142] ppid=31135 vsize=10659048 memory=288370404242957952 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31142/stat : 31142 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 11644 33554432000 4194304 4196468 140722695983088 139877325048592 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31143] ppid=31135 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31143/stat : 31143 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 11644 33554432000 4194304 4196468 140722695983088 139877323996304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31144] ppid=31135 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31144/stat : 31144 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 11644 33554432000 4194304 4196468 140722695983088 139877322943504 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31145] ppid=31135 vsize=10659048 memory=140028091246208 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31145/stat : 31145 (java) S 31135 31138 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104511986 10914865152 11644 33554432000 4194304 4196468 140722695983088 139876956596336 139877718862466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31146] ppid=31135 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31146/stat : 31146 (java) S 31135 31138 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104511986 10914865152 11644 33554432000 4194304 4196468 140722695983088 139876955542304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31147] ppid=31135 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31147/stat : 31147 (java) S 31135 31138 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104511987 10914865152 11644 33554432000 4194304 4196468 140722695983088 139876954489968 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31148] ppid=31135 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31148/stat : 31148 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 11644 33554432000 4194304 4196468 140722695983088 139876953438288 139877718869915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31149] ppid=31135 vsize=10659048 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31138/task/31149/stat : 31149 (java) R 31135 31138 28512 0 -1 4202560 715 0 0 0 6 0 0 0 20 0 15 0 104511989 10914865152 11644 33554432000 4194304 4196468 140722695983088 139876884263896 139877700395881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31150] ppid=31135 vsize=10659048 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/31138/task/31150/stat : 31150 (java) R 31135 31138 28512 0 -1 4202560 568 0 0 0 5 0 0 0 20 0 15 0 104511989 10914865152 11644 33554432000 4194304 4196468 140722695983088 139876883209136 139877699616497 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31151] ppid=31135 vsize=10659048 memory=140028091246208 CPUtime=0.16 cores=0,2,4,6
/proc/31138/task/31151/stat : 31151 (java) R 31135 31138 28512 0 -1 1077944384 1102 0 0 0 16 0 0 0 20 0 15 0 104511989 10914865152 11644 33554432000 4194304 4196468 140722695983088 139876882172784 139877718862466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31152] ppid=31135 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31152/stat : 31152 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 11644 33554432000 4194304 4196468 140722695983088 139876881120224 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31153] ppid=31135 vsize=10659048 memory=140028091246208 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31153/stat : 31153 (java) R 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 11644 33554432000 4194304 4196468 140722695983088 139876880066992 139877718862466 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 46576 KiB
[startup+0.700732 s]
/proc/loadavg: 1.22 1.35 1.36 5/218 31153
/proc/meminfo: memFree=20256888/32770624 swapFree=67108796/67108860
[pid=31138] ppid=31135 vsize=10659048 memory=140500 CPUtime=1.84 cores=0,2,4,6
/proc/31138/stat : 31138 (java) S 31135 31138 28512 0 -1 1077944320 12335 0 0 0 179 5 0 0 20 0 15 0 104511983 10914865152 35125 33554432000 4194304 4196468 140722695983088 140722695965632 139877718851319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
/proc/31138/statm: 2664762 35125 3112 1 0 2627263 0
[pid=31138/tid=31140] ppid=31135 vsize=10659048 memory=1628 CPUtime=0.67 cores=0,2,4,6
/proc/31138/task/31140/stat : 31140 (java) R 31135 31138 28512 0 -1 4202560 5290 0 0 0 65 2 0 0 20 0 15 0 104511984 10914865152 35125 33554432000 4194304 4196468 140722695983088 139877723089488 139877359289973 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31141] ppid=31135 vsize=10659048 memory=8800 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31141/stat : 31141 (java) S 31135 31138 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 35125 33554432000 4194304 4196468 140722695983088 139877690694544 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31142] ppid=31135 vsize=10659048 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31142/stat : 31142 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 35125 33554432000 4194304 4196468 140722695983088 139877325048592 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31143] ppid=31135 vsize=10659048 memory=792 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31143/stat : 31143 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 35125 33554432000 4194304 4196468 140722695983088 139877323996304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31144] ppid=31135 vsize=10659048 memory=832 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31144/stat : 31144 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 35125 33554432000 4194304 4196468 140722695983088 139877322943504 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31145] ppid=31135 vsize=10659048 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31145/stat : 31145 (java) S 31135 31138 28512 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104511986 10914865152 35125 33554432000 4194304 4196468 140722695983088 139876956596336 139877718862466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31146] ppid=31135 vsize=10659048 memory=5012 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31146/stat : 31146 (java) S 31135 31138 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104511986 10914865152 35125 33554432000 4194304 4196468 140722695983088 139876955542304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31147] ppid=31135 vsize=10659048 memory=4032 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31147/stat : 31147 (java) S 31135 31138 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104511987 10914865152 35125 33554432000 4194304 4196468 140722695983088 139876954489968 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31148] ppid=31135 vsize=10659048 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31148/stat : 31148 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 35125 33554432000 4194304 4196468 140722695983088 139876953438288 139877718869915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31149] ppid=31135 vsize=10659048 memory=4639098309541129069 CPUtime=0.43 cores=0,2,4,6
/proc/31138/task/31149/stat : 31149 (java) R 31135 31138 28512 0 -1 4202560 1793 0 0 0 42 1 0 0 20 0 15 0 104511989 10914865152 35125 33554432000 4194304 4196468 140722695983088 139876884258888 139877702761841 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31150] ppid=31135 vsize=10659048 memory=7739276948477865066 CPUtime=0.4 cores=0,2,4,6
/proc/31138/task/31150/stat : 31150 (java) S 31135 31138 28512 0 -1 1077944384 1874 0 0 0 40 0 0 0 20 0 15 0 104511989 10914865152 35125 33554432000 4194304 4196468 140722695983088 139876883225072 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31151] ppid=31135 vsize=10659048 memory=7236547281622689387 CPUtime=0.31 cores=0,2,4,6
/proc/31138/task/31151/stat : 31151 (java) S 31135 31138 28512 0 -1 1077944384 2007 0 0 0 31 0 0 0 20 0 15 0 104511989 10914865152 35125 33554432000 4194304 4196468 140722695983088 139876882172784 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31152] ppid=31135 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31152/stat : 31152 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 35125 33554432000 4194304 4196468 140722695983088 139876881120224 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31153] ppid=31135 vsize=10659048 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31153/stat : 31153 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 35125 33554432000 4194304 4196468 140722695983088 139876880066992 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 140500 KiB
[startup+1.50084 s]
/proc/loadavg: 1.22 1.35 1.36 5/218 31153
/proc/meminfo: memFree=20142412/32770624 swapFree=67108796/67108860
[pid=31138] ppid=31135 vsize=10659048 memory=203288 CPUtime=3.67 cores=0,2,4,6
/proc/31138/stat : 31138 (java) S 31135 31138 28512 0 -1 1077944320 15355 0 0 0 359 8 0 0 20 0 15 0 104511983 10914865152 50822 33554432000 4194304 4196468 140722695983088 140722695965632 139877718851319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
/proc/31138/statm: 2664762 50822 3130 1 0 2627263 0
[pid=31138/tid=31140] ppid=31135 vsize=10659048 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/31138/task/31140/stat : 31140 (java) R 31135 31138 28512 0 -1 4202560 5314 0 0 0 142 3 0 0 20 0 15 0 104511984 10914865152 50822 33554432000 4194304 4196468 140722695983088 139877723090640 139877359804403 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31141] ppid=31135 vsize=10659048 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31141/stat : 31141 (java) S 31135 31138 28512 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 50822 33554432000 4194304 4196468 140722695983088 139877690694544 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31142] ppid=31135 vsize=10659048 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31142/stat : 31142 (java) S 31135 31138 28512 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 50822 33554432000 4194304 4196468 140722695983088 139877325048592 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31143] ppid=31135 vsize=10659048 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31143/stat : 31143 (java) S 31135 31138 28512 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 50822 33554432000 4194304 4196468 140722695983088 139877323996304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31144] ppid=31135 vsize=10659048 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31144/stat : 31144 (java) S 31135 31138 28512 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 104511985 10914865152 50822 33554432000 4194304 4196468 140722695983088 139877322943504 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31145] ppid=31135 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31145/stat : 31145 (java) S 31135 31138 28512 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 104511986 10914865152 50822 33554432000 4194304 4196468 140722695983088 139876956596336 139877718862466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
################
# More data... #
################
[startup+5.06961 s]
# the end of solver process 31138 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.07083 s, system=0.235995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20087 s]
/proc/loadavg: 1.22 1.35 1.36 3/218 31153
/proc/meminfo: memFree=19746408/32770624 swapFree=67108796/67108860
[pid=31138] ppid=31135 vsize=10659048 memory=587812 CPUtime=5.42 cores=0,2,4,6
/proc/31138/stat : 31138 (java) S 31135 31138 28512 0 -1 1077944320 16127 0 0 0 528 14 0 0 20 0 15 0 104511983 10914865152 146953 33554432000 4194304 4196468 140722695983088 140722695965632 139877718851319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
/proc/31138/statm: 2664762 146953 3132 1 0 2627263 0
[pid=31138/tid=31140] ppid=31135 vsize=10659048 memory=1399717448514900851 CPUtime=3.12 cores=0,2,4,6
/proc/31138/task/31140/stat : 31140 (java) R 31135 31138 28512 0 -1 4202560 5687 0 0 0 304 8 0 0 20 0 15 0 104511984 10914865152 146953 33554432000 4194304 4196468 140722695983088 139877723088680 139877359802863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31141] ppid=31135 vsize=10659048 memory=-6234758880078832264 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31141/stat : 31141 (java) S 31135 31138 28512 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 146953 33554432000 4194304 4196468 140722695983088 139877690694544 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31142] ppid=31135 vsize=10659048 memory=-7390251449858225344 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31142/stat : 31142 (java) S 31135 31138 28512 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 146953 33554432000 4194304 4196468 140722695983088 139877325048592 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31143] ppid=31135 vsize=10659048 memory=-6800609625845840720 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31143/stat : 31143 (java) S 31135 31138 28512 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 146953 33554432000 4194304 4196468 140722695983088 139877323996304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31144] ppid=31135 vsize=10659048 memory=7516877559302547556 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31144/stat : 31144 (java) S 31135 31138 28512 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 146953 33554432000 4194304 4196468 140722695983088 139877322943504 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31145] ppid=31135 vsize=10659048 memory=6082202996151838807 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31145/stat : 31145 (java) S 31135 31138 28512 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 104511986 10914865152 146953 33554432000 4194304 4196468 140722695983088 139876956596336 139877718862466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31146] ppid=31135 vsize=10659048 memory=2088 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31146/stat : 31146 (java) S 31135 31138 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104511986 10914865152 146953 33554432000 4194304 4196468 140722695983088 139876955542304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31147] ppid=31135 vsize=10659048 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31147/stat : 31147 (java) S 31135 31138 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104511987 10914865152 146953 33554432000 4194304 4196468 140722695983088 139876954489968 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31148] ppid=31135 vsize=10659048 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31148/stat : 31148 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 146953 33554432000 4194304 4196468 140722695983088 139876953438288 139877718869915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31149] ppid=31135 vsize=10659048 memory=8800 CPUtime=0.93 cores=0,2,4,6
/proc/31138/task/31149/stat : 31149 (java) S 31135 31138 28512 0 -1 1077944384 3064 0 0 0 92 1 0 0 20 0 15 0 104511989 10914865152 146953 33554432000 4194304 4196468 140722695983088 139876884277872 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31150] ppid=31135 vsize=10659048 memory=1120 CPUtime=0.89 cores=0,2,4,6
/proc/31138/task/31150/stat : 31150 (java) S 31135 31138 28512 0 -1 1077944384 3375 0 0 0 89 0 0 0 20 0 15 0 104511989 10914865152 146953 33554432000 4194304 4196468 140722695983088 139876883225072 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31151] ppid=31135 vsize=10659048 memory=792 CPUtime=0.34 cores=0,2,4,6
/proc/31138/task/31151/stat : 31151 (java) S 31135 31138 28512 0 -1 1077944384 2116 0 0 0 34 0 0 0 20 0 15 0 104511989 10914865152 146953 33554432000 4194304 4196468 140722695983088 139876882172784 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31152] ppid=31135 vsize=10659048 memory=832 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31152/stat : 31152 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 146953 33554432000 4194304 4196468 140722695983088 139876881120224 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31153] ppid=31135 vsize=10659048 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31153/stat : 31153 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 146953 33554432000 4194304 4196468 140722695983088 139876880066992 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
Current children cumulated CPU time: 5.42 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 587812 KiB
[startup+4.00089 s]*
/proc/loadavg: 1.22 1.35 1.36 3/218 31153
/proc/meminfo: memFree=19732320/32770624 swapFree=67108796/67108860
[pid=31138] ppid=31135 vsize=10659048 memory=608292 CPUtime=6.23 cores=0,2,4,6
/proc/31138/stat : 31138 (java) S 31135 31138 28512 0 -1 1077944320 16216 0 0 0 608 15 0 0 20 0 15 0 104511983 10914865152 152073 33554432000 4194304 4196468 140722695983088 140722695965632 139877718851319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
/proc/31138/statm: 2664762 152073 3132 1 0 2627263 0
[pid=31138/tid=31140] ppid=31135 vsize=10659048 memory=6791534058613427641 CPUtime=3.94 cores=0,2,4,6
/proc/31138/task/31140/stat : 31140 (java) R 31135 31138 28512 0 -1 4202560 5763 0 0 0 385 9 0 0 20 0 15 0 104511984 10914865152 152073 33554432000 4194304 4196468 140722695983088 139877723090768 139877359334650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31141] ppid=31135 vsize=10659048 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31141/stat : 31141 (java) S 31135 31138 28512 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 152073 33554432000 4194304 4196468 140722695983088 139877690694544 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31142] ppid=31135 vsize=10659048 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31142/stat : 31142 (java) S 31135 31138 28512 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 152073 33554432000 4194304 4196468 140722695983088 139877325048592 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31143] ppid=31135 vsize=10659048 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31143/stat : 31143 (java) S 31135 31138 28512 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 152073 33554432000 4194304 4196468 140722695983088 139877323996304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31144] ppid=31135 vsize=10659048 memory=7682475212697334586 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31144/stat : 31144 (java) S 31135 31138 28512 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 152073 33554432000 4194304 4196468 140722695983088 139877322943504 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31145] ppid=31135 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31145/stat : 31145 (java) S 31135 31138 28512 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 104511986 10914865152 152073 33554432000 4194304 4196468 140722695983088 139876956596336 139877718862466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31146] ppid=31135 vsize=10659048 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31146/stat : 31146 (java) S 31135 31138 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104511986 10914865152 152073 33554432000 4194304 4196468 140722695983088 139876955542304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31147] ppid=31135 vsize=10659048 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31147/stat : 31147 (java) S 31135 31138 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104511987 10914865152 152073 33554432000 4194304 4196468 140722695983088 139876954489968 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31148] ppid=31135 vsize=10659048 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31148/stat : 31148 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 152073 33554432000 4194304 4196468 140722695983088 139876953438288 139877718869915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31149] ppid=31135 vsize=10659048 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/31138/task/31149/stat : 31149 (java) S 31135 31138 28512 0 -1 1077944384 3064 0 0 0 92 1 0 0 20 0 15 0 104511989 10914865152 152073 33554432000 4194304 4196468 140722695983088 139876884277872 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31150] ppid=31135 vsize=10659048 memory=258605055 CPUtime=0.89 cores=0,2,4,6
/proc/31138/task/31150/stat : 31150 (java) S 31135 31138 28512 0 -1 1077944384 3375 0 0 0 89 0 0 0 20 0 15 0 104511989 10914865152 152073 33554432000 4194304 4196468 140722695983088 139876883225072 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31151] ppid=31135 vsize=10659048 memory=2319810852557720293 CPUtime=0.34 cores=0,2,4,6
/proc/31138/task/31151/stat : 31151 (java) S 31135 31138 28512 0 -1 1077944384 2116 0 0 0 34 0 0 0 20 0 15 0 104511989 10914865152 152073 33554432000 4194304 4196468 140722695983088 139876882172784 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31152] ppid=31135 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31152/stat : 31152 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 152073 33554432000 4194304 4196468 140722695983088 139876881120224 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31153] ppid=31135 vsize=10659048 memory=2982772445066792878 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31153/stat : 31153 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 152073 33554432000 4194304 4196468 140722695983088 139876880066992 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 608292 KiB
[startup+4.8008 s]
/proc/loadavg: 1.22 1.35 1.36 3/218 31153
/proc/meminfo: memFree=19732320/32770624 swapFree=67108796/67108860
[pid=31138] ppid=31135 vsize=10659048 memory=1100540 CPUtime=7.03 cores=0,2,4,6
/proc/31138/stat : 31138 (java) S 31135 31138 28512 0 -1 1077944320 16475 0 0 0 681 22 0 0 20 0 15 0 104511983 10914865152 275135 33554432000 4194304 4196468 140722695983088 140722695965632 139877718851319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
/proc/31138/statm: 2664762 275135 3132 1 0 2627263 0
[pid=31138/tid=31140] ppid=31135 vsize=10659048 memory=0 CPUtime=4.73 cores=0,2,4,6
/proc/31138/task/31140/stat : 31140 (java) R 31135 31138 28512 0 -1 4202560 6015 0 0 0 457 16 0 0 20 0 15 0 104511984 10914865152 275135 33554432000 4194304 4196468 140722695983088 139877723090640 139877359806271 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31141] ppid=31135 vsize=10659048 memory=280055893375936 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31141/stat : 31141 (java) S 31135 31138 28512 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 275135 33554432000 4194304 4196468 140722695983088 139877690694544 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31142] ppid=31135 vsize=10659048 memory=140027946735040 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31142/stat : 31142 (java) S 31135 31138 28512 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 275135 33554432000 4194304 4196468 140722695983088 139877325048592 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31143] ppid=31135 vsize=10659048 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31143/stat : 31143 (java) S 31135 31138 28512 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 275135 33554432000 4194304 4196468 140722695983088 139877323996304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31144] ppid=31135 vsize=10659048 memory=6944656592387989600 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31144/stat : 31144 (java) S 31135 31138 28512 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 275135 33554432000 4194304 4196468 140722695983088 139877322943504 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31145] ppid=31135 vsize=10659048 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31145/stat : 31145 (java) S 31135 31138 28512 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 104511986 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876956596336 139877718862466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31146] ppid=31135 vsize=10659048 memory=8174723239089013032 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31146/stat : 31146 (java) S 31135 31138 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104511986 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876955542304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31147] ppid=31135 vsize=10659048 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31147/stat : 31147 (java) S 31135 31138 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104511987 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876954489968 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31148] ppid=31135 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31148/stat : 31148 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876953438288 139877718869915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31149] ppid=31135 vsize=10659048 memory=-7812193691855986592 CPUtime=0.93 cores=0,2,4,6
/proc/31138/task/31149/stat : 31149 (java) S 31135 31138 28512 0 -1 1077944384 3064 0 0 0 92 1 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876884277872 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31150] ppid=31135 vsize=10659048 memory=-7088785026379990432 CPUtime=0.89 cores=0,2,4,6
/proc/31138/task/31150/stat : 31150 (java) S 31135 31138 28512 0 -1 1077944384 3375 0 0 0 89 0 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876883225072 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31151] ppid=31135 vsize=10659048 memory=-6873162000112450758 CPUtime=0.34 cores=0,2,4,6
/proc/31138/task/31151/stat : 31151 (java) S 31135 31138 28512 0 -1 1077944384 2116 0 0 0 34 0 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876882172784 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31152] ppid=31135 vsize=10659048 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31152/stat : 31152 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876881120224 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31153] ppid=31135 vsize=10659048 memory=6944656425122700657 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31153/stat : 31153 (java) S 31135 31138 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876880066992 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
Current children cumulated CPU time: 7.03 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 1100540 KiB
[startup+5.00078 s]*
/proc/loadavg: 1.29 1.36 1.36 3/218 31153
/proc/meminfo: memFree=19232796/32770624 swapFree=67108796/67108860
[pid=31138] ppid=31135 vsize=10659048 memory=1100540 CPUtime=7.23 cores=0,2,4,6
/proc/31138/stat : 31138 (java) S 31135 31138 28512 0 -1 1077944320 16477 0 0 0 701 22 0 0 20 0 15 0 104511983 10914865152 275135 33554432000 4194304 4196468 140722695983088 140722695965632 139877718851319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
/proc/31138/statm: 2664762 275135 3132 1 0 2627263 0
[pid=31138/tid=31140] ppid=31135 vsize=10659048 memory=590024538737094835 CPUtime=4.94 cores=0,2,4,6
/proc/31138/task/31140/stat : 31140 (java) R 31135 31138 28512 0 -1 4202560 6015 0 0 0 478 16 0 0 20 0 15 0 104511984 10914865152 275135 33554432000 4194304 4196468 140722695983088 139877723090528 139877359806137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31141] ppid=31135 vsize=10659048 memory=316941043742539799 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31141/stat : 31141 (java) S 31135 31138 28512 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 275135 33554432000 4194304 4196468 140722695983088 139877690694544 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31142] ppid=31135 vsize=10659048 memory=140028091274862 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31142/stat : 31142 (java) S 31135 31138 28512 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 275135 33554432000 4194304 4196468 140722695983088 139877325048592 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31143] ppid=31135 vsize=10659048 memory=280055892675240 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31143/stat : 31143 (java) S 31135 31138 28512 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 275135 33554432000 4194304 4196468 140722695983088 139877323996304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31144] ppid=31135 vsize=10659048 memory=3467830198554146100 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31144/stat : 31144 (java) S 31135 31138 28512 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 104511985 10914865152 275135 33554432000 4194304 4196468 140722695983088 139877322943504 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31145] ppid=31135 vsize=10659048 memory=280056037821168 CPUtime=0.01 cores=0,2,4,6
/proc/31138/task/31145/stat : 31145 (java) S 31135 31138 28512 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 104511986 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876956596336 139877718862466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31146] ppid=31135 vsize=10659048 memory=3471202396320837679 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31146/stat : 31146 (java) S 31135 31138 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104511986 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876955542304 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31147] ppid=31135 vsize=10659048 memory=9563 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31147/stat : 31147 (java) S 31135 31138 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104511987 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876954489968 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31148] ppid=31135 vsize=10659048 memory=-3253322038155611931 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31148/stat : 31148 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876953438288 139877718869915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31149] ppid=31135 vsize=10659048 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/31138/task/31149/stat : 31149 (java) S 31135 31138 28512 0 -1 1077944384 3064 0 0 0 92 1 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876884277872 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31150] ppid=31135 vsize=10659048 memory=-1 CPUtime=0.89 cores=0,2,4,6
/proc/31138/task/31150/stat : 31150 (java) S 31135 31138 28512 0 -1 1077944384 3375 0 0 0 89 0 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876883225072 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31151] ppid=31135 vsize=10659048 memory=140028091246208 CPUtime=0.34 cores=0,2,4,6
/proc/31138/task/31151/stat : 31151 (java) S 31135 31138 28512 0 -1 1077944384 2116 0 0 0 34 0 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876882172784 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31152] ppid=31135 vsize=10659048 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31152/stat : 31152 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876881120224 139877718861525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
[pid=31138/tid=31153] ppid=31135 vsize=10659048 memory=3184237948167214768 CPUtime=0 cores=0,2,4,6
/proc/31138/task/31153/stat : 31153 (java) S 31135 31138 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104511989 10914865152 275135 33554432000 4194304 4196468 140722695983088 139876880066992 139877718862466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30019584 140722695988397 140722695988489 140722695988489 140722695991247 0
Current children cumulated CPU time: 7.23 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 1100540 KiB
Child status: 0
Real time (s): 5.06967
CPU time (s): 7.30683
CPU user time (s): 7.07083
CPU system time (s): 0.235995
CPU usage (%): 144.128
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 1100540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.07083
system time used= 0.235995
maximum resident set size= 1101860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1531
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 31138
# total CPU time (s): 7.30683
# total CPU user time (s): 7.07083
# total CPU system time (s): 0.235995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053007 second user time and 0.096512 second system time
The end