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 (2960 MiB free)
memory of node 1: 16384 MiB (11893 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290195-1532218324/watcher-4290195-1532218324 -o /tmp/evaluation-result-4290195-1532218324/solver-4290195-1532218324 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532209718-27132 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290195-1532218324.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=28637, runsolver pid=28634
Current StackSize limit: 8192 KiB
[startup+0.101284 s]*
/proc/loadavg: 3.52 2.57 2.24 5/216 28652
/proc/meminfo: memFree=15192672/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=10659012 memory=30496 CPUtime=0.13 cores=1,3,5,7
/proc/28637/stat : 28637 (java) S 28634 28637 24904 0 -1 1077944320 6690 0 0 0 11 2 0 0 20 0 15 0 39395586 10914828288 7624 33554432000 4194304 4196468 140728219308416 140728219290960 140485639606007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
/proc/28637/statm: 2664753 7624 2815 1 0 2627263 0
[pid=28637/tid=28639] ppid=28634 vsize=10659012 memory=-8773748148830377342 CPUtime=0.09 cores=1,3,5,7
/proc/28637/task/28639/stat : 28639 (java) R 28634 28637 24904 0 -1 4202560 4530 0 0 0 8 1 0 0 20 0 15 0 39395586 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485643828592 140485623686494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28640] ppid=28634 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28640/stat : 28640 (java) S 28634 28637 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39395587 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485565680144 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28641] ppid=28634 vsize=10659012 memory=140229033719424 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28641/stat : 28641 (java) S 28634 28637 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39395587 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485564627600 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28642] ppid=28634 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28642/stat : 28642 (java) S 28634 28637 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39395587 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485563574544 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28643] ppid=28634 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28643/stat : 28643 (java) S 28634 28637 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39395587 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485242907024 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28644] ppid=28634 vsize=10659012 memory=140229033719424 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28644/stat : 28644 (java) S 28634 28637 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39395589 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485131516656 140485639617154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28645] ppid=28634 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28645/stat : 28645 (java) S 28634 28637 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39395589 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485130462880 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28646] ppid=28634 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28646/stat : 28646 (java) S 28634 28637 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39395589 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485129409776 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28647] ppid=28634 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28647/stat : 28647 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485128358352 140485639624603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28648] ppid=28634 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28648/stat : 28648 (java) S 28634 28637 24904 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 39395592 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485127305456 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28649] ppid=28634 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28649/stat : 28649 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485126252912 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28650] ppid=28634 vsize=10659012 memory=140229033719424 CPUtime=0.02 cores=1,3,5,7
/proc/28637/task/28650/stat : 28650 (java) R 28634 28637 24904 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 15 0 39395592 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485125199856 140485639627354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28651] ppid=28634 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28651/stat : 28651 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485124147552 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28652] ppid=28634 vsize=10659012 memory=140229033719424 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28652/stat : 28652 (java) S 28634 28637 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39395592 10914828288 7624 33554432000 4194304 4196468 140728219308416 140485123095600 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30496 KiB
[startup+0.210565 s]*
/proc/loadavg: 3.52 2.57 2.24 7/216 28652
/proc/meminfo: memFree=15181760/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=10659012 memory=41880 CPUtime=0.33 cores=1,3,5,7
/proc/28637/stat : 28637 (java) S 28634 28637 24904 0 -1 1077944320 8079 0 0 0 31 2 0 0 20 0 15 0 39395586 10914828288 10470 33554432000 4194304 4196468 140728219308416 140728219290960 140485639606007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
/proc/28637/statm: 2664753 10470 3003 1 0 2627263 0
[pid=28637/tid=28639] ppid=28634 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/28637/task/28639/stat : 28639 (java) R 28634 28637 24904 0 -1 4202560 5027 0 0 0 18 1 0 0 20 0 15 0 39395586 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485643841680 140485639627933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28640] ppid=28634 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28640/stat : 28640 (java) S 28634 28637 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39395587 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485565680144 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28641] ppid=28634 vsize=10659012 memory=288370605185431168 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28641/stat : 28641 (java) S 28634 28637 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39395587 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485564627600 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28642] ppid=28634 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28642/stat : 28642 (java) S 28634 28637 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39395587 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485563574544 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28643] ppid=28634 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28643/stat : 28643 (java) S 28634 28637 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39395587 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485242907024 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28644] ppid=28634 vsize=10659012 memory=140229033719424 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28644/stat : 28644 (java) S 28634 28637 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39395589 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485131516656 140485639617154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28645] ppid=28634 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28645/stat : 28645 (java) S 28634 28637 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39395589 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485130462880 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28646] ppid=28634 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28646/stat : 28646 (java) S 28634 28637 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39395589 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485129409776 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28647] ppid=28634 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28647/stat : 28647 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485128358352 140485639624603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28648] ppid=28634 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28637/task/28648/stat : 28648 (java) S 28634 28637 24904 0 -1 1077944384 780 0 0 0 2 0 0 0 20 0 15 0 39395592 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485127305456 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28649] ppid=28634 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28637/task/28649/stat : 28649 (java) S 28634 28637 24904 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 15 0 39395592 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485126252912 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28650] ppid=28634 vsize=10659012 memory=140229033719424 CPUtime=0.07 cores=1,3,5,7
/proc/28637/task/28650/stat : 28650 (java) R 28634 28637 24904 0 -1 4202560 664 0 0 0 7 0 0 0 20 0 15 0 39395592 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485125199856 140485623686494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28651] ppid=28634 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28651/stat : 28651 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485124147552 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28652] ppid=28634 vsize=10659012 memory=140229033719424 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28652/stat : 28652 (java) S 28634 28637 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39395592 10914828288 10470 33554432000 4194304 4196468 140728219308416 140485123095600 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41880 KiB
[startup+0.311736 s]*
/proc/loadavg: 3.52 2.57 2.24 6/216 28652
/proc/meminfo: memFree=15170964/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=10659088 memory=50852 CPUtime=0.51 cores=1,3,5,7
/proc/28637/stat : 28637 (java) S 28634 28637 24904 0 -1 1077944320 8921 0 0 0 48 3 0 0 20 0 15 0 39395586 10914906112 12713 33554432000 4194304 4196468 140728219308416 140728219290960 140485639606007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
/proc/28637/statm: 2664772 12713 3049 1 0 2627263 0
[pid=28637/tid=28639] ppid=28634 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/28637/task/28639/stat : 28639 (java) R 28634 28637 24904 0 -1 4202560 5668 0 0 0 28 2 0 0 20 0 15 0 39395586 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485643838144 140485623686494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28640] ppid=28634 vsize=10659088 memory=4294979967 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28640/stat : 28640 (java) S 28634 28637 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39395587 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485565680144 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28641] ppid=28634 vsize=10659088 memory=288370605185431168 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28641/stat : 28641 (java) S 28634 28637 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39395587 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485564627600 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28642] ppid=28634 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28642/stat : 28642 (java) S 28634 28637 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39395587 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485563574544 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28643] ppid=28634 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28643/stat : 28643 (java) S 28634 28637 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39395587 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485242907024 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28644] ppid=28634 vsize=10659088 memory=140229033719424 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28644/stat : 28644 (java) S 28634 28637 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485131516656 140485639617154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28645] ppid=28634 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28645/stat : 28645 (java) S 28634 28637 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485130462880 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28646] ppid=28634 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28646/stat : 28646 (java) S 28634 28637 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485129409776 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28647] ppid=28634 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28647/stat : 28647 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485128358352 140485639624603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28648] ppid=28634 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/28637/task/28648/stat : 28648 (java) S 28634 28637 24904 0 -1 1077944384 915 0 0 0 5 0 0 0 20 0 15 0 39395592 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485127305456 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28649] ppid=28634 vsize=10659088 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28637/task/28649/stat : 28649 (java) S 28634 28637 24904 0 -1 1077944384 270 0 0 0 3 0 0 0 20 0 15 0 39395592 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485126252912 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28650] ppid=28634 vsize=10659088 memory=140229033719424 CPUtime=0.1 cores=1,3,5,7
/proc/28637/task/28650/stat : 28650 (java) S 28634 28637 24904 0 -1 1077944384 700 0 0 0 10 0 0 0 20 0 15 0 39395592 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485125199856 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28651] ppid=28634 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28651/stat : 28651 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485124147552 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28652] ppid=28634 vsize=10659088 memory=140229033719424 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28652/stat : 28652 (java) S 28634 28637 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 12713 33554432000 4194304 4196468 140728219308416 140485123095600 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 50852 KiB
[startup+0.700746 s]
/proc/loadavg: 3.52 2.57 2.24 9/216 28652
/proc/meminfo: memFree=15109540/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=10659088 memory=198708 CPUtime=1.56 cores=1,3,5,7
/proc/28637/stat : 28637 (java) S 28634 28637 24904 0 -1 1077944320 11197 0 0 0 148 8 0 0 20 0 15 0 39395586 10914906112 49677 33554432000 4194304 4196468 140728219308416 140728219290960 140485639606007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
/proc/28637/statm: 2664772 49677 3115 1 0 2627263 0
[pid=28637/tid=28639] ppid=28634 vsize=10659088 memory=8616 CPUtime=0.66 cores=1,3,5,7
/proc/28637/task/28639/stat : 28639 (java) R 28634 28637 24904 0 -1 4202560 5903 0 0 0 61 5 0 0 20 0 15 0 39395586 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485643844016 140485245798374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28640] ppid=28634 vsize=10659088 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28640/stat : 28640 (java) S 28634 28637 24904 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 39395587 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485565680144 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28641] ppid=28634 vsize=10659088 memory=644 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28641/stat : 28641 (java) S 28634 28637 24904 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 39395587 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485564627600 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28642] ppid=28634 vsize=10659088 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28642/stat : 28642 (java) S 28634 28637 24904 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 39395587 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485563574544 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28643] ppid=28634 vsize=10659088 memory=952 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28643/stat : 28643 (java) S 28634 28637 24904 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 39395587 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485242907024 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28644] ppid=28634 vsize=10659088 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28644/stat : 28644 (java) S 28634 28637 24904 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485131516656 140485639617154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28645] ppid=28634 vsize=10659088 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28645/stat : 28645 (java) S 28634 28637 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485130462880 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28646] ppid=28634 vsize=10659088 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28646/stat : 28646 (java) S 28634 28637 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485129409776 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28647] ppid=28634 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28647/stat : 28647 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485128358352 140485639624603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28648] ppid=28634 vsize=10659088 memory=7013340940837610608 CPUtime=0.32 cores=1,3,5,7
/proc/28637/task/28648/stat : 28648 (java) S 28634 28637 24904 0 -1 1077944384 1496 0 0 0 32 0 0 0 20 0 15 0 39395592 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485127305456 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28649] ppid=28634 vsize=10659088 memory=5932762877087012201 CPUtime=0.32 cores=1,3,5,7
/proc/28637/task/28649/stat : 28649 (java) S 28634 28637 24904 0 -1 1077944384 1232 0 0 0 32 0 0 0 20 0 15 0 39395592 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485126252912 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28650] ppid=28634 vsize=10659088 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/28637/task/28650/stat : 28650 (java) S 28634 28637 24904 0 -1 1077944384 1064 0 0 0 19 0 0 0 20 0 15 0 39395592 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485125199856 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28651] ppid=28634 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28651/stat : 28651 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485124147552 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28652] ppid=28634 vsize=10659088 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28652/stat : 28652 (java) S 28634 28637 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 49677 33554432000 4194304 4196468 140728219308416 140485123095600 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 198708 KiB
[startup+1.5007 s]
/proc/loadavg: 3.52 2.57 2.24 9/216 28652
/proc/meminfo: memFree=14978480/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=10661288 memory=368444 CPUtime=3.84 cores=1,3,5,7
/proc/28637/stat : 28637 (java) S 28634 28637 24904 0 -1 1077944320 18984 0 0 0 371 13 0 0 20 0 15 0 39395586 10917158912 92111 33554432000 4194304 4196468 140728219308416 140728219290960 140485639606007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
/proc/28637/statm: 2665322 92111 3139 1 0 2627813 0
[pid=28637/tid=28639] ppid=28634 vsize=10661288 memory=278340 CPUtime=1.44 cores=1,3,5,7
/proc/28637/task/28639/stat : 28639 (java) R 28634 28637 24904 0 -1 4202560 6017 0 0 0 138 6 0 0 20 0 15 0 39395586 10917158912 92111 33554432000 4194304 4196468 140728219308416 140485643839864 140485619331120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28640] ppid=28634 vsize=10661288 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/28637/task/28640/stat : 28640 (java) S 28634 28637 24904 0 -1 1077944384 24 0 0 0 0 1 0 0 20 0 15 0 39395587 10917158912 92111 33554432000 4194304 4196468 140728219308416 140485565680144 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28641] ppid=28634 vsize=10661288 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28637/task/28641/stat : 28641 (java) S 28634 28637 24904 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 39395587 10917158912 92111 33554432000 4194304 4196468 140728219308416 140485564627600 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28642] ppid=28634 vsize=10661288 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28637/task/28642/stat : 28642 (java) S 28634 28637 24904 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 15 0 39395587 10917158912 92111 33554432000 4194304 4196468 140728219308416 140485563574544 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28643] ppid=28634 vsize=10661288 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28637/task/28643/stat : 28643 (java) S 28634 28637 24904 0 -1 1077944384 168 0 0 0 1 1 0 0 20 0 15 0 39395587 10917158912 92111 33554432000 4194304 4196468 140728219308416 140485242907024 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28644] ppid=28634 vsize=10661288 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28644/stat : 28644 (java) S 28634 28637 24904 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 39395589 10917158912 92111 33554432000 4194304 4196468 140728219308416 140485131516656 140485639617154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
################
# More data... #
################
/proc/28637/statm: 2664772 2065061 3171 1 0 2627263 0
[pid=28637/tid=28639] ppid=28634 vsize=10659088 memory=231816 CPUtime=42.96 cores=1,3,5,7
/proc/28637/task/28639/stat : 28639 (java) S 28634 28637 24904 0 -1 1077944384 18005 0 0 0 4284 12 0 0 20 0 15 0 39395586 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485643838096 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28640] ppid=28634 vsize=10659088 memory=4296 CPUtime=578.84 cores=1,3,5,7
/proc/28637/task/28640/stat : 28640 (java) R 28634 28637 24904 0 -1 4202560 74002 0 0 0 57672 212 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485565680344 140485624556716 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28641] ppid=28634 vsize=10659088 memory=6791534058613427641 CPUtime=578.67 cores=1,3,5,7
/proc/28637/task/28641/stat : 28641 (java) R 28634 28637 24904 0 -1 4202560 260326 0 0 0 57635 232 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485564627600 140485624303759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28642] ppid=28634 vsize=10659088 memory=7440056984007045732 CPUtime=579.2 cores=1,3,5,7
/proc/28637/task/28642/stat : 28642 (java) R 28634 28637 24904 0 -1 4202560 79408 0 0 0 57700 220 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485563574744 140485624303759 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28643] ppid=28634 vsize=10659088 memory=7090471668572775528 CPUtime=578.96 cores=1,3,5,7
/proc/28637/task/28643/stat : 28643 (java) R 28634 28637 24904 0 -1 4202560 77431 0 0 0 57680 216 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485242907024 140485617713269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28644] ppid=28634 vsize=10659088 memory=5865778417233913706 CPUtime=37.46 cores=1,3,5,7
/proc/28637/task/28644/stat : 28644 (java) S 28634 28637 24904 0 -1 1077944384 108944 0 0 0 3740 6 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485131514976 140485639616213 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28645] ppid=28634 vsize=10659088 memory=7453004841408227921 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28645/stat : 28645 (java) S 28634 28637 24904 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485130462944 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28646] ppid=28634 vsize=10659088 memory=5865778417233913706 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28646/stat : 28646 (java) S 28634 28637 24904 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485129409792 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28647] ppid=28634 vsize=10659088 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28647/stat : 28647 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485128358352 140485639624603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28648] ppid=28634 vsize=10659088 memory=4616 CPUtime=1.39 cores=1,3,5,7
/proc/28637/task/28648/stat : 28648 (java) S 28634 28637 24904 0 -1 1077944384 8392 0 0 0 138 1 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485127305456 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28649] ppid=28634 vsize=10659088 memory=11960 CPUtime=1.86 cores=1,3,5,7
/proc/28637/task/28649/stat : 28649 (java) S 28634 28637 24904 0 -1 1077944384 10855 0 0 0 185 1 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485126252912 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28650] ppid=28634 vsize=10659088 memory=1008 CPUtime=0.31 cores=1,3,5,7
/proc/28637/task/28650/stat : 28650 (java) S 28634 28637 24904 0 -1 1077944384 2355 0 0 0 31 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485125199856 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28651] ppid=28634 vsize=10659088 memory=792 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28651/stat : 28651 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485124147552 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28652] ppid=28634 vsize=10659088 memory=1716 CPUtime=0.34 cores=1,3,5,7
/proc/28637/task/28652/stat : 28652 (java) S 28634 28637 24904 0 -1 1077944384 424 0 0 0 20 14 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485123095600 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8260244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+669.853 s]
# the end of solver process 28637 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.03 s, system=9.11975 s
Solver just ended.
Dumping a history of the last processes samples
[startup+668.802 s]
/proc/loadavg: 5.60 6.37 4.60 7/217 28825
/proc/meminfo: memFree=13915780/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=10659088 memory=8260244 CPUtime=2404.07 cores=1,3,5,7
/proc/28637/stat : 28637 (java) S 28634 28637 24904 0 -1 1077944320 641628 0 0 0 239500 907 0 0 20 0 15 0 39395586 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140728219290960 140485639606007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
/proc/28637/statm: 2664772 2065061 3171 1 0 2627263 0
[pid=28637/tid=28639] ppid=28634 vsize=10659088 memory=8260244 CPUtime=42.96 cores=1,3,5,7
/proc/28637/task/28639/stat : 28639 (java) S 28634 28637 24904 0 -1 1077944384 18005 0 0 0 4284 12 0 0 20 0 15 0 39395586 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485643838096 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28640] ppid=28634 vsize=10659088 memory=8260244 CPUtime=579.82 cores=1,3,5,7
/proc/28637/task/28640/stat : 28640 (java) R 28634 28637 24904 0 -1 4202560 74002 0 0 0 57770 212 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485565680344 140485624303654 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28641] ppid=28634 vsize=10659088 memory=2580 CPUtime=579.67 cores=1,3,5,7
/proc/28637/task/28641/stat : 28641 (java) R 28634 28637 24904 0 -1 4202560 260326 0 0 0 57735 232 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485564627488 140485624591303 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28642] ppid=28634 vsize=10659088 memory=4100 CPUtime=580.2 cores=1,3,5,7
/proc/28637/task/28642/stat : 28642 (java) R 28634 28637 24904 0 -1 4202560 79408 0 0 0 57800 220 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485563574744 140485624303759 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28643] ppid=28634 vsize=10659088 memory=164 CPUtime=579.96 cores=1,3,5,7
/proc/28637/task/28643/stat : 28643 (java) R 28634 28637 24904 0 -1 4202560 77431 0 0 0 57780 216 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485242907224 140485624059891 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28644] ppid=28634 vsize=10659088 memory=288293259657347878 CPUtime=37.46 cores=1,3,5,7
/proc/28637/task/28644/stat : 28644 (java) S 28634 28637 24904 0 -1 1077944384 108944 0 0 0 3740 6 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485131514976 140485639616213 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28645] ppid=28634 vsize=10659088 memory=280457875658232 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28645/stat : 28645 (java) S 28634 28637 24904 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485130462944 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28646] ppid=28634 vsize=10659088 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28646/stat : 28646 (java) S 28634 28637 24904 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485129409792 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28647] ppid=28634 vsize=10659088 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28647/stat : 28647 (java) S 28634 28637 24904 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485128358000 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28648] ppid=28634 vsize=10659088 memory=1568 CPUtime=1.39 cores=1,3,5,7
/proc/28637/task/28648/stat : 28648 (java) S 28634 28637 24904 0 -1 1077944384 8392 0 0 0 138 1 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485127305456 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28649] ppid=28634 vsize=10659088 memory=4140 CPUtime=1.86 cores=1,3,5,7
/proc/28637/task/28649/stat : 28649 (java) S 28634 28637 24904 0 -1 1077944384 10855 0 0 0 185 1 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485126252912 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28650] ppid=28634 vsize=10659088 memory=13960 CPUtime=0.31 cores=1,3,5,7
/proc/28637/task/28650/stat : 28650 (java) S 28634 28637 24904 0 -1 1077944384 2355 0 0 0 31 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485125199856 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28651] ppid=28634 vsize=10659088 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28651/stat : 28651 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485124147552 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28652] ppid=28634 vsize=10659088 memory=8260244 CPUtime=0.34 cores=1,3,5,7
/proc/28637/task/28652/stat : 28652 (java) S 28634 28637 24904 0 -1 1077944384 424 0 0 0 20 14 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485123095600 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
Current children cumulated CPU time: 2404.07 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8260244 KiB
[startup+669.602 s]
/proc/loadavg: 5.55 6.35 4.60 7/217 28825
/proc/meminfo: memFree=13915780/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=10659088 memory=8260244 CPUtime=2407.25 cores=1,3,5,7
/proc/28637/stat : 28637 (java) S 28634 28637 24904 0 -1 1077944320 641629 0 0 0 239818 907 0 0 20 0 15 0 39395586 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140728219290960 140485639606007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
/proc/28637/statm: 2664772 2065061 3171 1 0 2627263 0
[pid=28637/tid=28639] ppid=28634 vsize=10659088 memory=4140 CPUtime=42.96 cores=1,3,5,7
/proc/28637/task/28639/stat : 28639 (java) S 28634 28637 24904 0 -1 1077944384 18005 0 0 0 4284 12 0 0 20 0 15 0 39395586 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485643838096 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28640] ppid=28634 vsize=10659088 memory=13960 CPUtime=580.6 cores=1,3,5,7
/proc/28637/task/28640/stat : 28640 (java) R 28634 28637 24904 0 -1 4202560 74002 0 0 0 57848 212 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485565680344 140485624556612 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28641] ppid=28634 vsize=10659088 memory=6791534058613427641 CPUtime=580.47 cores=1,3,5,7
/proc/28637/task/28641/stat : 28641 (java) R 28634 28637 24904 0 -1 4202560 260327 0 0 0 57815 232 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485564627488 140485624556612 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28642] ppid=28634 vsize=10659088 memory=1428 CPUtime=581 cores=1,3,5,7
/proc/28637/task/28642/stat : 28642 (java) R 28634 28637 24904 0 -1 4202560 79408 0 0 0 57880 220 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485563574744 140485624303759 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28643] ppid=28634 vsize=10659088 memory=1196 CPUtime=580.76 cores=1,3,5,7
/proc/28637/task/28643/stat : 28643 (java) R 28634 28637 24904 0 -1 4202560 77431 0 0 0 57860 216 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485242907224 140485624556701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28644] ppid=28634 vsize=10659088 memory=792 CPUtime=37.46 cores=1,3,5,7
/proc/28637/task/28644/stat : 28644 (java) S 28634 28637 24904 0 -1 1077944384 108944 0 0 0 3740 6 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485131514976 140485639616213 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28645] ppid=28634 vsize=10659088 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28645/stat : 28645 (java) S 28634 28637 24904 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485130462944 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28646] ppid=28634 vsize=10659088 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28646/stat : 28646 (java) S 28634 28637 24904 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485129409792 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28647] ppid=28634 vsize=10659088 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28647/stat : 28647 (java) S 28634 28637 24904 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485128358000 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28648] ppid=28634 vsize=10659088 memory=15872 CPUtime=1.39 cores=1,3,5,7
/proc/28637/task/28648/stat : 28648 (java) S 28634 28637 24904 0 -1 1077944384 8392 0 0 0 138 1 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485127305456 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28649] ppid=28634 vsize=10659088 memory=4012 CPUtime=1.86 cores=1,3,5,7
/proc/28637/task/28649/stat : 28649 (java) S 28634 28637 24904 0 -1 1077944384 10855 0 0 0 185 1 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485126252912 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28650] ppid=28634 vsize=10659088 memory=8616 CPUtime=0.31 cores=1,3,5,7
/proc/28637/task/28650/stat : 28650 (java) S 28634 28637 24904 0 -1 1077944384 2355 0 0 0 31 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485125199856 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28651] ppid=28634 vsize=10659088 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28651/stat : 28651 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485124147552 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28652] ppid=28634 vsize=10659088 memory=644 CPUtime=0.34 cores=1,3,5,7
/proc/28637/task/28652/stat : 28652 (java) S 28634 28637 24904 0 -1 1077944384 424 0 0 0 20 14 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485123095600 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
Current children cumulated CPU time: 2407.25 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8260244 KiB
[startup+669.802 s]
/proc/loadavg: 5.55 6.35 4.60 7/217 28825
/proc/meminfo: memFree=13915780/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=10659088 memory=8260244 CPUtime=2408.05 cores=1,3,5,7
/proc/28637/stat : 28637 (java) S 28634 28637 24904 0 -1 1077944320 641629 0 0 0 239898 907 0 0 20 0 15 0 39395586 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140728219290960 140485639606007 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
/proc/28637/statm: 2664772 2065061 3171 1 0 2627263 0
[pid=28637/tid=28639] ppid=28634 vsize=10659088 memory=4616 CPUtime=42.96 cores=1,3,5,7
/proc/28637/task/28639/stat : 28639 (java) S 28634 28637 24904 0 -1 1077944384 18005 0 0 0 4284 12 0 0 20 0 15 0 39395586 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485643838096 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28640] ppid=28634 vsize=10659088 memory=11960 CPUtime=580.8 cores=1,3,5,7
/proc/28637/task/28640/stat : 28640 (java) R 28634 28637 24904 0 -1 4202560 74002 0 0 0 57868 212 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485565680344 140485624303759 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28641] ppid=28634 vsize=10659088 memory=1008 CPUtime=580.67 cores=1,3,5,7
/proc/28637/task/28641/stat : 28641 (java) R 28634 28637 24904 0 -1 4202560 260327 0 0 0 57835 232 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485564627488 140485624303782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28642] ppid=28634 vsize=10659088 memory=8260244 CPUtime=581.2 cores=1,3,5,7
/proc/28637/task/28642/stat : 28642 (java) R 28634 28637 24904 0 -1 4202560 79408 0 0 0 57900 220 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485563574744 140485621202465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28643] ppid=28634 vsize=10659088 memory=4296 CPUtime=580.96 cores=1,3,5,7
/proc/28637/task/28643/stat : 28643 (java) R 28634 28637 24904 0 -1 4202560 77431 0 0 0 57880 216 0 0 20 0 15 0 39395587 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485242907224 140485624557134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28644] ppid=28634 vsize=10659088 memory=1788 CPUtime=37.46 cores=1,3,5,7
/proc/28637/task/28644/stat : 28644 (java) S 28634 28637 24904 0 -1 1077944384 108944 0 0 0 3740 6 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485131514976 140485639616213 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28645] ppid=28634 vsize=10659088 memory=952 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28645/stat : 28645 (java) S 28634 28637 24904 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485130462944 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28646] ppid=28634 vsize=10659088 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28646/stat : 28646 (java) S 28634 28637 24904 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 39395589 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485129409792 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28647] ppid=28634 vsize=10659088 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28647/stat : 28647 (java) S 28634 28637 24904 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485128358000 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28648] ppid=28634 vsize=10659088 memory=1568 CPUtime=1.39 cores=1,3,5,7
/proc/28637/task/28648/stat : 28648 (java) S 28634 28637 24904 0 -1 1077944384 8392 0 0 0 138 1 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485127305456 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28649] ppid=28634 vsize=10659088 memory=928 CPUtime=1.86 cores=1,3,5,7
/proc/28637/task/28649/stat : 28649 (java) S 28634 28637 24904 0 -1 1077944384 10855 0 0 0 185 1 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485126252912 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28650] ppid=28634 vsize=10659088 memory=2240 CPUtime=0.31 cores=1,3,5,7
/proc/28637/task/28650/stat : 28650 (java) S 28634 28637 24904 0 -1 1077944384 2355 0 0 0 31 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485125199856 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28651] ppid=28634 vsize=10659088 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/28637/task/28651/stat : 28651 (java) S 28634 28637 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485124147552 140485639616213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
[pid=28637/tid=28652] ppid=28634 vsize=10659088 memory=2200 CPUtime=0.34 cores=1,3,5,7
/proc/28637/task/28652/stat : 28652 (java) S 28634 28637 24904 0 -1 1077944384 424 0 0 0 20 14 0 0 20 0 15 0 39395592 10914906112 2065061 33554432000 4194304 4196468 140728219308416 140485123095600 140485639617154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 18120704 140728219313265 140728219313417 140728219313417 140728219316175 0
Current children cumulated CPU time: 2408.05 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8260244 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 669.853
CPU time (s): 2408.15
CPU user time (s): 2399.03
CPU system time (s): 9.11975
CPU usage (%): 359.504
Max. virtual memory (cumulated for all children) (KiB): 10661644
Max. memory (cumulated for all children) (KiB): 8260244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.03
system time used= 9.11975
maximum resident set size= 8260432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 641633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39486
involuntary context switches= 51294
# summary of solver processes directly reported to runsolver:
# pid: 28637
# total CPU time (s): 2408.15
# total CPU user time (s): 2399.03
# total CPU system time (s): 9.11975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.78498 second user time and 6.98323 second system time
The end