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 (4085 MiB free)
memory of node 1: 16384 MiB (12346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289970-1532213045/watcher-4289970-1532213045 -o /tmp/evaluation-result-4289970-1532213045/solver-4289970-1532213045 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532208872-28144 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289970-1532213045.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=28848, runsolver pid=28845
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 5.14 4.23 3.14 3/217 28863
/proc/meminfo: memFree=16808312/32770624 swapFree=67108860/67108860
[pid=28848] ppid=28845 vsize=10659012 memory=30476 CPUtime=0.13 cores=1,3,5,7
/proc/28848/stat : 28848 (java) S 28845 28848 25824 0 -1 1077944320 6689 0 0 0 11 2 0 0 20 0 15 0 38867654 10914828288 7619 33554432000 4194304 4196468 140728805911136 140728805893680 139866562244343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
/proc/28848/statm: 2664753 7619 2824 1 0 2627263 0
[pid=28848/tid=28850] ppid=28845 vsize=10659012 memory=-8773748148830375295 CPUtime=0.09 cores=1,3,5,7
/proc/28848/task/28850/stat : 28850 (java) R 28845 28848 25824 0 -1 4202560 4526 0 0 0 8 1 0 0 20 0 15 0 38867654 10914828288 7619 33554432000 4194304 4196468 140728805911136 139866566469408 139866562256278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28851] ppid=28845 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28851/stat : 28851 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914828288 7619 33554432000 4194304 4196468 140728805911136 139866488319120 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28852] ppid=28845 vsize=10659012 memory=140248829163136 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28852/stat : 28852 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914828288 7619 33554432000 4194304 4196468 140728805911136 139866487266320 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28853] ppid=28845 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28853/stat : 28853 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914828288 7619 33554432000 4194304 4196468 140728805911136 139866486213520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28854] ppid=28845 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28854/stat : 28854 (java) S 28845 28848 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38867655 10914828288 7619 33554432000 4194304 4196468 140728805911136 139866485160720 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28855] ppid=28845 vsize=10659012 memory=140248829163136 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28855/stat : 28855 (java) S 28845 28848 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38867656 10914828288 7619 33554432000 4194304 4196468 140728805911136 139865597356400 139866562255490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28856] ppid=28845 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28856/stat : 28856 (java) S 28845 28848 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38867657 10914828288 7619 33554432000 4194304 4196468 140728805911136 139865596302368 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28857] ppid=28845 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28857/stat : 28857 (java) S 28845 28848 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38867657 10914828288 7619 33554432000 4194304 4196468 140728805911136 139865595249520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28858] ppid=28845 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28858/stat : 28858 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38867659 10914828288 7619 33554432000 4194304 4196468 140728805911136 139865594197840 139866562262939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28859] ppid=28845 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28859/stat : 28859 (java) S 28845 28848 25824 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 38867659 10914828288 7619 33554432000 4194304 4196468 140728805911136 139865593146224 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28860] ppid=28845 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28860/stat : 28860 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867659 10914828288 7619 33554432000 4194304 4196468 140728805911136 139865592093424 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28861] ppid=28845 vsize=10659012 memory=140248829163136 CPUtime=0.01 cores=1,3,5,7
/proc/28848/task/28861/stat : 28861 (java) R 28845 28848 25824 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 15 0 38867659 10914828288 7619 33554432000 4194304 4196468 140728805911136 139865591040624 139866540735360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28862] ppid=28845 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28862/stat : 28862 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38867659 10914828288 7619 33554432000 4194304 4196468 140728805911136 139865589988064 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28863] ppid=28845 vsize=10659012 memory=140248829163136 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28863/stat : 28863 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867660 10914828288 7619 33554432000 4194304 4196468 140728805911136 139865588935344 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30476 KiB
[startup+0.210609 s]*
/proc/loadavg: 5.14 4.23 3.14 4/217 28863
/proc/meminfo: memFree=16797868/32770624 swapFree=67108860/67108860
[pid=28848] ppid=28845 vsize=10659012 memory=42348 CPUtime=0.34 cores=1,3,5,7
/proc/28848/stat : 28848 (java) S 28845 28848 25824 0 -1 1077944320 8125 0 0 0 31 3 0 0 20 0 15 0 38867654 10914828288 10587 33554432000 4194304 4196468 140728805911136 140728805893680 139866562244343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
/proc/28848/statm: 2664753 10587 3012 1 0 2627263 0
[pid=28848/tid=28850] ppid=28845 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28848/task/28850/stat : 28850 (java) R 28845 28848 25824 0 -1 4202560 5030 0 0 0 19 1 0 0 20 0 15 0 38867654 10914828288 10587 33554432000 4194304 4196468 140728805911136 139866566471600 139866546324830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28851] ppid=28845 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28851/stat : 28851 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914828288 10587 33554432000 4194304 4196468 140728805911136 139866488319120 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28852] ppid=28845 vsize=10659012 memory=140248829190462 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28852/stat : 28852 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914828288 10587 33554432000 4194304 4196468 140728805911136 139866487266320 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28853] ppid=28845 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28853/stat : 28853 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914828288 10587 33554432000 4194304 4196468 140728805911136 139866486213520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28854] ppid=28845 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28854/stat : 28854 (java) S 28845 28848 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38867655 10914828288 10587 33554432000 4194304 4196468 140728805911136 139866485160720 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28855] ppid=28845 vsize=10659012 memory=140248829163136 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28855/stat : 28855 (java) S 28845 28848 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38867656 10914828288 10587 33554432000 4194304 4196468 140728805911136 139865597356400 139866562255490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28856] ppid=28845 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28856/stat : 28856 (java) S 28845 28848 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38867657 10914828288 10587 33554432000 4194304 4196468 140728805911136 139865596302368 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28857] ppid=28845 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28857/stat : 28857 (java) S 28845 28848 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38867657 10914828288 10587 33554432000 4194304 4196468 140728805911136 139865595249520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28858] ppid=28845 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28858/stat : 28858 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38867659 10914828288 10587 33554432000 4194304 4196468 140728805911136 139865594197840 139866562262939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28859] ppid=28845 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28848/task/28859/stat : 28859 (java) S 28845 28848 25824 0 -1 1077944384 795 0 0 0 2 0 0 0 20 0 15 0 38867659 10914828288 10587 33554432000 4194304 4196468 140728805911136 139865593146224 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28860] ppid=28845 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28848/task/28860/stat : 28860 (java) S 28845 28848 25824 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 15 0 38867659 10914828288 10587 33554432000 4194304 4196468 140728805911136 139865592093424 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28861] ppid=28845 vsize=10659012 memory=140248829163136 CPUtime=0.07 cores=1,3,5,7
/proc/28848/task/28861/stat : 28861 (java) R 28845 28848 25824 0 -1 4202560 729 0 0 0 7 0 0 0 20 0 15 0 38867659 10914828288 10587 33554432000 4194304 4196468 140728805911136 139865591040624 139866546324830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28862] ppid=28845 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28862/stat : 28862 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38867659 10914828288 10587 33554432000 4194304 4196468 140728805911136 139865589988064 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28863] ppid=28845 vsize=10659012 memory=140248829163136 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28863/stat : 28863 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867660 10914828288 10587 33554432000 4194304 4196468 140728805911136 139865588935344 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42348 KiB
[startup+0.310839 s]*
/proc/loadavg: 5.14 4.23 3.14 6/217 28863
/proc/meminfo: memFree=16790796/32770624 swapFree=67108860/67108860
[pid=28848] ppid=28845 vsize=10659088 memory=47464 CPUtime=0.53 cores=1,3,5,7
/proc/28848/stat : 28848 (java) S 28845 28848 25824 0 -1 1077944320 8924 0 0 0 50 3 0 0 20 0 15 0 38867654 10914906112 11866 33554432000 4194304 4196468 140728805911136 140728805893680 139866562244343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
/proc/28848/statm: 2664772 11866 3054 1 0 2627263 0
[pid=28848/tid=28850] ppid=28845 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/28848/task/28850/stat : 28850 (java) R 28845 28848 25824 0 -1 4202560 5630 0 0 0 28 2 0 0 20 0 15 0 38867654 10914906112 11866 33554432000 4194304 4196468 140728805911136 139866566478400 139866562256278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28851] ppid=28845 vsize=10659088 memory=288230604707987479 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28851/stat : 28851 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914906112 11866 33554432000 4194304 4196468 140728805911136 139866488319120 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28852] ppid=28845 vsize=10659088 memory=140248829189690 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28852/stat : 28852 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914906112 11866 33554432000 4194304 4196468 140728805911136 139866487266320 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28853] ppid=28845 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28853/stat : 28853 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914906112 11866 33554432000 4194304 4196468 140728805911136 139866486213520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28854] ppid=28845 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28854/stat : 28854 (java) S 28845 28848 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38867655 10914906112 11866 33554432000 4194304 4196468 140728805911136 139866485160720 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28855] ppid=28845 vsize=10659088 memory=140248829163136 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28855/stat : 28855 (java) S 28845 28848 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38867656 10914906112 11866 33554432000 4194304 4196468 140728805911136 139865597356400 139866562255490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28856] ppid=28845 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28856/stat : 28856 (java) S 28845 28848 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38867657 10914906112 11866 33554432000 4194304 4196468 140728805911136 139865596302368 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28857] ppid=28845 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28857/stat : 28857 (java) S 28845 28848 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38867657 10914906112 11866 33554432000 4194304 4196468 140728805911136 139865595249520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28858] ppid=28845 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28858/stat : 28858 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38867659 10914906112 11866 33554432000 4194304 4196468 140728805911136 139865594197840 139866562262939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28859] ppid=28845 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28848/task/28859/stat : 28859 (java) S 28845 28848 25824 0 -1 1077944384 804 0 0 0 4 0 0 0 20 0 15 0 38867659 10914906112 11866 33554432000 4194304 4196468 140728805911136 139865593146224 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28860] ppid=28845 vsize=10659088 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/28848/task/28860/stat : 28860 (java) S 28845 28848 25824 0 -1 1077944384 312 0 0 0 5 0 0 0 20 0 15 0 38867659 10914906112 11866 33554432000 4194304 4196468 140728805911136 139865592093424 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28861] ppid=28845 vsize=10659088 memory=140248829163136 CPUtime=0.12 cores=1,3,5,7
/proc/28848/task/28861/stat : 28861 (java) R 28845 28848 25824 0 -1 4202560 810 0 0 0 12 0 0 0 20 0 15 0 38867659 10914906112 11866 33554432000 4194304 4196468 140728805911136 139865591040624 139866562256278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28862] ppid=28845 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28862/stat : 28862 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38867659 10914906112 11866 33554432000 4194304 4196468 140728805911136 139865589988064 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28863] ppid=28845 vsize=10659088 memory=140248829163136 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28863/stat : 28863 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867660 10914906112 11866 33554432000 4194304 4196468 140728805911136 139865588935344 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47464 KiB
[startup+0.700792 s]
/proc/loadavg: 5.14 4.23 3.14 5/217 28863
/proc/meminfo: memFree=16765232/32770624 swapFree=67108860/67108860
[pid=28848] ppid=28845 vsize=10659088 memory=150760 CPUtime=1.64 cores=1,3,5,7
/proc/28848/stat : 28848 (java) S 28845 28848 25824 0 -1 1077944320 12464 0 0 0 158 6 0 0 20 0 15 0 38867654 10914906112 37690 33554432000 4194304 4196468 140728805911136 140728805893680 139866562244343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
/proc/28848/statm: 2664772 37690 3104 1 0 2627263 0
[pid=28848/tid=28850] ppid=28845 vsize=10659088 memory=1836 CPUtime=0.68 cores=1,3,5,7
/proc/28848/task/28850/stat : 28850 (java) R 28845 28848 25824 0 -1 4202560 6141 0 0 0 64 4 0 0 20 0 15 0 38867654 10914906112 37690 33554432000 4194304 4196468 140728805911136 139866566477008 139866167421238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28851] ppid=28845 vsize=10659088 memory=792 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28851/stat : 28851 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914906112 37690 33554432000 4194304 4196468 140728805911136 139866488319120 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28852] ppid=28845 vsize=10659088 memory=1960 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28852/stat : 28852 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914906112 37690 33554432000 4194304 4196468 140728805911136 139866487266320 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28853] ppid=28845 vsize=10659088 memory=5380 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28853/stat : 28853 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867655 10914906112 37690 33554432000 4194304 4196468 140728805911136 139866486213520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28854] ppid=28845 vsize=10659088 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28854/stat : 28854 (java) S 28845 28848 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38867655 10914906112 37690 33554432000 4194304 4196468 140728805911136 139866485160720 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28855] ppid=28845 vsize=10659088 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28855/stat : 28855 (java) S 28845 28848 25824 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38867656 10914906112 37690 33554432000 4194304 4196468 140728805911136 139865597356400 139866562255490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28856] ppid=28845 vsize=10659088 memory=11964 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28856/stat : 28856 (java) S 28845 28848 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38867657 10914906112 37690 33554432000 4194304 4196468 140728805911136 139865596302368 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28857] ppid=28845 vsize=10659088 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28857/stat : 28857 (java) S 28845 28848 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38867657 10914906112 37690 33554432000 4194304 4196468 140728805911136 139865595249520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28858] ppid=28845 vsize=10659088 memory=8380 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28858/stat : 28858 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38867659 10914906112 37690 33554432000 4194304 4196468 140728805911136 139865594197840 139866562262939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28859] ppid=28845 vsize=10659088 memory=6297835844906604903 CPUtime=0.31 cores=1,3,5,7
/proc/28848/task/28859/stat : 28859 (java) R 28845 28848 25824 0 -1 4202560 1894 0 0 0 31 0 0 0 20 0 15 0 38867659 10914906112 37690 33554432000 4194304 4196468 140728805911136 139865593136816 139866545740842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28860] ppid=28845 vsize=10659088 memory=7597685182856913236 CPUtime=0.33 cores=1,3,5,7
/proc/28848/task/28860/stat : 28860 (java) R 28845 28848 25824 0 -1 4202560 1259 0 0 0 33 0 0 0 20 0 15 0 38867659 10914906112 37690 33554432000 4194304 4196468 140728805911136 139865592082016 139866541754640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28861] ppid=28845 vsize=10659088 memory=7368004788338839632 CPUtime=0.3 cores=1,3,5,7
/proc/28848/task/28861/stat : 28861 (java) R 28845 28848 25824 0 -1 1077944384 1799 0 0 0 29 1 0 0 20 0 15 0 38867659 10914906112 37690 33554432000 4194304 4196468 140728805911136 139865591040624 139866562255490 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28862] ppid=28845 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28862/stat : 28862 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38867659 10914906112 37690 33554432000 4194304 4196468 140728805911136 139865589988064 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28863] ppid=28845 vsize=10659088 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28863/stat : 28863 (java) S 28845 28848 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38867660 10914906112 37690 33554432000 4194304 4196468 140728805911136 139865588935344 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 150760 KiB
[startup+1.5013 s]
/proc/loadavg: 5.14 4.23 3.14 6/217 28863
/proc/meminfo: memFree=16570000/32770624 swapFree=67108860/67108860
[pid=28848] ppid=28845 vsize=10659088 memory=535968 CPUtime=3.67 cores=1,3,5,7
/proc/28848/stat : 28848 (java) S 28845 28848 25824 0 -1 1077944320 13618 0 0 0 329 38 0 0 20 0 15 0 38867654 10914906112 133992 33554432000 4194304 4196468 140728805911136 140728805893680 139866562244343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
/proc/28848/statm: 2664772 133992 3136 1 0 2627263 0
[pid=28848/tid=28850] ppid=28845 vsize=10659088 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/28848/task/28850/stat : 28850 (java) S 28845 28848 25824 0 -1 1077944384 6244 0 0 0 111 5 0 0 20 0 15 0 38867654 10914906112 133992 33554432000 4194304 4196468 140728805911136 139866566480768 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28851] ppid=28845 vsize=10659088 memory=-6951259422114956437 CPUtime=0.29 cores=1,3,5,7
/proc/28848/task/28851/stat : 28851 (java) R 28845 28848 25824 0 -1 4202560 185 0 0 0 22 7 0 0 20 0 15 0 38867655 10914906112 133992 33554432000 4194304 4196468 140728805911136 139866488319008 139866547272320 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28852] ppid=28845 vsize=10659088 memory=-6509546260019855295 CPUtime=0.29 cores=1,3,5,7
/proc/28848/task/28852/stat : 28852 (java) R 28845 28848 25824 0 -1 4202560 195 0 0 0 22 7 0 0 20 0 15 0 38867655 10914906112 133992 33554432000 4194304 4196468 140728805911136 139866487266320 139866541439587 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28853] ppid=28845 vsize=10659088 memory=-7390251449858225344 CPUtime=0.3 cores=1,3,5,7
/proc/28848/task/28853/stat : 28853 (java) R 28845 28848 25824 0 -1 4202560 206 0 0 0 23 7 0 0 20 0 15 0 38867655 10914906112 133992 33554432000 4194304 4196468 140728805911136 139866486213720 139866547272217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28854] ppid=28845 vsize=10659088 memory=-7096649868621430206 CPUtime=0.3 cores=1,3,5,7
/proc/28848/task/28854/stat : 28854 (java) R 28845 28848 25824 0 -1 4202560 225 0 0 0 23 7 0 0 20 0 15 0 38867655 10914906112 133992 33554432000 4194304 4196468 140728805911136 139866485160720 139866547271762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28855] ppid=28845 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28855/stat : 28855 (java) S 28845 28848 25824 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 38867656 10914906112 133992 33554432000 4194304 4196468 140728805911136 139865597354912 139866562254549 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
################
# More data... #
################
/proc/28848/task/28852/stat : 28852 (java) S 28845 28848 25824 0 -1 1077944384 13957 0 0 0 698 101 0 0 20 0 16 0 38867655 10985164800 978121 33554432000 4194304 4196468 140728805911136 139866487266320 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28853] ppid=28845 vsize=10727700 memory=3912484 CPUtime=8.03 cores=1,3,5,7
/proc/28848/task/28853/stat : 28853 (java) S 28845 28848 25824 0 -1 1077944384 17549 0 0 0 702 101 0 0 20 0 16 0 38867655 10985164800 978121 33554432000 4194304 4196468 140728805911136 139866486213520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28854] ppid=28845 vsize=10727700 memory=3912380 CPUtime=7.98 cores=1,3,5,7
/proc/28848/task/28854/stat : 28854 (java) S 28845 28848 25824 0 -1 1077944384 18231 0 0 0 697 101 0 0 20 0 16 0 38867655 10985164800 978121 33554432000 4194304 4196468 140728805911136 139866485160720 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28855] ppid=28845 vsize=10727700 memory=3912380 CPUtime=1.13 cores=1,3,5,7
/proc/28848/task/28855/stat : 28855 (java) S 28845 28848 25824 0 -1 1077944384 19693 0 0 0 110 3 0 0 20 0 16 0 38867656 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865597356400 139866562255490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28856] ppid=28845 vsize=10727700 memory=280497335753008 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28856/stat : 28856 (java) S 28845 28848 25824 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 38867657 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865596302432 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28857] ppid=28845 vsize=10727700 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28857/stat : 28857 (java) S 28845 28848 25824 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 38867657 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865595249536 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28858] ppid=28845 vsize=10727700 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28858/stat : 28858 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38867659 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865594197840 139866562262939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28859] ppid=28845 vsize=10727700 memory=3912484 CPUtime=1.3 cores=1,3,5,7
/proc/28848/task/28859/stat : 28859 (java) S 28845 28848 25824 0 -1 1077944384 6138 0 0 0 129 1 0 0 20 0 16 0 38867659 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865593146224 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28860] ppid=28845 vsize=10727700 memory=3912484 CPUtime=1.25 cores=1,3,5,7
/proc/28848/task/28860/stat : 28860 (java) S 28845 28848 25824 0 -1 1077944384 4735 0 0 0 123 2 0 0 20 0 16 0 38867659 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865592093424 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28861] ppid=28845 vsize=10727700 memory=3912484 CPUtime=0.48 cores=1,3,5,7
/proc/28848/task/28861/stat : 28861 (java) S 28845 28848 25824 0 -1 1077944384 4318 0 0 0 46 2 0 0 20 0 16 0 38867659 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865591040624 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28862] ppid=28845 vsize=10727700 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28862/stat : 28862 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38867659 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865589988064 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28863] ppid=28845 vsize=10727700 memory=3912484 CPUtime=1.36 cores=1,3,5,7
/proc/28848/task/28863/stat : 28863 (java) S 28845 28848 25824 0 -1 1077944384 2050 0 0 0 59 77 0 0 20 0 16 0 38867660 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865588935344 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28864] ppid=28845 vsize=10727700 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28864/stat : 28864 (java) S 28845 28848 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38867955 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865585783728 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
Current children cumulated CPU time: 2351.02 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3912484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2371.3 s]
/proc/loadavg: 1.99 2.03 2.12 3/218 29048
/proc/meminfo: memFree=11066184/32770624 swapFree=67108860/67108860
[pid=28848] ppid=28845 vsize=10727700 memory=3912484 CPUtime=2400.06 cores=1,3,5,7
/proc/28848/stat : 28848 (java) S 28845 28848 25824 0 -1 1077944320 180512 0 0 0 239499 507 0 0 20 0 16 0 38867654 10985164800 978121 33554432000 4194304 4196468 140728805911136 140728805893680 139866562244343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
/proc/28848/statm: 2681925 978121 3175 1 0 2644416 0
[pid=28848/tid=28850] ppid=28845 vsize=10727700 memory=0 CPUtime=2362.35 cores=1,3,5,7
/proc/28848/task/28850/stat : 28850 (java) R 28845 28848 25824 0 -1 4202560 74689 0 0 0 236215 20 0 0 20 0 16 0 38867654 10985164800 978121 33554432000 4194304 4196468 140728805911136 139866566483312 139866168826384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28851] ppid=28845 vsize=10727700 memory=3912484 CPUtime=8.05 cores=1,3,5,7
/proc/28848/task/28851/stat : 28851 (java) S 28845 28848 25824 0 -1 1077944384 17680 0 0 0 701 104 0 0 20 0 16 0 38867655 10985164800 978121 33554432000 4194304 4196468 140728805911136 139866488319120 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28852] ppid=28845 vsize=10727700 memory=3912484 CPUtime=7.99 cores=1,3,5,7
/proc/28848/task/28852/stat : 28852 (java) S 28845 28848 25824 0 -1 1077944384 13957 0 0 0 698 101 0 0 20 0 16 0 38867655 10985164800 978121 33554432000 4194304 4196468 140728805911136 139866487266320 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28853] ppid=28845 vsize=10727700 memory=3912484 CPUtime=8.03 cores=1,3,5,7
/proc/28848/task/28853/stat : 28853 (java) S 28845 28848 25824 0 -1 1077944384 17549 0 0 0 702 101 0 0 20 0 16 0 38867655 10985164800 978121 33554432000 4194304 4196468 140728805911136 139866486213520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28854] ppid=28845 vsize=10727700 memory=280497335357568 CPUtime=7.98 cores=1,3,5,7
/proc/28848/task/28854/stat : 28854 (java) S 28845 28848 25824 0 -1 1077944384 18231 0 0 0 697 101 0 0 20 0 16 0 38867655 10985164800 978121 33554432000 4194304 4196468 140728805911136 139866485160720 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28855] ppid=28845 vsize=10727700 memory=3912484 CPUtime=1.13 cores=1,3,5,7
/proc/28848/task/28855/stat : 28855 (java) S 28845 28848 25824 0 -1 1077944384 19703 0 0 0 110 3 0 0 20 0 16 0 38867656 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865597356400 139866562255490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28856] ppid=28845 vsize=10727700 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28856/stat : 28856 (java) S 28845 28848 25824 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 38867657 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865596302432 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28857] ppid=28845 vsize=10727700 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28857/stat : 28857 (java) S 28845 28848 25824 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 38867657 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865595249536 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28858] ppid=28845 vsize=10727700 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28858/stat : 28858 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38867659 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865594197840 139866562262939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28859] ppid=28845 vsize=10727700 memory=3912484 CPUtime=1.3 cores=1,3,5,7
/proc/28848/task/28859/stat : 28859 (java) S 28845 28848 25824 0 -1 1077944384 6141 0 0 0 129 1 0 0 20 0 16 0 38867659 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865593146224 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28860] ppid=28845 vsize=10727700 memory=3912484 CPUtime=1.25 cores=1,3,5,7
/proc/28848/task/28860/stat : 28860 (java) S 28845 28848 25824 0 -1 1077944384 4738 0 0 0 123 2 0 0 20 0 16 0 38867659 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865592093424 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28861] ppid=28845 vsize=10727700 memory=3912484 CPUtime=0.48 cores=1,3,5,7
/proc/28848/task/28861/stat : 28861 (java) S 28845 28848 25824 0 -1 1077944384 4326 0 0 0 46 2 0 0 20 0 16 0 38867659 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865591040624 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28862] ppid=28845 vsize=10727700 memory=3646164 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28862/stat : 28862 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38867659 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865589988064 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28863] ppid=28845 vsize=10727700 memory=3912484 CPUtime=1.39 cores=1,3,5,7
/proc/28848/task/28863/stat : 28863 (java) S 28845 28848 25824 0 -1 1077944384 2087 0 0 0 60 79 0 0 20 0 16 0 38867660 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865588935344 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28864] ppid=28845 vsize=10727700 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28864/stat : 28864 (java) S 28845 28848 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38867955 10985164800 978121 33554432000 4194304 4196468 140728805911136 139865585783728 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3912484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2371.57 s]
# the end of solver process 28848 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.28 s, system=5.09319 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2371.41 s]
/proc/loadavg: 1.99 2.03 2.12 3/218 29048
/proc/meminfo: memFree=11066184/32770624 swapFree=67108860/67108860
[pid=28848] ppid=28845 vsize=10927392 memory=3912796 CPUtime=2400.17 cores=1,3,5,7
/proc/28848/stat : 28848 (java) S 28845 28848 25824 0 -1 1077944320 181883 0 0 0 239510 507 0 0 20 0 17 0 38867654 11189649408 978199 33554432000 4194304 4196468 140728805911136 140728805893680 139866562244343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
/proc/28848/statm: 2731848 978199 3177 1 0 2694339 0
[pid=28848/tid=28850] ppid=28845 vsize=10927392 memory=928 CPUtime=2362.47 cores=1,3,5,7
/proc/28848/task/28850/stat : 28850 (java) R 28845 28848 25824 0 -1 4202560 74939 0 0 0 236226 21 0 0 20 0 17 0 38867654 11189649408 978199 33554432000 4194304 4196468 140728805911136 139866566483312 139866169199165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28851] ppid=28845 vsize=10927392 memory=1580 CPUtime=8.05 cores=1,3,5,7
/proc/28848/task/28851/stat : 28851 (java) S 28845 28848 25824 0 -1 1077944384 17680 0 0 0 701 104 0 0 20 0 17 0 38867655 11189649408 978199 33554432000 4194304 4196468 140728805911136 139866488319120 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28852] ppid=28845 vsize=10927392 memory=6791534058613427641 CPUtime=7.99 cores=1,3,5,7
/proc/28848/task/28852/stat : 28852 (java) S 28845 28848 25824 0 -1 1077944384 13957 0 0 0 698 101 0 0 20 0 17 0 38867655 11189649408 978199 33554432000 4194304 4196468 140728805911136 139866487266320 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28853] ppid=28845 vsize=10927392 memory=7740628339703108688 CPUtime=8.03 cores=1,3,5,7
/proc/28848/task/28853/stat : 28853 (java) S 28845 28848 25824 0 -1 1077944384 17549 0 0 0 702 101 0 0 20 0 17 0 38867655 11189649408 978199 33554432000 4194304 4196468 140728805911136 139866486213520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28854] ppid=28845 vsize=10927392 memory=7308282775475541072 CPUtime=7.98 cores=1,3,5,7
/proc/28848/task/28854/stat : 28854 (java) S 28845 28848 25824 0 -1 1077944384 18231 0 0 0 697 101 0 0 20 0 17 0 38867655 11189649408 978199 33554432000 4194304 4196468 140728805911136 139866485160720 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28855] ppid=28845 vsize=10927392 memory=-5819406935926661784 CPUtime=1.13 cores=1,3,5,7
/proc/28848/task/28855/stat : 28855 (java) S 28845 28848 25824 0 -1 1077944384 19703 0 0 0 110 3 0 0 20 0 17 0 38867656 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865597356400 139866562255490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28856] ppid=28845 vsize=10927392 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28856/stat : 28856 (java) S 28845 28848 25824 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 38867657 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865596302432 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28857] ppid=28845 vsize=10927392 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28857/stat : 28857 (java) S 28845 28848 25824 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 38867657 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865595249536 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28858] ppid=28845 vsize=10927392 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28858/stat : 28858 (java) S 28845 28848 25824 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 17 0 38867659 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865594197840 139866562262939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28859] ppid=28845 vsize=10927392 memory=8380 CPUtime=1.3 cores=1,3,5,7
/proc/28848/task/28859/stat : 28859 (java) S 28845 28848 25824 0 -1 1077944384 6239 0 0 0 129 1 0 0 20 0 17 0 38867659 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865593146224 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28860] ppid=28845 vsize=10927392 memory=1012 CPUtime=1.25 cores=1,3,5,7
/proc/28848/task/28860/stat : 28860 (java) S 28845 28848 25824 0 -1 1077944384 4805 0 0 0 123 2 0 0 20 0 17 0 38867659 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865592093424 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28861] ppid=28845 vsize=10927392 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/28848/task/28861/stat : 28861 (java) S 28845 28848 25824 0 -1 1077944384 4645 0 0 0 46 2 0 0 20 0 17 0 38867659 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865591040624 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28862] ppid=28845 vsize=10927392 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28862/stat : 28862 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38867659 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865589988064 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28863] ppid=28845 vsize=10927392 memory=13924 CPUtime=1.39 cores=1,3,5,7
/proc/28848/task/28863/stat : 28863 (java) S 28845 28848 25824 0 -1 1077944384 2087 0 0 0 60 79 0 0 20 0 17 0 38867660 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865588935344 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
Current children cumulated CPU time: 2400.17 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3912796 KiB
[startup+2371.5 s]
/proc/loadavg: 1.99 2.03 2.12 3/218 29048
/proc/meminfo: memFree=11066184/32770624 swapFree=67108860/67108860
[pid=28848] ppid=28845 vsize=10927392 memory=3912796 CPUtime=2400.27 cores=1,3,5,7
/proc/28848/stat : 28848 (java) S 28845 28848 25824 0 -1 1077944320 181883 0 0 0 239520 507 0 0 20 0 17 0 38867654 11189649408 978199 33554432000 4194304 4196468 140728805911136 140728805893680 139866562244343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
/proc/28848/statm: 2731848 978199 3177 1 0 2694339 0
[pid=28848/tid=28850] ppid=28845 vsize=10927392 memory=3912484 CPUtime=2362.56 cores=1,3,5,7
/proc/28848/task/28850/stat : 28850 (java) R 28845 28848 25824 0 -1 4202560 74939 0 0 0 236235 21 0 0 20 0 17 0 38867654 11189649408 978199 33554432000 4194304 4196468 140728805911136 139866566483312 139866169198809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28851] ppid=28845 vsize=10927392 memory=3912484 CPUtime=8.05 cores=1,3,5,7
/proc/28848/task/28851/stat : 28851 (java) S 28845 28848 25824 0 -1 1077944384 17680 0 0 0 701 104 0 0 20 0 17 0 38867655 11189649408 978199 33554432000 4194304 4196468 140728805911136 139866488319120 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28852] ppid=28845 vsize=10927392 memory=3912484 CPUtime=7.99 cores=1,3,5,7
/proc/28848/task/28852/stat : 28852 (java) S 28845 28848 25824 0 -1 1077944384 13957 0 0 0 698 101 0 0 20 0 17 0 38867655 11189649408 978199 33554432000 4194304 4196468 140728805911136 139866487266320 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28853] ppid=28845 vsize=10927392 memory=3912484 CPUtime=8.03 cores=1,3,5,7
/proc/28848/task/28853/stat : 28853 (java) S 28845 28848 25824 0 -1 1077944384 17549 0 0 0 702 101 0 0 20 0 17 0 38867655 11189649408 978199 33554432000 4194304 4196468 140728805911136 139866486213520 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28854] ppid=28845 vsize=10927392 memory=3912484 CPUtime=7.98 cores=1,3,5,7
/proc/28848/task/28854/stat : 28854 (java) S 28845 28848 25824 0 -1 1077944384 18231 0 0 0 697 101 0 0 20 0 17 0 38867655 11189649408 978199 33554432000 4194304 4196468 140728805911136 139866485160720 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28855] ppid=28845 vsize=10927392 memory=3912484 CPUtime=1.13 cores=1,3,5,7
/proc/28848/task/28855/stat : 28855 (java) S 28845 28848 25824 0 -1 1077944384 19703 0 0 0 110 3 0 0 20 0 17 0 38867656 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865597356400 139866562255490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28856] ppid=28845 vsize=10927392 memory=280497335357568 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28856/stat : 28856 (java) S 28845 28848 25824 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 38867657 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865596302432 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28857] ppid=28845 vsize=10927392 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28857/stat : 28857 (java) S 28845 28848 25824 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 38867657 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865595249536 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28858] ppid=28845 vsize=10927392 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28858/stat : 28858 (java) S 28845 28848 25824 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 17 0 38867659 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865594197840 139866562262939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28859] ppid=28845 vsize=10927392 memory=3912484 CPUtime=1.3 cores=1,3,5,7
/proc/28848/task/28859/stat : 28859 (java) S 28845 28848 25824 0 -1 1077944384 6239 0 0 0 129 1 0 0 20 0 17 0 38867659 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865593146224 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28860] ppid=28845 vsize=10927392 memory=3912484 CPUtime=1.25 cores=1,3,5,7
/proc/28848/task/28860/stat : 28860 (java) S 28845 28848 25824 0 -1 1077944384 4805 0 0 0 123 2 0 0 20 0 17 0 38867659 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865592093424 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28861] ppid=28845 vsize=10927392 memory=3646164 CPUtime=0.48 cores=1,3,5,7
/proc/28848/task/28861/stat : 28861 (java) S 28845 28848 25824 0 -1 1077944384 4645 0 0 0 46 2 0 0 20 0 17 0 38867659 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865591040624 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28862] ppid=28845 vsize=10927392 memory=3912484 CPUtime=0 cores=1,3,5,7
/proc/28848/task/28862/stat : 28862 (java) S 28845 28848 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38867659 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865589988064 139866562254549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
[pid=28848/tid=28863] ppid=28845 vsize=10927392 memory=3912484 CPUtime=1.39 cores=1,3,5,7
/proc/28848/task/28863/stat : 28863 (java) S 28845 28848 25824 0 -1 1077944384 2087 0 0 0 60 79 0 0 20 0 17 0 38867660 11189649408 978199 33554432000 4194304 4196468 140728805911136 139865588935344 139866562255490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140728805917809 140728805917961 140728805917961 140728805920719 0
Current children cumulated CPU time: 2400.27 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3912796 KiB
Child status: 143
Real time (s): 2371.57
CPU time (s): 2400.37
CPU user time (s): 2395.28
CPU system time (s): 5.09319
CPU usage (%): 101.215
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 3912796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.28
system time used= 5.09319
maximum resident set size= 3913172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54832
involuntary context switches= 1101
# summary of solver processes directly reported to runsolver:
# pid: 28848
# total CPU time (s): 2400.37
# total CPU user time (s): 2395.28
# total CPU system time (s): 5.09319
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1148 second user time and 22.7747 second system time
The end