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 (11948 MiB free)
memory of node 1: 16384 MiB (14088 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390711-1568387400/watcher-4390711-1568387400 -o /tmp/evaluation-result-4390711-1568387400/solver-4390711-1568387400 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20884 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390711-1568387400.xml -cm
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
Current StackSize limit: 8192 KiB
solver pid=23786, runsolver pid=23783
[startup+0.100582 s]*
/proc/loadavg: 2.09 2.04 1.99 5/228 23801
/proc/meminfo: memFree=26646312/32770624 swapFree=67004752/67108860
[pid=23786] ppid=23783 vsize=10659884 memory=28208 CPUtime=0.14 cores=1,3,5,7
/proc/23786/stat : 23786 (java) S 23783 23786 20852 0 -1 1077944320 5509 0 0 0 13 1 0 0 20 0 15 0 415007760 10915721216 7052 33554432000 4194304 4196468 140726327729552 140726327712096 140353236365047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
/proc/23786/statm: 2664971 7052 2905 1 0 2627468 0
[pid=23786/tid=23788] ppid=23783 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/23786/task/23788/stat : 23788 (java) R 23783 23786 20852 0 -1 4202560 3231 0 0 0 9 0 0 0 20 0 15 0 415007761 10915721216 7118 33554432000 4194304 4196468 140726327729552 140353240593224 140353222045992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23789] ppid=23783 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23789/stat : 23789 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 7118 33554432000 4194304 4196468 140726327729552 140353162439568 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23790] ppid=23783 vsize=10659884 memory=140015680644736 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23790/stat : 23790 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 7118 33554432000 4194304 4196468 140726327729552 140353161386768 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23791] ppid=23783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23791/stat : 23791 (java) S 23783 23786 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 7118 33554432000 4194304 4196468 140726327729552 140353160334480 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23792] ppid=23783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23792/stat : 23792 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 7118 33554432000 4194304 4196468 140726327729552 140353159281680 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23793] ppid=23783 vsize=10659884 memory=140015680644736 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23793/stat : 23793 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007763 10915721216 7118 33554432000 4194304 4196468 140726327729552 140352271890544 140353236376194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23794] ppid=23783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23794/stat : 23794 (java) S 23783 23786 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415007763 10915721216 7118 33554432000 4194304 4196468 140726327729552 140352270836512 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23795] ppid=23783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23795/stat : 23795 (java) S 23783 23786 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415007764 10915721216 7118 33554432000 4194304 4196468 140726327729552 140352269784176 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23796] ppid=23783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23796/stat : 23796 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10915721216 7118 33554432000 4194304 4196468 140726327729552 140352268732496 140353236383643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23797] ppid=23783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23797/stat : 23797 (java) S 23783 23786 20852 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 415007766 10915721216 7118 33554432000 4194304 4196468 140726327729552 140352267680368 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23798] ppid=23783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23798/stat : 23798 (java) S 23783 23786 20852 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 15 0 415007766 10915721216 7118 33554432000 4194304 4196468 140726327729552 140352266627568 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23799] ppid=23783 vsize=10659884 memory=140015680644736 CPUtime=0.02 cores=1,3,5,7
/proc/23786/task/23799/stat : 23799 (java) R 23783 23786 20852 0 -1 4202560 451 0 0 0 2 0 0 0 20 0 15 0 415007766 10915721216 7118 33554432000 4194304 4196468 140726327729552 140352265572136 140353228602174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23800] ppid=23783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23800/stat : 23800 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10915721216 7118 33554432000 4194304 4196468 140726327729552 140352264522720 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23801] ppid=23783 vsize=10659884 memory=140015680644736 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23801/stat : 23801 (java) S 23783 23786 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415007766 10915721216 7118 33554432000 4194304 4196468 140726327729552 140352263469488 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28208 KiB
[startup+0.210709 s]*
/proc/loadavg: 2.09 2.04 1.99 3/228 23801
/proc/meminfo: memFree=26638560/32770624 swapFree=67004752/67108860
[pid=23786] ppid=23783 vsize=10659884 memory=35272 CPUtime=0.33 cores=1,3,5,7
/proc/23786/stat : 23786 (java) S 23783 23786 20852 0 -1 1077944320 6926 0 0 0 31 2 0 0 20 0 15 0 415007760 10915721216 8818 33554432000 4194304 4196468 140726327729552 140726327712096 140353236365047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
/proc/23786/statm: 2664971 8818 2988 1 0 2627468 0
[pid=23786/tid=23788] ppid=23783 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/23786/task/23788/stat : 23788 (java) R 23783 23786 20852 0 -1 4202560 3876 0 0 0 19 1 0 0 20 0 15 0 415007761 10915721216 8818 33554432000 4194304 4196468 140726327729552 140353240591408 140353236386973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23789] ppid=23783 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23789/stat : 23789 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 8818 33554432000 4194304 4196468 140726327729552 140353162439568 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23790] ppid=23783 vsize=10659884 memory=3545097656318322336 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23790/stat : 23790 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 8818 33554432000 4194304 4196468 140726327729552 140353161386768 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23791] ppid=23783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23791/stat : 23791 (java) S 23783 23786 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 8818 33554432000 4194304 4196468 140726327729552 140353160334480 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23792] ppid=23783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23792/stat : 23792 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 8818 33554432000 4194304 4196468 140726327729552 140353159281680 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23793] ppid=23783 vsize=10659884 memory=140015680644736 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23793/stat : 23793 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007763 10915721216 8818 33554432000 4194304 4196468 140726327729552 140352271890544 140353236376194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23794] ppid=23783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23794/stat : 23794 (java) S 23783 23786 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415007763 10915721216 8818 33554432000 4194304 4196468 140726327729552 140352270836512 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23795] ppid=23783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23795/stat : 23795 (java) S 23783 23786 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415007764 10915721216 8818 33554432000 4194304 4196468 140726327729552 140352269784176 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23796] ppid=23783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23796/stat : 23796 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10915721216 8818 33554432000 4194304 4196468 140726327729552 140352268732496 140353236383643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23797] ppid=23783 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23786/task/23797/stat : 23797 (java) S 23783 23786 20852 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 415007766 10915721216 8818 33554432000 4194304 4196468 140726327729552 140352267680368 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23798] ppid=23783 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23786/task/23798/stat : 23798 (java) S 23783 23786 20852 0 -1 1077944384 568 0 0 0 3 0 0 0 20 0 15 0 415007766 10915721216 8818 33554432000 4194304 4196468 140726327729552 140352266627568 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23799] ppid=23783 vsize=10659884 memory=140015680644736 CPUtime=0.05 cores=1,3,5,7
/proc/23786/task/23799/stat : 23799 (java) S 23783 23786 20852 0 -1 1077944384 703 0 0 0 5 0 0 0 20 0 15 0 415007766 10915721216 8818 33554432000 4194304 4196468 140726327729552 140352265575280 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23800] ppid=23783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23800/stat : 23800 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10915721216 8818 33554432000 4194304 4196468 140726327729552 140352264522720 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23801] ppid=23783 vsize=10659884 memory=140015680644736 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23801/stat : 23801 (java) S 23783 23786 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415007766 10915721216 8818 33554432000 4194304 4196468 140726327729552 140352263469488 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35272 KiB
[startup+0.311053 s]*
/proc/loadavg: 2.09 2.04 1.99 4/228 23801
/proc/meminfo: memFree=26630852/32770624 swapFree=67004752/67108860
[pid=23786] ppid=23783 vsize=10659884 memory=40656 CPUtime=0.48 cores=1,3,5,7
/proc/23786/stat : 23786 (java) S 23783 23786 20852 0 -1 1077944320 9606 0 0 0 45 3 0 0 20 0 15 0 415007760 10915721216 10164 33554432000 4194304 4196468 140726327729552 140726327712096 140353236365047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
/proc/23786/statm: 2664971 10164 3001 1 0 2627468 0
[pid=23786/tid=23788] ppid=23783 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/23786/task/23788/stat : 23788 (java) R 23783 23786 20852 0 -1 4202560 6476 0 0 0 28 2 0 0 20 0 15 0 415007761 10915721216 10164 33554432000 4194304 4196468 140726327729552 140353240596848 140353222058532 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23789] ppid=23783 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23789/stat : 23789 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 10164 33554432000 4194304 4196468 140726327729552 140353162439568 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23790] ppid=23783 vsize=10659884 memory=3690901689959474848 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23790/stat : 23790 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 10164 33554432000 4194304 4196468 140726327729552 140353161386768 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23791] ppid=23783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23791/stat : 23791 (java) S 23783 23786 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 10164 33554432000 4194304 4196468 140726327729552 140353160334480 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23792] ppid=23783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23792/stat : 23792 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10915721216 10164 33554432000 4194304 4196468 140726327729552 140353159281680 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23793] ppid=23783 vsize=10659884 memory=140015680644736 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23793/stat : 23793 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007763 10915721216 10164 33554432000 4194304 4196468 140726327729552 140352271890544 140353236376194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23794] ppid=23783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23794/stat : 23794 (java) S 23783 23786 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415007763 10915721216 10164 33554432000 4194304 4196468 140726327729552 140352270836512 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23795] ppid=23783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23795/stat : 23795 (java) S 23783 23786 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415007764 10915721216 10164 33554432000 4194304 4196468 140726327729552 140352269784176 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23796] ppid=23783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23796/stat : 23796 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10915721216 10164 33554432000 4194304 4196468 140726327729552 140352268732496 140353236383643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23797] ppid=23783 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23786/task/23797/stat : 23797 (java) S 23783 23786 20852 0 -1 1077944384 453 0 0 0 3 0 0 0 20 0 15 0 415007766 10915721216 10164 33554432000 4194304 4196468 140726327729552 140352267680368 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23798] ppid=23783 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/23786/task/23798/stat : 23798 (java) S 23783 23786 20852 0 -1 1077944384 576 0 0 0 4 0 0 0 20 0 15 0 415007766 10915721216 10164 33554432000 4194304 4196468 140726327729552 140352266627568 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23799] ppid=23783 vsize=10659884 memory=140015680644736 CPUtime=0.08 cores=1,3,5,7
/proc/23786/task/23799/stat : 23799 (java) R 23783 23786 20852 0 -1 4202560 740 0 0 0 8 0 0 0 20 0 15 0 415007766 10915721216 10164 33554432000 4194304 4196468 140726327729552 140352265575280 140353236386394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23800] ppid=23783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23800/stat : 23800 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10915721216 10164 33554432000 4194304 4196468 140726327729552 140352264522720 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23801] ppid=23783 vsize=10659884 memory=140015680644736 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23801/stat : 23801 (java) S 23783 23786 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415007766 10915721216 10164 33554432000 4194304 4196468 140726327729552 140352263469488 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40656 KiB
[startup+0.700761 s]
/proc/loadavg: 2.09 2.04 1.99 3/228 23801
/proc/meminfo: memFree=26622308/32770624 swapFree=67004752/67108860
[pid=23786] ppid=23783 vsize=10661932 memory=63796 CPUtime=1.11 cores=1,3,5,7
/proc/23786/stat : 23786 (java) S 23783 23786 20852 0 -1 1077944320 13115 0 0 0 106 5 0 0 20 0 15 0 415007760 10917818368 15949 33554432000 4194304 4196468 140726327729552 140726327712096 140353236365047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
/proc/23786/statm: 2665483 15949 3060 1 0 2627980 0
[pid=23786/tid=23788] ppid=23783 vsize=10661932 memory=1276 CPUtime=0.68 cores=1,3,5,7
/proc/23786/task/23788/stat : 23788 (java) R 23783 23786 20852 0 -1 4202560 8912 0 0 0 64 4 0 0 20 0 15 0 415007761 10917818368 15949 33554432000 4194304 4196468 140726327729552 140353240597408 140353236386973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23789] ppid=23783 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23789/stat : 23789 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10917818368 15949 33554432000 4194304 4196468 140726327729552 140353162439568 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23790] ppid=23783 vsize=10661932 memory=752 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23790/stat : 23790 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10917818368 15949 33554432000 4194304 4196468 140726327729552 140353161386768 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23791] ppid=23783 vsize=10661932 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23791/stat : 23791 (java) S 23783 23786 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415007762 10917818368 15949 33554432000 4194304 4196468 140726327729552 140353160334480 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23792] ppid=23783 vsize=10661932 memory=9584 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23792/stat : 23792 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10917818368 15949 33554432000 4194304 4196468 140726327729552 140353159281680 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23793] ppid=23783 vsize=10661932 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23793/stat : 23793 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007763 10917818368 15949 33554432000 4194304 4196468 140726327729552 140352271890544 140353236376194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23794] ppid=23783 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23794/stat : 23794 (java) S 23783 23786 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415007763 10917818368 15949 33554432000 4194304 4196468 140726327729552 140352270836512 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23795] ppid=23783 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23795/stat : 23795 (java) S 23783 23786 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415007764 10917818368 15949 33554432000 4194304 4196468 140726327729552 140352269784176 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23796] ppid=23783 vsize=10661932 memory=6296683642736693604 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23796/stat : 23796 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10917818368 15949 33554432000 4194304 4196468 140726327729552 140352268732496 140353236383643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23797] ppid=23783 vsize=10661932 memory=7594592247738553961 CPUtime=0.12 cores=1,3,5,7
/proc/23786/task/23797/stat : 23797 (java) R 23783 23786 20852 0 -1 4202560 794 0 0 0 12 0 0 0 20 0 15 0 415007766 10917818368 15949 33554432000 4194304 4196468 140726327729552 140352267680368 140353217886447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23798] ppid=23783 vsize=10661932 memory=5787213857196369745 CPUtime=0.1 cores=1,3,5,7
/proc/23786/task/23798/stat : 23798 (java) S 23783 23786 20852 0 -1 1077944384 818 0 0 0 10 0 0 0 20 0 15 0 415007766 10917818368 15949 33554432000 4194304 4196468 140726327729552 140352266627568 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23799] ppid=23783 vsize=10661932 memory=5450909908396308010 CPUtime=0.18 cores=1,3,5,7
/proc/23786/task/23799/stat : 23799 (java) S 23783 23786 20852 0 -1 1077944384 1231 0 0 0 18 0 0 0 20 0 15 0 415007766 10917818368 15949 33554432000 4194304 4196468 140726327729552 140352265575280 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23800] ppid=23783 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23800/stat : 23800 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10917818368 15949 33554432000 4194304 4196468 140726327729552 140352264522720 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23801] ppid=23783 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23801/stat : 23801 (java) S 23783 23786 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415007766 10917818368 15949 33554432000 4194304 4196468 140726327729552 140352263469488 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63796 KiB
[startup+1.50079 s]
/proc/loadavg: 2.09 2.04 1.99 3/228 23801
/proc/meminfo: memFree=26605620/32770624 swapFree=67004752/67108860
[pid=23786] ppid=23783 vsize=10663980 memory=76372 CPUtime=2 cores=1,3,5,7
/proc/23786/stat : 23786 (java) S 23783 23786 20852 0 -1 1077944320 17335 0 0 0 193 7 0 0 20 0 15 0 415007760 10919915520 19093 33554432000 4194304 4196468 140726327729552 140726327712096 140353236365047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
/proc/23786/statm: 2665995 19093 3090 1 0 2628492 0
[pid=23786/tid=23788] ppid=23783 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/23786/task/23788/stat : 23788 (java) R 23783 23786 20852 0 -1 4202560 11972 0 0 0 143 5 0 0 20 0 15 0 415007761 10919915520 19093 33554432000 4194304 4196468 140726327729552 140353240597072 140353220445534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23789] ppid=23783 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23789/stat : 23789 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10919915520 19093 33554432000 4194304 4196468 140726327729552 140353162439568 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23790] ppid=23783 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23790/stat : 23790 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10919915520 19093 33554432000 4194304 4196468 140726327729552 140353161386768 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23791] ppid=23783 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23791/stat : 23791 (java) S 23783 23786 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415007762 10919915520 19093 33554432000 4194304 4196468 140726327729552 140353160334480 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23792] ppid=23783 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23792/stat : 23792 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10919915520 19093 33554432000 4194304 4196468 140726327729552 140353159281680 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23793] ppid=23783 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23793/stat : 23793 (java) S 23783 23786 20852 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 415007763 10919915520 19093 33554432000 4194304 4196468 140726327729552 140352271890544 140353236376194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23794] ppid=23783 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23794/stat : 23794 (java) S 23783 23786 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415007763 10919915520 19093 33554432000 4194304 4196468 140726327729552 140352270836512 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23795] ppid=23783 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23795/stat : 23795 (java) S 23783 23786 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415007764 10919915520 19093 33554432000 4194304 4196468 140726327729552 140352269784176 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23796] ppid=23783 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23796/stat : 23796 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10919915520 19093 33554432000 4194304 4196468 140726327729552 140352268732496 140353236383643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23797] ppid=23783 vsize=10663980 memory=7090451838574552664 CPUtime=0.17 cores=1,3,5,7
/proc/23786/task/23797/stat : 23797 (java) S 23783 23786 20852 0 -1 1077944384 1618 0 0 0 17 0 0 0 20 0 15 0 415007766 10919915520 19093 33554432000 4194304 4196468 140726327729552 140352267680368 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23798] ppid=23783 vsize=10663980 memory=7021510191940265557 CPUtime=0.13 cores=1,3,5,7
/proc/23786/task/23798/stat : 23798 (java) S 23783 23786 20852 0 -1 1077944384 1131 0 0 0 13 0 0 0 20 0 15 0 415007766 10919915520 19093 33554432000 4194304 4196468 140726327729552 140352266627568 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23799] ppid=23783 vsize=10663980 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/23786/task/23799/stat : 23799 (java) S 23783 23786 20852 0 -1 1077944384 1233 0 0 0 18 0 0 0 20 0 15 0 415007766 10919915520 19093 33554432000 4194304 4196468 140726327729552 140352265575280 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23800] ppid=23783 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23800/stat : 23800 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10919915520 19093 33554432000 4194304 4196468 140726327729552 140352264522720 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23801] ppid=23783 vsize=10663980 memory=2017 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23801/stat : 23801 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10919915520 19093 33554432000 4194304 4196468 140726327729552 140352263469488 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 76372 KiB
[startup+2.3055 s]
# the end of solver process 23786 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.82414 s, system=0.129666 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60086 s]
/proc/loadavg: 2.09 2.04 1.99 3/228 23801
/proc/meminfo: memFree=26605620/32770624 swapFree=67004752/67108860
[pid=23786] ppid=23783 vsize=10666028 memory=79424 CPUtime=2.11 cores=1,3,5,7
/proc/23786/stat : 23786 (java) S 23783 23786 20852 0 -1 1077944320 17695 0 0 0 204 7 0 0 20 0 15 0 415007760 10922012672 19856 33554432000 4194304 4196468 140726327729552 140726327712096 140353236365047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
/proc/23786/statm: 2666507 19856 3090 1 0 2629004 0
[pid=23786/tid=23788] ppid=23783 vsize=10666028 memory=0 CPUtime=1.58 cores=1,3,5,7
/proc/23786/task/23788/stat : 23788 (java) R 23783 23786 20852 0 -1 4202560 12315 0 0 0 153 5 0 0 20 0 15 0 415007761 10922012672 19856 33554432000 4194304 4196468 140726327729552 140353240597072 140353236386973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23789] ppid=23783 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23789/stat : 23789 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10922012672 19856 33554432000 4194304 4196468 140726327729552 140353162439568 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23790] ppid=23783 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23790/stat : 23790 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10922012672 19856 33554432000 4194304 4196468 140726327729552 140353161386768 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23791] ppid=23783 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23791/stat : 23791 (java) S 23783 23786 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415007762 10922012672 19856 33554432000 4194304 4196468 140726327729552 140353160334480 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23792] ppid=23783 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23792/stat : 23792 (java) S 23783 23786 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415007762 10922012672 19856 33554432000 4194304 4196468 140726327729552 140353159281680 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23793] ppid=23783 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23793/stat : 23793 (java) S 23783 23786 20852 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 415007763 10922012672 19856 33554432000 4194304 4196468 140726327729552 140352271890544 140353236376194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23794] ppid=23783 vsize=10666028 memory=7739526581003512675 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23794/stat : 23794 (java) S 23783 23786 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415007763 10922012672 19856 33554432000 4194304 4196468 140726327729552 140352270836512 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23795] ppid=23783 vsize=10666028 memory=6152573960390595429 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23795/stat : 23795 (java) S 23783 23786 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415007764 10922012672 19856 33554432000 4194304 4196468 140726327729552 140352269784176 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23796] ppid=23783 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23796/stat : 23796 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10922012672 19856 33554432000 4194304 4196468 140726327729552 140352268732496 140353236383643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23797] ppid=23783 vsize=10666028 memory=242205688197968 CPUtime=0.17 cores=1,3,5,7
/proc/23786/task/23797/stat : 23797 (java) S 23783 23786 20852 0 -1 1077944384 1618 0 0 0 17 0 0 0 20 0 15 0 415007766 10922012672 19856 33554432000 4194304 4196468 140726327729552 140352267680368 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23798] ppid=23783 vsize=10666028 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/23786/task/23798/stat : 23798 (java) S 23783 23786 20852 0 -1 1077944384 1145 0 0 0 14 0 0 0 20 0 15 0 415007766 10922012672 19856 33554432000 4194304 4196468 140726327729552 140352266627568 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23799] ppid=23783 vsize=10666028 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/23786/task/23799/stat : 23799 (java) S 23783 23786 20852 0 -1 1077944384 1233 0 0 0 18 0 0 0 20 0 15 0 415007766 10922012672 19856 33554432000 4194304 4196468 140726327729552 140352265575280 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23800] ppid=23783 vsize=10666028 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23800/stat : 23800 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10922012672 19856 33554432000 4194304 4196468 140726327729552 140352264522720 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23801] ppid=23783 vsize=10666028 memory=280031062393072 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23801/stat : 23801 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415007766 10922012672 19856 33554432000 4194304 4196468 140726327729552 140352263469488 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 79424 KiB
[startup+2.00069 s]*
/proc/loadavg: 2.09 2.04 1.99 4/229 23802
/proc/meminfo: memFree=26529156/32770624 swapFree=67004752/67108860
[pid=23786] ppid=23783 vsize=10744136 memory=146180 CPUtime=2.94 cores=1,3,5,7
/proc/23786/stat : 23786 (java) S 23783 23786 20852 0 -1 1077944320 21497 0 0 0 284 10 0 0 20 0 16 0 415007760 11001995264 36545 33554432000 4194304 4196468 140726327729552 140726327712096 140353236365047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
/proc/23786/statm: 2686034 36545 3304 1 0 2646705 0
[pid=23786/tid=23788] ppid=23783 vsize=10744136 memory=5450916389569530688 CPUtime=1.84 cores=1,3,5,7
/proc/23786/task/23788/stat : 23788 (java) S 23783 23786 20852 0 -1 1077944384 13830 0 0 0 178 6 0 0 20 0 16 0 415007761 11001995264 36545 33554432000 4194304 4196468 140726327729552 140353240607920 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23789] ppid=23783 vsize=10744136 memory=4122819170707441977 CPUtime=0.01 cores=1,3,5,7
/proc/23786/task/23789/stat : 23789 (java) S 23783 23786 20852 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 415007762 11001995264 36545 33554432000 4194304 4196468 140726327729552 140353162439568 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23790] ppid=23783 vsize=10744136 memory=140015680644736 CPUtime=0.01 cores=1,3,5,7
/proc/23786/task/23790/stat : 23790 (java) S 23783 23786 20852 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 16 0 415007762 11001995264 36545 33554432000 4194304 4196468 140726327729552 140353161386768 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23791] ppid=23783 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23791/stat : 23791 (java) S 23783 23786 20852 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 415007762 11001995264 36545 33554432000 4194304 4196468 140726327729552 140353160334480 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23792] ppid=23783 vsize=10744136 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23786/task/23792/stat : 23792 (java) S 23783 23786 20852 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 415007762 11001995264 36545 33554432000 4194304 4196468 140726327729552 140353159281680 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23793] ppid=23783 vsize=10744136 memory=3472468311908325040 CPUtime=0.01 cores=1,3,5,7
/proc/23786/task/23793/stat : 23793 (java) S 23783 23786 20852 0 -1 1077944384 698 0 0 0 1 0 0 0 20 0 16 0 415007763 11001995264 36545 33554432000 4194304 4196468 140726327729552 140352271890544 140353236376194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23794] ppid=23783 vsize=10744136 memory=3472323898181169199 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23794/stat : 23794 (java) S 23783 23786 20852 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415007763 11001995264 36545 33554432000 4194304 4196468 140726327729552 140352270836576 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23795] ppid=23783 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23795/stat : 23795 (java) S 23783 23786 20852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415007764 11001995264 36545 33554432000 4194304 4196468 140726327729552 140352269784192 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23796] ppid=23783 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23796/stat : 23796 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415007766 11001995264 36545 33554432000 4194304 4196468 140726327729552 140352268732496 140353236383643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23797] ppid=23783 vsize=10744136 memory=280031062999648 CPUtime=0.29 cores=1,3,5,7
/proc/23786/task/23797/stat : 23797 (java) S 23783 23786 20852 0 -1 1077944384 1703 0 0 0 29 0 0 0 20 0 16 0 415007766 11001995264 36545 33554432000 4194304 4196468 140726327729552 140352267680368 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23798] ppid=23783 vsize=10744136 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/23786/task/23798/stat : 23798 (java) S 23783 23786 20852 0 -1 1077944384 1387 0 0 0 28 0 0 0 20 0 16 0 415007766 11001995264 36545 33554432000 4194304 4196468 140726327729552 140352266627568 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23799] ppid=23783 vsize=10744136 memory=576461256399351847 CPUtime=0.3 cores=1,3,5,7
/proc/23786/task/23799/stat : 23799 (java) R 23783 23786 20852 0 -1 4202560 1602 0 0 0 30 0 0 0 20 0 16 0 415007766 11001995264 36545 33554432000 4194304 4196468 140726327729552 140352265573072 140353229461883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23800] ppid=23783 vsize=10744136 memory=21303 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23800/stat : 23800 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415007766 11001995264 36545 33554432000 4194304 4196468 140726327729552 140352264522720 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23801] ppid=23783 vsize=10744136 memory=3044195 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23801/stat : 23801 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415007766 11001995264 36545 33554432000 4194304 4196468 140726327729552 140352263469488 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23802] ppid=23783 vsize=10744136 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/23786/task/23802/stat : 23802 (java) R 23783 23786 20852 0 -1 4202560 686 0 0 0 11 0 0 0 20 0 16 0 415007947 11001995264 36545 33554432000 4194304 4196468 140726327729552 140352246622512 140353220408677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 10744136 KiB
Current children cumulated memory: 146180 KiB
[startup+2.20086 s]
/proc/loadavg: 2.09 2.04 1.99 4/229 23802
/proc/meminfo: memFree=26529156/32770624 swapFree=67004752/67108860
[pid=23786] ppid=23783 vsize=10746276 memory=165776 CPUtime=3.65 cores=1,3,5,7
/proc/23786/stat : 23786 (java) S 23783 23786 20852 0 -1 1077944320 26595 0 0 0 353 12 0 0 20 0 16 0 415007760 11004186624 41444 33554432000 4194304 4196468 140726327729552 140726327712096 140353236365047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
/proc/23786/statm: 2686569 41444 3337 1 0 2646705 0
[pid=23786/tid=23788] ppid=23783 vsize=10746276 memory=25680 CPUtime=1.84 cores=1,3,5,7
/proc/23786/task/23788/stat : 23788 (java) S 23783 23786 20852 0 -1 1077944384 13830 0 0 0 178 6 0 0 20 0 16 0 415007761 11004186624 41444 33554432000 4194304 4196468 140726327729552 140353240607920 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23789] ppid=23783 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23786/task/23789/stat : 23789 (java) S 23783 23786 20852 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 415007762 11004186624 41444 33554432000 4194304 4196468 140726327729552 140353162439568 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23790] ppid=23783 vsize=10746276 memory=664970774371478433 CPUtime=0.01 cores=1,3,5,7
/proc/23786/task/23790/stat : 23790 (java) S 23783 23786 20852 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 16 0 415007762 11004186624 41444 33554432000 4194304 4196468 140726327729552 140353161386768 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23791] ppid=23783 vsize=10746276 memory=8693809461264883831 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23791/stat : 23791 (java) S 23783 23786 20852 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 415007762 11004186624 41444 33554432000 4194304 4196468 140726327729552 140353160334480 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23792] ppid=23783 vsize=10746276 memory=665111949560637636 CPUtime=0.01 cores=1,3,5,7
/proc/23786/task/23792/stat : 23792 (java) S 23783 23786 20852 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 415007762 11004186624 41444 33554432000 4194304 4196468 140726327729552 140353159281680 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23793] ppid=23783 vsize=10746276 memory=140015933850774 CPUtime=0.01 cores=1,3,5,7
/proc/23786/task/23793/stat : 23793 (java) S 23783 23786 20852 0 -1 1077944384 698 0 0 0 1 0 0 0 20 0 16 0 415007763 11004186624 41444 33554432000 4194304 4196468 140726327729552 140352271890544 140353236376194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23794] ppid=23783 vsize=10746276 memory=928 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23794/stat : 23794 (java) S 23783 23786 20852 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415007763 11004186624 41444 33554432000 4194304 4196468 140726327729552 140352270836576 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23795] ppid=23783 vsize=10746276 memory=7305218370954158933 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23795/stat : 23795 (java) S 23783 23786 20852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415007764 11004186624 41444 33554432000 4194304 4196468 140726327729552 140352269784192 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23796] ppid=23783 vsize=10746276 memory=6225496844409007984 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23796/stat : 23796 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415007766 11004186624 41444 33554432000 4194304 4196468 140726327729552 140352268732496 140353236383643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23797] ppid=23783 vsize=10746276 memory=7523071198212214892 CPUtime=0.47 cores=1,3,5,7
/proc/23786/task/23797/stat : 23797 (java) R 23783 23786 20852 0 -1 4202560 3570 0 0 0 46 1 0 0 20 0 16 0 415007766 11004186624 41444 33554432000 4194304 4196468 140726327729552 140352267664712 140353215621715 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23798] ppid=23783 vsize=10746276 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/23786/task/23798/stat : 23798 (java) R 23783 23786 20852 0 -1 4202560 2809 0 0 0 45 0 0 0 20 0 16 0 415007766 11004186624 41444 33554432000 4194304 4196468 140726327729552 140352266613592 140353217909281 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23799] ppid=23783 vsize=10746276 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/23786/task/23799/stat : 23799 (java) R 23783 23786 20852 0 -1 4202560 3131 0 0 0 46 0 0 0 20 0 16 0 415007766 11004186624 41444 33554432000 4194304 4196468 140726327729552 140352265569656 140353216079394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23800] ppid=23783 vsize=10746276 memory=280031062393072 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23800/stat : 23800 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415007766 11004186624 41444 33554432000 4194304 4196468 140726327729552 140352264522720 140353236375253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23801] ppid=23783 vsize=10746276 memory=7308325608278354534 CPUtime=0 cores=1,3,5,7
/proc/23786/task/23801/stat : 23801 (java) S 23783 23786 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415007766 11004186624 41444 33554432000 4194304 4196468 140726327729552 140352263469488 140353236376194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
[pid=23786/tid=23802] ppid=23783 vsize=10746276 memory=6299802978650451056 CPUtime=0.29 cores=1,3,5,7
/proc/23786/task/23802/stat : 23802 (java) R 23783 23786 20852 0 -1 4202560 955 0 0 0 29 0 0 0 20 0 16 0 415007947 11004186624 41444 33554432000 4194304 4196468 140726327729552 140352246623264 140352841969495 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18034688 140726327735307 140726327735410 140726327735410 140726327738319 0
Current children cumulated CPU time: 3.65 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 165776 KiB
Child status: 1
Real time (s): 2.30553
CPU time (s): 3.9538
CPU user time (s): 3.82414
CPU system time (s): 0.129666
CPU usage (%): 171.492
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 165776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.82414
system time used= 0.129666
maximum resident set size= 170684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1848
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 23786
# total CPU time (s): 3.9538
# total CPU user time (s): 3.82414
# total CPU system time (s): 0.129666
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03943 second user time and 0.062673 second system time
The end