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 (1575 MiB free)
memory of node 1: 16384 MiB (1643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403231-1568978040/watcher-4403231-1568978040 -o /var/tmp/evaluation-result-4403231-1568978040/solver-4403231-1568978040 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568963918-28493 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1308241223 HOME/instance-4403231-1568978040.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31558, runsolver pid=31555
Current StackSize limit: 8192 KiB
[startup+0.101835 s]*
/proc/loadavg: 1.17 1.41 1.50 3/218 31615
/proc/meminfo: memFree=3288248/32770624 swapFree=66952500/67108860
[pid=31558] ppid=31555 vsize=9972712 memory=18852 CPUtime=0.09 cores=1,3,5,7
/proc/31558/stat : 31558 (java) S 31555 31558 28461 0 -1 1077944320 4436 13364 0 0 1 0 5 3 20 0 6 0 474059625 10212057088 4713 33554432000 4194304 4196468 140729570079552 140729570062096 140107951734519 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
/proc/31558/statm: 2493178 4713 1934 1 0 2481616 0
[pid=31558/tid=31611] ppid=31555 vsize=9972712 memory=4279135703946724751 CPUtime=0.09 cores=1,3,5,7
/proc/31558/task/31611/stat : 31611 (java) R 31555 31558 28461 0 -1 4202560 2227 13364 0 0 1 0 5 3 20 0 6 0 474059634 10212057088 4713 33554432000 4194304 4196468 140729570079552 140107923571280 140107936857456 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31612] ppid=31555 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31612/stat : 31612 (java) S 31555 31558 28461 0 -1 1077944384 2 13364 0 0 0 0 5 3 20 0 6 0 474059635 10212057088 4713 33554432000 4194304 4196468 140729570079552 140107955976592 140107951744725 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31613] ppid=31555 vsize=9972712 memory=140115448374912 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31613/stat : 31613 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 6 0 474059635 10212057088 4713 33554432000 4194304 4196468 140729570079552 140107874728208 140107951744725 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31614] ppid=31555 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31614/stat : 31614 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 6 0 474059635 10212057088 4713 33554432000 4194304 4196468 140729570079552 140107523742352 140107951744725 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31615] ppid=31555 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31615/stat : 31615 (java) S 31555 31558 28461 0 -1 1077944384 2 13364 0 0 0 0 5 3 20 0 6 0 474059635 10212057088 4713 33554432000 4194304 4196468 140729570079552 140107522689552 140107951744725 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18852 KiB
[startup+0.209827 s]*
/proc/loadavg: 1.17 1.41 1.50 3/227 31624
/proc/meminfo: memFree=3270920/32770624 swapFree=66952500/67108860
[pid=31558] ppid=31555 vsize=10820196 memory=41540 CPUtime=0.27 cores=1,3,5,7
/proc/31558/stat : 31558 (java) S 31555 31558 28461 0 -1 1077944320 7332 13364 0 0 18 1 5 3 20 0 15 0 474059625 11079880704 10385 33554432000 4194304 4196468 140729570079552 140729570062096 140107951734519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
/proc/31558/statm: 2705049 10385 3296 1 0 2667149 0
[pid=31558/tid=31611] ppid=31555 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31558/task/31611/stat : 31611 (java) R 31555 31558 28461 0 -1 4202560 3825 13364 0 0 11 0 5 3 20 0 15 0 474059634 11079880704 10385 33554432000 4194304 4196468 140729570079552 140107923545552 140107935815006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31612] ppid=31555 vsize=10820196 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31612/stat : 31612 (java) S 31555 31558 28461 0 -1 1077944384 2 13364 0 0 0 0 5 3 20 0 15 0 474059635 11079880704 10385 33554432000 4194304 4196468 140729570079552 140107955976592 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31613] ppid=31555 vsize=10820196 memory=140115448403789 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31613/stat : 31613 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059635 11079880704 10385 33554432000 4194304 4196468 140729570079552 140107874728208 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31614] ppid=31555 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31614/stat : 31614 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059635 11079880704 10385 33554432000 4194304 4196468 140729570079552 140107523742352 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31615] ppid=31555 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31615/stat : 31615 (java) S 31555 31558 28461 0 -1 1077944384 2 13364 0 0 0 0 5 3 20 0 15 0 474059635 11079880704 10385 33554432000 4194304 4196468 140729570079552 140107522689552 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31616] ppid=31555 vsize=10820196 memory=140115448374912 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31616/stat : 31616 (java) S 31555 31558 28461 0 -1 1077944384 2 13364 0 0 0 0 5 3 20 0 15 0 474059636 11079880704 10385 33554432000 4194304 4196468 140729570079552 140107478383216 140107951745666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31617] ppid=31555 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31617/stat : 31617 (java) S 31555 31558 28461 0 -1 1077944384 13 13364 0 0 0 0 5 3 20 0 15 0 474059637 11079880704 10385 33554432000 4194304 4196468 140729570079552 140107403224352 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31618] ppid=31555 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31618/stat : 31618 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059637 11079880704 10385 33554432000 4194304 4196468 140729570079552 140106799244912 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31619] ppid=31555 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31619/stat : 31619 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11079880704 10385 33554432000 4194304 4196468 140729570079552 140106491845200 140107951753115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31620] ppid=31555 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31558/task/31620/stat : 31620 (java) R 31555 31558 28461 0 -1 4202560 500 13364 0 0 1 0 5 3 20 0 15 0 474059640 11079880704 10385 33554432000 4194304 4196468 140729570079552 140107477330032 140107929530411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31621] ppid=31555 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31621/stat : 31621 (java) S 31555 31558 28461 0 -1 1077944384 165 13364 0 0 0 0 5 3 20 0 15 0 474059640 11079880704 10385 33554432000 4194304 4196468 140729570079552 140107476277232 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31622] ppid=31555 vsize=10820196 memory=140115448374912 CPUtime=0.11 cores=1,3,5,7
/proc/31558/task/31622/stat : 31622 (java) S 31555 31558 28461 0 -1 1077944384 619 13364 0 0 3 0 5 3 20 0 15 0 474059640 11079880704 10385 33554432000 4194304 4196468 140729570079552 140107475224944 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31623] ppid=31555 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31623/stat : 31623 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11079880704 10385 33554432000 4194304 4196468 140729570079552 140106458286560 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31624] ppid=31555 vsize=10820196 memory=140115448374912 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31624/stat : 31624 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059640 11079880704 10385 33554432000 4194304 4196468 140729570079552 140107474172848 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41540 KiB
[startup+0.310518 s]*
/proc/loadavg: 1.17 1.41 1.50 3/227 31624
/proc/meminfo: memFree=3258312/32770624 swapFree=66952500/67108860
[pid=31558] ppid=31555 vsize=10820196 memory=49928 CPUtime=0.41 cores=1,3,5,7
/proc/31558/stat : 31558 (java) S 31555 31558 28461 0 -1 1077944320 10755 13364 0 0 30 3 5 3 20 0 15 0 474059625 11079880704 12482 33554432000 4194304 4196468 140729570079552 140729570062096 140107951734519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
/proc/31558/statm: 2705049 12482 3316 1 0 2667149 0
[pid=31558/tid=31611] ppid=31555 vsize=10820196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/31558/task/31611/stat : 31611 (java) R 31555 31558 28461 0 -1 4202560 7218 13364 0 0 20 2 5 3 20 0 15 0 474059634 11079880704 12482 33554432000 4194304 4196468 140729570079552 140107923552976 140107935820928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31612] ppid=31555 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31612/stat : 31612 (java) S 31555 31558 28461 0 -1 1077944384 2 13364 0 0 0 0 5 3 20 0 15 0 474059635 11079880704 12547 33554432000 4194304 4196468 140729570079552 140107955976592 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31613] ppid=31555 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31613/stat : 31613 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059635 11079880704 12547 33554432000 4194304 4196468 140729570079552 140107874728208 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31614] ppid=31555 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31614/stat : 31614 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059635 11079880704 12547 33554432000 4194304 4196468 140729570079552 140107523742352 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31615] ppid=31555 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31615/stat : 31615 (java) S 31555 31558 28461 0 -1 1077944384 2 13364 0 0 0 0 5 3 20 0 15 0 474059635 11079880704 12547 33554432000 4194304 4196468 140729570079552 140107522689552 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31616] ppid=31555 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31616/stat : 31616 (java) S 31555 31558 28461 0 -1 1077944384 2 13364 0 0 0 0 5 3 20 0 15 0 474059636 11079880704 12547 33554432000 4194304 4196468 140729570079552 140107478383216 140107951745666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31617] ppid=31555 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31617/stat : 31617 (java) S 31555 31558 28461 0 -1 1077944384 13 13364 0 0 0 0 5 3 20 0 15 0 474059637 11079880704 12547 33554432000 4194304 4196468 140729570079552 140107403224352 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31618] ppid=31555 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31618/stat : 31618 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059637 11079880704 12547 33554432000 4194304 4196468 140729570079552 140106799244912 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31619] ppid=31555 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31619/stat : 31619 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11079880704 12547 33554432000 4194304 4196468 140729570079552 140106491845200 140107951753115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31620] ppid=31555 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/31558/task/31620/stat : 31620 (java) S 31555 31558 28461 0 -1 1077944384 502 13364 0 0 2 0 5 3 20 0 15 0 474059640 11079880704 12547 33554432000 4194304 4196468 140729570079552 140107477330032 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31621] ppid=31555 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/31558/task/31621/stat : 31621 (java) S 31555 31558 28461 0 -1 1077944384 166 13364 0 0 1 0 5 3 20 0 15 0 474059640 11079880704 12547 33554432000 4194304 4196468 140729570079552 140107476277232 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31622] ppid=31555 vsize=10820196 memory=140115448374912 CPUtime=0.13 cores=1,3,5,7
/proc/31558/task/31622/stat : 31622 (java) S 31555 31558 28461 0 -1 1077944384 637 13364 0 0 5 0 5 3 20 0 15 0 474059640 11079880704 12547 33554432000 4194304 4196468 140729570079552 140107475224944 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31623] ppid=31555 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31623/stat : 31623 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11079880704 12547 33554432000 4194304 4196468 140729570079552 140106458286560 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31624] ppid=31555 vsize=10820196 memory=140115448374912 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31624/stat : 31624 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059640 11079880704 12547 33554432000 4194304 4196468 140729570079552 140107474172848 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49928 KiB
[startup+0.700694 s]
/proc/loadavg: 1.17 1.41 1.50 5/227 31624
/proc/meminfo: memFree=3242792/32770624 swapFree=66952500/67108860
[pid=31558] ppid=31555 vsize=10824364 memory=83616 CPUtime=1.15 cores=1,3,5,7
/proc/31558/stat : 31558 (java) S 31555 31558 28461 0 -1 1077944320 15119 13364 0 0 102 5 5 3 20 0 15 0 474059625 11084148736 20904 33554432000 4194304 4196468 140729570079552 140729570062096 140107951734519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
/proc/31558/statm: 2706091 20904 3510 1 0 2668173 0
[pid=31558/tid=31611] ppid=31555 vsize=10824364 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/31558/task/31611/stat : 31611 (java) R 31555 31558 28461 0 -1 4202560 10481 13364 0 0 56 4 5 3 20 0 15 0 474059634 11084148736 20904 33554432000 4194304 4196468 140729570079552 140107923564064 140107935815006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31612] ppid=31555 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31612/stat : 31612 (java) S 31555 31558 28461 0 -1 1077944384 2 13364 0 0 0 0 5 3 20 0 15 0 474059635 11084148736 20904 33554432000 4194304 4196468 140729570079552 140107955976592 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31613] ppid=31555 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31613/stat : 31613 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059635 11084148736 20904 33554432000 4194304 4196468 140729570079552 140107874728208 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31614] ppid=31555 vsize=10824364 memory=140115322221360 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31614/stat : 31614 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059635 11084148736 20904 33554432000 4194304 4196468 140729570079552 140107523742352 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31615] ppid=31555 vsize=10824364 memory=140119013065303 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31615/stat : 31615 (java) S 31555 31558 28461 0 -1 1077944384 2 13364 0 0 0 0 5 3 20 0 15 0 474059635 11084148736 20904 33554432000 4194304 4196468 140729570079552 140107522689552 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31616] ppid=31555 vsize=10824364 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31616/stat : 31616 (java) S 31555 31558 28461 0 -1 1077944384 5 13364 0 0 0 0 5 3 20 0 15 0 474059636 11084148736 20904 33554432000 4194304 4196468 140729570079552 140107478383216 140107951745666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31617] ppid=31555 vsize=10824364 memory=4639098309541126758 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31617/stat : 31617 (java) S 31555 31558 28461 0 -1 1077944384 13 13364 0 0 0 0 5 3 20 0 15 0 474059637 11084148736 20904 33554432000 4194304 4196468 140729570079552 140107403224352 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31618] ppid=31555 vsize=10824364 memory=7665787820717986145 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31618/stat : 31618 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059637 11084148736 20904 33554432000 4194304 4196468 140729570079552 140106799244912 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31619] ppid=31555 vsize=10824364 memory=15148 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31619/stat : 31619 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11084148736 20904 33554432000 4194304 4196468 140729570079552 140106491845200 140107951753115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31620] ppid=31555 vsize=10824364 memory=2120 CPUtime=0.23 cores=1,3,5,7
/proc/31558/task/31620/stat : 31620 (java) S 31555 31558 28461 0 -1 1077944384 945 13364 0 0 15 0 5 3 20 0 15 0 474059640 11084148736 20904 33554432000 4194304 4196468 140729570079552 140107477330032 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31621] ppid=31555 vsize=10824364 memory=12036 CPUtime=0.22 cores=1,3,5,7
/proc/31558/task/31621/stat : 31621 (java) R 31555 31558 28461 0 -1 4202560 634 13364 0 0 14 0 5 3 20 0 15 0 474059640 11084148736 20904 33554432000 4194304 4196468 140729570079552 140107476277232 140107930981449 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31622] ppid=31555 vsize=10824364 memory=496 CPUtime=0.25 cores=1,3,5,7
/proc/31558/task/31622/stat : 31622 (java) S 31555 31558 28461 0 -1 1077944384 827 13364 0 0 17 0 5 3 20 0 15 0 474059640 11084148736 20904 33554432000 4194304 4196468 140729570079552 140107475224944 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31623] ppid=31555 vsize=10824364 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31623/stat : 31623 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11084148736 20904 33554432000 4194304 4196468 140729570079552 140106458286560 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31624] ppid=31555 vsize=10824364 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31624/stat : 31624 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059640 11084148736 20904 33554432000 4194304 4196468 140729570079552 140107474172848 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83616 KiB
[startup+1.5007 s]
/proc/loadavg: 1.17 1.41 1.50 3/227 31624
/proc/meminfo: memFree=3198124/32770624 swapFree=66952500/67108860
[pid=31558] ppid=31555 vsize=10834680 memory=169268 CPUtime=2.47 cores=1,3,5,7
/proc/31558/stat : 31558 (java) S 31555 31558 28461 0 -1 1077944320 20471 13364 0 0 229 10 5 3 20 0 15 0 474059625 11094712320 42317 33554432000 4194304 4196468 140729570079552 140729570062096 140107951734519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
/proc/31558/statm: 2708670 42317 3574 1 0 2670733 0
[pid=31558/tid=31611] ppid=31555 vsize=10834680 memory=67716 CPUtime=1.44 cores=1,3,5,7
/proc/31558/task/31611/stat : 31611 (java) R 31555 31558 28461 0 -1 4202560 14986 13364 0 0 130 6 5 3 20 0 15 0 474059634 11094712320 42317 33554432000 4194304 4196468 140729570079552 140107923551936 140107931953643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31612] ppid=31555 vsize=10834680 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31612/stat : 31612 (java) S 31555 31558 28461 0 -1 1077944384 26 13364 0 0 0 0 5 3 20 0 15 0 474059635 11094712320 42317 33554432000 4194304 4196468 140729570079552 140107955976592 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31613] ppid=31555 vsize=10834680 memory=280230644474016 CPUtime=0.09 cores=1,3,5,7
/proc/31558/task/31613/stat : 31613 (java) S 31555 31558 28461 0 -1 1077944384 27 13364 0 0 1 0 5 3 20 0 15 0 474059635 11094712320 42317 33554432000 4194304 4196468 140729570079552 140107874728208 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31614] ppid=31555 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31558/task/31614/stat : 31614 (java) S 31555 31558 28461 0 -1 1077944384 24 13364 0 0 1 0 5 3 20 0 15 0 474059635 11094712320 42317 33554432000 4194304 4196468 140729570079552 140107523742352 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31615] ppid=31555 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31558/task/31615/stat : 31615 (java) S 31555 31558 28461 0 -1 1077944384 32 13364 0 0 1 0 5 3 20 0 15 0 474059635 11094712320 42317 33554432000 4194304 4196468 140729570079552 140107522689552 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31616] ppid=31555 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31558/task/31616/stat : 31616 (java) S 31555 31558 28461 0 -1 1077944384 43 13364 0 0 1 0 5 3 20 0 15 0 474059636 11094712320 42317 33554432000 4194304 4196468 140729570079552 140107478383216 140107951745666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31617] ppid=31555 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31617/stat : 31617 (java) S 31555 31558 28461 0 -1 1077944384 13 13364 0 0 0 0 5 3 20 0 15 0 474059637 11094712320 42317 33554432000 4194304 4196468 140729570079552 140107403224416 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31618] ppid=31555 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31618/stat : 31618 (java) S 31555 31558 28461 0 -1 1077944384 2 13364 0 0 0 0 5 3 20 0 15 0 474059637 11094712320 42317 33554432000 4194304 4196468 140729570079552 140106799244928 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31619] ppid=31555 vsize=10834680 memory=-5921431000321636112 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31619/stat : 31619 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11094712320 42317 33554432000 4194304 4196468 140729570079552 140106491845200 140107951753115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31620] ppid=31555 vsize=10834680 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/31558/task/31620/stat : 31620 (java) S 31555 31558 28461 0 -1 1077944384 1007 13364 0 0 26 0 5 3 20 0 15 0 474059640 11094712320 42317 33554432000 4194304 4196468 140729570079552 140107477330032 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31621] ppid=31555 vsize=10834680 memory=10 CPUtime=0.34 cores=1,3,5,7
/proc/31558/task/31621/stat : 31621 (java) R 31555 31558 28461 0 -1 1077944384 697 13364 0 0 26 0 5 3 20 0 15 0 474059640 11094712320 42317 33554432000 4194304 4196468 140729570079552 140107476277232 140107951745666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31622] ppid=31555 vsize=10834680 memory=6791534058613427641 CPUtime=0.47 cores=1,3,5,7
/proc/31558/task/31622/stat : 31622 (java) S 31555 31558 28461 0 -1 1077944384 1404 13364 0 0 39 0 5 3 20 0 15 0 474059640 11094712320 42317 33554432000 4194304 4196468 140729570079552 140107475224944 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31623] ppid=31555 vsize=10834680 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31623/stat : 31623 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11094712320 42317 33554432000 4194304 4196468 140729570079552 140106458286560 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31624] ppid=31555 vsize=10834680 memory=280230644718528 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31624/stat : 31624 (java) S 31555 31558 28461 0 -1 1077944384 1 13364 0 0 0 0 5 3 20 0 15 0 474059640 11094712320 42317 33554432000 4194304 4196468 140729570079552 140107474172848 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/31558/task/31611/stat : 31611 (java) R 31555 31558 28461 0 -1 4202560 55219 13364 0 0 223540 51 5 3 20 0 15 0 474059634 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107923571072 140107565245402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31612] ppid=31555 vsize=10844940 memory=818100 CPUtime=11.02 cores=1,3,5,7
/proc/31558/task/31612/stat : 31612 (java) S 31555 31558 28461 0 -1 1077944384 11407 13364 0 0 1031 63 5 3 20 0 15 0 474059635 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107955976592 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31613] ppid=31555 vsize=10844940 memory=818100 CPUtime=11 cores=1,3,5,7
/proc/31558/task/31613/stat : 31613 (java) S 31555 31558 28461 0 -1 1077944384 8178 13364 0 0 1030 62 5 3 20 0 15 0 474059635 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107874728208 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31614] ppid=31555 vsize=10844940 memory=818100 CPUtime=11.03 cores=1,3,5,7
/proc/31558/task/31614/stat : 31614 (java) S 31555 31558 28461 0 -1 1077944384 8467 13364 0 0 1035 60 5 3 20 0 15 0 474059635 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107523742352 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31615] ppid=31555 vsize=10844940 memory=818100 CPUtime=11.04 cores=1,3,5,7
/proc/31558/task/31615/stat : 31615 (java) S 31555 31558 28461 0 -1 1077944384 10203 13364 0 0 1033 63 5 3 20 0 15 0 474059635 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107522689552 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31616] ppid=31555 vsize=10844940 memory=818100 CPUtime=11.68 cores=1,3,5,7
/proc/31558/task/31616/stat : 31616 (java) S 31555 31558 28461 0 -1 1077944384 11321 13364 0 0 1103 57 5 3 20 0 15 0 474059636 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107478383216 140107951745666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31617] ppid=31555 vsize=10844940 memory=818100 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31617/stat : 31617 (java) S 31555 31558 28461 0 -1 1077944384 13 13364 0 0 0 0 5 3 20 0 15 0 474059637 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107403224480 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31618] ppid=31555 vsize=10844940 memory=-4866526899798303339 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31618/stat : 31618 (java) S 31555 31558 28461 0 -1 1077944384 9 13364 0 0 0 0 5 3 20 0 15 0 474059637 11105218560 204525 33554432000 4194304 4196468 140729570079552 140106799244928 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31619] ppid=31555 vsize=10844940 memory=818100 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31619/stat : 31619 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140106491845200 140107951753115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31620] ppid=31555 vsize=10844940 memory=818100 CPUtime=2.46 cores=1,3,5,7
/proc/31558/task/31620/stat : 31620 (java) S 31555 31558 28461 0 -1 1077944384 9506 13364 0 0 237 1 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107477330032 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31621] ppid=31555 vsize=10844940 memory=818100 CPUtime=2.32 cores=1,3,5,7
/proc/31558/task/31621/stat : 31621 (java) S 31555 31558 28461 0 -1 1077944384 7186 13364 0 0 222 2 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107476277232 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31622] ppid=31555 vsize=10844940 memory=818100 CPUtime=1.25 cores=1,3,5,7
/proc/31558/task/31622/stat : 31622 (java) S 31555 31558 28461 0 -1 1077944384 6008 13364 0 0 116 1 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107475224944 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31623] ppid=31555 vsize=10844940 memory=818100 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31623/stat : 31623 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140106458286560 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31624] ppid=31555 vsize=10844940 memory=818100 CPUtime=1.44 cores=1,3,5,7
/proc/31558/task/31624/stat : 31624 (java) S 31555 31558 28461 0 -1 1077944384 1194 13364 0 0 61 75 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107474172848 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
Current children cumulated CPU time: 2298.62 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 818100 KiB
[startup+2322.3 s]
/proc/loadavg: 1.17 1.30 1.35 3/227 32091
/proc/meminfo: memFree=2402188/32770624 swapFree=66952524/67108860
[pid=31558] ppid=31555 vsize=10844940 memory=818100 CPUtime=2359.49 cores=1,3,5,7
/proc/31558/stat : 31558 (java) S 31555 31558 28461 0 -1 1077944320 132204 13364 0 0 235570 371 5 3 20 0 15 0 474059625 11105218560 204525 33554432000 4194304 4196468 140729570079552 140729570062096 140107951734519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
/proc/31558/statm: 2711235 204525 3624 1 0 2673293 0
[pid=31558/tid=31611] ppid=31555 vsize=10844940 memory=818100 CPUtime=2295.25 cores=1,3,5,7
/proc/31558/task/31611/stat : 31611 (java) R 31555 31558 28461 0 -1 4202560 55949 13364 0 0 229465 52 5 3 20 0 15 0 474059634 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107923571104 140107564283520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31612] ppid=31555 vsize=10844940 memory=818100 CPUtime=11.32 cores=1,3,5,7
/proc/31558/task/31612/stat : 31612 (java) S 31555 31558 28461 0 -1 1077944384 11461 13364 0 0 1060 64 5 3 20 0 15 0 474059635 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107955976592 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31613] ppid=31555 vsize=10844940 memory=818100 CPUtime=11.31 cores=1,3,5,7
/proc/31558/task/31613/stat : 31613 (java) S 31555 31558 28461 0 -1 1077944384 8209 13364 0 0 1060 63 5 3 20 0 15 0 474059635 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107874728208 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31614] ppid=31555 vsize=10844940 memory=11579278200 CPUtime=11.34 cores=1,3,5,7
/proc/31558/task/31614/stat : 31614 (java) S 31555 31558 28461 0 -1 1077944384 8632 13364 0 0 1064 62 5 3 20 0 15 0 474059635 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107523742352 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31615] ppid=31555 vsize=10844940 memory=280230645187632 CPUtime=11.35 cores=1,3,5,7
/proc/31558/task/31615/stat : 31615 (java) S 31555 31558 28461 0 -1 1077944384 10283 13364 0 0 1062 65 5 3 20 0 15 0 474059635 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107522689552 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31616] ppid=31555 vsize=10844940 memory=818100 CPUtime=12.01 cores=1,3,5,7
/proc/31558/task/31616/stat : 31616 (java) S 31555 31558 28461 0 -1 1077944384 11521 13364 0 0 1134 59 5 3 20 0 15 0 474059636 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107478383216 140107951745666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31617] ppid=31555 vsize=10844940 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31617/stat : 31617 (java) S 31555 31558 28461 0 -1 1077944384 13 13364 0 0 0 0 5 3 20 0 15 0 474059637 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107403224480 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31618] ppid=31555 vsize=10844940 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31618/stat : 31618 (java) S 31555 31558 28461 0 -1 1077944384 9 13364 0 0 0 0 5 3 20 0 15 0 474059637 11105218560 204525 33554432000 4194304 4196468 140729570079552 140106799244928 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31619] ppid=31555 vsize=10844940 memory=39944 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31619/stat : 31619 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140106491845200 140107951753115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31620] ppid=31555 vsize=10844940 memory=818100 CPUtime=2.47 cores=1,3,5,7
/proc/31558/task/31620/stat : 31620 (java) S 31555 31558 28461 0 -1 1077944384 9508 13364 0 0 237 2 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107477330032 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31621] ppid=31555 vsize=10844940 memory=818100 CPUtime=2.32 cores=1,3,5,7
/proc/31558/task/31621/stat : 31621 (java) S 31555 31558 28461 0 -1 1077944384 7188 13364 0 0 222 2 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107476277232 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31622] ppid=31555 vsize=10844940 memory=818100 CPUtime=1.25 cores=1,3,5,7
/proc/31558/task/31622/stat : 31622 (java) S 31555 31558 28461 0 -1 1077944384 6010 13364 0 0 116 1 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107475224944 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31623] ppid=31555 vsize=10844940 memory=708 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31623/stat : 31623 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140106458286560 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31624] ppid=31555 vsize=10844940 memory=818100 CPUtime=1.47 cores=1,3,5,7
/proc/31558/task/31624/stat : 31624 (java) S 31555 31558 28461 0 -1 1077944384 1212 13364 0 0 62 77 5 3 20 0 15 0 474059640 11105218560 204525 33554432000 4194304 4196468 140729570079552 140107474172848 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
Current children cumulated CPU time: 2359.49 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 818100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2362.3 s]
/proc/loadavg: 1.48 1.36 1.36 3/228 32095
/proc/meminfo: memFree=2399752/32770624 swapFree=66952524/67108860
[pid=31558] ppid=31555 vsize=10844940 memory=820148 CPUtime=2400.02 cores=1,3,5,7
/proc/31558/stat : 31558 (java) S 31555 31558 28461 0 -1 1077944320 132863 13364 0 0 239618 376 5 3 20 0 15 0 474059625 11105218560 205037 33554432000 4194304 4196468 140729570079552 140729570062096 140107951734519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
/proc/31558/statm: 2711235 205037 3624 1 0 2673293 0
[pid=31558/tid=31611] ppid=31555 vsize=10844940 memory=56 CPUtime=2334.8 cores=1,3,5,7
/proc/31558/task/31611/stat : 31611 (java) R 31555 31558 28461 0 -1 4202560 56426 13364 0 0 233419 53 5 3 20 0 15 0 474059634 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107923570672 140107565231744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31612] ppid=31555 vsize=10844940 memory=820148 CPUtime=11.52 cores=1,3,5,7
/proc/31558/task/31612/stat : 31612 (java) S 31555 31558 28461 0 -1 1077944384 11483 13364 0 0 1079 65 5 3 20 0 15 0 474059635 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107955976592 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31613] ppid=31555 vsize=10844940 memory=820148 CPUtime=11.5 cores=1,3,5,7
/proc/31558/task/31613/stat : 31613 (java) S 31555 31558 28461 0 -1 1077944384 8221 13364 0 0 1077 65 5 3 20 0 15 0 474059635 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107874728208 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31614] ppid=31555 vsize=10844940 memory=6408091206851 CPUtime=11.53 cores=1,3,5,7
/proc/31558/task/31614/stat : 31614 (java) S 31555 31558 28461 0 -1 1077944384 8646 13364 0 0 1083 62 5 3 20 0 15 0 474059635 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107523742352 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31615] ppid=31555 vsize=10844940 memory=820148 CPUtime=11.54 cores=1,3,5,7
/proc/31558/task/31615/stat : 31615 (java) S 31555 31558 28461 0 -1 1077944384 10350 13364 0 0 1080 66 5 3 20 0 15 0 474059635 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107522689552 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31616] ppid=31555 vsize=10844940 memory=820148 CPUtime=12.21 cores=1,3,5,7
/proc/31558/task/31616/stat : 31616 (java) S 31555 31558 28461 0 -1 1077944384 11574 13364 0 0 1153 60 5 3 20 0 15 0 474059636 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107478383216 140107951745666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31617] ppid=31555 vsize=10844940 memory=820148 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31617/stat : 31617 (java) S 31555 31558 28461 0 -1 1077944384 13 13364 0 0 0 0 5 3 20 0 15 0 474059637 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107403224480 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31618] ppid=31555 vsize=10844940 memory=11579278200 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31618/stat : 31618 (java) S 31555 31558 28461 0 -1 1077944384 9 13364 0 0 0 0 5 3 20 0 15 0 474059637 11105218560 205037 33554432000 4194304 4196468 140729570079552 140106799244928 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31619] ppid=31555 vsize=10844940 memory=2608 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31619/stat : 31619 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140106491845200 140107951753115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31620] ppid=31555 vsize=10844940 memory=820148 CPUtime=2.47 cores=1,3,5,7
/proc/31558/task/31620/stat : 31620 (java) S 31555 31558 28461 0 -1 1077944384 9508 13364 0 0 237 2 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107477330032 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31621] ppid=31555 vsize=10844940 memory=818100 CPUtime=2.32 cores=1,3,5,7
/proc/31558/task/31621/stat : 31621 (java) S 31555 31558 28461 0 -1 1077944384 7188 13364 0 0 222 2 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107476277232 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31622] ppid=31555 vsize=10844940 memory=3580 CPUtime=1.25 cores=1,3,5,7
/proc/31558/task/31622/stat : 31622 (java) S 31555 31558 28461 0 -1 1077944384 6010 13364 0 0 116 1 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107475224944 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31623] ppid=31555 vsize=10844940 memory=818100 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31623/stat : 31623 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140106458286560 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31624] ppid=31555 vsize=10844940 memory=1680 CPUtime=1.5 cores=1,3,5,7
/proc/31558/task/31624/stat : 31624 (java) S 31555 31558 28461 0 -1 1077944384 1226 13364 0 0 64 78 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107474172848 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 820148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2362.33 s]
# the end of solver process 31558 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.25 s, system=3.80915 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2362.3 s]
/proc/loadavg: 1.48 1.36 1.36 3/228 32095
/proc/meminfo: memFree=2399752/32770624 swapFree=66952524/67108860
[pid=31558] ppid=31555 vsize=10844940 memory=820148 CPUtime=2400.02 cores=1,3,5,7
/proc/31558/stat : 31558 (java) S 31555 31558 28461 0 -1 1077944320 132863 13364 0 0 239618 376 5 3 20 0 15 0 474059625 11105218560 205037 33554432000 4194304 4196468 140729570079552 140729570062096 140107951734519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
/proc/31558/statm: 2711235 205037 3624 1 0 2673293 0
[pid=31558/tid=31611] ppid=31555 vsize=10844940 memory=56 CPUtime=2334.8 cores=1,3,5,7
/proc/31558/task/31611/stat : 31611 (java) R 31555 31558 28461 0 -1 4202560 56426 13364 0 0 233419 53 5 3 20 0 15 0 474059634 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107923570672 140107565231744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31612] ppid=31555 vsize=10844940 memory=820148 CPUtime=11.52 cores=1,3,5,7
/proc/31558/task/31612/stat : 31612 (java) S 31555 31558 28461 0 -1 1077944384 11483 13364 0 0 1079 65 5 3 20 0 15 0 474059635 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107955976592 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31613] ppid=31555 vsize=10844940 memory=820148 CPUtime=11.5 cores=1,3,5,7
/proc/31558/task/31613/stat : 31613 (java) S 31555 31558 28461 0 -1 1077944384 8221 13364 0 0 1077 65 5 3 20 0 15 0 474059635 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107874728208 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31614] ppid=31555 vsize=10844940 memory=6408091206851 CPUtime=11.53 cores=1,3,5,7
/proc/31558/task/31614/stat : 31614 (java) S 31555 31558 28461 0 -1 1077944384 8646 13364 0 0 1083 62 5 3 20 0 15 0 474059635 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107523742352 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31615] ppid=31555 vsize=10844940 memory=820148 CPUtime=11.54 cores=1,3,5,7
/proc/31558/task/31615/stat : 31615 (java) S 31555 31558 28461 0 -1 1077944384 10350 13364 0 0 1080 66 5 3 20 0 15 0 474059635 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107522689552 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31616] ppid=31555 vsize=10844940 memory=820148 CPUtime=12.21 cores=1,3,5,7
/proc/31558/task/31616/stat : 31616 (java) S 31555 31558 28461 0 -1 1077944384 11574 13364 0 0 1153 60 5 3 20 0 15 0 474059636 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107478383216 140107951745666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31617] ppid=31555 vsize=10844940 memory=820148 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31617/stat : 31617 (java) S 31555 31558 28461 0 -1 1077944384 13 13364 0 0 0 0 5 3 20 0 15 0 474059637 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107403224480 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31618] ppid=31555 vsize=10844940 memory=11579278200 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31618/stat : 31618 (java) S 31555 31558 28461 0 -1 1077944384 9 13364 0 0 0 0 5 3 20 0 15 0 474059637 11105218560 205037 33554432000 4194304 4196468 140729570079552 140106799244928 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31619] ppid=31555 vsize=10844940 memory=2608 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31619/stat : 31619 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140106491845200 140107951753115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31620] ppid=31555 vsize=10844940 memory=820148 CPUtime=2.47 cores=1,3,5,7
/proc/31558/task/31620/stat : 31620 (java) S 31555 31558 28461 0 -1 1077944384 9508 13364 0 0 237 2 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107477330032 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31621] ppid=31555 vsize=10844940 memory=818100 CPUtime=2.32 cores=1,3,5,7
/proc/31558/task/31621/stat : 31621 (java) S 31555 31558 28461 0 -1 1077944384 7188 13364 0 0 222 2 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107476277232 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31622] ppid=31555 vsize=10844940 memory=3580 CPUtime=1.25 cores=1,3,5,7
/proc/31558/task/31622/stat : 31622 (java) S 31555 31558 28461 0 -1 1077944384 6010 13364 0 0 116 1 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107475224944 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31623] ppid=31555 vsize=10844940 memory=818100 CPUtime=0.08 cores=1,3,5,7
/proc/31558/task/31623/stat : 31623 (java) S 31555 31558 28461 0 -1 1077944384 3 13364 0 0 0 0 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140106458286560 140107951744725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
[pid=31558/tid=31624] ppid=31555 vsize=10844940 memory=1680 CPUtime=1.5 cores=1,3,5,7
/proc/31558/task/31624/stat : 31624 (java) S 31555 31558 28461 0 -1 1077944384 1226 13364 0 0 64 78 5 3 20 0 15 0 474059640 11105218560 205037 33554432000 4194304 4196468 140729570079552 140107474172848 140107951745666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 37834752 140729570081379 140729570084021 140729570084021 140729570086863 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 820148 KiB
Child status: 143
Real time (s): 2362.33
CPU time (s): 2400.06
CPU user time (s): 2396.25
CPU system time (s): 3.80915
CPU usage (%): 101.597
Max. virtual memory (cumulated for all children) (KiB): 10847604
Max. memory (cumulated for all children) (KiB): 820148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.25
system time used= 3.80915
maximum resident set size= 824384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146907
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305685
involuntary context switches= 8621
# summary of solver processes directly reported to runsolver:
# pid: 31558
# total CPU time (s): 2400.06
# total CPU user time (s): 2396.25
# total CPU system time (s): 3.80915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9244 second user time and 23.2825 second system time
The end