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 (4132 MiB free)
memory of node 1: 16384 MiB (11609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289819-1532222460/watcher-4289819-1532222460 -o /tmp/evaluation-result-4289819-1532222460/solver-4289819-1532222460 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532208388-24575 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289819-1532222460.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26716, runsolver pid=26713
[startup+0.101209 s]*
/proc/loadavg: 2.10 2.27 2.52 2/217 26731
/proc/meminfo: memFree=16102116/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=10659012 memory=30100 CPUtime=0.12 cores=0,2,4,6
/proc/26716/stat : 26716 (java) S 26713 26716 22446 0 -1 1077944320 6583 0 0 0 11 1 0 0 20 0 15 0 39809131 10914828288 7525 33554432000 4194304 4196468 140735150885728 140735150868272 139905061400311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
/proc/26716/statm: 2664753 7525 2818 1 0 2627263 0
[pid=26716/tid=26718] ppid=26713 vsize=10659012 memory=-8773748148830115202 CPUtime=0.09 cores=0,2,4,6
/proc/26716/task/26718/stat : 26718 (java) R 26713 26716 22446 0 -1 4202560 4419 0 0 0 8 1 0 0 20 0 15 0 39809131 10914828288 7525 33554432000 4194304 4196468 140735150885728 139905065622688 139905045480798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26719] ppid=26713 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26719/stat : 26719 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904668195472 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26720] ppid=26713 vsize=10659012 memory=140342625437312 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26720/stat : 26720 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904667142672 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26721] ppid=26713 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26721/stat : 26721 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904666089872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26722] ppid=26713 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26722/stat : 26722 (java) S 26713 26716 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39809132 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904665037072 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26723] ppid=26713 vsize=10659012 memory=140342625437312 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26723/stat : 26723 (java) S 26713 26716 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39809133 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904621136752 139905061411458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26724] ppid=26713 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26724/stat : 26724 (java) S 26713 26716 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39809134 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904620082720 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26725] ppid=26713 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26725/stat : 26725 (java) S 26713 26716 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39809134 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904619029872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26726] ppid=26713 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26726/stat : 26726 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39809136 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904617978192 139905061418907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26727] ppid=26713 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26727/stat : 26727 (java) S 26713 26716 22446 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 39809136 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904616925552 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26728] ppid=26713 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26728/stat : 26728 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39809136 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904615872752 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26729] ppid=26713 vsize=10659012 memory=140342625437312 CPUtime=0.02 cores=0,2,4,6
/proc/26716/task/26729/stat : 26729 (java) R 26713 26716 22446 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 39809136 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904614819952 139905045480798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26730] ppid=26713 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26730/stat : 26730 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39809136 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904613767392 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26731] ppid=26713 vsize=10659012 memory=140342625437312 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26731/stat : 26731 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809137 10914828288 7525 33554432000 4194304 4196468 140735150885728 139904612715696 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30100 KiB
[startup+0.213515 s]*
/proc/loadavg: 2.10 2.27 2.52 3/217 26731
/proc/meminfo: memFree=16092300/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=10659012 memory=42068 CPUtime=0.32 cores=0,2,4,6
/proc/26716/stat : 26716 (java) S 26713 26716 22446 0 -1 1077944320 8098 0 0 0 30 2 0 0 20 0 15 0 39809131 10914828288 10517 33554432000 4194304 4196468 140735150885728 140735150868272 139905061400311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
/proc/26716/statm: 2664753 10517 3002 1 0 2627263 0
[pid=26716/tid=26718] ppid=26713 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/26716/task/26718/stat : 26718 (java) R 26713 26716 22446 0 -1 4202560 5007 0 0 0 18 1 0 0 20 0 15 0 39809131 10914828288 10517 33554432000 4194304 4196468 140735150885728 139905065638464 139905045443941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26719] ppid=26713 vsize=10659012 memory=342 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26719/stat : 26719 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904668195472 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26720] ppid=26713 vsize=10659012 memory=140342625641665 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26720/stat : 26720 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904667142672 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26721] ppid=26713 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26721/stat : 26721 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904666089872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26722] ppid=26713 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26722/stat : 26722 (java) S 26713 26716 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39809132 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904665037072 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26723] ppid=26713 vsize=10659012 memory=140342625437312 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26723/stat : 26723 (java) S 26713 26716 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39809133 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904621136752 139905061411458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26724] ppid=26713 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26724/stat : 26724 (java) S 26713 26716 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39809134 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904620082720 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26725] ppid=26713 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26725/stat : 26725 (java) S 26713 26716 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39809134 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904619029872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26726] ppid=26713 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26726/stat : 26726 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39809136 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904617978192 139905061418907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26727] ppid=26713 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26716/task/26727/stat : 26727 (java) S 26713 26716 22446 0 -1 1077944384 771 0 0 0 2 0 0 0 20 0 15 0 39809136 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904616925552 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26728] ppid=26713 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26716/task/26728/stat : 26728 (java) S 26713 26716 22446 0 -1 1077944384 214 0 0 0 2 0 0 0 20 0 15 0 39809136 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904615872752 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26729] ppid=26713 vsize=10659012 memory=140342625437312 CPUtime=0.07 cores=0,2,4,6
/proc/26716/task/26729/stat : 26729 (java) R 26713 26716 22446 0 -1 4202560 738 0 0 0 7 0 0 0 20 0 15 0 39809136 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904614819952 139905045480798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26730] ppid=26713 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26730/stat : 26730 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39809136 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904613767392 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26731] ppid=26713 vsize=10659012 memory=140342625437312 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26731/stat : 26731 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809137 10914828288 10517 33554432000 4194304 4196468 140735150885728 139904612715696 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42068 KiB
[startup+0.316011 s]*
/proc/loadavg: 2.10 2.27 2.52 5/217 26731
/proc/meminfo: memFree=16077464/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=10659088 memory=55252 CPUtime=0.58 cores=0,2,4,6
/proc/26716/stat : 26716 (java) S 26713 26716 22446 0 -1 1077944320 9842 0 0 0 55 3 0 0 20 0 15 0 39809131 10914906112 13813 33554432000 4194304 4196468 140735150885728 140735150868272 139905061400311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
/proc/26716/statm: 2664772 13813 3066 1 0 2627263 0
[pid=26716/tid=26718] ppid=26713 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/26716/task/26718/stat : 26718 (java) R 26713 26716 22446 0 -1 4202560 5570 0 0 0 28 2 0 0 20 0 15 0 39809131 10914906112 13813 33554432000 4194304 4196468 140735150885728 139905065635984 139905045443941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26719] ppid=26713 vsize=10659088 memory=288230600413020183 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26719/stat : 26719 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904668195472 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26720] ppid=26713 vsize=10659088 memory=140342625643419 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26720/stat : 26720 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904667142672 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26721] ppid=26713 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26721/stat : 26721 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904666089872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26722] ppid=26713 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26722/stat : 26722 (java) S 26713 26716 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39809132 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904665037072 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26723] ppid=26713 vsize=10659088 memory=140342625437312 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26723/stat : 26723 (java) S 26713 26716 22446 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39809133 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904621136752 139905061411458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26724] ppid=26713 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26724/stat : 26724 (java) S 26713 26716 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39809134 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904620082720 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26725] ppid=26713 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26725/stat : 26725 (java) S 26713 26716 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39809134 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904619029872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26726] ppid=26713 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26726/stat : 26726 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39809136 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904617978192 139905061418907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26727] ppid=26713 vsize=10659088 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26716/task/26727/stat : 26727 (java) R 26713 26716 22446 0 -1 4202560 1331 0 0 0 7 0 0 0 20 0 15 0 39809136 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904616906568 139905044811112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26728] ppid=26713 vsize=10659088 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/26716/task/26728/stat : 26728 (java) R 26713 26716 22446 0 -1 1077944384 536 0 0 0 6 0 0 0 20 0 15 0 39809136 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904615872752 139905061411458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26729] ppid=26713 vsize=10659088 memory=140342625437312 CPUtime=0.12 cores=0,2,4,6
/proc/26716/task/26729/stat : 26729 (java) R 26713 26716 22446 0 -1 4202560 1035 0 0 0 12 0 0 0 20 0 15 0 39809136 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904614819952 139905045480798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26730] ppid=26713 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26730/stat : 26730 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39809136 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904613767392 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26731] ppid=26713 vsize=10659088 memory=140342625437312 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26731/stat : 26731 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809137 10914906112 13813 33554432000 4194304 4196468 140735150885728 139904612715696 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 55252 KiB
[startup+0.70104 s]
/proc/loadavg: 2.10 2.27 2.52 6/217 26731
/proc/meminfo: memFree=16048660/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=10661136 memory=145392 CPUtime=1.92 cores=0,2,4,6
/proc/26716/stat : 26716 (java) S 26713 26716 22446 0 -1 1077944320 12090 0 0 0 186 6 0 0 20 0 15 0 39809131 10917003264 36348 33554432000 4194304 4196468 140735150885728 140735150868272 139905061400311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
/proc/26716/statm: 2665284 36348 3113 1 0 2627775 0
[pid=26716/tid=26718] ppid=26713 vsize=10661136 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/26716/task/26718/stat : 26718 (java) R 26713 26716 22446 0 -1 4202560 6069 0 0 0 63 4 0 0 20 0 15 0 39809131 10917003264 36348 33554432000 4194304 4196468 140735150885728 139905065630256 139904688311148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26719] ppid=26713 vsize=10661136 memory=796 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26719/stat : 26719 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904668195472 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26720] ppid=26713 vsize=10661136 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26720/stat : 26720 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904667142672 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26721] ppid=26713 vsize=10661136 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26721/stat : 26721 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809132 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904666089872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26722] ppid=26713 vsize=10661136 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26722/stat : 26722 (java) S 26713 26716 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39809132 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904665037072 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26723] ppid=26713 vsize=10661136 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26723/stat : 26723 (java) S 26713 26716 22446 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39809133 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904621136752 139905061411458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26724] ppid=26713 vsize=10661136 memory=5368 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26724/stat : 26724 (java) S 26713 26716 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39809134 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904620082720 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26725] ppid=26713 vsize=10661136 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26725/stat : 26725 (java) S 26713 26716 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39809134 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904619029872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26726] ppid=26713 vsize=10661136 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26726/stat : 26726 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39809136 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904617978192 139905061418907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26727] ppid=26713 vsize=10661136 memory=6945208482816681536 CPUtime=0.43 cores=0,2,4,6
/proc/26716/task/26727/stat : 26727 (java) R 26713 26716 22446 0 -1 4202560 1743 0 0 0 43 0 0 0 20 0 15 0 39809136 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904616912336 139905040647064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26728] ppid=26713 vsize=10661136 memory=7811323491934034026 CPUtime=0.39 cores=0,2,4,6
/proc/26716/task/26728/stat : 26728 (java) R 26713 26716 22446 0 -1 4202560 1095 0 0 0 39 0 0 0 20 0 15 0 39809136 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904615859296 139905046515561 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26729] ppid=26713 vsize=10661136 memory=5787213827113576551 CPUtime=0.39 cores=0,2,4,6
/proc/26716/task/26729/stat : 26729 (java) S 26713 26716 22446 0 -1 1077944384 1812 0 0 0 39 0 0 0 20 0 15 0 39809136 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904614819952 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26730] ppid=26713 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26730/stat : 26730 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39809136 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904613767392 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26731] ppid=26713 vsize=10661136 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26731/stat : 26731 (java) S 26713 26716 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39809137 10917003264 36348 33554432000 4194304 4196468 140735150885728 139904612715696 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 145392 KiB
[startup+1.50105 s]
/proc/loadavg: 2.10 2.27 2.52 5/217 26731
/proc/meminfo: memFree=15926416/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=10661136 memory=248952 CPUtime=4.51 cores=0,2,4,6
/proc/26716/stat : 26716 (java) S 26713 26716 22446 0 -1 1077944320 20144 0 0 0 440 11 0 0 20 0 15 0 39809131 10917003264 62238 33554432000 4194304 4196468 140735150885728 140735150868272 139905061400311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
/proc/26716/statm: 2665284 62238 3150 1 0 2627775 0
[pid=26716/tid=26718] ppid=26713 vsize=10661136 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/26716/task/26718/stat : 26718 (java) R 26713 26716 22446 0 -1 4202560 6255 0 0 0 136 5 0 0 20 0 15 0 39809131 10917003264 62238 33554432000 4194304 4196468 140735150885728 139905065636568 139905040477856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26719] ppid=26713 vsize=10661136 memory=-6951259422114956437 CPUtime=0.04 cores=0,2,4,6
/proc/26716/task/26719/stat : 26719 (java) S 26713 26716 22446 0 -1 1077944384 121 0 0 0 4 0 0 0 20 0 15 0 39809132 10917003264 62238 33554432000 4194304 4196468 140735150885728 139904668195472 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26720] ppid=26713 vsize=10661136 memory=-6509546260019855295 CPUtime=0.04 cores=0,2,4,6
/proc/26716/task/26720/stat : 26720 (java) S 26713 26716 22446 0 -1 1077944384 108 0 0 0 4 0 0 0 20 0 15 0 39809132 10917003264 62238 33554432000 4194304 4196468 140735150885728 139904667142672 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26721] ppid=26713 vsize=10661136 memory=-7390251449858225344 CPUtime=0.03 cores=0,2,4,6
/proc/26716/task/26721/stat : 26721 (java) S 26713 26716 22446 0 -1 1077944384 26 0 0 0 3 0 0 0 20 0 15 0 39809132 10917003264 62238 33554432000 4194304 4196468 140735150885728 139904666089872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26722] ppid=26713 vsize=10661136 memory=4134692831991786133 CPUtime=0.03 cores=0,2,4,6
/proc/26716/task/26722/stat : 26722 (java) S 26713 26716 22446 0 -1 1077944384 118 0 0 0 3 0 0 0 20 0 15 0 39809132 10917003264 62238 33554432000 4194304 4196468 140735150885728 139904665037072 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26723] ppid=26713 vsize=10661136 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26723/stat : 26723 (java) S 26713 26716 22446 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 39809133 10917003264 62238 33554432000 4194304 4196468 140735150885728 139904621136752 139905061411458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
################
# More data... #
################
[pid=26716/tid=26725] ppid=26713 vsize=10727700 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26725/stat : 26725 (java) S 26713 26716 22446 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 16 0 39809134 10985164800 977132 33554432000 4194304 4196468 140735150885728 139904619029872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26726] ppid=26713 vsize=10727700 memory=3908528 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26726/stat : 26726 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39809136 10985164800 977132 33554432000 4194304 4196468 140735150885728 139904617978192 139905061418907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26727] ppid=26713 vsize=10727700 memory=3908528 CPUtime=2.46 cores=0,2,4,6
/proc/26716/task/26727/stat : 26727 (java) S 26713 26716 22446 0 -1 1077944384 11889 0 0 0 245 1 0 0 20 0 16 0 39809136 10985164800 977132 33554432000 4194304 4196468 140735150885728 139904616925552 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26728] ppid=26713 vsize=10727700 memory=3908528 CPUtime=2.94 cores=0,2,4,6
/proc/26716/task/26728/stat : 26728 (java) S 26713 26716 22446 0 -1 1077944384 9603 0 0 0 293 1 0 0 20 0 16 0 39809136 10985164800 977132 33554432000 4194304 4196468 140735150885728 139904615872752 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26729] ppid=26713 vsize=10727700 memory=3908528 CPUtime=0.71 cores=0,2,4,6
/proc/26716/task/26729/stat : 26729 (java) S 26713 26716 22446 0 -1 1077944384 7287 0 0 0 69 2 0 0 20 0 16 0 39809136 10985164800 977132 33554432000 4194304 4196468 140735150885728 139904614819952 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26730] ppid=26713 vsize=10727700 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26730/stat : 26730 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39809136 10985164800 977132 33554432000 4194304 4196468 140735150885728 139904613767392 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26731] ppid=26713 vsize=10727700 memory=3908528 CPUtime=1.62 cores=0,2,4,6
/proc/26716/task/26731/stat : 26731 (java) S 26713 26716 22446 0 -1 1077944384 2179 0 0 0 81 81 0 0 20 0 16 0 39809137 10985164800 977132 33554432000 4194304 4196468 140735150885728 139904612715696 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26732] ppid=26713 vsize=10727700 memory=3908528 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26732/stat : 26732 (java) S 26713 26716 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39810004 10985164800 977132 33554432000 4194304 4196468 140735150885728 139904609564080 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3908528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2378.73 s]
# the end of solver process 26716 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.91 s, system=4.41723 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2377.6 s]
/proc/loadavg: 1.00 1.13 1.57 2/195 26855
/proc/meminfo: memFree=12331812/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=10927392 memory=4027632 CPUtime=2401.26 cores=0,2,4,6
/proc/26716/stat : 26716 (java) S 26713 26716 22446 0 -1 1077944320 381734 0 0 0 239718 408 0 0 20 0 17 0 39809131 11189649408 1006908 33554432000 4194304 4196468 140735150885728 140735150868272 139905061400311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
/proc/26716/statm: 2731848 1006908 3195 1 0 2694339 0
[pid=26716/tid=26718] ppid=26713 vsize=10927392 memory=3908528 CPUtime=2370.19 cores=0,2,4,6
/proc/26716/task/26718/stat : 26718 (java) S 26713 26716 22446 0 -1 1077944384 144299 0 0 0 236986 33 0 0 20 0 17 0 39809131 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139905065643184 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26719] ppid=26713 vsize=10927392 memory=6791534058613427641 CPUtime=5.33 cores=0,2,4,6
/proc/26716/task/26719/stat : 26719 (java) R 26713 26716 22446 0 -1 4202560 54756 0 0 0 455 78 0 0 20 0 17 0 39809132 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904668195672 139905054497036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26720] ppid=26713 vsize=10927392 memory=1232 CPUtime=5.37 cores=0,2,4,6
/proc/26716/task/26720/stat : 26720 (java) R 26713 26716 22446 0 -1 4202560 43904 0 0 0 462 75 0 0 20 0 17 0 39809132 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904667142872 139905054497052 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26721] ppid=26713 vsize=10927392 memory=2344 CPUtime=5.29 cores=0,2,4,6
/proc/26716/task/26721/stat : 26721 (java) R 26713 26716 22446 0 -1 4202560 49480 0 0 0 454 75 0 0 20 0 17 0 39809132 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904666090072 139905054497012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26722] ppid=26713 vsize=10927392 memory=4136 CPUtime=5.39 cores=0,2,4,6
/proc/26716/task/26722/stat : 26722 (java) R 26713 26716 22446 0 -1 4202560 44010 0 0 0 461 78 0 0 20 0 17 0 39809132 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904665036960 139905046424485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26723] ppid=26713 vsize=10927392 memory=14052 CPUtime=1.86 cores=0,2,4,6
/proc/26716/task/26723/stat : 26723 (java) S 26713 26716 22446 0 -1 1077944384 12110 0 0 0 183 3 0 0 20 0 17 0 39809133 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904621135264 139905061410517 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26724] ppid=26713 vsize=10927392 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26724/stat : 26724 (java) S 26713 26716 22446 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 39809134 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904620082784 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26725] ppid=26713 vsize=10927392 memory=164 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26725/stat : 26725 (java) S 26713 26716 22446 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 17 0 39809134 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904619029872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26726] ppid=26713 vsize=10927392 memory=3054156605268465310 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26726/stat : 26726 (java) S 26713 26716 22446 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 17 0 39809136 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904617978192 139905061418907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26727] ppid=26713 vsize=10927392 memory=8514726395714825349 CPUtime=2.46 cores=0,2,4,6
/proc/26716/task/26727/stat : 26727 (java) S 26713 26716 22446 0 -1 1077944384 11889 0 0 0 245 1 0 0 20 0 17 0 39809136 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904616925552 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26728] ppid=26713 vsize=10927392 memory=644 CPUtime=2.94 cores=0,2,4,6
/proc/26716/task/26728/stat : 26728 (java) S 26713 26716 22446 0 -1 1077944384 9604 0 0 0 293 1 0 0 20 0 17 0 39809136 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904615872752 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26729] ppid=26713 vsize=10927392 memory=1792 CPUtime=0.71 cores=0,2,4,6
/proc/26716/task/26729/stat : 26729 (java) S 26713 26716 22446 0 -1 1077944384 7366 0 0 0 69 2 0 0 20 0 17 0 39809136 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904614819952 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26730] ppid=26713 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26730/stat : 26730 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39809136 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904613767392 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26731] ppid=26713 vsize=10927392 memory=2420 CPUtime=1.62 cores=0,2,4,6
/proc/26716/task/26731/stat : 26731 (java) S 26713 26716 22446 0 -1 1077944384 2181 0 0 0 81 81 0 0 20 0 17 0 39809137 11189649408 1006908 33554432000 4194304 4196468 140735150885728 139904612715696 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
Current children cumulated CPU time: 2401.26 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4027632 KiB
[startup+2378.4 s]
/proc/loadavg: 1.00 1.13 1.57 5/196 26858
/proc/meminfo: memFree=12016032/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=10927392 memory=4228400 CPUtime=2404.39 cores=0,2,4,6
/proc/26716/stat : 26716 (java) S 26713 26716 22446 0 -1 1077944320 386646 0 0 0 240001 438 0 0 20 0 17 0 39809131 11189649408 1057100 33554432000 4194304 4196468 140735150885728 140735150868272 139905061400311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
/proc/26716/statm: 2731848 1057100 3195 1 0 2694339 0
[pid=26716/tid=26718] ppid=26713 vsize=10927392 memory=4220160 CPUtime=2370.19 cores=0,2,4,6
/proc/26716/task/26718/stat : 26718 (java) S 26713 26716 22446 0 -1 1077944384 144299 0 0 0 236986 33 0 0 20 0 17 0 39809131 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139905065643184 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26719] ppid=26713 vsize=10927392 memory=1728 CPUtime=6.12 cores=0,2,4,6
/proc/26716/task/26719/stat : 26719 (java) R 26713 26716 22446 0 -1 4202560 55260 0 0 0 526 86 0 0 20 0 17 0 39809132 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904668195672 139905045857931 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26720] ppid=26713 vsize=10927392 memory=796 CPUtime=6.13 cores=0,2,4,6
/proc/26716/task/26720/stat : 26720 (java) R 26713 26716 22446 0 -1 4202560 44236 0 0 0 531 82 0 0 20 0 17 0 39809132 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904667142560 139905046101219 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26721] ppid=26713 vsize=10927392 memory=6791534058613427641 CPUtime=6.08 cores=0,2,4,6
/proc/26716/task/26721/stat : 26721 (java) R 26713 26716 22446 0 -1 4202560 49994 0 0 0 525 83 0 0 20 0 17 0 39809132 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904666090072 139905046101036 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26722] ppid=26713 vsize=10927392 memory=288230621803970871 CPUtime=6.17 cores=0,2,4,6
/proc/26716/task/26722/stat : 26722 (java) R 26713 26716 22446 0 -1 4202560 44572 0 0 0 531 86 0 0 20 0 17 0 39809132 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904665037272 139905045857888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26723] ppid=26713 vsize=10927392 memory=13847456437766436 CPUtime=1.87 cores=0,2,4,6
/proc/26716/task/26723/stat : 26723 (java) S 26713 26716 22446 0 -1 1077944384 15109 0 0 0 184 3 0 0 20 0 17 0 39809133 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904621135296 139905061410517 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26724] ppid=26713 vsize=10927392 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26724/stat : 26724 (java) S 26713 26716 22446 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 39809134 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904620082784 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26725] ppid=26713 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26725/stat : 26725 (java) S 26713 26716 22446 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 17 0 39809134 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904619029872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26726] ppid=26713 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26726/stat : 26726 (java) S 26713 26716 22446 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 17 0 39809136 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904617978192 139905061418907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26727] ppid=26713 vsize=10927392 memory=1012 CPUtime=2.46 cores=0,2,4,6
/proc/26716/task/26727/stat : 26727 (java) S 26713 26716 22446 0 -1 1077944384 11889 0 0 0 245 1 0 0 20 0 17 0 39809136 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904616925552 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26728] ppid=26713 vsize=10927392 memory=1228 CPUtime=2.94 cores=0,2,4,6
/proc/26716/task/26728/stat : 26728 (java) S 26713 26716 22446 0 -1 1077944384 9604 0 0 0 293 1 0 0 20 0 17 0 39809136 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904615872752 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26729] ppid=26713 vsize=10927392 memory=1704 CPUtime=0.71 cores=0,2,4,6
/proc/26716/task/26729/stat : 26729 (java) S 26713 26716 22446 0 -1 1077944384 7366 0 0 0 69 2 0 0 20 0 17 0 39809136 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904614819952 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26730] ppid=26713 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26730/stat : 26730 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39809136 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904613767392 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26731] ppid=26713 vsize=10927392 memory=1580 CPUtime=1.62 cores=0,2,4,6
/proc/26716/task/26731/stat : 26731 (java) S 26713 26716 22446 0 -1 1077944384 2181 0 0 0 81 81 0 0 20 0 17 0 39809137 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904612715696 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26856] ppid=26713 vsize=10927392 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26856/stat : 26856 (java) S 26713 26716 22446 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 17 0 40046842 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904608510576 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26857] ppid=26713 vsize=10927392 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26857/stat : 26857 (java) S 26713 26716 22446 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 17 0 40046842 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904607457136 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
Current children cumulated CPU time: 2404.39 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4228400 KiB
[startup+2378.6 s]
/proc/loadavg: 1.00 1.13 1.57 5/196 26858
/proc/meminfo: memFree=12016032/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=10927392 memory=4228400 CPUtime=2405.17 cores=0,2,4,6
/proc/26716/stat : 26716 (java) S 26713 26716 22446 0 -1 1077944320 386646 0 0 0 240079 438 0 0 20 0 17 0 39809131 11189649408 1057100 33554432000 4194304 4196468 140735150885728 140735150868272 139905061400311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
/proc/26716/statm: 2731848 1057100 3195 1 0 2694339 0
[pid=26716/tid=26718] ppid=26713 vsize=10927392 memory=7528 CPUtime=2370.19 cores=0,2,4,6
/proc/26716/task/26718/stat : 26718 (java) S 26713 26716 22446 0 -1 1077944384 144299 0 0 0 236986 33 0 0 20 0 17 0 39809131 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139905065643184 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26719] ppid=26713 vsize=10927392 memory=6791534058613427641 CPUtime=6.32 cores=0,2,4,6
/proc/26716/task/26719/stat : 26719 (java) S 26713 26716 22446 0 -1 1077944384 55260 0 0 0 546 86 0 0 20 0 17 0 39809132 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904668195472 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26720] ppid=26713 vsize=10927392 memory=1012 CPUtime=6.32 cores=0,2,4,6
/proc/26716/task/26720/stat : 26720 (java) S 26713 26716 22446 0 -1 1077944384 44236 0 0 0 550 82 0 0 20 0 17 0 39809132 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904667142672 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26721] ppid=26713 vsize=10927392 memory=1228 CPUtime=6.27 cores=0,2,4,6
/proc/26716/task/26721/stat : 26721 (java) S 26713 26716 22446 0 -1 1077944384 49994 0 0 0 544 83 0 0 20 0 17 0 39809132 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904666089872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26722] ppid=26713 vsize=10927392 memory=1704 CPUtime=6.36 cores=0,2,4,6
/proc/26716/task/26722/stat : 26722 (java) S 26713 26716 22446 0 -1 1077944384 44572 0 0 0 550 86 0 0 20 0 17 0 39809132 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904665037072 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26723] ppid=26713 vsize=10927392 memory=9924 CPUtime=1.88 cores=0,2,4,6
/proc/26716/task/26723/stat : 26723 (java) R 26713 26716 22446 0 -1 4202560 15109 0 0 0 185 3 0 0 20 0 17 0 39809133 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904621135296 139905045857902 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26724] ppid=26713 vsize=10927392 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26724/stat : 26724 (java) S 26713 26716 22446 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 39809134 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904620082784 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26725] ppid=26713 vsize=10927392 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26725/stat : 26725 (java) S 26713 26716 22446 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 17 0 39809134 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904619029872 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26726] ppid=26713 vsize=10927392 memory=5368 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26726/stat : 26726 (java) S 26713 26716 22446 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 17 0 39809136 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904617978192 139905061418907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26727] ppid=26713 vsize=10927392 memory=1936 CPUtime=2.46 cores=0,2,4,6
/proc/26716/task/26727/stat : 26727 (java) S 26713 26716 22446 0 -1 1077944384 11889 0 0 0 245 1 0 0 20 0 17 0 39809136 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904616925552 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26728] ppid=26713 vsize=10927392 memory=1196 CPUtime=2.94 cores=0,2,4,6
/proc/26716/task/26728/stat : 26728 (java) S 26713 26716 22446 0 -1 1077944384 9604 0 0 0 293 1 0 0 20 0 17 0 39809136 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904615872752 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26729] ppid=26713 vsize=10927392 memory=8376 CPUtime=0.71 cores=0,2,4,6
/proc/26716/task/26729/stat : 26729 (java) S 26713 26716 22446 0 -1 1077944384 7366 0 0 0 69 2 0 0 20 0 17 0 39809136 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904614819952 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26730] ppid=26713 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26730/stat : 26730 (java) S 26713 26716 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39809136 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904613767392 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26731] ppid=26713 vsize=10927392 memory=301741416374337836 CPUtime=1.62 cores=0,2,4,6
/proc/26716/task/26731/stat : 26731 (java) S 26713 26716 22446 0 -1 1077944384 2181 0 0 0 81 81 0 0 20 0 17 0 39809137 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904612715696 139905061411458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26856] ppid=26713 vsize=10927392 memory=14973360622798209 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26856/stat : 26856 (java) S 26713 26716 22446 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 17 0 40046842 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904608510576 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
[pid=26716/tid=26857] ppid=26713 vsize=10927392 memory=301741416374337836 CPUtime=0 cores=0,2,4,6
/proc/26716/task/26857/stat : 26857 (java) S 26713 26716 22446 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 17 0 40046842 11189649408 1057100 33554432000 4194304 4196468 140735150885728 139904607457136 139905061410517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31789056 140735150892145 140735150892297 140735150892297 140735150895055 0
Current children cumulated CPU time: 2405.17 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4228400 KiB
[startup+2378.7 s]*
/proc/loadavg: 1.00 1.13 1.57 2/181 26858
/proc/meminfo: memFree=12779744/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2378.73
CPU time (s): 2405.32
CPU user time (s): 2400.91
CPU system time (s): 4.41723
CPU usage (%): 101.118
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 4228400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.91
system time used= 4.41723
maximum resident set size= 4232616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387697
page faults= 0
swaps= 0
block input operations= 472
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56309
involuntary context switches= 2871
# summary of solver processes directly reported to runsolver:
# pid: 26716
# total CPU time (s): 2405.32
# total CPU user time (s): 2400.91
# total CPU system time (s): 4.41723
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.812 second user time and 22.7869 second system time
The end