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 (7820 MiB free)
memory of node 1: 16384 MiB (15836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301805-1532884620/watcher-4301805-1532884620 -o /tmp/evaluation-result-4301805-1532884620/solver-4301805-1532884620 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301805-1532884620.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
solver pid=18141, runsolver pid=18138
Current StackSize limit: 8192 KiB
[startup+0.101228 s]*
/proc/loadavg: 3.93 2.93 2.59 3/215 18156
/proc/meminfo: memFree=24207040/32770624 swapFree=67108860/67108860
[pid=18141] ppid=18138 vsize=10659012 memory=30672 CPUtime=0.12 cores=1,3,5,7
/proc/18141/stat : 18141 (java) S 18138 18141 13514 0 -1 1077944320 6731 0 0 0 11 1 0 0 20 0 15 0 106025196 10914828288 7668 33554432000 4194304 4196468 140722015106704 140722015089248 139849622269687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
/proc/18141/statm: 2664753 7668 2812 1 0 2627263 0
[pid=18141/tid=18143] ppid=18138 vsize=10659012 memory=-8773748148829982333 CPUtime=0.09 cores=1,3,5,7
/proc/18141/task/18143/stat : 18143 (java) R 18138 18141 13514 0 -1 4202560 4576 0 0 0 8 1 0 0 20 0 15 0 106025196 10914828288 7668 33554432000 4194304 4196468 140722015106704 139849626474352 139849622281622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18144] ppid=18138 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18144/stat : 18144 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025197 10914828288 7668 33554432000 4194304 4196468 140722015106704 139849574890000 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18145] ppid=18138 vsize=10659012 memory=140565833193088 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18145/stat : 18145 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025197 10914828288 7668 33554432000 4194304 4196468 140722015106704 139849573837456 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18146] ppid=18138 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18146/stat : 18146 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025197 10914828288 7668 33554432000 4194304 4196468 140722015106704 139849572784400 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18147] ppid=18138 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18147/stat : 18147 (java) S 18138 18141 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106025197 10914828288 7668 33554432000 4194304 4196468 140722015106704 139849225656720 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18148] ppid=18138 vsize=10659012 memory=140565833193088 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18148/stat : 18148 (java) S 18138 18141 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106025198 10914828288 7668 33554432000 4194304 4196468 140722015106704 139848725560048 139849622280834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18149] ppid=18138 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18149/stat : 18149 (java) S 18138 18141 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106025199 10914828288 7668 33554432000 4194304 4196468 140722015106704 139848724506272 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18150] ppid=18138 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18150/stat : 18150 (java) S 18138 18141 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106025199 10914828288 7668 33554432000 4194304 4196468 140722015106704 139848723453168 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18151] ppid=18138 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18151/stat : 18151 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025201 10914828288 7668 33554432000 4194304 4196468 140722015106704 139848722401744 139849622288283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18152] ppid=18138 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18152/stat : 18152 (java) S 18138 18141 13514 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 15 0 106025201 10914828288 7668 33554432000 4194304 4196468 140722015106704 139848721348848 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18153] ppid=18138 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18153/stat : 18153 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025201 10914828288 7668 33554432000 4194304 4196468 140722015106704 139848720296304 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18154] ppid=18138 vsize=10659012 memory=140565833193088 CPUtime=0.02 cores=1,3,5,7
/proc/18141/task/18154/stat : 18154 (java) S 18138 18141 13514 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 15 0 106025202 10914828288 7668 33554432000 4194304 4196468 140722015106704 139848719243248 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18155] ppid=18138 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18155/stat : 18155 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025202 10914828288 7668 33554432000 4194304 4196468 140722015106704 139848718190944 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18156] ppid=18138 vsize=10659012 memory=140565833193088 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18156/stat : 18156 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025202 10914828288 7668 33554432000 4194304 4196468 140722015106704 139848717138992 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30672 KiB
[startup+0.211739 s]*
/proc/loadavg: 3.93 2.93 2.59 4/215 18156
/proc/meminfo: memFree=24196992/32770624 swapFree=67108860/67108860
[pid=18141] ppid=18138 vsize=10659012 memory=41872 CPUtime=0.33 cores=1,3,5,7
/proc/18141/stat : 18141 (java) S 18138 18141 13514 0 -1 1077944320 8100 0 0 0 31 2 0 0 20 0 15 0 106025196 10914828288 10468 33554432000 4194304 4196468 140722015106704 140722015089248 139849622269687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
/proc/18141/statm: 2664753 10468 3005 1 0 2627263 0
[pid=18141/tid=18143] ppid=18138 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/18141/task/18143/stat : 18143 (java) R 18138 18141 13514 0 -1 4202560 5037 0 0 0 19 1 0 0 20 0 15 0 106025196 10914828288 10468 33554432000 4194304 4196468 140722015106704 139849626504912 139849606313317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18144] ppid=18138 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18144/stat : 18144 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025197 10914828288 10468 33554432000 4194304 4196468 140722015106704 139849574890000 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18145] ppid=18138 vsize=10659012 memory=140565833824497 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18145/stat : 18145 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025197 10914828288 10468 33554432000 4194304 4196468 140722015106704 139849573837456 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18146] ppid=18138 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18146/stat : 18146 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025197 10914828288 10468 33554432000 4194304 4196468 140722015106704 139849572784400 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18147] ppid=18138 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18147/stat : 18147 (java) S 18138 18141 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106025197 10914828288 10468 33554432000 4194304 4196468 140722015106704 139849225656720 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18148] ppid=18138 vsize=10659012 memory=140565833193088 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18148/stat : 18148 (java) S 18138 18141 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106025198 10914828288 10468 33554432000 4194304 4196468 140722015106704 139848725560048 139849622280834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18149] ppid=18138 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18149/stat : 18149 (java) S 18138 18141 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106025199 10914828288 10468 33554432000 4194304 4196468 140722015106704 139848724506272 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18150] ppid=18138 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18150/stat : 18150 (java) S 18138 18141 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106025199 10914828288 10468 33554432000 4194304 4196468 140722015106704 139848723453168 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18151] ppid=18138 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18151/stat : 18151 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025201 10914828288 10468 33554432000 4194304 4196468 140722015106704 139848722401744 139849622288283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18152] ppid=18138 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18141/task/18152/stat : 18152 (java) S 18138 18141 13514 0 -1 1077944384 755 0 0 0 2 0 0 0 20 0 15 0 106025201 10914828288 10468 33554432000 4194304 4196468 140722015106704 139848721348848 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18153] ppid=18138 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18141/task/18153/stat : 18153 (java) S 18138 18141 13514 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 15 0 106025201 10914828288 10468 33554432000 4194304 4196468 140722015106704 139848720296304 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18154] ppid=18138 vsize=10659012 memory=140565833193088 CPUtime=0.07 cores=1,3,5,7
/proc/18141/task/18154/stat : 18154 (java) R 18138 18141 13514 0 -1 4202560 682 0 0 0 7 0 0 0 20 0 15 0 106025202 10914828288 10468 33554432000 4194304 4196468 140722015106704 139848719243248 139849614506814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18155] ppid=18138 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18155/stat : 18155 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025202 10914828288 10468 33554432000 4194304 4196468 140722015106704 139848718190944 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18156] ppid=18138 vsize=10659012 memory=140565833193088 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18156/stat : 18156 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025202 10914828288 10468 33554432000 4194304 4196468 140722015106704 139848717138992 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41872 KiB
[startup+0.310405 s]*
/proc/loadavg: 3.93 2.93 2.59 5/215 18156
/proc/meminfo: memFree=24183904/32770624 swapFree=67108860/67108860
[pid=18141] ppid=18138 vsize=10659088 memory=53272 CPUtime=0.59 cores=1,3,5,7
/proc/18141/stat : 18141 (java) S 18138 18141 13514 0 -1 1077944320 9892 0 0 0 57 2 0 0 20 0 15 0 106025196 10914906112 13318 33554432000 4194304 4196468 140722015106704 140722015089248 139849622269687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
/proc/18141/statm: 2664772 13318 3067 1 0 2627263 0
[pid=18141/tid=18143] ppid=18138 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/18141/task/18143/stat : 18143 (java) R 18138 18141 13514 0 -1 4202560 5570 0 0 0 28 1 0 0 20 0 15 0 106025196 10914906112 13318 33554432000 4194304 4196468 140722015106704 139849626506080 139849622291613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18144] ppid=18138 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18144/stat : 18144 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025197 10914906112 13382 33554432000 4194304 4196468 140722015106704 139849574890000 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18145] ppid=18138 vsize=10659088 memory=140565833822223 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18145/stat : 18145 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025197 10914906112 13382 33554432000 4194304 4196468 140722015106704 139849573837456 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18146] ppid=18138 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18146/stat : 18146 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025197 10914906112 13448 33554432000 4194304 4196468 140722015106704 139849572784400 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18147] ppid=18138 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18147/stat : 18147 (java) S 18138 18141 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106025197 10914906112 13448 33554432000 4194304 4196468 140722015106704 139849225656720 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18148] ppid=18138 vsize=10659088 memory=140565833193088 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18148/stat : 18148 (java) S 18138 18141 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106025198 10914906112 13448 33554432000 4194304 4196468 140722015106704 139848725560048 139849622280834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18149] ppid=18138 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18149/stat : 18149 (java) S 18138 18141 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 13448 33554432000 4194304 4196468 140722015106704 139848724506272 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18150] ppid=18138 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18150/stat : 18150 (java) S 18138 18141 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 13448 33554432000 4194304 4196468 140722015106704 139848723453168 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18151] ppid=18138 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18151/stat : 18151 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025201 10914906112 13448 33554432000 4194304 4196468 140722015106704 139848722401744 139849622288283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18152] ppid=18138 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18141/task/18152/stat : 18152 (java) R 18138 18141 13514 0 -1 4202560 1377 0 0 0 7 0 0 0 20 0 15 0 106025201 10914906112 13448 33554432000 4194304 4196468 140722015106704 139848721329864 139849602969984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18153] ppid=18138 vsize=10659088 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18141/task/18153/stat : 18153 (java) R 18138 18141 13514 0 -1 4202560 661 0 0 0 7 0 0 0 20 0 15 0 106025201 10914906112 13448 33554432000 4194304 4196468 140722015106704 139848720282328 139849607199100 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18154] ppid=18138 vsize=10659088 memory=140565833193088 CPUtime=0.13 cores=1,3,5,7
/proc/18141/task/18154/stat : 18154 (java) R 18138 18141 13514 0 -1 1077944384 1012 0 0 0 13 0 0 0 20 0 15 0 106025202 10914906112 13448 33554432000 4194304 4196468 140722015106704 139848719243248 139849622280834 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18155] ppid=18138 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18155/stat : 18155 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025202 10914906112 13448 33554432000 4194304 4196468 140722015106704 139848718190944 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18156] ppid=18138 vsize=10659088 memory=140565833193088 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18156/stat : 18156 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025202 10914906112 13448 33554432000 4194304 4196468 140722015106704 139848717138992 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 53272 KiB
[startup+0.700737 s]
/proc/loadavg: 3.93 2.93 2.59 6/215 18156
/proc/meminfo: memFree=24143572/32770624 swapFree=67108860/67108860
[pid=18141] ppid=18138 vsize=10659088 memory=204576 CPUtime=1.93 cores=1,3,5,7
/proc/18141/stat : 18141 (java) S 18138 18141 13514 0 -1 1077944320 12700 0 0 0 186 7 0 0 20 0 15 0 106025196 10914906112 51144 33554432000 4194304 4196468 140722015106704 140722015089248 139849622269687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
/proc/18141/statm: 2664772 51144 3125 1 0 2627263 0
[pid=18141/tid=18143] ppid=18138 vsize=10659088 memory=16868 CPUtime=0.65 cores=1,3,5,7
/proc/18141/task/18143/stat : 18143 (java) R 18138 18141 13514 0 -1 4202560 5988 0 0 0 61 4 0 0 20 0 15 0 106025196 10914906112 51144 33554432000 4194304 4196468 140722015106704 139849626506080 139849256298877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18144] ppid=18138 vsize=10659088 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18144/stat : 18144 (java) S 18138 18141 13514 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 106025197 10914906112 51144 33554432000 4194304 4196468 140722015106704 139849574890000 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18145] ppid=18138 vsize=10659088 memory=1584 CPUtime=0.01 cores=1,3,5,7
/proc/18141/task/18145/stat : 18145 (java) S 18138 18141 13514 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 106025197 10914906112 51144 33554432000 4194304 4196468 140722015106704 139849573837456 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18146] ppid=18138 vsize=10659088 memory=496 CPUtime=0.01 cores=1,3,5,7
/proc/18141/task/18146/stat : 18146 (java) S 18138 18141 13514 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 106025197 10914906112 51144 33554432000 4194304 4196468 140722015106704 139849572784400 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18147] ppid=18138 vsize=10659088 memory=928 CPUtime=0.01 cores=1,3,5,7
/proc/18141/task/18147/stat : 18147 (java) S 18138 18141 13514 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 106025197 10914906112 51144 33554432000 4194304 4196468 140722015106704 139849225656720 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18148] ppid=18138 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18148/stat : 18148 (java) S 18138 18141 13514 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 106025198 10914906112 51144 33554432000 4194304 4196468 140722015106704 139848725560048 139849622280834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18149] ppid=18138 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18149/stat : 18149 (java) S 18138 18141 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 51144 33554432000 4194304 4196468 140722015106704 139848724506272 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18150] ppid=18138 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18150/stat : 18150 (java) S 18138 18141 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 51144 33554432000 4194304 4196468 140722015106704 139848723453168 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18151] ppid=18138 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18151/stat : 18151 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025201 10914906112 51144 33554432000 4194304 4196468 140722015106704 139848722401744 139849622288283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18152] ppid=18138 vsize=10659088 memory=6081108994580573287 CPUtime=0.4 cores=1,3,5,7
/proc/18141/task/18152/stat : 18152 (java) R 18138 18141 13514 0 -1 4202560 1888 0 0 0 40 0 0 0 20 0 15 0 106025201 10914906112 51144 33554432000 4194304 4196468 140722015106704 139848721333840 139849601932135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18153] ppid=18138 vsize=10659088 memory=5932762877087012201 CPUtime=0.43 cores=1,3,5,7
/proc/18141/task/18153/stat : 18153 (java) R 18138 18141 13514 0 -1 4202560 1602 0 0 0 43 0 0 0 20 0 15 0 106025201 10914906112 51144 33554432000 4194304 4196468 140722015106704 139848720287584 139849605656924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18154] ppid=18138 vsize=10659088 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/18141/task/18154/stat : 18154 (java) S 18138 18141 13514 0 -1 1077944384 1711 0 0 0 34 0 0 0 20 0 15 0 106025202 10914906112 51144 33554432000 4194304 4196468 140722015106704 139848719243248 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18155] ppid=18138 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18155/stat : 18155 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025202 10914906112 51144 33554432000 4194304 4196468 140722015106704 139848718190944 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18156] ppid=18138 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18156/stat : 18156 (java) S 18138 18141 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106025202 10914906112 51144 33554432000 4194304 4196468 140722015106704 139848717138992 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 204576 KiB
[startup+1.50082 s]
/proc/loadavg: 3.93 2.93 2.59 4/215 18156
/proc/meminfo: memFree=23623820/32770624 swapFree=67108860/67108860
[pid=18141] ppid=18138 vsize=10659088 memory=1194216 CPUtime=3.56 cores=1,3,5,7
/proc/18141/stat : 18141 (java) S 18138 18141 13514 0 -1 1077944320 14441 0 0 0 320 36 0 0 20 0 15 0 106025196 10914906112 298554 33554432000 4194304 4196468 140722015106704 140722015089248 139849622269687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
/proc/18141/statm: 2664772 298554 3140 1 0 2627263 0
[pid=18141/tid=18143] ppid=18138 vsize=10659088 memory=1150948 CPUtime=1.3 cores=1,3,5,7
/proc/18141/task/18143/stat : 18143 (java) R 18138 18141 13514 0 -1 4202560 6399 0 0 0 115 15 0 0 20 0 15 0 106025196 10914906112 298554 33554432000 4194304 4196468 140722015106704 139849626507344 139849608337812 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18144] ppid=18138 vsize=10659088 memory=33 CPUtime=0.11 cores=1,3,5,7
/proc/18141/task/18144/stat : 18144 (java) S 18138 18141 13514 0 -1 1077944384 86 0 0 0 7 4 0 0 20 0 15 0 106025197 10914906112 298554 33554432000 4194304 4196468 140722015106704 139849574890000 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18145] ppid=18138 vsize=10659088 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/18141/task/18145/stat : 18145 (java) S 18138 18141 13514 0 -1 1077944384 105 0 0 0 10 4 0 0 20 0 15 0 106025197 10914906112 298554 33554432000 4194304 4196468 140722015106704 139849573837456 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18146] ppid=18138 vsize=10659088 memory=6791534058613427641 CPUtime=0.14 cores=1,3,5,7
/proc/18141/task/18146/stat : 18146 (java) S 18138 18141 13514 0 -1 1077944384 113 0 0 0 10 4 0 0 20 0 15 0 106025197 10914906112 298554 33554432000 4194304 4196468 140722015106704 139849572784400 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18147] ppid=18138 vsize=10659088 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/18141/task/18147/stat : 18147 (java) S 18138 18141 13514 0 -1 1077944384 117 0 0 0 10 4 0 0 20 0 15 0 106025197 10914906112 298554 33554432000 4194304 4196468 140722015106704 139849225656720 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18148] ppid=18138 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18148/stat : 18148 (java) S 18138 18141 13514 0 -1 1077944384 987 0 0 0 0 0 0 0 20 0 15 0 106025198 10914906112 298554 33554432000 4194304 4196468 140722015106704 139848725560048 139849622280834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
################
# More data... #
################
/proc/18141/statm: 2664772 2075171 3163 1 0 2627263 0
[pid=18141/tid=18143] ppid=18138 vsize=10659088 memory=303711736933122357 CPUtime=15.88 cores=1,3,5,7
/proc/18141/task/18143/stat : 18143 (java) S 18138 18141 13514 0 -1 1077944384 20756 0 0 0 1552 36 0 0 20 0 15 0 106025196 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849626493744 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18144] ppid=18138 vsize=10659088 memory=15535236834396114 CPUtime=56.04 cores=1,3,5,7
/proc/18141/task/18144/stat : 18144 (java) R 18138 18141 13514 0 -1 4202560 282050 0 0 0 5511 93 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849574890200 139849603865700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18145] ppid=18138 vsize=10659088 memory=26500 CPUtime=56.44 cores=1,3,5,7
/proc/18141/task/18145/stat : 18145 (java) R 18138 18141 13514 0 -1 4202560 433180 0 0 0 5530 114 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849573837656 139849607220307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18146] ppid=18138 vsize=10659088 memory=28708 CPUtime=56.07 cores=1,3,5,7
/proc/18141/task/18146/stat : 18146 (java) R 18138 18141 13514 0 -1 4202560 273108 0 0 0 5515 92 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849572784600 139849603865527 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18147] ppid=18138 vsize=10659088 memory=30916 CPUtime=55.63 cores=1,3,5,7
/proc/18141/task/18147/stat : 18147 (java) R 18138 18141 13514 0 -1 4202560 445918 0 0 0 5444 119 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849225656616 139849614897895 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18148] ppid=18138 vsize=10659088 memory=33124 CPUtime=9.16 cores=1,3,5,7
/proc/18141/task/18148/stat : 18148 (java) S 18138 18141 13514 0 -1 1077944384 30044 0 0 0 914 2 0 0 20 0 15 0 106025198 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848725558368 139849622279893 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18149] ppid=18138 vsize=10659088 memory=35332 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18149/stat : 18149 (java) S 18138 18141 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848724506336 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18150] ppid=18138 vsize=10659088 memory=37540 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18150/stat : 18150 (java) S 18138 18141 13514 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848723453184 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18151] ppid=18138 vsize=10659088 memory=39748 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18151/stat : 18151 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848722401744 139849622288283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18152] ppid=18138 vsize=10659088 memory=41956 CPUtime=1.11 cores=1,3,5,7
/proc/18141/task/18152/stat : 18152 (java) S 18138 18141 13514 0 -1 1077944384 4417 0 0 0 111 0 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848721348848 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18153] ppid=18138 vsize=10659088 memory=44164 CPUtime=1.42 cores=1,3,5,7
/proc/18141/task/18153/stat : 18153 (java) S 18138 18141 13514 0 -1 1077944384 6110 0 0 0 141 1 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848720296304 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18154] ppid=18138 vsize=10659088 memory=8300600 CPUtime=0.41 cores=1,3,5,7
/proc/18141/task/18154/stat : 18154 (java) S 18138 18141 13514 0 -1 1077944384 2512 0 0 0 41 0 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848719243248 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18155] ppid=18138 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18155/stat : 18155 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848718190944 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18156] ppid=18138 vsize=10659088 memory=140565690052368 CPUtime=0.03 cores=1,3,5,7
/proc/18141/task/18156/stat : 18156 (java) S 18138 18141 13514 0 -1 1077944384 255 0 0 0 2 1 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848717138992 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
Current children cumulated CPU time: 252.29 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8300684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+84.3116 s]
# the end of solver process 18141 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.508 s, system=4.73887 s
Solver just ended.
Dumping a history of the last processes samples
[startup+83.2008 s]
/proc/loadavg: 5.14 3.58 2.85 6/216 18233
/proc/meminfo: memFree=20040452/32770624 swapFree=67108860/67108860
[pid=18141] ppid=18138 vsize=10659088 memory=8300684 CPUtime=256.2 cores=1,3,5,7
/proc/18141/stat : 18141 (java) S 18138 18141 13514 0 -1 1077944320 1499748 0 0 0 25157 463 0 0 20 0 15 0 106025196 10914906112 2075171 33554432000 4194304 4196468 140722015106704 140722015089248 139849622269687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
/proc/18141/statm: 2664772 2075171 3163 1 0 2627263 0
[pid=18141/tid=18143] ppid=18138 vsize=10659088 memory=2236 CPUtime=15.88 cores=1,3,5,7
/proc/18141/task/18143/stat : 18143 (java) S 18138 18141 13514 0 -1 1077944384 20756 0 0 0 1552 36 0 0 20 0 15 0 106025196 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849626493744 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18144] ppid=18138 vsize=10659088 memory=1992 CPUtime=57.03 cores=1,3,5,7
/proc/18141/task/18144/stat : 18144 (java) R 18138 18141 13514 0 -1 4202560 282050 0 0 0 5610 93 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849574889584 139849614897895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18145] ppid=18138 vsize=10659088 memory=0 CPUtime=57.44 cores=1,3,5,7
/proc/18141/task/18145/stat : 18145 (java) R 18138 18141 13514 0 -1 4202560 433182 0 0 0 5630 114 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849573837656 139849606967473 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18146] ppid=18138 vsize=10659088 memory=0 CPUtime=57.06 cores=1,3,5,7
/proc/18141/task/18146/stat : 18146 (java) R 18138 18141 13514 0 -1 4202560 273109 0 0 0 5614 92 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849572784296 139849614897895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18147] ppid=18138 vsize=10659088 memory=0 CPUtime=56.57 cores=1,3,5,7
/proc/18141/task/18147/stat : 18147 (java) R 18138 18141 13514 0 -1 4202560 445918 0 0 0 5538 119 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849225656616 139849614897895 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18148] ppid=18138 vsize=10659088 memory=6791534058613427641 CPUtime=9.16 cores=1,3,5,7
/proc/18141/task/18148/stat : 18148 (java) S 18138 18141 13514 0 -1 1077944384 30044 0 0 0 914 2 0 0 20 0 15 0 106025198 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848725558368 139849622279893 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18149] ppid=18138 vsize=10659088 memory=2204 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18149/stat : 18149 (java) S 18138 18141 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848724506336 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18150] ppid=18138 vsize=10659088 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18150/stat : 18150 (java) S 18138 18141 13514 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848723453184 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18151] ppid=18138 vsize=10659088 memory=1520 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18151/stat : 18151 (java) S 18138 18141 13514 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848722401392 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18152] ppid=18138 vsize=10659088 memory=6791534058613427641 CPUtime=1.11 cores=1,3,5,7
/proc/18141/task/18152/stat : 18152 (java) S 18138 18141 13514 0 -1 1077944384 4417 0 0 0 111 0 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848721348848 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18153] ppid=18138 vsize=10659088 memory=2204 CPUtime=1.42 cores=1,3,5,7
/proc/18141/task/18153/stat : 18153 (java) S 18138 18141 13514 0 -1 1077944384 6110 0 0 0 141 1 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848720296304 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18154] ppid=18138 vsize=10659088 memory=1240 CPUtime=0.41 cores=1,3,5,7
/proc/18141/task/18154/stat : 18154 (java) S 18138 18141 13514 0 -1 1077944384 2512 0 0 0 41 0 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848719243248 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18155] ppid=18138 vsize=10659088 memory=8300600 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18155/stat : 18155 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848718190944 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18156] ppid=18138 vsize=10659088 memory=12708 CPUtime=0.03 cores=1,3,5,7
/proc/18141/task/18156/stat : 18156 (java) S 18138 18141 13514 0 -1 1077944384 255 0 0 0 2 1 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848717138992 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
Current children cumulated CPU time: 256.2 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8300684 KiB
[startup+84.0008 s]*
/proc/loadavg: 5.14 3.58 2.85 6/216 18233
/proc/meminfo: memFree=20040452/32770624 swapFree=67108860/67108860
[pid=18141] ppid=18138 vsize=10659088 memory=8300684 CPUtime=259.33 cores=1,3,5,7
/proc/18141/stat : 18141 (java) S 18138 18141 13514 0 -1 1077944320 1499766 0 0 0 25470 463 0 0 20 0 15 0 106025196 10914906112 2075171 33554432000 4194304 4196468 140722015106704 140722015089248 139849622269687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
/proc/18141/statm: 2664772 2075171 3163 1 0 2627263 0
[pid=18141/tid=18143] ppid=18138 vsize=10659088 memory=6791534058613427641 CPUtime=15.88 cores=1,3,5,7
/proc/18141/task/18143/stat : 18143 (java) S 18138 18141 13514 0 -1 1077944384 20756 0 0 0 1552 36 0 0 20 0 15 0 106025196 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849626493744 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18144] ppid=18138 vsize=10659088 memory=4126316290023845779 CPUtime=57.8 cores=1,3,5,7
/proc/18141/task/18144/stat : 18144 (java) R 18138 18141 13514 0 -1 4202560 282050 0 0 0 5687 93 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849574890000 139849606969599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18145] ppid=18138 vsize=10659088 memory=804 CPUtime=58.24 cores=1,3,5,7
/proc/18141/task/18145/stat : 18145 (java) R 18138 18141 13514 0 -1 4202560 433198 0 0 0 5710 114 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849573837456 139849606969518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18146] ppid=18138 vsize=10659088 memory=1696 CPUtime=57.83 cores=1,3,5,7
/proc/18141/task/18146/stat : 18146 (java) R 18138 18141 13514 0 -1 4202560 273109 0 0 0 5690 93 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849572784600 139849603879332 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18147] ppid=18138 vsize=10659088 memory=916 CPUtime=57.35 cores=1,3,5,7
/proc/18141/task/18147/stat : 18147 (java) R 18138 18141 13514 0 -1 4202560 445918 0 0 0 5616 119 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849225656608 139849607259323 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18148] ppid=18138 vsize=10659088 memory=3852 CPUtime=9.16 cores=1,3,5,7
/proc/18141/task/18148/stat : 18148 (java) S 18138 18141 13514 0 -1 1077944384 30046 0 0 0 914 2 0 0 20 0 15 0 106025198 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848725558592 139849622279893 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18149] ppid=18138 vsize=10659088 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18149/stat : 18149 (java) S 18138 18141 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848724506336 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18150] ppid=18138 vsize=10659088 memory=2708 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18150/stat : 18150 (java) S 18138 18141 13514 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848723453184 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18151] ppid=18138 vsize=10659088 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18151/stat : 18151 (java) S 18138 18141 13514 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848722401392 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18152] ppid=18138 vsize=10659088 memory=1408 CPUtime=1.11 cores=1,3,5,7
/proc/18141/task/18152/stat : 18152 (java) S 18138 18141 13514 0 -1 1077944384 4417 0 0 0 111 0 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848721348848 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18153] ppid=18138 vsize=10659088 memory=2948 CPUtime=1.42 cores=1,3,5,7
/proc/18141/task/18153/stat : 18153 (java) S 18138 18141 13514 0 -1 1077944384 6110 0 0 0 141 1 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848720296304 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18154] ppid=18138 vsize=10659088 memory=8300684 CPUtime=0.41 cores=1,3,5,7
/proc/18141/task/18154/stat : 18154 (java) S 18138 18141 13514 0 -1 1077944384 2512 0 0 0 41 0 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848719243248 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18155] ppid=18138 vsize=10659088 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18155/stat : 18155 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848718190944 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18156] ppid=18138 vsize=10659088 memory=2720 CPUtime=0.03 cores=1,3,5,7
/proc/18141/task/18156/stat : 18156 (java) S 18138 18141 13514 0 -1 1077944384 255 0 0 0 2 1 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848717138992 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
Current children cumulated CPU time: 259.33 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8300684 KiB
[startup+84.2008 s]
/proc/loadavg: 5.14 3.58 2.85 6/216 18233
/proc/meminfo: memFree=20040452/32770624 swapFree=67108860/67108860
[pid=18141] ppid=18138 vsize=10659088 memory=8300684 CPUtime=260.09 cores=1,3,5,7
/proc/18141/stat : 18141 (java) S 18138 18141 13514 0 -1 1077944320 1499766 0 0 0 25546 463 0 0 20 0 15 0 106025196 10914906112 2075171 33554432000 4194304 4196468 140722015106704 140722015089248 139849622269687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
/proc/18141/statm: 2664772 2075171 3163 1 0 2627263 0
[pid=18141/tid=18143] ppid=18138 vsize=10659088 memory=288230613214036277 CPUtime=15.88 cores=1,3,5,7
/proc/18141/task/18143/stat : 18143 (java) S 18138 18141 13514 0 -1 1077944384 20756 0 0 0 1552 36 0 0 20 0 15 0 106025196 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849626493744 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18144] ppid=18138 vsize=10659088 memory=15535236834396114 CPUtime=57.99 cores=1,3,5,7
/proc/18141/task/18144/stat : 18144 (java) R 18138 18141 13514 0 -1 4202560 282050 0 0 0 5706 93 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849574890200 139849607259283 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18145] ppid=18138 vsize=10659088 memory=15535236834396114 CPUtime=58.43 cores=1,3,5,7
/proc/18141/task/18145/stat : 18145 (java) R 18138 18141 13514 0 -1 4202560 433198 0 0 0 5729 114 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849573837656 139849607259330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18146] ppid=18138 vsize=10659088 memory=26500 CPUtime=58.02 cores=1,3,5,7
/proc/18141/task/18146/stat : 18146 (java) R 18138 18141 13514 0 -1 4202560 273109 0 0 0 5709 93 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849572784600 139849607259191 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18147] ppid=18138 vsize=10659088 memory=28708 CPUtime=57.54 cores=1,3,5,7
/proc/18141/task/18147/stat : 18147 (java) R 18138 18141 13514 0 -1 4202560 445918 0 0 0 5635 119 0 0 20 0 15 0 106025197 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139849225656608 139849607259251 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18148] ppid=18138 vsize=10659088 memory=30916 CPUtime=9.16 cores=1,3,5,7
/proc/18141/task/18148/stat : 18148 (java) S 18138 18141 13514 0 -1 1077944384 30046 0 0 0 914 2 0 0 20 0 15 0 106025198 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848725558592 139849622279893 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18149] ppid=18138 vsize=10659088 memory=33124 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18149/stat : 18149 (java) S 18138 18141 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848724506336 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18150] ppid=18138 vsize=10659088 memory=35332 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18150/stat : 18150 (java) S 18138 18141 13514 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 106025199 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848723453184 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18151] ppid=18138 vsize=10659088 memory=37540 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18151/stat : 18151 (java) S 18138 18141 13514 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848722401392 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18152] ppid=18138 vsize=10659088 memory=39748 CPUtime=1.11 cores=1,3,5,7
/proc/18141/task/18152/stat : 18152 (java) S 18138 18141 13514 0 -1 1077944384 4417 0 0 0 111 0 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848721348848 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18153] ppid=18138 vsize=10659088 memory=41956 CPUtime=1.42 cores=1,3,5,7
/proc/18141/task/18153/stat : 18153 (java) S 18138 18141 13514 0 -1 1077944384 6110 0 0 0 141 1 0 0 20 0 15 0 106025201 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848720296304 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18154] ppid=18138 vsize=10659088 memory=44164 CPUtime=0.41 cores=1,3,5,7
/proc/18141/task/18154/stat : 18154 (java) S 18138 18141 13514 0 -1 1077944384 2512 0 0 0 41 0 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848719243248 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18155] ppid=18138 vsize=10659088 memory=8300600 CPUtime=0 cores=1,3,5,7
/proc/18141/task/18155/stat : 18155 (java) S 18138 18141 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848718190944 139849622279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
[pid=18141/tid=18156] ppid=18138 vsize=10659088 memory=337156 CPUtime=0.03 cores=1,3,5,7
/proc/18141/task/18156/stat : 18156 (java) S 18138 18141 13514 0 -1 1077944384 255 0 0 0 2 1 0 0 20 0 15 0 106025202 10914906112 2075171 33554432000 4194304 4196468 140722015106704 139848717138992 139849622280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14041088 140722015110262 140722015110414 140722015110414 140722015113167 0
Current children cumulated CPU time: 260.09 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8300684 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 84.3117
CPU time (s): 260.247
CPU user time (s): 255.508
CPU system time (s): 4.73887
CPU usage (%): 308.672
Max. virtual memory (cumulated for all children) (KiB): 10659088
Max. memory (cumulated for all children) (KiB): 8300684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.508
system time used= 4.73887
maximum resident set size= 8300968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1499770
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12123
involuntary context switches= 5243
# summary of solver processes directly reported to runsolver:
# pid: 18141
# total CPU time (s): 260.247
# total CPU user time (s): 255.508
# total CPU system time (s): 4.73887
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.488216 second user time and 0.888754 second system time
The end