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 (13866 MiB free)
memory of node 1: 16384 MiB (13275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301643-1532883392/watcher-4301643-1532883392 -o /tmp/evaluation-result-4301643-1532883392/solver-4301643-1532883392 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22036 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301643-1532883392.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27600, runsolver pid=27597
[startup+0.100822 s]*
/proc/loadavg: 2.09 2.42 2.50 2/216 27615
/proc/meminfo: memFree=27772528/32770624 swapFree=67108860/67108860
[pid=27600] ppid=27597 vsize=10659012 memory=31500 CPUtime=0.12 cores=1,3,5,7
/proc/27600/stat : 27600 (java) S 27597 27600 22004 0 -1 1077944320 6424 0 0 0 10 2 0 0 20 0 15 0 105902377 10914828288 7875 33554432000 4194304 4196468 140726010769728 140726010752272 140188755812087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
/proc/27600/statm: 2664753 7875 2845 1 0 2627263 0
[pid=27600/tid=27602] ppid=27597 vsize=10659012 memory=-8701690554792187262 CPUtime=0.08 cores=1,3,5,7
/proc/27600/task/27602/stat : 27602 (java) R 27597 27600 22004 0 -1 4202560 4261 0 0 0 7 1 0 0 20 0 15 0 105902377 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188760016752 140188736456754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27603] ppid=27597 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27603/stat : 27603 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902378 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188681886864 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27604] ppid=27597 vsize=10659012 memory=140373932500608 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27604/stat : 27604 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902378 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188680834064 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27605] ppid=27597 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902378 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188679781264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27606] ppid=27597 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (java) S 27597 27600 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105902378 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188678728464 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27607] ppid=27597 vsize=10659012 memory=140373932500608 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27607/stat : 27607 (java) S 27597 27600 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105902379 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188247333232 140188755823234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27608] ppid=27597 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27608/stat : 27608 (java) S 27597 27600 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105902380 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188246279200 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27609] ppid=27597 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27609/stat : 27609 (java) S 27597 27600 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105902380 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188245226352 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27610] ppid=27597 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27610/stat : 27610 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902382 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188244174672 140188755830683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27611] ppid=27597 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27611/stat : 27611 (java) S 27597 27600 22004 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 105902382 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188243123056 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27612] ppid=27597 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27612/stat : 27612 (java) S 27597 27600 22004 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 105902382 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188242070256 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27613] ppid=27597 vsize=10659012 memory=140373932500608 CPUtime=0.01 cores=1,3,5,7
/proc/27600/task/27613/stat : 27613 (java) R 27597 27600 22004 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 15 0 105902382 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188241017456 140188734735117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27614] ppid=27597 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27614/stat : 27614 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902382 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188239964896 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27615] ppid=27597 vsize=10659012 memory=140373932500608 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27615/stat : 27615 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902382 10914828288 7875 33554432000 4194304 4196468 140726010769728 140188238912176 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31500 KiB
[startup+0.210309 s]*
/proc/loadavg: 2.09 2.42 2.50 3/216 27615
/proc/meminfo: memFree=27764092/32770624 swapFree=67108860/67108860
[pid=27600] ppid=27597 vsize=10659012 memory=42236 CPUtime=0.33 cores=1,3,5,7
/proc/27600/stat : 27600 (java) S 27597 27600 22004 0 -1 1077944320 7657 0 0 0 30 3 0 0 20 0 15 0 105902377 10914828288 10559 33554432000 4194304 4196468 140726010769728 140726010752272 140188755812087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
/proc/27600/statm: 2664753 10559 3008 1 0 2627263 0
[pid=27600/tid=27602] ppid=27597 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27600/task/27602/stat : 27602 (java) R 27597 27600 22004 0 -1 4202560 4602 0 0 0 18 2 0 0 20 0 15 0 105902377 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188760043952 140188739855717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27603] ppid=27597 vsize=10659012 memory=364 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27603/stat : 27603 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902378 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188681886864 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27604] ppid=27597 vsize=10659012 memory=140373932522896 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27604/stat : 27604 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902378 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188680834064 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27605] ppid=27597 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902378 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188679781264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27606] ppid=27597 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (java) S 27597 27600 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105902378 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188678728464 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27607] ppid=27597 vsize=10659012 memory=140373932500608 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27607/stat : 27607 (java) S 27597 27600 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105902379 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188247333232 140188755823234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27608] ppid=27597 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27608/stat : 27608 (java) S 27597 27600 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105902380 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188246279200 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27609] ppid=27597 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27609/stat : 27609 (java) S 27597 27600 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105902380 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188245226352 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27610] ppid=27597 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27610/stat : 27610 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902382 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188244174672 140188755830683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27611] ppid=27597 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27600/task/27611/stat : 27611 (java) S 27597 27600 22004 0 -1 1077944384 605 0 0 0 2 0 0 0 20 0 15 0 105902382 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188243123056 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27612] ppid=27597 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27600/task/27612/stat : 27612 (java) S 27597 27600 22004 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 105902382 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188242070256 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27613] ppid=27597 vsize=10659012 memory=140373932500608 CPUtime=0.07 cores=1,3,5,7
/proc/27600/task/27613/stat : 27613 (java) S 27597 27600 22004 0 -1 1077944384 641 0 0 0 7 0 0 0 20 0 15 0 105902382 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188241017456 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27614] ppid=27597 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27614/stat : 27614 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902382 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188239964896 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27615] ppid=27597 vsize=10659012 memory=140373932500608 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27615/stat : 27615 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902382 10914828288 10559 33554432000 4194304 4196468 140726010769728 140188238912176 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42236 KiB
[startup+0.311311 s]*
/proc/loadavg: 2.09 2.42 2.50 5/216 27615
/proc/meminfo: memFree=27751872/32770624 swapFree=67108860/67108860
[pid=27600] ppid=27597 vsize=10659088 memory=52596 CPUtime=0.57 cores=1,3,5,7
/proc/27600/stat : 27600 (java) S 27597 27600 22004 0 -1 1077944320 9219 0 0 0 53 4 0 0 20 0 15 0 105902377 10914906112 13149 33554432000 4194304 4196468 140726010769728 140726010752272 140188755812087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
/proc/27600/statm: 2664772 13149 3067 1 0 2627263 0
[pid=27600/tid=27602] ppid=27597 vsize=10659088 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/27600/task/27602/stat : 27602 (java) R 27597 27600 22004 0 -1 4202560 5049 0 0 0 27 2 0 0 20 0 15 0 105902377 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188760048480 140188739892574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27603] ppid=27597 vsize=10659088 memory=288230600429797399 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27603/stat : 27603 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902378 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188681886864 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27604] ppid=27597 vsize=10659088 memory=140373932522869 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27604/stat : 27604 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902378 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188680834064 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27605] ppid=27597 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902378 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188679781264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27606] ppid=27597 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (java) S 27597 27600 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105902378 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188678728464 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27607] ppid=27597 vsize=10659088 memory=140373932500608 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27607/stat : 27607 (java) S 27597 27600 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105902379 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188247333232 140188755823234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27608] ppid=27597 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27608/stat : 27608 (java) S 27597 27600 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105902380 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188246279200 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27609] ppid=27597 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27609/stat : 27609 (java) S 27597 27600 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105902380 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188245226352 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27610] ppid=27597 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27610/stat : 27610 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188244174672 140188755830683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27611] ppid=27597 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27600/task/27611/stat : 27611 (java) R 27597 27600 22004 0 -1 4202560 887 0 0 0 7 0 0 0 20 0 15 0 105902382 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188243109520 140188740921628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27612] ppid=27597 vsize=10659088 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/27600/task/27612/stat : 27612 (java) R 27597 27600 22004 0 -1 4202560 988 0 0 0 6 0 0 0 20 0 15 0 105902382 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188242051272 140188739337885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27613] ppid=27597 vsize=10659088 memory=140373932500608 CPUtime=0.12 cores=1,3,5,7
/proc/27600/task/27613/stat : 27613 (java) R 27597 27600 22004 0 -1 1077944384 927 0 0 0 12 0 0 0 20 0 15 0 105902382 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188241017456 140188755823234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27614] ppid=27597 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27614/stat : 27614 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188239964896 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27615] ppid=27597 vsize=10659088 memory=140373932500608 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27615/stat : 27615 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 13149 33554432000 4194304 4196468 140726010769728 140188238912176 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52596 KiB
[startup+0.70094 s]
/proc/loadavg: 2.09 2.42 2.50 6/216 27615
/proc/meminfo: memFree=27717000/32770624 swapFree=67108860/67108860
[pid=27600] ppid=27597 vsize=10659088 memory=188576 CPUtime=1.9 cores=1,3,5,7
/proc/27600/stat : 27600 (java) S 27597 27600 22004 0 -1 1077944320 12080 0 0 0 182 8 0 0 20 0 15 0 105902377 10914906112 47144 33554432000 4194304 4196468 140726010769728 140726010752272 140188755812087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
/proc/27600/statm: 2664772 47144 3116 1 0 2627263 0
[pid=27600/tid=27602] ppid=27597 vsize=10659088 memory=1840 CPUtime=0.66 cores=1,3,5,7
/proc/27600/task/27602/stat : 27602 (java) R 27597 27600 22004 0 -1 4202560 5336 0 0 0 61 5 0 0 20 0 15 0 105902377 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188760048512 140188354324800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27603] ppid=27597 vsize=10659088 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27603/stat : 27603 (java) S 27597 27600 22004 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 105902378 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188681886864 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27604] ppid=27597 vsize=10659088 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27604/stat : 27604 (java) R 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902378 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188680834064 140188755822293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27605] ppid=27597 vsize=10659088 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902378 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188679781264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27606] ppid=27597 vsize=10659088 memory=792 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (java) S 27597 27600 22004 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 105902378 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188678728464 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27607] ppid=27597 vsize=10659088 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27607/stat : 27607 (java) S 27597 27600 22004 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 105902379 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188247333232 140188755823234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27608] ppid=27597 vsize=10659088 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27608/stat : 27608 (java) R 27597 27600 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105902380 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188246279200 140188755822293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27609] ppid=27597 vsize=10659088 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27609/stat : 27609 (java) S 27597 27600 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105902380 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188245226352 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27610] ppid=27597 vsize=10659088 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27610/stat : 27610 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188244174672 140188755830683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27611] ppid=27597 vsize=10659088 memory=7163631965283378496 CPUtime=0.43 cores=1,3,5,7
/proc/27600/task/27611/stat : 27611 (java) R 27597 27600 22004 0 -1 4202560 1780 0 0 0 43 0 0 0 20 0 15 0 105902382 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188243102496 140188735029376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27612] ppid=27597 vsize=10659088 memory=7667213801450137426 CPUtime=0.42 cores=1,3,5,7
/proc/27600/task/27612/stat : 27612 (java) R 27597 27600 22004 0 -1 4202560 1853 0 0 0 42 0 0 0 20 0 15 0 105902382 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188242056280 140188737332139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27613] ppid=27597 vsize=10659088 memory=6935658124599644240 CPUtime=0.34 cores=1,3,5,7
/proc/27600/task/27613/stat : 27613 (java) S 27597 27600 22004 0 -1 1077944384 1623 0 0 0 33 1 0 0 20 0 15 0 105902382 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188241017456 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27614] ppid=27597 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27614/stat : 27614 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188239964896 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27615] ppid=27597 vsize=10659088 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27615/stat : 27615 (java) S 27597 27600 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 47144 33554432000 4194304 4196468 140726010769728 140188238912176 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 188576 KiB
[startup+1.50077 s]
/proc/loadavg: 2.09 2.42 2.50 5/216 27615
/proc/meminfo: memFree=27420836/32770624 swapFree=67108860/67108860
[pid=27600] ppid=27597 vsize=10659088 memory=483328 CPUtime=4.23 cores=1,3,5,7
/proc/27600/stat : 27600 (java) S 27597 27600 22004 0 -1 1077944320 17004 0 0 0 408 15 0 0 20 0 15 0 105902377 10914906112 120832 33554432000 4194304 4196468 140726010769728 140726010752272 140188755812087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
/proc/27600/statm: 2664772 120832 3142 1 0 2627263 0
[pid=27600/tid=27602] ppid=27597 vsize=10659088 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/27600/task/27602/stat : 27602 (java) R 27597 27600 22004 0 -1 4202560 5694 0 0 0 134 8 0 0 20 0 15 0 105902377 10914906112 120832 33554432000 4194304 4196468 140726010769728 140188760045792 140188357189012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27603] ppid=27597 vsize=10659088 memory=-6951259422114956437 CPUtime=0.02 cores=1,3,5,7
/proc/27600/task/27603/stat : 27603 (java) S 27597 27600 22004 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 15 0 105902378 10914906112 120832 33554432000 4194304 4196468 140726010769728 140188681886864 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27604] ppid=27597 vsize=10659088 memory=-6509546260019855295 CPUtime=0.01 cores=1,3,5,7
/proc/27600/task/27604/stat : 27604 (java) S 27597 27600 22004 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 105902378 10914906112 120832 33554432000 4194304 4196468 140726010769728 140188680834064 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27605] ppid=27597 vsize=10659088 memory=-7390251449858225344 CPUtime=0.01 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (java) S 27597 27600 22004 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 15 0 105902378 10914906112 120832 33554432000 4194304 4196468 140726010769728 140188679781264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27606] ppid=27597 vsize=10659088 memory=4134692831991786133 CPUtime=0.03 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (java) S 27597 27600 22004 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 15 0 105902378 10914906112 120832 33554432000 4194304 4196468 140726010769728 140188678728464 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27607] ppid=27597 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27607/stat : 27607 (java) S 27597 27600 22004 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 105902379 10914906112 120832 33554432000 4194304 4196468 140726010769728 140188247333232 140188755823234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
################
# More data... #
################
[startup+108.686 s]
# the end of solver process 27600 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.036 s, system=4.70966 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+107.201 s]
/proc/loadavg: 4.62 3.10 2.73 3/209 27767
/proc/meminfo: memFree=19736960/32770624 swapFree=67108860/67108860
[pid=27600] ppid=27597 vsize=10659088 memory=8294076 CPUtime=252.24 cores=1,3,5,7
/proc/27600/stat : 27600 (java) S 27597 27600 22004 0 -1 1077944320 143683 0 0 0 24758 466 0 0 20 0 15 0 105902377 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140726010752272 140188755812087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
/proc/27600/statm: 2664772 2073519 3178 1 0 2627263 0
[pid=27600/tid=27602] ppid=27597 vsize=10659088 memory=1200 CPUtime=39.66 cores=1,3,5,7
/proc/27600/task/27602/stat : 27602 (java) S 27597 27600 22004 0 -1 1077944384 16869 0 0 0 3942 24 0 0 20 0 15 0 105902377 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188760045136 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27603] ppid=27597 vsize=10659088 memory=8218300 CPUtime=46.75 cores=1,3,5,7
/proc/27600/task/27603/stat : 27603 (java) S 27597 27600 22004 0 -1 1077944384 19435 0 0 0 4566 109 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188681886864 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27604] ppid=27597 vsize=10659088 memory=0 CPUtime=47.21 cores=1,3,5,7
/proc/27600/task/27604/stat : 27604 (java) S 27597 27600 22004 0 -1 1077944384 20658 0 0 0 4620 101 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188680834064 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27605] ppid=27597 vsize=10659088 memory=0 CPUtime=47 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (java) S 27597 27600 22004 0 -1 1077944384 19317 0 0 0 4593 107 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188679781264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27606] ppid=27597 vsize=10659088 memory=6791534058613427641 CPUtime=47.28 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (java) S 27597 27600 22004 0 -1 1077944384 19422 0 0 0 4614 114 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188678728464 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27607] ppid=27597 vsize=10659088 memory=30188 CPUtime=19.8 cores=1,3,5,7
/proc/27600/task/27607/stat : 27607 (java) R 27597 27600 22004 0 -1 4202560 25881 0 0 0 1978 2 0 0 20 0 15 0 105902379 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188247331664 140188740269678 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27608] ppid=27597 vsize=10659088 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27608/stat : 27608 (java) S 27597 27600 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105902380 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188246279264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27609] ppid=27597 vsize=10659088 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27609/stat : 27609 (java) S 27597 27600 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105902380 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188245226368 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27610] ppid=27597 vsize=10659088 memory=8294076 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27610/stat : 27610 (java) S 27597 27600 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188244174320 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27611] ppid=27597 vsize=10659088 memory=4028 CPUtime=1.97 cores=1,3,5,7
/proc/27600/task/27611/stat : 27611 (java) S 27597 27600 22004 0 -1 1077944384 10170 0 0 0 196 1 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188243123104 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27612] ppid=27597 vsize=10659088 memory=30188 CPUtime=1.92 cores=1,3,5,7
/proc/27600/task/27612/stat : 27612 (java) S 27597 27600 22004 0 -1 1077944384 6740 0 0 0 191 1 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188242070016 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27613] ppid=27597 vsize=10659088 memory=1296 CPUtime=0.5 cores=1,3,5,7
/proc/27600/task/27613/stat : 27613 (java) S 27597 27600 22004 0 -1 1077944384 2785 0 0 0 49 1 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188241017504 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27614] ppid=27597 vsize=10659088 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27614/stat : 27614 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188239964896 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27615] ppid=27597 vsize=10659088 memory=1840 CPUtime=0.04 cores=1,3,5,7
/proc/27600/task/27615/stat : 27615 (java) S 27597 27600 22004 0 -1 1077944384 1044 0 0 0 2 2 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188238912176 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
Current children cumulated CPU time: 252.24 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8294076 KiB
[startup+108.001 s]*
/proc/loadavg: 4.62 3.10 2.73 3/215 27773
/proc/meminfo: memFree=19250100/32770624 swapFree=67108860/67108860
[pid=27600] ppid=27597 vsize=10659088 memory=8294076 CPUtime=253.05 cores=1,3,5,7
/proc/27600/stat : 27600 (java) S 27597 27600 22004 0 -1 1077944320 143683 0 0 0 24839 466 0 0 20 0 15 0 105902377 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140726010752272 140188755812087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
/proc/27600/statm: 2664772 2073519 3178 1 0 2627263 0
[pid=27600/tid=27602] ppid=27597 vsize=10659088 memory=6791534058613427641 CPUtime=39.66 cores=1,3,5,7
/proc/27600/task/27602/stat : 27602 (java) S 27597 27600 22004 0 -1 1077944384 16869 0 0 0 3942 24 0 0 20 0 15 0 105902377 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188760045136 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27603] ppid=27597 vsize=10659088 memory=928 CPUtime=46.75 cores=1,3,5,7
/proc/27600/task/27603/stat : 27603 (java) S 27597 27600 22004 0 -1 1077944384 19435 0 0 0 4566 109 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188681886864 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27604] ppid=27597 vsize=10659088 memory=1572 CPUtime=47.21 cores=1,3,5,7
/proc/27600/task/27604/stat : 27604 (java) S 27597 27600 22004 0 -1 1077944384 20658 0 0 0 4620 101 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188680834064 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27605] ppid=27597 vsize=10659088 memory=2244 CPUtime=47 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (java) S 27597 27600 22004 0 -1 1077944384 19317 0 0 0 4593 107 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188679781264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27606] ppid=27597 vsize=10659088 memory=4124 CPUtime=47.28 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (java) S 27597 27600 22004 0 -1 1077944384 19422 0 0 0 4614 114 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188678728464 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27607] ppid=27597 vsize=10659088 memory=2200 CPUtime=20.61 cores=1,3,5,7
/proc/27600/task/27607/stat : 27607 (java) R 27597 27600 22004 0 -1 4202560 25881 0 0 0 2059 2 0 0 20 0 15 0 105902379 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188247331664 140188740808565 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27608] ppid=27597 vsize=10659088 memory=8148 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27608/stat : 27608 (java) S 27597 27600 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105902380 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188246279264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27609] ppid=27597 vsize=10659088 memory=140373825701937 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27609/stat : 27609 (java) S 27597 27600 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105902380 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188245226368 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27610] ppid=27597 vsize=10659088 memory=-8707038579349950309 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27610/stat : 27610 (java) S 27597 27600 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188244174320 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27611] ppid=27597 vsize=10659088 memory=-8412652177879177843 CPUtime=1.97 cores=1,3,5,7
/proc/27600/task/27611/stat : 27611 (java) S 27597 27600 22004 0 -1 1077944384 10170 0 0 0 196 1 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188243123104 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27612] ppid=27597 vsize=10659088 memory=-8341965534556230502 CPUtime=1.92 cores=1,3,5,7
/proc/27600/task/27612/stat : 27612 (java) S 27597 27600 22004 0 -1 1077944384 6740 0 0 0 191 1 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188242070016 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27613] ppid=27597 vsize=10659088 memory=8294076 CPUtime=0.5 cores=1,3,5,7
/proc/27600/task/27613/stat : 27613 (java) S 27597 27600 22004 0 -1 1077944384 2785 0 0 0 49 1 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188241017504 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27614] ppid=27597 vsize=10659088 memory=4715433313220523562 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27614/stat : 27614 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188239964896 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27615] ppid=27597 vsize=10659088 memory=6946866654921323415 CPUtime=0.05 cores=1,3,5,7
/proc/27600/task/27615/stat : 27615 (java) S 27597 27600 22004 0 -1 1077944384 1044 0 0 0 2 3 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188238912176 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
Current children cumulated CPU time: 253.05 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8294076 KiB
[startup+108.401 s]
/proc/loadavg: 4.62 3.10 2.73 3/215 27773
/proc/meminfo: memFree=19250100/32770624 swapFree=67108860/67108860
[pid=27600] ppid=27597 vsize=10659088 memory=8294076 CPUtime=253.44 cores=1,3,5,7
/proc/27600/stat : 27600 (java) S 27597 27600 22004 0 -1 1077944320 143683 0 0 0 24878 466 0 0 20 0 15 0 105902377 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140726010752272 140188755812087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
/proc/27600/statm: 2664772 2073519 3178 1 0 2627263 0
[pid=27600/tid=27602] ppid=27597 vsize=10659088 memory=1408 CPUtime=39.66 cores=1,3,5,7
/proc/27600/task/27602/stat : 27602 (java) S 27597 27600 22004 0 -1 1077944384 16869 0 0 0 3942 24 0 0 20 0 15 0 105902377 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188760045136 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27603] ppid=27597 vsize=10659088 memory=3008 CPUtime=46.75 cores=1,3,5,7
/proc/27600/task/27603/stat : 27603 (java) S 27597 27600 22004 0 -1 1077944384 19435 0 0 0 4566 109 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188681886864 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27604] ppid=27597 vsize=10659088 memory=0 CPUtime=47.21 cores=1,3,5,7
/proc/27600/task/27604/stat : 27604 (java) S 27597 27600 22004 0 -1 1077944384 20658 0 0 0 4620 101 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188680834064 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27605] ppid=27597 vsize=10659088 memory=140373826240577 CPUtime=47 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (java) S 27597 27600 22004 0 -1 1077944384 19317 0 0 0 4593 107 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188679781264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27606] ppid=27597 vsize=10659088 memory=6656426216303648864 CPUtime=47.28 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (java) S 27597 27600 22004 0 -1 1077944384 19422 0 0 0 4614 114 0 0 20 0 15 0 105902378 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188678728464 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27607] ppid=27597 vsize=10659088 memory=6656426216303648864 CPUtime=21 cores=1,3,5,7
/proc/27600/task/27607/stat : 27607 (java) R 27597 27600 22004 0 -1 4202560 25881 0 0 0 2098 2 0 0 20 0 15 0 105902379 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188247331664 140188740512702 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27608] ppid=27597 vsize=10659088 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27608/stat : 27608 (java) S 27597 27600 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105902380 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188246279264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27609] ppid=27597 vsize=10659088 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27609/stat : 27609 (java) S 27597 27600 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105902380 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188245226368 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27610] ppid=27597 vsize=10659088 memory=792 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27610/stat : 27610 (java) S 27597 27600 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188244174320 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27611] ppid=27597 vsize=10659088 memory=1228 CPUtime=1.97 cores=1,3,5,7
/proc/27600/task/27611/stat : 27611 (java) S 27597 27600 22004 0 -1 1077944384 10170 0 0 0 196 1 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188243123104 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27612] ppid=27597 vsize=10659088 memory=1944 CPUtime=1.92 cores=1,3,5,7
/proc/27600/task/27612/stat : 27612 (java) S 27597 27600 22004 0 -1 1077944384 6740 0 0 0 191 1 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188242070016 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27613] ppid=27597 vsize=10659088 memory=1416 CPUtime=0.5 cores=1,3,5,7
/proc/27600/task/27613/stat : 27613 (java) S 27597 27600 22004 0 -1 1077944384 2785 0 0 0 49 1 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188241017504 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27614] ppid=27597 vsize=10659088 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27614/stat : 27614 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188239964896 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27615] ppid=27597 vsize=10659088 memory=8508 CPUtime=0.05 cores=1,3,5,7
/proc/27600/task/27615/stat : 27615 (java) S 27597 27600 22004 0 -1 1077944384 1044 0 0 0 2 3 0 0 20 0 15 0 105902382 10914906112 2073519 33554432000 4194304 4196468 140726010769728 140188238912176 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
Current children cumulated CPU time: 253.44 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8294076 KiB
[startup+108.601 s]
/proc/loadavg: 4.62 3.10 2.73 3/215 27773
/proc/meminfo: memFree=19250100/32770624 swapFree=67108860/67108860
[pid=27600] ppid=27597 vsize=10858780 memory=8294112 CPUtime=253.65 cores=1,3,5,7
/proc/27600/stat : 27600 (java) S 27597 27600 22004 0 -1 1077944320 143821 0 0 0 24898 467 0 0 20 0 17 0 105902377 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140726010752272 140188755812087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
/proc/27600/statm: 2714695 2073528 3180 1 0 2677186 0
[pid=27600/tid=27602] ppid=27597 vsize=10858780 memory=6944656592455360604 CPUtime=39.82 cores=1,3,5,7
/proc/27600/task/27602/stat : 27602 (java) R 27597 27600 22004 0 -1 4202560 16869 0 0 0 3958 24 0 0 20 0 17 0 105902377 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188760045024 140188359265162 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27603] ppid=27597 vsize=10858780 memory=6944656592455360604 CPUtime=46.75 cores=1,3,5,7
/proc/27600/task/27603/stat : 27603 (java) S 27597 27600 22004 0 -1 1077944384 19435 0 0 0 4566 109 0 0 20 0 17 0 105902378 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188681886864 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27604] ppid=27597 vsize=10858780 memory=8514701219477554334 CPUtime=47.21 cores=1,3,5,7
/proc/27600/task/27604/stat : 27604 (java) S 27597 27600 22004 0 -1 1077944384 20658 0 0 0 4620 101 0 0 20 0 17 0 105902378 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188680834064 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27605] ppid=27597 vsize=10858780 memory=4629537275130835085 CPUtime=47 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (java) S 27597 27600 22004 0 -1 1077944384 19317 0 0 0 4593 107 0 0 20 0 17 0 105902378 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188679781264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27606] ppid=27597 vsize=10858780 memory=4643050291107164549 CPUtime=47.28 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (java) S 27597 27600 22004 0 -1 1077944384 19422 0 0 0 4614 114 0 0 20 0 17 0 105902378 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188678728464 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27607] ppid=27597 vsize=10858780 memory=0 CPUtime=21.05 cores=1,3,5,7
/proc/27600/task/27607/stat : 27607 (java) S 27597 27600 22004 0 -1 1077944384 25881 0 0 0 2103 2 0 0 20 0 17 0 105902379 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188247333232 140188755823234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27608] ppid=27597 vsize=10858780 memory=7739261589927257425 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27608/stat : 27608 (java) S 27597 27600 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 105902380 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188246279264 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27609] ppid=27597 vsize=10858780 memory=7660742144744843625 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27609/stat : 27609 (java) S 27597 27600 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 105902380 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188245226368 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27610] ppid=27597 vsize=10858780 memory=-6438865889672082020 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27610/stat : 27610 (java) S 27597 27600 22004 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 105902382 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188244174672 140188755830683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27611] ppid=27597 vsize=10858780 memory=106 CPUtime=1.97 cores=1,3,5,7
/proc/27600/task/27611/stat : 27611 (java) S 27597 27600 22004 0 -1 1077944384 10170 0 0 0 196 1 0 0 20 0 17 0 105902382 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188243123056 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27612] ppid=27597 vsize=10858780 memory=280747652541552 CPUtime=1.92 cores=1,3,5,7
/proc/27600/task/27612/stat : 27612 (java) S 27597 27600 22004 0 -1 1077944384 6740 0 0 0 191 1 0 0 20 0 17 0 105902382 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188242070256 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27613] ppid=27597 vsize=10858780 memory=30068 CPUtime=0.5 cores=1,3,5,7
/proc/27600/task/27613/stat : 27613 (java) S 27597 27600 22004 0 -1 1077944384 2792 0 0 0 49 1 0 0 20 0 17 0 105902382 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188241017456 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27614] ppid=27597 vsize=10858780 memory=280747650842754 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27614/stat : 27614 (java) S 27597 27600 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105902382 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188239964896 140188755822293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
[pid=27600/tid=27615] ppid=27597 vsize=10858780 memory=6425271076031 CPUtime=0.05 cores=1,3,5,7
/proc/27600/task/27615/stat : 27615 (java) S 27597 27600 22004 0 -1 1077944384 1044 0 0 0 2 3 0 0 20 0 17 0 105902382 11119390720 2073528 33554432000 4194304 4196468 140726010769728 140188238912176 140188755823234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7495680 140726010774646 140726010774798 140726010774798 140726010777551 0
Current children cumulated CPU time: 253.65 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 8294112 KiB
Child status: 143
Real time (s): 108.686
CPU time (s): 253.746
CPU user time (s): 249.036
CPU system time (s): 4.70966
CPU usage (%): 233.468
Max. virtual memory (cumulated for all children) (KiB): 10858780
Max. memory (cumulated for all children) (KiB): 8294112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.036
system time used= 4.70966
maximum resident set size= 8294632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143863
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6287
involuntary context switches= 3471
# summary of solver processes directly reported to runsolver:
# pid: 27600
# total CPU time (s): 253.746
# total CPU user time (s): 249.036
# total CPU system time (s): 4.70966
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.764544 second user time and 0.983966 second system time
The end