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 (14270 MiB free)
memory of node 1: 16384 MiB (15169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401159-1568690414/watcher-4401159-1568690414 -o /tmp/evaluation-result-4401159-1568690414/solver-4401159-1568690414 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568673290-5122 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1917960574 HOME/instance-4401159-1568690414.xml
running on 4 cores: 1,3,5,7
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=9511, runsolver pid=9508
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 1.50 1.51 1.42 3/219 9568
/proc/meminfo: memFree=30138788/32770624 swapFree=67001980/67108860
[pid=9511] ppid=9508 vsize=9972712 memory=17344 CPUtime=0.09 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9508 9511 5090 0 -1 1077944320 4558 13296 0 0 1 1 5 2 20 0 6 0 444955436 10212057088 4336 33554432000 4194304 4196468 140725189719696 140725189702240 140586954890999 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
/proc/9511/statm: 2493178 4336 1958 1 0 2481616 0
[pid=9511/tid=9564] ppid=9508 vsize=9988792 memory=8514726395714820750 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9564/stat : 9564 (java) R 9508 9511 5090 0 -1 4202560 2399 13296 0 0 0 0 5 2 20 0 6 0 444955445 10228523008 4336 33554432000 4194304 4196468 140725189719696 140586926727760 140586940403709 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9565] ppid=9508 vsize=9988792 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9565/stat : 9565 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 6 0 444955446 10228523008 4336 33554432000 4194304 4196468 140725189719696 140586959132944 140586954901205 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9566] ppid=9508 vsize=9988792 memory=140408220345984 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9566/stat : 9566 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 6 0 444955446 10228523008 4336 33554432000 4194304 4196468 140725189719696 140586847406480 140586954901205 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9567] ppid=9508 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9567/stat : 9567 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 6 0 444955446 10228523008 4336 33554432000 4194304 4196468 140725189719696 140586846353936 140586954901205 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9568] ppid=9508 vsize=9989820 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9568/stat : 9568 (java) S 9508 9511 5090 0 -1 1077944384 2 13296 0 0 0 0 5 2 20 0 6 0 444955446 10229575680 4402 33554432000 4194304 4196468 140725189719696 140586845301392 140586954901205 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17344 KiB
[startup+0.210042 s]*
/proc/loadavg: 1.50 1.51 1.42 4/228 9577
/proc/meminfo: memFree=30119400/32770624 swapFree=67001980/67108860
[pid=9511] ppid=9508 vsize=10820196 memory=40448 CPUtime=0.26 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9508 9511 5090 0 -1 1077944320 7498 13296 0 0 17 2 5 2 20 0 15 0 444955436 11079880704 10112 33554432000 4194304 4196468 140725189719696 140725189702240 140586954890999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
/proc/9511/statm: 2705049 10112 3264 1 0 2667149 0
[pid=9511/tid=9564] ppid=9508 vsize=10820196 memory=5450916389569530688 CPUtime=0.18 cores=1,3,5,7
/proc/9511/task/9564/stat : 9564 (java) R 9508 9511 5090 0 -1 4202560 3971 13296 0 0 10 1 5 2 20 0 15 0 444955445 11079880704 10112 33554432000 4194304 4196468 140725189719696 140586926705184 140586954912925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9565] ppid=9508 vsize=10820196 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9565/stat : 9565 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955446 11079880704 10112 33554432000 4194304 4196468 140725189719696 140586959132944 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9566] ppid=9508 vsize=10820196 memory=140408220345984 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9566/stat : 9566 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955446 11079880704 10112 33554432000 4194304 4196468 140725189719696 140586847406480 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9567] ppid=9508 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9567/stat : 9567 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955446 11079880704 10112 33554432000 4194304 4196468 140725189719696 140586846353936 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9568] ppid=9508 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9568/stat : 9568 (java) S 9508 9511 5090 0 -1 1077944384 2 13296 0 0 0 0 5 2 20 0 15 0 444955446 11079880704 10112 33554432000 4194304 4196468 140725189719696 140586845301392 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9569] ppid=9508 vsize=10820196 memory=140408220345984 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9569/stat : 9569 (java) S 9508 9511 5090 0 -1 1077944384 2 13296 0 0 0 0 5 2 20 0 15 0 444955447 11079880704 10112 33554432000 4194304 4196468 140725189719696 140586279447024 140586954902146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9570] ppid=9508 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9570/stat : 9570 (java) S 9508 9511 5090 0 -1 1077944384 33 13296 0 0 0 0 5 2 20 0 15 0 444955447 11079880704 10112 33554432000 4194304 4196468 140725189719696 140586278393248 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9571] ppid=9508 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9571/stat : 9571 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955448 11079880704 10112 33554432000 4194304 4196468 140725189719696 140585822316016 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9572] ppid=9508 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9572/stat : 9572 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11079880704 10112 33554432000 4194304 4196468 140725189719696 140585514916560 140586954909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9573] ppid=9508 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9511/task/9573/stat : 9573 (java) S 9508 9511 5090 0 -1 1077944384 456 13296 0 0 1 0 5 2 20 0 15 0 444955450 11079880704 10112 33554432000 4194304 4196468 140725189719696 140586244835312 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9574] ppid=9508 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9511/task/9574/stat : 9574 (java) S 9508 9511 5090 0 -1 1077944384 193 13296 0 0 1 0 5 2 20 0 15 0 444955450 11079880704 10112 33554432000 4194304 4196468 140725189719696 140586243782768 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9575] ppid=9508 vsize=10820196 memory=140408220345984 CPUtime=0.1 cores=1,3,5,7
/proc/9511/task/9575/stat : 9575 (java) S 9508 9511 5090 0 -1 1077944384 625 13296 0 0 3 0 5 2 20 0 15 0 444955450 11079880704 10112 33554432000 4194304 4196468 140725189719696 140586242730224 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9576] ppid=9508 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9576/stat : 9576 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11079880704 10112 33554432000 4194304 4196468 140725189719696 140585481357920 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9577] ppid=9508 vsize=10820196 memory=140408220345984 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9577/stat : 9577 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955451 11079880704 10112 33554432000 4194304 4196468 140725189719696 140586241678128 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 40448 KiB
[startup+0.310522 s]*
/proc/loadavg: 1.50 1.51 1.42 3/228 9577
/proc/meminfo: memFree=30108876/32770624 swapFree=67001980/67108860
[pid=9511] ppid=9508 vsize=10820196 memory=48464 CPUtime=0.4 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9508 9511 5090 0 -1 1077944320 10958 13296 0 0 29 4 5 2 20 0 15 0 444955436 11079880704 12116 33554432000 4194304 4196468 140725189719696 140725189702240 140586954890999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
/proc/9511/statm: 2705049 12116 3275 1 0 2667149 0
[pid=9511/tid=9564] ppid=9508 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/9511/task/9564/stat : 9564 (java) R 9508 9511 5090 0 -1 4202560 7421 13296 0 0 19 3 5 2 20 0 15 0 444955445 11079880704 12116 33554432000 4194304 4196468 140725189719696 140586926708624 140586954912925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9565] ppid=9508 vsize=10820196 memory=7158591907213108587 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9565/stat : 9565 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955446 11079880704 12116 33554432000 4194304 4196468 140725189719696 140586959132944 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9566] ppid=9508 vsize=10820196 memory=5788339726952981056 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9566/stat : 9566 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955446 11079880704 12116 33554432000 4194304 4196468 140725189719696 140586847406480 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9567] ppid=9508 vsize=10820196 memory=7019607496057899977 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9567/stat : 9567 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955446 11079880704 12116 33554432000 4194304 4196468 140725189719696 140586846353936 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9568] ppid=9508 vsize=10820196 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9568/stat : 9568 (java) S 9508 9511 5090 0 -1 1077944384 2 13296 0 0 0 0 5 2 20 0 15 0 444955446 11079880704 12116 33554432000 4194304 4196468 140725189719696 140586845301392 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9569] ppid=9508 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9569/stat : 9569 (java) S 9508 9511 5090 0 -1 1077944384 2 13296 0 0 0 0 5 2 20 0 15 0 444955447 11079880704 12116 33554432000 4194304 4196468 140725189719696 140586279447024 140586954902146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9570] ppid=9508 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9570/stat : 9570 (java) S 9508 9511 5090 0 -1 1077944384 33 13296 0 0 0 0 5 2 20 0 15 0 444955447 11079880704 12116 33554432000 4194304 4196468 140725189719696 140586278393248 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9571] ppid=9508 vsize=10820200 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9571/stat : 9571 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955448 11079884800 12116 33554432000 4194304 4196468 140725189719696 140585822316016 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9572] ppid=9508 vsize=10820200 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9572/stat : 9572 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11079884800 12116 33554432000 4194304 4196468 140725189719696 140585514916560 140586954909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9573] ppid=9508 vsize=10820200 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9511/task/9573/stat : 9573 (java) S 9508 9511 5090 0 -1 1077944384 456 13296 0 0 1 0 5 2 20 0 15 0 444955450 11079884800 12116 33554432000 4194304 4196468 140725189719696 140586244835312 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9574] ppid=9508 vsize=10820200 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9511/task/9574/stat : 9574 (java) S 9508 9511 5090 0 -1 1077944384 194 13296 0 0 2 0 5 2 20 0 15 0 444955450 11079884800 12116 33554432000 4194304 4196468 140725189719696 140586243782768 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9575] ppid=9508 vsize=10820200 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9511/task/9575/stat : 9575 (java) S 9508 9511 5090 0 -1 1077944384 633 13296 0 0 5 0 5 2 20 0 15 0 444955450 11079884800 12116 33554432000 4194304 4196468 140725189719696 140586242730224 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9576] ppid=9508 vsize=10820220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9576/stat : 9576 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11079905280 12116 33554432000 4194304 4196468 140725189719696 140585481357920 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9577] ppid=9508 vsize=10820220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9577/stat : 9577 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955451 11079905280 12181 33554432000 4194304 4196468 140725189719696 140586241678128 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48464 KiB
[startup+0.709301 s]
/proc/loadavg: 1.46 1.50 1.42 3/228 9577
/proc/meminfo: memFree=30094844/32770624 swapFree=67001980/67108860
[pid=9511] ppid=9508 vsize=10824364 memory=82060 CPUtime=1.14 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9508 9511 5090 0 -1 1077944320 15465 13296 0 0 101 6 5 2 20 0 15 0 444955436 11084148736 20515 33554432000 4194304 4196468 140725189719696 140725189702240 140586954890999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
/proc/9511/statm: 2706091 20515 3508 1 0 2668173 0
[pid=9511/tid=9564] ppid=9508 vsize=10824364 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/9511/task/9564/stat : 9564 (java) R 9508 9511 5090 0 -1 4202560 10709 13296 0 0 56 4 5 2 20 0 15 0 444955445 11084148736 20515 33554432000 4194304 4196468 140725189719696 140586926718256 140586938934629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9565] ppid=9508 vsize=10824364 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9565/stat : 9565 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955446 11084148736 20515 33554432000 4194304 4196468 140725189719696 140586959132944 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9566] ppid=9508 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9566/stat : 9566 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955446 11084148736 20515 33554432000 4194304 4196468 140725189719696 140586847406480 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9567] ppid=9508 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9567/stat : 9567 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955446 11084148736 20580 33554432000 4194304 4196468 140725189719696 140586846353936 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9568] ppid=9508 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9568/stat : 9568 (java) S 9508 9511 5090 0 -1 1077944384 2 13296 0 0 0 0 5 2 20 0 15 0 444955446 11084148736 20580 33554432000 4194304 4196468 140725189719696 140586845301392 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9569] ppid=9508 vsize=10824364 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9569/stat : 9569 (java) S 9508 9511 5090 0 -1 1077944384 5 13296 0 0 0 0 5 2 20 0 15 0 444955447 11084148736 20580 33554432000 4194304 4196468 140725189719696 140586279447024 140586954902146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9570] ppid=9508 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9570/stat : 9570 (java) S 9508 9511 5090 0 -1 1077944384 33 13296 0 0 0 0 5 2 20 0 15 0 444955447 11084148736 20580 33554432000 4194304 4196468 140725189719696 140586278393248 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9571] ppid=9508 vsize=10824364 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9571/stat : 9571 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955448 11084148736 20580 33554432000 4194304 4196468 140725189719696 140585822316016 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9572] ppid=9508 vsize=10824364 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9572/stat : 9572 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11084148736 20580 33554432000 4194304 4196468 140725189719696 140585514916560 140586954909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9573] ppid=9508 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/9511/task/9573/stat : 9573 (java) S 9508 9511 5090 0 -1 1077944384 975 13296 0 0 13 0 5 2 20 0 15 0 444955450 11084148736 20580 33554432000 4194304 4196468 140725189719696 140586244835312 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9574] ppid=9508 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/9511/task/9574/stat : 9574 (java) R 9508 9511 5090 0 -1 1077944384 646 13296 0 0 13 0 5 2 20 0 15 0 444955450 11084148736 20580 33554432000 4194304 4196468 140725189719696 140586243782768 140586954902146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9575] ppid=9508 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/9511/task/9575/stat : 9575 (java) S 9508 9511 5090 0 -1 1077944384 879 13296 0 0 17 0 5 2 20 0 15 0 444955450 11084148736 20580 33554432000 4194304 4196468 140725189719696 140586242730224 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9576] ppid=9508 vsize=10824364 memory=140408118085616 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9576/stat : 9576 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11084148736 20580 33554432000 4194304 4196468 140725189719696 140585481357920 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9577] ppid=9508 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9577/stat : 9577 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955451 11084148736 20580 33554432000 4194304 4196468 140725189719696 140586241678128 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 82060 KiB
[startup+1.50076 s]
/proc/loadavg: 1.46 1.50 1.42 3/228 9577
/proc/meminfo: memFree=30049928/32770624 swapFree=67001980/67108860
[pid=9511] ppid=9508 vsize=10834680 memory=171552 CPUtime=2.51 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9508 9511 5090 0 -1 1077944320 21968 13296 0 0 232 12 5 2 20 0 15 0 444955436 11094712320 42888 33554432000 4194304 4196468 140725189719696 140725189702240 140586954890999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
/proc/9511/statm: 2708670 42888 3577 1 0 2670733 0
[pid=9511/tid=9564] ppid=9508 vsize=10834680 memory=21 CPUtime=1.43 cores=1,3,5,7
/proc/9511/task/9564/stat : 9564 (java) R 9508 9511 5090 0 -1 4202560 15357 13296 0 0 129 7 5 2 20 0 15 0 444955445 11094712320 42888 33554432000 4194304 4196468 140725189719696 140586926688432 140586938971486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9565] ppid=9508 vsize=10834680 memory=29 CPUtime=0.08 cores=1,3,5,7
/proc/9511/task/9565/stat : 9565 (java) S 9508 9511 5090 0 -1 1077944384 29 13296 0 0 1 0 5 2 20 0 15 0 444955446 11094712320 42888 33554432000 4194304 4196468 140725189719696 140586959132944 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9566] ppid=9508 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9511/task/9566/stat : 9566 (java) S 9508 9511 5090 0 -1 1077944384 60 13296 0 0 1 0 5 2 20 0 15 0 444955446 11094712320 42888 33554432000 4194304 4196468 140725189719696 140586847406480 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9567] ppid=9508 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9511/task/9567/stat : 9567 (java) S 9508 9511 5090 0 -1 1077944384 326 13296 0 0 1 0 5 2 20 0 15 0 444955446 11094712320 42888 33554432000 4194304 4196468 140725189719696 140586846353936 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9568] ppid=9508 vsize=10834680 memory=97884 CPUtime=0.08 cores=1,3,5,7
/proc/9511/task/9568/stat : 9568 (java) S 9508 9511 5090 0 -1 1077944384 62 13296 0 0 1 0 5 2 20 0 15 0 444955446 11094712320 42888 33554432000 4194304 4196468 140725189719696 140586845301392 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9569] ppid=9508 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9511/task/9569/stat : 9569 (java) S 9508 9511 5090 0 -1 1077944384 132 13296 0 0 1 0 5 2 20 0 15 0 444955447 11094712320 42888 33554432000 4194304 4196468 140725189719696 140586279447024 140586954902146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9570] ppid=9508 vsize=10834680 memory=7014751519583653990 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9570/stat : 9570 (java) S 9508 9511 5090 0 -1 1077944384 34 13296 0 0 0 0 5 2 20 0 15 0 444955447 11094712320 42888 33554432000 4194304 4196468 140725189719696 140586278393312 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9571] ppid=9508 vsize=10834680 memory=7734476498126005849 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9571/stat : 9571 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955448 11094712320 42888 33554432000 4194304 4196468 140725189719696 140585822316032 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9572] ppid=9508 vsize=10834680 memory=7884502695121347947 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9572/stat : 9572 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11094712320 42888 33554432000 4194304 4196468 140725189719696 140585514916560 140586954909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9573] ppid=9508 vsize=10834680 memory=5571041044932548709 CPUtime=0.34 cores=1,3,5,7
/proc/9511/task/9573/stat : 9573 (java) S 9508 9511 5090 0 -1 1077944384 1179 13296 0 0 27 0 5 2 20 0 15 0 444955450 11094712320 42888 33554432000 4194304 4196468 140725189719696 140586244835312 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9574] ppid=9508 vsize=10834680 memory=7740096123614162530 CPUtime=0.32 cores=1,3,5,7
/proc/9511/task/9574/stat : 9574 (java) R 9508 9511 5090 0 -1 1077944384 851 13296 0 0 25 0 5 2 20 0 15 0 444955450 11094712320 42888 33554432000 4194304 4196468 140725189719696 140586243782768 140586954902146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9575] ppid=9508 vsize=10834680 memory=7014751519583653990 CPUtime=0.49 cores=1,3,5,7
/proc/9511/task/9575/stat : 9575 (java) R 9508 9511 5090 0 -1 4202560 1725 13296 0 0 42 0 5 2 20 0 15 0 444955450 11094712320 42888 33554432000 4194304 4196468 140725189719696 140586242730224 140586933805982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9576] ppid=9508 vsize=10834680 memory=7014751519583653990 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9576/stat : 9576 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11094712320 42888 33554432000 4194304 4196468 140725189719696 140585481357920 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9577] ppid=9508 vsize=10834680 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9577/stat : 9577 (java) S 9508 9511 5090 0 -1 1077944384 1 13296 0 0 0 0 5 2 20 0 15 0 444955451 11094712320 42888 33554432000 4194304 4196468 140725189719696 140586241678128 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/9511/task/9564/stat : 9564 (java) R 9508 9511 5090 0 -1 4202560 72705 13296 0 0 235952 54 5 2 20 0 15 0 444955445 11107315712 87810 33554432000 4194304 4196468 140725189719696 140586926726560 140586521399389 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9565] ppid=9508 vsize=10846988 memory=140408220345984 CPUtime=11.85 cores=1,3,5,7
/proc/9511/task/9565/stat : 9565 (java) S 9508 9511 5090 0 -1 1077944384 17166 13296 0 0 1126 52 5 2 20 0 15 0 444955446 11107315712 87810 33554432000 4194304 4196468 140725189719696 140586959132944 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9566] ppid=9508 vsize=10846988 memory=351240 CPUtime=11.85 cores=1,3,5,7
/proc/9511/task/9566/stat : 9566 (java) S 9508 9511 5090 0 -1 1077944384 13705 13296 0 0 1121 57 5 2 20 0 15 0 444955446 11107315712 87810 33554432000 4194304 4196468 140725189719696 140586847406480 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9567] ppid=9508 vsize=10846988 memory=351240 CPUtime=11.82 cores=1,3,5,7
/proc/9511/task/9567/stat : 9567 (java) S 9508 9511 5090 0 -1 1077944384 13268 13296 0 0 1120 55 5 2 20 0 15 0 444955446 11107315712 87810 33554432000 4194304 4196468 140725189719696 140586846353936 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9568] ppid=9508 vsize=10846988 memory=351240 CPUtime=11.86 cores=1,3,5,7
/proc/9511/task/9568/stat : 9568 (java) S 9508 9511 5090 0 -1 1077944384 16947 13296 0 0 1124 55 5 2 20 0 15 0 444955446 11107315712 87810 33554432000 4194304 4196468 140725189719696 140586845301392 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9569] ppid=9508 vsize=10846988 memory=351240 CPUtime=8.65 cores=1,3,5,7
/proc/9511/task/9569/stat : 9569 (java) S 9508 9511 5090 0 -1 1077944384 13447 13296 0 0 792 66 5 2 20 0 15 0 444955447 11107315712 87810 33554432000 4194304 4196468 140725189719696 140586279447024 140586954902146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9570] ppid=9508 vsize=10846988 memory=2012 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9570/stat : 9570 (java) S 9508 9511 5090 0 -1 1077944384 47 13296 0 0 0 0 5 2 20 0 15 0 444955447 11107315712 87810 33554432000 4194304 4196468 140725189719696 140586278393376 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9571] ppid=9508 vsize=10846988 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9571/stat : 9571 (java) S 9508 9511 5090 0 -1 1077944384 18 13296 0 0 0 0 5 2 20 0 15 0 444955448 11107315712 87810 33554432000 4194304 4196468 140725189719696 140585822316032 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9572] ppid=9508 vsize=10846988 memory=6944656424143826992 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9572/stat : 9572 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11107315712 87810 33554432000 4194304 4196468 140725189719696 140585514916560 140586954909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9573] ppid=9508 vsize=10846988 memory=8112282956445269571 CPUtime=7.15 cores=1,3,5,7
/proc/9511/task/9573/stat : 9573 (java) S 9508 9511 5090 0 -1 1077944384 37055 13296 0 0 704 4 5 2 20 0 15 0 444955450 11107315712 87810 33554432000 4194304 4196468 140725189719696 140586244835312 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9574] ppid=9508 vsize=10846988 memory=111636 CPUtime=7.46 cores=1,3,5,7
/proc/9511/task/9574/stat : 9574 (java) S 9508 9511 5090 0 -1 1077944384 32846 13296 0 0 735 4 5 2 20 0 15 0 444955450 11107315712 87810 33554432000 4194304 4196468 140725189719696 140586243782768 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9575] ppid=9508 vsize=10846988 memory=3616 CPUtime=2.4 cores=1,3,5,7
/proc/9511/task/9575/stat : 9575 (java) S 9508 9511 5090 0 -1 1077944384 20419 13296 0 0 228 5 5 2 20 0 15 0 444955450 11107315712 87810 33554432000 4194304 4196468 140725189719696 140586242730224 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9576] ppid=9508 vsize=10846988 memory=45336 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9576/stat : 9576 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11107315712 87810 33554432000 4194304 4196468 140725189719696 140585481357920 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9577] ppid=9508 vsize=10846988 memory=351756 CPUtime=1.31 cores=1,3,5,7
/proc/9511/task/9577/stat : 9577 (java) S 9508 9511 5090 0 -1 1077944384 1241 13296 0 0 60 64 5 2 20 0 15 0 444955451 11107315712 87810 33554432000 4194304 4196468 140725189719696 140586241678128 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
Current children cumulated CPU time: 2433.94 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 351240 KiB
[startup+2442.3 s]
/proc/loadavg: 1.23 1.32 1.40 3/227 9943
/proc/meminfo: memFree=28220764/32770624 swapFree=67001992/67108860
[pid=9511] ppid=9508 vsize=10846988 memory=360304 CPUtime=2494.85 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9508 9511 5090 0 -1 1077944320 244739 13296 0 0 249103 375 5 2 20 0 15 0 444955436 11107315712 90076 33554432000 4194304 4196468 140725189719696 140725189702240 140586954890999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
/proc/9511/statm: 2711747 90076 3635 1 0 2673805 0
[pid=9511/tid=9564] ppid=9508 vsize=10846988 memory=4000 CPUtime=2419.49 cores=1,3,5,7
/proc/9511/task/9564/stat : 9564 (java) R 9508 9511 5090 0 -1 4202560 74425 13296 0 0 241887 55 5 2 20 0 15 0 444955445 11107315712 90076 33554432000 4194304 4196468 140725189719696 140586926726896 140586530716139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9565] ppid=9508 vsize=10846988 memory=1720 CPUtime=12.17 cores=1,3,5,7
/proc/9511/task/9565/stat : 9565 (java) S 9508 9511 5090 0 -1 1077944384 17581 13296 0 0 1157 53 5 2 20 0 15 0 444955446 11107315712 90076 33554432000 4194304 4196468 140725189719696 140586959132944 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9566] ppid=9508 vsize=10846988 memory=361844 CPUtime=12.17 cores=1,3,5,7
/proc/9511/task/9566/stat : 9566 (java) S 9508 9511 5090 0 -1 1077944384 14412 13296 0 0 1152 58 5 2 20 0 15 0 444955446 11107315712 90076 33554432000 4194304 4196468 140725189719696 140586847406480 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9567] ppid=9508 vsize=10846988 memory=356428 CPUtime=12.12 cores=1,3,5,7
/proc/9511/task/9567/stat : 9567 (java) S 9508 9511 5090 0 -1 1077944384 13671 13296 0 0 1150 55 5 2 20 0 15 0 444955446 11107315712 90076 33554432000 4194304 4196468 140725189719696 140586846353936 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9568] ppid=9508 vsize=10846988 memory=140408220345984 CPUtime=12.19 cores=1,3,5,7
/proc/9511/task/9568/stat : 9568 (java) S 9508 9511 5090 0 -1 1077944384 17231 13296 0 0 1156 56 5 2 20 0 15 0 444955446 11107315712 90076 33554432000 4194304 4196468 140725189719696 140586845301392 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9569] ppid=9508 vsize=10846988 memory=349816 CPUtime=8.87 cores=1,3,5,7
/proc/9511/task/9569/stat : 9569 (java) S 9508 9511 5090 0 -1 1077944384 13569 13296 0 0 812 68 5 2 20 0 15 0 444955447 11107315712 90076 33554432000 4194304 4196468 140725189719696 140586279447024 140586954902146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9570] ppid=9508 vsize=10846988 memory=349816 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9570/stat : 9570 (java) S 9508 9511 5090 0 -1 1077944384 47 13296 0 0 0 0 5 2 20 0 15 0 444955447 11107315712 90076 33554432000 4194304 4196468 140725189719696 140586278393376 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9571] ppid=9508 vsize=10846988 memory=357444 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9571/stat : 9571 (java) S 9508 9511 5090 0 -1 1077944384 18 13296 0 0 0 0 5 2 20 0 15 0 444955448 11107315712 90076 33554432000 4194304 4196468 140725189719696 140585822316032 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9572] ppid=9508 vsize=10846988 memory=356428 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9572/stat : 9572 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11107315712 90076 33554432000 4194304 4196468 140725189719696 140585514916560 140586954909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9573] ppid=9508 vsize=10846988 memory=363896 CPUtime=7.15 cores=1,3,5,7
/proc/9511/task/9573/stat : 9573 (java) S 9508 9511 5090 0 -1 1077944384 37057 13296 0 0 704 4 5 2 20 0 15 0 444955450 11107315712 90076 33554432000 4194304 4196468 140725189719696 140586244835312 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9574] ppid=9508 vsize=10846988 memory=362868 CPUtime=7.46 cores=1,3,5,7
/proc/9511/task/9574/stat : 9574 (java) S 9508 9511 5090 0 -1 1077944384 32848 13296 0 0 735 4 5 2 20 0 15 0 444955450 11107315712 90076 33554432000 4194304 4196468 140725189719696 140586243782768 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9575] ppid=9508 vsize=10846988 memory=361328 CPUtime=2.4 cores=1,3,5,7
/proc/9511/task/9575/stat : 9575 (java) S 9508 9511 5090 0 -1 1077944384 20421 13296 0 0 228 5 5 2 20 0 15 0 444955450 11107315712 90076 33554432000 4194304 4196468 140725189719696 140586242730224 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9576] ppid=9508 vsize=10846988 memory=2116 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9576/stat : 9576 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11107315712 90076 33554432000 4194304 4196468 140725189719696 140585481357920 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9577] ppid=9508 vsize=10846988 memory=361844 CPUtime=1.35 cores=1,3,5,7
/proc/9511/task/9577/stat : 9577 (java) S 9508 9511 5090 0 -1 1077944384 1247 13296 0 0 62 66 5 2 20 0 15 0 444955451 11107315712 90076 33554432000 4194304 4196468 140725189719696 140586241678128 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
Current children cumulated CPU time: 2494.85 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 360304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.11 s]
/proc/loadavg: 1.27 1.33 1.40 3/227 9943
/proc/meminfo: memFree=28242876/32770624 swapFree=67001992/67108860
[pid=9511] ppid=9508 vsize=10846988 memory=356768 CPUtime=2520.06 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9508 9511 5090 0 -1 1077944320 245268 13296 0 0 251621 378 5 2 20 0 15 0 444955436 11107315712 89192 33554432000 4194304 4196468 140725189719696 140725189702240 140586954890999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
/proc/9511/statm: 2711747 89192 3635 1 0 2673805 0
[pid=9511/tid=9564] ppid=9508 vsize=10846988 memory=356768 CPUtime=2444.04 cores=1,3,5,7
/proc/9511/task/9564/stat : 9564 (java) R 9508 9511 5090 0 -1 4202560 74624 13296 0 0 244342 55 5 2 20 0 15 0 444955445 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586926726624 140586515968382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9565] ppid=9508 vsize=10846988 memory=356768 CPUtime=12.3 cores=1,3,5,7
/proc/9511/task/9565/stat : 9565 (java) S 9508 9511 5090 0 -1 1077944384 17648 13296 0 0 1170 53 5 2 20 0 15 0 444955446 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586959132944 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9566] ppid=9508 vsize=10846988 memory=356768 CPUtime=12.31 cores=1,3,5,7
/proc/9511/task/9566/stat : 9566 (java) S 9508 9511 5090 0 -1 1077944384 14554 13296 0 0 1166 58 5 2 20 0 15 0 444955446 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586847406480 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9567] ppid=9508 vsize=10846988 memory=6656426216303648864 CPUtime=12.27 cores=1,3,5,7
/proc/9511/task/9567/stat : 9567 (java) S 9508 9511 5090 0 -1 1077944384 13693 13296 0 0 1164 56 5 2 20 0 15 0 444955446 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586846353936 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9568] ppid=9508 vsize=10846988 memory=0 CPUtime=12.32 cores=1,3,5,7
/proc/9511/task/9568/stat : 9568 (java) S 9508 9511 5090 0 -1 1077944384 17250 13296 0 0 1169 56 5 2 20 0 15 0 444955446 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586845301392 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9569] ppid=9508 vsize=10846988 memory=1720 CPUtime=8.95 cores=1,3,5,7
/proc/9511/task/9569/stat : 9569 (java) S 9508 9511 5090 0 -1 1077944384 13644 13296 0 0 820 68 5 2 20 0 15 0 444955447 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586279447024 140586954902146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9570] ppid=9508 vsize=10846988 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9570/stat : 9570 (java) S 9508 9511 5090 0 -1 1077944384 47 13296 0 0 0 0 5 2 20 0 15 0 444955447 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586278393376 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9571] ppid=9508 vsize=10846988 memory=356768 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9571/stat : 9571 (java) S 9508 9511 5090 0 -1 1077944384 18 13296 0 0 0 0 5 2 20 0 15 0 444955448 11107315712 89192 33554432000 4194304 4196468 140725189719696 140585822316032 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9572] ppid=9508 vsize=10846988 memory=356768 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9572/stat : 9572 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11107315712 89192 33554432000 4194304 4196468 140725189719696 140585514916560 140586954909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9573] ppid=9508 vsize=10846988 memory=8112282956445269571 CPUtime=7.15 cores=1,3,5,7
/proc/9511/task/9573/stat : 9573 (java) S 9508 9511 5090 0 -1 1077944384 37057 13296 0 0 704 4 5 2 20 0 15 0 444955450 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586244835312 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9574] ppid=9508 vsize=10846988 memory=1096 CPUtime=7.46 cores=1,3,5,7
/proc/9511/task/9574/stat : 9574 (java) S 9508 9511 5090 0 -1 1077944384 32849 13296 0 0 735 4 5 2 20 0 15 0 444955450 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586243782768 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9575] ppid=9508 vsize=10846988 memory=356768 CPUtime=2.4 cores=1,3,5,7
/proc/9511/task/9575/stat : 9575 (java) S 9508 9511 5090 0 -1 1077944384 20421 13296 0 0 228 5 5 2 20 0 15 0 444955450 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586242730224 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9576] ppid=9508 vsize=10846988 memory=1556 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9576/stat : 9576 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11107315712 89192 33554432000 4194304 4196468 140725189719696 140585481357920 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9577] ppid=9508 vsize=10846988 memory=3616 CPUtime=1.36 cores=1,3,5,7
/proc/9511/task/9577/stat : 9577 (java) S 9508 9511 5090 0 -1 1077944384 1251 13296 0 0 62 67 5 2 20 0 15 0 444955451 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586241678128 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 356768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.14 s]
# the end of solver process 9511 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.3 s, system=3.81665 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.11 s]
/proc/loadavg: 1.27 1.33 1.40 3/227 9943
/proc/meminfo: memFree=28242876/32770624 swapFree=67001992/67108860
[pid=9511] ppid=9508 vsize=10846988 memory=356768 CPUtime=2520.06 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9508 9511 5090 0 -1 1077944320 245268 13296 0 0 251621 378 5 2 20 0 15 0 444955436 11107315712 89192 33554432000 4194304 4196468 140725189719696 140725189702240 140586954890999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
/proc/9511/statm: 2711747 89192 3635 1 0 2673805 0
[pid=9511/tid=9564] ppid=9508 vsize=10846988 memory=356768 CPUtime=2444.04 cores=1,3,5,7
/proc/9511/task/9564/stat : 9564 (java) R 9508 9511 5090 0 -1 4202560 74624 13296 0 0 244342 55 5 2 20 0 15 0 444955445 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586926726624 140586515968382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9565] ppid=9508 vsize=10846988 memory=356768 CPUtime=12.3 cores=1,3,5,7
/proc/9511/task/9565/stat : 9565 (java) S 9508 9511 5090 0 -1 1077944384 17648 13296 0 0 1170 53 5 2 20 0 15 0 444955446 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586959132944 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9566] ppid=9508 vsize=10846988 memory=356768 CPUtime=12.31 cores=1,3,5,7
/proc/9511/task/9566/stat : 9566 (java) S 9508 9511 5090 0 -1 1077944384 14554 13296 0 0 1166 58 5 2 20 0 15 0 444955446 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586847406480 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9567] ppid=9508 vsize=10846988 memory=6656426216303648864 CPUtime=12.27 cores=1,3,5,7
/proc/9511/task/9567/stat : 9567 (java) S 9508 9511 5090 0 -1 1077944384 13693 13296 0 0 1164 56 5 2 20 0 15 0 444955446 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586846353936 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9568] ppid=9508 vsize=10846988 memory=0 CPUtime=12.32 cores=1,3,5,7
/proc/9511/task/9568/stat : 9568 (java) S 9508 9511 5090 0 -1 1077944384 17250 13296 0 0 1169 56 5 2 20 0 15 0 444955446 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586845301392 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9569] ppid=9508 vsize=10846988 memory=1720 CPUtime=8.95 cores=1,3,5,7
/proc/9511/task/9569/stat : 9569 (java) S 9508 9511 5090 0 -1 1077944384 13644 13296 0 0 820 68 5 2 20 0 15 0 444955447 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586279447024 140586954902146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9570] ppid=9508 vsize=10846988 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9570/stat : 9570 (java) S 9508 9511 5090 0 -1 1077944384 47 13296 0 0 0 0 5 2 20 0 15 0 444955447 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586278393376 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9571] ppid=9508 vsize=10846988 memory=356768 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9571/stat : 9571 (java) S 9508 9511 5090 0 -1 1077944384 18 13296 0 0 0 0 5 2 20 0 15 0 444955448 11107315712 89192 33554432000 4194304 4196468 140725189719696 140585822316032 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9572] ppid=9508 vsize=10846988 memory=356768 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9572/stat : 9572 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11107315712 89192 33554432000 4194304 4196468 140725189719696 140585514916560 140586954909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9573] ppid=9508 vsize=10846988 memory=8112282956445269571 CPUtime=7.15 cores=1,3,5,7
/proc/9511/task/9573/stat : 9573 (java) S 9508 9511 5090 0 -1 1077944384 37057 13296 0 0 704 4 5 2 20 0 15 0 444955450 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586244835312 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9574] ppid=9508 vsize=10846988 memory=1096 CPUtime=7.46 cores=1,3,5,7
/proc/9511/task/9574/stat : 9574 (java) S 9508 9511 5090 0 -1 1077944384 32849 13296 0 0 735 4 5 2 20 0 15 0 444955450 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586243782768 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9575] ppid=9508 vsize=10846988 memory=356768 CPUtime=2.4 cores=1,3,5,7
/proc/9511/task/9575/stat : 9575 (java) S 9508 9511 5090 0 -1 1077944384 20421 13296 0 0 228 5 5 2 20 0 15 0 444955450 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586242730224 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9576] ppid=9508 vsize=10846988 memory=1556 CPUtime=0.07 cores=1,3,5,7
/proc/9511/task/9576/stat : 9576 (java) S 9508 9511 5090 0 -1 1077944384 3 13296 0 0 0 0 5 2 20 0 15 0 444955450 11107315712 89192 33554432000 4194304 4196468 140725189719696 140585481357920 140586954901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
[pid=9511/tid=9577] ppid=9508 vsize=10846988 memory=3616 CPUtime=1.36 cores=1,3,5,7
/proc/9511/task/9577/stat : 9577 (java) S 9508 9511 5090 0 -1 1077944384 1251 13296 0 0 62 67 5 2 20 0 15 0 444955451 11107315712 89192 33554432000 4194304 4196468 140725189719696 140586241678128 140586954902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12701696 140725189724911 140725189727429 140725189727429 140725189730255 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 356768 KiB
Child status: 143
Real time (s): 2467.14
CPU time (s): 2520.11
CPU user time (s): 2516.3
CPU system time (s): 3.81665
CPU usage (%): 102.147
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1583688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.3
system time used= 3.81665
maximum resident set size= 1585244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 242214
involuntary context switches= 5274
# summary of solver processes directly reported to runsolver:
# pid: 9511
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.3
# total CPU system time (s): 3.81665
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4998 second user time and 22.9941 second system time
The end