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 (13454 MiB free)
memory of node 1: 16384 MiB (13713 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305285-1534149241/watcher-4305285-1534149241 -o /tmp/evaluation-result-4305285-1534149241/solver-4305285-1534149241 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534136767-2524 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=939988577 HOME/instance-4305285-1534149241.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4734, runsolver pid=4731
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 1.64 1.65 1.56 3/206 4791
/proc/meminfo: memFree=27813568/32770624 swapFree=67030660/67108860
[pid=4734] ppid=4731 vsize=10005480 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/4734/stat : 4734 (java) S 4731 4734 1776 0 -1 1077944320 4362 13125 0 0 1 0 5 3 20 0 6 0 232487321 10245611520 4203 33554432000 4194304 4196468 140728068642528 140728068625072 140056796921591 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
/proc/4734/statm: 2501370 4203 1934 1 0 2489808 0
[pid=4734/tid=4787] ppid=4731 vsize=10005480 memory=-8960601696899481541 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4787/stat : 4787 (java) R 4731 4734 1776 0 -1 4202560 2205 13125 0 0 0 0 5 3 20 0 6 0 232487330 10245611520 4269 33554432000 4194304 4196468 140728068642528 140056768758352 140056781002078 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4788] ppid=4731 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4788/stat : 4788 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 6 0 232487331 10245611520 4269 33554432000 4194304 4196468 140728068642528 140056801163664 140056796931797 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4789] ppid=4731 vsize=10005480 memory=139819572455040 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4789/stat : 4789 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 6 0 232487331 10245611520 4269 33554432000 4194304 4196468 140728068642528 140056671811856 140056796931797 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4790] ppid=4731 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4790/stat : 4790 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 6 0 232487331 10245611520 4269 33554432000 4194304 4196468 140728068642528 140056670759568 140056796931797 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4791] ppid=4731 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4791/stat : 4791 (java) S 4731 4734 1776 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 6 0 232487331 10245611520 4269 33554432000 4194304 4196468 140728068642528 140056334227984 140056796931797 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.209857 s]*
/proc/loadavg: 1.64 1.65 1.56 3/215 4800
/proc/meminfo: memFree=27788936/32770624 swapFree=67030660/67108860
[pid=4734] ppid=4731 vsize=10982744 memory=45372 CPUtime=0.27 cores=1,3,5,7
/proc/4734/stat : 4734 (java) S 4731 4734 1776 0 -1 1077944320 8028 13125 0 0 17 2 5 3 20 0 15 0 232487321 11246329856 11343 33554432000 4194304 4196468 140728068642528 140728068625072 140056796921591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
/proc/4734/statm: 2745686 11343 2954 1 0 2708109 0
[pid=4734/tid=4787] ppid=4731 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/4734/task/4787/stat : 4787 (java) R 4731 4734 1776 0 -1 4202560 4706 13125 0 0 10 1 5 3 20 0 15 0 232487330 11246329856 11409 33554432000 4194304 4196468 140728068642528 140056768744976 140056781002078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4788] ppid=4731 vsize=10982744 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4788/stat : 4788 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246329856 11409 33554432000 4194304 4196468 140728068642528 140056801163664 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4789] ppid=4731 vsize=10982744 memory=288370195724166784 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4789/stat : 4789 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246329856 11409 33554432000 4194304 4196468 140728068642528 140056671811856 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4790] ppid=4731 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4790/stat : 4790 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246329856 11409 33554432000 4194304 4196468 140728068642528 140056670759568 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4791] ppid=4731 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4791/stat : 4791 (java) S 4731 4734 1776 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246329856 11409 33554432000 4194304 4196468 140728068642528 140056334227984 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4792] ppid=4731 vsize=10982744 memory=139819572455040 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4792/stat : 4792 (java) S 4731 4734 1776 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 232487332 11246329856 11409 33554432000 4194304 4196468 140728068642528 140056289974896 140056796932738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4793] ppid=4731 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4793/stat : 4793 (java) S 4731 4734 1776 0 -1 1077944384 13 13125 0 0 0 0 5 3 20 0 15 0 232487333 11246329856 11409 33554432000 4194304 4196468 140728068642528 140055595181344 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4794] ppid=4731 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4794/stat : 4794 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487333 11246329856 11409 33554432000 4194304 4196468 140728068642528 140055393855088 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4795] ppid=4731 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4795/stat : 4795 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11246329856 11409 33554432000 4194304 4196468 140728068642528 140055086455376 140056796940187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4796] ppid=4731 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4734/task/4796/stat : 4796 (java) S 4731 4734 1776 0 -1 1077944384 431 13125 0 0 1 0 5 3 20 0 15 0 232487336 11246329856 11409 33554432000 4194304 4196468 140728068642528 140056288921712 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4797] ppid=4731 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/4734/task/4797/stat : 4797 (java) S 4731 4734 1776 0 -1 1077944384 189 13125 0 0 1 0 5 3 20 0 15 0 232487336 11246329856 11409 33554432000 4194304 4196468 140728068642528 140056287868912 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4798] ppid=4731 vsize=10982744 memory=139819572455040 CPUtime=0.11 cores=1,3,5,7
/proc/4734/task/4798/stat : 4798 (java) R 4731 4734 1776 0 -1 4202560 600 13125 0 0 3 0 5 3 20 0 15 0 232487336 11246329856 11409 33554432000 4194304 4196468 140728068642528 140056286816624 140056796942938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4799] ppid=4731 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4799/stat : 4799 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11246329856 11409 33554432000 4194304 4196468 140728068642528 140054655658464 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4800] ppid=4731 vsize=10982744 memory=139819572455040 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4800/stat : 4800 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487336 11246329856 11409 33554432000 4194304 4196468 140728068642528 140056285764528 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45372 KiB
[startup+0.310142 s]*
/proc/loadavg: 1.64 1.65 1.56 3/215 4800
/proc/meminfo: memFree=27777524/32770624 swapFree=67030660/67108860
[pid=4734] ppid=4731 vsize=10983192 memory=56352 CPUtime=0.39 cores=1,3,5,7
/proc/4734/stat : 4734 (java) S 4731 4734 1776 0 -1 1077944320 10642 13125 0 0 28 3 5 3 20 0 15 0 232487321 11246788608 14088 33554432000 4194304 4196468 140728068642528 140728068625072 140056796921591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
/proc/4734/statm: 2745798 14088 3073 1 0 2708109 0
[pid=4734/tid=4787] ppid=4731 vsize=10983192 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/4734/task/4787/stat : 4787 (java) R 4731 4734 1776 0 -1 4202560 7199 13125 0 0 19 2 5 3 20 0 15 0 232487330 11246788608 14088 33554432000 4194304 4196468 140728068642528 140056768733600 140056782615072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4788] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4788/stat : 4788 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246788608 14088 33554432000 4194304 4196468 140728068642528 140056801163664 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4789] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4789/stat : 4789 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246788608 14088 33554432000 4194304 4196468 140728068642528 140056671811856 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4790] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4790/stat : 4790 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246788608 14088 33554432000 4194304 4196468 140728068642528 140056670759568 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4791] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4791/stat : 4791 (java) S 4731 4734 1776 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246788608 14088 33554432000 4194304 4196468 140728068642528 140056334227984 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4792] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4792/stat : 4792 (java) S 4731 4734 1776 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 232487332 11246788608 14088 33554432000 4194304 4196468 140728068642528 140056289974896 140056796932738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4793] ppid=4731 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4793/stat : 4793 (java) S 4731 4734 1776 0 -1 1077944384 13 13125 0 0 0 0 5 3 20 0 15 0 232487333 11246788608 14088 33554432000 4194304 4196468 140728068642528 140055595181344 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4794] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4794/stat : 4794 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487333 11246788608 14088 33554432000 4194304 4196468 140728068642528 140055393855088 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4795] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4795/stat : 4795 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11246788608 14088 33554432000 4194304 4196468 140728068642528 140055086455376 140056796940187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4796] ppid=4731 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4734/task/4796/stat : 4796 (java) S 4731 4734 1776 0 -1 1077944384 431 13125 0 0 1 0 5 3 20 0 15 0 232487336 11246788608 14088 33554432000 4194304 4196468 140728068642528 140056288921712 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4797] ppid=4731 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/4734/task/4797/stat : 4797 (java) S 4731 4734 1776 0 -1 1077944384 190 13125 0 0 1 0 5 3 20 0 15 0 232487336 11246788608 14088 33554432000 4194304 4196468 140728068642528 140056287868912 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4798] ppid=4731 vsize=10983192 memory=139819572455040 CPUtime=0.13 cores=1,3,5,7
/proc/4734/task/4798/stat : 4798 (java) S 4731 4734 1776 0 -1 1077944384 610 13125 0 0 5 0 5 3 20 0 15 0 232487336 11246788608 14088 33554432000 4194304 4196468 140728068642528 140056286816624 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4799] ppid=4731 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4799/stat : 4799 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11246788608 14088 33554432000 4194304 4196468 140728068642528 140054655658464 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4800] ppid=4731 vsize=10983192 memory=139819572455040 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4800/stat : 4800 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487336 11246788608 14088 33554432000 4194304 4196468 140728068642528 140056285764528 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56352 KiB
[startup+0.700798 s]
/proc/loadavg: 1.64 1.65 1.56 3/215 4800
/proc/meminfo: memFree=27766352/32770624 swapFree=67030660/67108860
[pid=4734] ppid=4731 vsize=10983192 memory=88728 CPUtime=1 cores=1,3,5,7
/proc/4734/stat : 4734 (java) S 4731 4734 1776 0 -1 1077944320 16777 13125 0 0 88 4 5 3 20 0 15 0 232487321 11246788608 22182 33554432000 4194304 4196468 140728068642528 140728068625072 140056796921591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
/proc/4734/statm: 2745798 22182 3240 1 0 2708109 0
[pid=4734/tid=4787] ppid=4731 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4734/task/4787/stat : 4787 (java) R 4731 4734 1776 0 -1 4202560 12308 13125 0 0 56 3 5 3 20 0 15 0 232487330 11246788608 22182 33554432000 4194304 4196468 140728068642528 140056768742416 140056796935495 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4788] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4788/stat : 4788 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246788608 22182 33554432000 4194304 4196468 140728068642528 140056801163664 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4789] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4789/stat : 4789 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246788608 22182 33554432000 4194304 4196468 140728068642528 140056671811856 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4790] ppid=4731 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4790/stat : 4790 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246788608 22182 33554432000 4194304 4196468 140728068642528 140056670759568 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4791] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4791/stat : 4791 (java) S 4731 4734 1776 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 232487331 11246788608 22182 33554432000 4194304 4196468 140728068642528 140056334227984 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4792] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4792/stat : 4792 (java) S 4731 4734 1776 0 -1 1077944384 5 13125 0 0 0 0 5 3 20 0 15 0 232487332 11246788608 22182 33554432000 4194304 4196468 140728068642528 140056289974896 140056796932738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4793] ppid=4731 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4793/stat : 4793 (java) S 4731 4734 1776 0 -1 1077944384 13 13125 0 0 0 0 5 3 20 0 15 0 232487333 11246788608 22182 33554432000 4194304 4196468 140728068642528 140055595181344 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4794] ppid=4731 vsize=10983192 memory=139819439239952 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4794/stat : 4794 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487333 11246788608 22182 33554432000 4194304 4196468 140728068642528 140055393855088 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4795] ppid=4731 vsize=10983192 memory=139822660321865 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4795/stat : 4795 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11246788608 22182 33554432000 4194304 4196468 140728068642528 140055086455376 140056796940187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4796] ppid=4731 vsize=10983192 memory=752 CPUtime=0.15 cores=1,3,5,7
/proc/4734/task/4796/stat : 4796 (java) S 4731 4734 1776 0 -1 1077944384 812 13125 0 0 7 0 5 3 20 0 15 0 232487336 11246788608 22182 33554432000 4194304 4196468 140728068642528 140056288921712 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4797] ppid=4731 vsize=10983192 memory=7014751519650764113 CPUtime=0.18 cores=1,3,5,7
/proc/4734/task/4797/stat : 4797 (java) S 4731 4734 1776 0 -1 1077944384 765 13125 0 0 10 0 5 3 20 0 15 0 232487336 11246788608 22182 33554432000 4194304 4196468 140728068642528 140056287868912 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4798] ppid=4731 vsize=10983192 memory=6082220498109819240 CPUtime=0.21 cores=1,3,5,7
/proc/4734/task/4798/stat : 4798 (java) S 4731 4734 1776 0 -1 1077944384 668 13125 0 0 13 0 5 3 20 0 15 0 232487336 11246788608 22182 33554432000 4194304 4196468 140728068642528 140056286816624 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4799] ppid=4731 vsize=10983192 memory=3544 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4799/stat : 4799 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11246788608 22182 33554432000 4194304 4196468 140728068642528 140054655658464 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4800] ppid=4731 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4800/stat : 4800 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487336 11246788608 22182 33554432000 4194304 4196468 140728068642528 140056285764528 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88728 KiB
[startup+1.50162 s]
/proc/loadavg: 1.64 1.65 1.56 5/215 4800
/proc/meminfo: memFree=27720232/32770624 swapFree=67030660/67108860
[pid=4734] ppid=4731 vsize=10991948 memory=231092 CPUtime=3.04 cores=1,3,5,7
/proc/4734/stat : 4734 (java) S 4731 4734 1776 0 -1 1077944320 24114 13125 0 0 287 9 5 3 20 0 15 0 232487321 11255754752 57773 33554432000 4194304 4196468 140728068642528 140728068625072 140056796921591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
/proc/4734/statm: 2747987 57773 3451 1 0 2709645 0
[pid=4734/tid=4787] ppid=4731 vsize=10991948 memory=9169 CPUtime=1.45 cores=1,3,5,7
/proc/4734/task/4787/stat : 4787 (java) R 4731 4734 1776 0 -1 4202560 14914 13125 0 0 131 6 5 3 20 0 15 0 232487330 11255754752 57773 33554432000 4194304 4196468 140728068642528 140056768755960 140056353625634 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4788] ppid=4731 vsize=10991948 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4788/stat : 4788 (java) S 4731 4734 1776 0 -1 1077944384 47 13125 0 0 0 0 5 3 20 0 15 0 232487331 11255754752 57773 33554432000 4194304 4196468 140728068642528 140056801163664 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4789] ppid=4731 vsize=10991948 memory=1404 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4789/stat : 4789 (java) S 4731 4734 1776 0 -1 1077944384 34 13125 0 0 0 0 5 3 20 0 15 0 232487331 11255754752 57773 33554432000 4194304 4196468 140728068642528 140056671811856 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4790] ppid=4731 vsize=10991948 memory=2884 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4790/stat : 4790 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487331 11255754752 57773 33554432000 4194304 4196468 140728068642528 140056670759568 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4791] ppid=4731 vsize=10991948 memory=88728 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4791/stat : 4791 (java) S 4731 4734 1776 0 -1 1077944384 317 13125 0 0 0 0 5 3 20 0 15 0 232487331 11255754752 57773 33554432000 4194304 4196468 140728068642528 140056334227984 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4792] ppid=4731 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4792/stat : 4792 (java) S 4731 4734 1776 0 -1 1077944384 33 13125 0 0 0 0 5 3 20 0 15 0 232487332 11255754752 57773 33554432000 4194304 4196468 140728068642528 140056289974896 140056796932738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4793] ppid=4731 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4793/stat : 4793 (java) S 4731 4734 1776 0 -1 1077944384 13 13125 0 0 0 0 5 3 20 0 15 0 232487333 11255754752 57773 33554432000 4194304 4196468 140728068642528 140055595181344 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4794] ppid=4731 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4794/stat : 4794 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487333 11255754752 57773 33554432000 4194304 4196468 140728068642528 140055393855088 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4795] ppid=4731 vsize=10991948 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4795/stat : 4795 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11255754752 57773 33554432000 4194304 4196468 140728068642528 140055086455376 140056796940187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4796] ppid=4731 vsize=10991948 memory=4638778398332698720 CPUtime=0.63 cores=1,3,5,7
/proc/4734/task/4796/stat : 4796 (java) R 4731 4734 1776 0 -1 4202560 2490 13125 0 0 55 0 5 3 20 0 15 0 232487336 11255754752 57773 33554432000 4194304 4196468 140728068642528 140056288907808 140056778442451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4797] ppid=4731 vsize=10991948 memory=279638878755712 CPUtime=0.65 cores=1,3,5,7
/proc/4734/task/4797/stat : 4797 (java) R 4731 4734 1776 0 -1 4202560 2596 13125 0 0 57 0 5 3 20 0 15 0 232487336 11255754752 57773 33554432000 4194304 4196468 140728068642528 140056287853904 140056778465791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4798] ppid=4731 vsize=10991948 memory=6944656425123290226 CPUtime=0.47 cores=1,3,5,7
/proc/4734/task/4798/stat : 4798 (java) S 4731 4734 1776 0 -1 1077944384 1469 13125 0 0 39 0 5 3 20 0 15 0 232487336 11255754752 57773 33554432000 4194304 4196468 140728068642528 140056286816624 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4799] ppid=4731 vsize=10991948 memory=-7233780906022716832 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4799/stat : 4799 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11255754752 57773 33554432000 4194304 4196468 140728068642528 140054655658464 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4800] ppid=4731 vsize=10991948 memory=6944656591801719708 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4800/stat : 4800 (java) S 4731 4734 1776 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 232487336 11255754752 57773 33554432000 4194304 4196468 140728068642528 140056285764528 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/4734/task/4787/stat : 4787 (java) R 4731 4734 1776 0 -1 4202560 91666 13125 0 0 236836 41 5 3 20 0 15 0 232487330 11345952768 324320 33554432000 4194304 4196468 140728068642528 140056768755232 140056366062464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4788] ppid=4731 vsize=11080032 memory=1297280 CPUtime=5.56 cores=1,3,5,7
/proc/4734/task/4788/stat : 4788 (java) S 4731 4734 1776 0 -1 1077944384 18733 13125 0 0 515 33 5 3 20 0 15 0 232487331 11345952768 324320 33554432000 4194304 4196468 140728068642528 140056801163664 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4789] ppid=4731 vsize=11080032 memory=1297220 CPUtime=5.53 cores=1,3,5,7
/proc/4734/task/4789/stat : 4789 (java) S 4731 4734 1776 0 -1 1077944384 20673 13125 0 0 513 32 5 3 20 0 15 0 232487331 11345952768 324320 33554432000 4194304 4196468 140728068642528 140056671811856 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4790] ppid=4731 vsize=11080032 memory=279638878616072 CPUtime=5.53 cores=1,3,5,7
/proc/4734/task/4790/stat : 4790 (java) S 4731 4734 1776 0 -1 1077944384 26397 13125 0 0 514 31 5 3 20 0 15 0 232487331 11345952768 324320 33554432000 4194304 4196468 140728068642528 140056670759568 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4791] ppid=4731 vsize=11080032 memory=8 CPUtime=5.56 cores=1,3,5,7
/proc/4734/task/4791/stat : 4791 (java) S 4731 4734 1776 0 -1 1077944384 18339 13125 0 0 517 31 5 3 20 0 15 0 232487331 11345952768 324320 33554432000 4194304 4196468 140728068642528 140056334227984 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4792] ppid=4731 vsize=11080032 memory=1297280 CPUtime=5.5 cores=1,3,5,7
/proc/4734/task/4792/stat : 4792 (java) S 4731 4734 1776 0 -1 1077944384 18244 13125 0 0 511 31 5 3 20 0 15 0 232487332 11345952768 324320 33554432000 4194304 4196468 140728068642528 140056289974896 140056796932738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4793] ppid=4731 vsize=11080032 memory=1297280 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4793/stat : 4793 (java) S 4731 4734 1776 0 -1 1077944384 15 13125 0 0 0 0 5 3 20 0 15 0 232487333 11345952768 324320 33554432000 4194304 4196468 140728068642528 140055595181408 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4794] ppid=4731 vsize=11080032 memory=1297280 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4794/stat : 4794 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487333 11345952768 324320 33554432000 4194304 4196468 140728068642528 140055393855104 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4795] ppid=4731 vsize=11080032 memory=1297280 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4795/stat : 4795 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11345952768 324320 33554432000 4194304 4196468 140728068642528 140055086455376 140056796940187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4796] ppid=4731 vsize=11080032 memory=1297280 CPUtime=6.28 cores=1,3,5,7
/proc/4734/task/4796/stat : 4796 (java) S 4731 4734 1776 0 -1 1077944384 37210 13125 0 0 617 3 5 3 20 0 15 0 232487336 11345952768 324320 33554432000 4194304 4196468 140728068642528 140056288921712 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4797] ppid=4731 vsize=11080032 memory=1297280 CPUtime=5.91 cores=1,3,5,7
/proc/4734/task/4797/stat : 4797 (java) S 4731 4734 1776 0 -1 1077944384 31302 13125 0 0 578 5 5 3 20 0 15 0 232487336 11345952768 324320 33554432000 4194304 4196468 140728068642528 140056287868912 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4798] ppid=4731 vsize=11080032 memory=1297280 CPUtime=2.13 cores=1,3,5,7
/proc/4734/task/4798/stat : 4798 (java) S 4731 4734 1776 0 -1 1077944384 20495 13125 0 0 201 4 5 3 20 0 15 0 232487336 11345952768 324320 33554432000 4194304 4196468 140728068642528 140056286816624 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4799] ppid=4731 vsize=11080032 memory=1297280 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4799/stat : 4799 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11345952768 324320 33554432000 4194304 4196468 140728068642528 140054655658464 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4800] ppid=4731 vsize=11080032 memory=1297280 CPUtime=1.38 cores=1,3,5,7
/proc/4734/task/4800/stat : 4800 (java) S 4731 4734 1776 0 -1 1077944384 2495 13125 0 0 58 72 5 3 20 0 15 0 232487336 11345952768 324320 33554432000 4194304 4196468 140728068642528 140056285764528 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
Current children cumulated CPU time: 2411.63 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1297280 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.33 1.33 3/215 5151
/proc/meminfo: memFree=25304720/32770624 swapFree=67030660/67108860
[pid=4734] ppid=4731 vsize=11080032 memory=1297408 CPUtime=2472.1 cores=1,3,5,7
/proc/4734/stat : 4734 (java) S 4731 4734 1776 0 -1 1077944320 288946 13125 0 0 246954 248 5 3 20 0 15 0 232487321 11345952768 324352 33554432000 4194304 4196468 140728068642528 140728068625072 140056796921591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
/proc/4734/statm: 2770008 324352 3529 1 0 2731661 0
[pid=4734/tid=4787] ppid=4731 vsize=11080032 memory=1297408 CPUtime=2428.48 cores=1,3,5,7
/proc/4734/task/4787/stat : 4787 (java) R 4731 4734 1776 0 -1 4202560 92131 13125 0 0 242798 42 5 3 20 0 15 0 232487330 11345952768 324352 33554432000 4194304 4196468 140728068642528 140056768755536 140056366062464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4788] ppid=4731 vsize=11080032 memory=1297408 CPUtime=5.74 cores=1,3,5,7
/proc/4734/task/4788/stat : 4788 (java) S 4731 4734 1776 0 -1 1077944384 19061 13125 0 0 532 34 5 3 20 0 15 0 232487331 11345952768 324352 33554432000 4194304 4196468 140728068642528 140056801163664 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4789] ppid=4731 vsize=11080032 memory=1297376 CPUtime=5.7 cores=1,3,5,7
/proc/4734/task/4789/stat : 4789 (java) S 4731 4734 1776 0 -1 1077944384 20727 13125 0 0 529 33 5 3 20 0 15 0 232487331 11345952768 324352 33554432000 4194304 4196468 140728068642528 140056671811856 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4790] ppid=4731 vsize=11080032 memory=1297376 CPUtime=5.7 cores=1,3,5,7
/proc/4734/task/4790/stat : 4790 (java) S 4731 4734 1776 0 -1 1077944384 26448 13125 0 0 530 32 5 3 20 0 15 0 232487331 11345952768 324352 33554432000 4194304 4196468 140728068642528 140056670759568 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4791] ppid=4731 vsize=11080032 memory=1297408 CPUtime=5.72 cores=1,3,5,7
/proc/4734/task/4791/stat : 4791 (java) S 4731 4734 1776 0 -1 1077944384 18400 13125 0 0 532 32 5 3 20 0 15 0 232487331 11345952768 324352 33554432000 4194304 4196468 140728068642528 140056334227984 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4792] ppid=4731 vsize=11080032 memory=1297376 CPUtime=5.65 cores=1,3,5,7
/proc/4734/task/4792/stat : 4792 (java) S 4731 4734 1776 0 -1 1077944384 18437 13125 0 0 526 31 5 3 20 0 15 0 232487332 11345952768 324352 33554432000 4194304 4196468 140728068642528 140056289974896 140056796932738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4793] ppid=4731 vsize=11080032 memory=1297408 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4793/stat : 4793 (java) S 4731 4734 1776 0 -1 1077944384 15 13125 0 0 0 0 5 3 20 0 15 0 232487333 11345952768 324352 33554432000 4194304 4196468 140728068642528 140055595181408 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4794] ppid=4731 vsize=11080032 memory=1297408 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4794/stat : 4794 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487333 11345952768 324352 33554432000 4194304 4196468 140728068642528 140055393855104 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4795] ppid=4731 vsize=11080032 memory=7594035890862313812 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4795/stat : 4795 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11345952768 324352 33554432000 4194304 4196468 140728068642528 140055086455376 140056796940187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4796] ppid=4731 vsize=11080032 memory=1297408 CPUtime=6.28 cores=1,3,5,7
/proc/4734/task/4796/stat : 4796 (java) S 4731 4734 1776 0 -1 1077944384 37212 13125 0 0 617 3 5 3 20 0 15 0 232487336 11345952768 324352 33554432000 4194304 4196468 140728068642528 140056288921712 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4797] ppid=4731 vsize=11080032 memory=1297376 CPUtime=5.91 cores=1,3,5,7
/proc/4734/task/4797/stat : 4797 (java) S 4731 4734 1776 0 -1 1077944384 31305 13125 0 0 578 5 5 3 20 0 15 0 232487336 11345952768 324352 33554432000 4194304 4196468 140728068642528 140056287868912 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4798] ppid=4731 vsize=11080032 memory=1297408 CPUtime=2.13 cores=1,3,5,7
/proc/4734/task/4798/stat : 4798 (java) S 4731 4734 1776 0 -1 1077944384 20497 13125 0 0 201 4 5 3 20 0 15 0 232487336 11345952768 324352 33554432000 4194304 4196468 140728068642528 140056286816624 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4799] ppid=4731 vsize=11080032 memory=1297408 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4799/stat : 4799 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11345952768 324352 33554432000 4194304 4196468 140728068642528 140054655658464 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4800] ppid=4731 vsize=11080032 memory=1297408 CPUtime=1.42 cores=1,3,5,7
/proc/4734/task/4800/stat : 4800 (java) S 4731 4734 1776 0 -1 1077944384 2511 13125 0 0 60 74 5 3 20 0 15 0 232487336 11345952768 324352 33554432000 4194304 4196468 140728068642528 140056285764528 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
Current children cumulated CPU time: 2472.1 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1297408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2489.9 s]
/proc/loadavg: 1.50 1.37 1.35 3/215 5152
/proc/meminfo: memFree=25348280/32770624 swapFree=67030660/67108860
[pid=4734] ppid=4731 vsize=11080032 memory=1292284 CPUtime=2520.07 cores=1,3,5,7
/proc/4734/stat : 4734 (java) S 4731 4734 1776 0 -1 1077944320 290552 13125 0 0 251747 252 5 3 20 0 15 0 232487321 11345952768 323071 33554432000 4194304 4196468 140728068642528 140728068625072 140056796921591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
/proc/4734/statm: 2770008 323071 3529 1 0 2731661 0
[pid=4734/tid=4787] ppid=4731 vsize=11080032 memory=1292284 CPUtime=2475.78 cores=1,3,5,7
/proc/4734/task/4787/stat : 4787 (java) R 4731 4734 1776 0 -1 4202560 92692 13125 0 0 247528 42 5 3 20 0 15 0 232487330 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056768755296 140056365782149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4788] ppid=4731 vsize=11080032 memory=1292284 CPUtime=5.87 cores=1,3,5,7
/proc/4734/task/4788/stat : 4788 (java) S 4731 4734 1776 0 -1 1077944384 19174 13125 0 0 545 34 5 3 20 0 15 0 232487331 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056801163664 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4789] ppid=4731 vsize=11080032 memory=1292284 CPUtime=5.82 cores=1,3,5,7
/proc/4734/task/4789/stat : 4789 (java) S 4731 4734 1776 0 -1 1077944384 20819 13125 0 0 540 34 5 3 20 0 15 0 232487331 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056671811856 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4790] ppid=4731 vsize=11080032 memory=1294340 CPUtime=5.83 cores=1,3,5,7
/proc/4734/task/4790/stat : 4790 (java) S 4731 4734 1776 0 -1 1077944384 26779 13125 0 0 543 32 5 3 20 0 15 0 232487331 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056670759568 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4791] ppid=4731 vsize=11080032 memory=1292284 CPUtime=5.85 cores=1,3,5,7
/proc/4734/task/4791/stat : 4791 (java) S 4731 4734 1776 0 -1 1077944384 18462 13125 0 0 544 33 5 3 20 0 15 0 232487331 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056334227984 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4792] ppid=4731 vsize=11080032 memory=1292284 CPUtime=5.78 cores=1,3,5,7
/proc/4734/task/4792/stat : 4792 (java) S 4731 4734 1776 0 -1 1077944384 18637 13125 0 0 538 32 5 3 20 0 15 0 232487332 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056289974896 140056796932738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4793] ppid=4731 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4793/stat : 4793 (java) S 4731 4734 1776 0 -1 1077944384 15 13125 0 0 0 0 5 3 20 0 15 0 232487333 11345952768 323071 33554432000 4194304 4196468 140728068642528 140055595181408 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4794] ppid=4731 vsize=11080032 memory=61312 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4794/stat : 4794 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487333 11345952768 323071 33554432000 4194304 4196468 140728068642528 140055393855104 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4795] ppid=4731 vsize=11080032 memory=1292284 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4795/stat : 4795 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140055086455376 140056796940187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4796] ppid=4731 vsize=11080032 memory=1292284 CPUtime=6.28 cores=1,3,5,7
/proc/4734/task/4796/stat : 4796 (java) S 4731 4734 1776 0 -1 1077944384 37214 13125 0 0 617 3 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056288921712 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4797] ppid=4731 vsize=11080032 memory=3544 CPUtime=5.91 cores=1,3,5,7
/proc/4734/task/4797/stat : 4797 (java) S 4731 4734 1776 0 -1 1077944384 31307 13125 0 0 578 5 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056287868912 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4798] ppid=4731 vsize=11080032 memory=61312 CPUtime=2.13 cores=1,3,5,7
/proc/4734/task/4798/stat : 4798 (java) S 4731 4734 1776 0 -1 1077944384 20734 13125 0 0 201 4 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056286816624 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4799] ppid=4731 vsize=11080032 memory=1292284 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4799/stat : 4799 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140054655658464 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4800] ppid=4731 vsize=11080032 memory=1292284 CPUtime=1.44 cores=1,3,5,7
/proc/4734/task/4800/stat : 4800 (java) S 4731 4734 1776 0 -1 1077944384 2517 13125 0 0 60 76 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056285764528 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1292284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2489.93 s]
# the end of solver process 4734 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.55 s, system=2.573 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2489.9 s]
/proc/loadavg: 1.50 1.37 1.35 3/215 5152
/proc/meminfo: memFree=25348280/32770624 swapFree=67030660/67108860
[pid=4734] ppid=4731 vsize=11080032 memory=1292284 CPUtime=2520.07 cores=1,3,5,7
/proc/4734/stat : 4734 (java) S 4731 4734 1776 0 -1 1077944320 290552 13125 0 0 251747 252 5 3 20 0 15 0 232487321 11345952768 323071 33554432000 4194304 4196468 140728068642528 140728068625072 140056796921591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
/proc/4734/statm: 2770008 323071 3529 1 0 2731661 0
[pid=4734/tid=4787] ppid=4731 vsize=11080032 memory=1292284 CPUtime=2475.78 cores=1,3,5,7
/proc/4734/task/4787/stat : 4787 (java) R 4731 4734 1776 0 -1 4202560 92692 13125 0 0 247528 42 5 3 20 0 15 0 232487330 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056768755296 140056365782149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4788] ppid=4731 vsize=11080032 memory=1292284 CPUtime=5.87 cores=1,3,5,7
/proc/4734/task/4788/stat : 4788 (java) S 4731 4734 1776 0 -1 1077944384 19174 13125 0 0 545 34 5 3 20 0 15 0 232487331 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056801163664 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4789] ppid=4731 vsize=11080032 memory=1292284 CPUtime=5.82 cores=1,3,5,7
/proc/4734/task/4789/stat : 4789 (java) S 4731 4734 1776 0 -1 1077944384 20819 13125 0 0 540 34 5 3 20 0 15 0 232487331 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056671811856 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4790] ppid=4731 vsize=11080032 memory=1294340 CPUtime=5.83 cores=1,3,5,7
/proc/4734/task/4790/stat : 4790 (java) S 4731 4734 1776 0 -1 1077944384 26779 13125 0 0 543 32 5 3 20 0 15 0 232487331 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056670759568 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4791] ppid=4731 vsize=11080032 memory=1292284 CPUtime=5.85 cores=1,3,5,7
/proc/4734/task/4791/stat : 4791 (java) S 4731 4734 1776 0 -1 1077944384 18462 13125 0 0 544 33 5 3 20 0 15 0 232487331 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056334227984 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4792] ppid=4731 vsize=11080032 memory=1292284 CPUtime=5.78 cores=1,3,5,7
/proc/4734/task/4792/stat : 4792 (java) S 4731 4734 1776 0 -1 1077944384 18637 13125 0 0 538 32 5 3 20 0 15 0 232487332 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056289974896 140056796932738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4793] ppid=4731 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4793/stat : 4793 (java) S 4731 4734 1776 0 -1 1077944384 15 13125 0 0 0 0 5 3 20 0 15 0 232487333 11345952768 323071 33554432000 4194304 4196468 140728068642528 140055595181408 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4794] ppid=4731 vsize=11080032 memory=61312 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4794/stat : 4794 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487333 11345952768 323071 33554432000 4194304 4196468 140728068642528 140055393855104 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4795] ppid=4731 vsize=11080032 memory=1292284 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4795/stat : 4795 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140055086455376 140056796940187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4796] ppid=4731 vsize=11080032 memory=1292284 CPUtime=6.28 cores=1,3,5,7
/proc/4734/task/4796/stat : 4796 (java) S 4731 4734 1776 0 -1 1077944384 37214 13125 0 0 617 3 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056288921712 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4797] ppid=4731 vsize=11080032 memory=3544 CPUtime=5.91 cores=1,3,5,7
/proc/4734/task/4797/stat : 4797 (java) S 4731 4734 1776 0 -1 1077944384 31307 13125 0 0 578 5 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056287868912 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4798] ppid=4731 vsize=11080032 memory=61312 CPUtime=2.13 cores=1,3,5,7
/proc/4734/task/4798/stat : 4798 (java) S 4731 4734 1776 0 -1 1077944384 20734 13125 0 0 201 4 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056286816624 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4799] ppid=4731 vsize=11080032 memory=1292284 CPUtime=0.08 cores=1,3,5,7
/proc/4734/task/4799/stat : 4799 (java) S 4731 4734 1776 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140054655658464 140056796931797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
[pid=4734/tid=4800] ppid=4731 vsize=11080032 memory=1292284 CPUtime=1.44 cores=1,3,5,7
/proc/4734/task/4800/stat : 4800 (java) S 4731 4734 1776 0 -1 1077944384 2517 13125 0 0 60 76 5 3 20 0 15 0 232487336 11345952768 323071 33554432000 4194304 4196468 140728068642528 140056285764528 140056796932738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 24989696 140728068647533 140728068650332 140728068650332 140728068653007 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1292284 KiB
Child status: 143
Real time (s): 2489.93
CPU time (s): 2520.12
CPU user time (s): 2517.55
CPU system time (s): 2.573
CPU usage (%): 101.213
Max. virtual memory (cumulated for all children) (KiB): 11081708
Max. memory (cumulated for all children) (KiB): 1433960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.55
system time used= 2.573
maximum resident set size= 1436008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164998
involuntary context switches= 5235
# summary of solver processes directly reported to runsolver:
# pid: 4734
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.55
# total CPU system time (s): 2.573
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2304 second user time and 24.011 second system time
The end