runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458463-1307163124/watcher-3458463-1307163124 -o /tmp/evaluation-result-3458463-1307163124/solver-3458463-1307163124 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458463-1307163124.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.00 1.24 2/383 6223
/proc/meminfo: memFree=23734668/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 1240 0 0 0 0 0 0 0 18 0 2 0 827915124 31272960 959 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 7635 959 732 9 0 386 0
[pid=6223/tid=6226] ppid=6220 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 4501 0 1 0 0 0 0 0 18 0 2 0 827915125 13850947584 5318 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.055261 s]
/proc/loadavg: 0.92 1.00 1.24 2/383 6223
/proc/meminfo: memFree=23734668/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 13939 0 1 0 3 1 0 0 18 0 13 0 827915124 13874806784 13635 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3387404 13635 1684 9 0 3378152 0
[pid=6223/tid=6226] ppid=6220 vsize=13549616 CPUtime=0.03 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) S 6220 6223 6095 0 -1 4202560 12791 0 1 0 2 1 0 0 18 0 13 0 827915125 13874806784 13635 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382786527 0 2147483391 0 16800971 18446744071699199166 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616
[startup+0.107252 s]
/proc/loadavg: 0.92 1.00 1.24 2/383 6223
/proc/meminfo: memFree=23734668/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13621856 CPUtime=0.11 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 15600 0 1 0 9 2 0 0 18 0 18 0 827915124 13948780544 15294 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3405464 15295 2093 9 0 3396198 0
[pid=6223/tid=6226] ppid=6220 vsize=13621856 CPUtime=0.08 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 13667 0 1 0 7 1 0 0 18 0 18 0 827915125 13948780544 15295 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 47380798714627 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621856
[startup+0.300143 s]
/proc/loadavg: 0.92 1.00 1.24 2/383 6223
/proc/meminfo: memFree=23734668/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13623912 CPUtime=0.46 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 19037 0 1 0 44 2 0 0 18 0 18 0 827915124 13950885888 18407 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3405978 18407 2213 9 0 3396712 0
[pid=6223/tid=6226] ppid=6220 vsize=13623912 CPUtime=0.27 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 15682 0 1 0 26 1 0 0 18 0 18 0 827915125 13950885888 18408 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505555205 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623912
[startup+0.701119 s]
/proc/loadavg: 0.92 1.00 1.24 2/383 6223
/proc/meminfo: memFree=23734668/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13639896 CPUtime=1.59 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 29661 0 1 0 156 3 0 0 18 0 19 0 827915124 13967253504 25975 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3409974 25975 2235 9 0 3400708 0
[pid=6223/tid=6226] ppid=6220 vsize=13639896 CPUtime=0.68 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 17975 0 1 0 66 2 0 0 19 0 19 0 827915125 13967253504 25975 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505753166 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 13639896
[startup+1.50096 s]
/proc/loadavg: 0.92 1.00 1.24 3/423 6263
/proc/meminfo: memFree=23526356/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13639896 CPUtime=2.44 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 29923 0 1 0 241 3 0 0 18 0 19 0 827915124 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3409974 26236 2241 9 0 3400708 0
[pid=6223/tid=6226] ppid=6220 vsize=13639896 CPUtime=1.48 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18218 0 1 0 146 2 0 0 20 0 19 0 827915125 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505683278 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827915128 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827915129 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827915129 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13639896 CPUtime=0.43 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4726 0 0 0 43 0 0 0 18 0 19 0 827915131 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13639896 CPUtime=0.5 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5818 0 0 0 50 0 0 0 15 0 19 0 827915131 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915131 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 13639896
[startup+3.10068 s]
/proc/loadavg: 1.01 1.01 1.24 4/423 6263
/proc/meminfo: memFree=23516064/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13639896 CPUtime=4.15 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 31739 0 1 0 411 4 0 0 18 0 19 0 827915124 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3409974 28047 2267 9 0 3400708 0
[pid=6223/tid=6226] ppid=6220 vsize=13639896 CPUtime=3.06 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18404 0 1 0 304 2 0 0 18 0 19 0 827915125 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505616936 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 208 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 268 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 226 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 108 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13639896 CPUtime=0.01 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 808 0 0 0 1 0 0 0 15 0 19 0 827915128 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13639896 CPUtime=0.49 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4735 0 0 0 49 0 0 0 16 0 19 0 827915131 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13639896 CPUtime=0.54 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5827 0 0 0 54 0 0 0 15 0 19 0 827915131 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915131 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 13639896
[startup+6.30111 s]
/proc/loadavg: 1.01 1.01 1.24 3/423 6263
/proc/meminfo: memFree=23502420/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13639896 CPUtime=7.38 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 32410 0 1 0 734 4 0 0 18 0 19 0 827915124 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3409974 28643 2267 9 0 3400708 0
[pid=6223/tid=6226] ppid=6220 vsize=13639896 CPUtime=6.24 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18408 0 1 0 622 2 0 0 18 0 19 0 827915125 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505616959 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 426 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 268 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 215 0 0 0 0 0 0 0 16 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13639896 CPUtime=0.03 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 1039 0 0 0 3 0 0 0 15 0 19 0 827915128 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13639896 CPUtime=0.5 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4739 0 0 0 50 0 0 0 15 0 19 0 827915131 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13639896 CPUtime=0.55 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5827 0 0 0 55 0 0 0 16 0 19 0 827915131 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=6223/tid=6235] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 40 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 66 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 336 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13635452 CPUtime=7.82 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 2620 0 0 0 779 3 0 0 16 0 19 0 827915128 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13635452 CPUtime=0.53 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4753 0 0 0 53 0 0 0 15 0 19 0 827915131 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13635452 CPUtime=0.6 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5839 0 0 0 60 0 0 0 15 0 19 0 827915131 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827915131 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1723.87
Current children cumulated vsize (KiB) 13635452
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/423 6322
/proc/meminfo: memFree=23474168/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13635452 CPUtime=1783.88 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 35837 0 1 0 178378 10 0 0 18 0 19 0 827915124 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3408863 30401 2268 9 0 3399597 0
[pid=6223/tid=6226] ppid=6220 vsize=13635452 CPUtime=1773.74 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18764 0 1 0 177372 2 0 0 25 0 19 0 827915125 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505616991 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 498 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 806 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 431 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 297 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13635452 CPUtime=0.08 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 123 0 0 0 8 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 40 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 66 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 336 0 0 0 10 0 0 0 16 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13635452 CPUtime=8.13 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 2631 0 0 0 809 4 0 0 16 0 19 0 827915128 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13635452 CPUtime=0.53 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4753 0 0 0 53 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13635452 CPUtime=0.6 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5839 0 0 0 60 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1783.88
Current children cumulated vsize (KiB) 13635452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.52 s]
/proc/loadavg: 2.00 2.01 1.87 2/403 6325
/proc/meminfo: memFree=23616168/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13635452 CPUtime=1800.1 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 35843 0 1 0 180000 10 0 0 18 0 19 0 827915124 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3408863 30401 2268 9 0 3399597 0
[pid=6223/tid=6226] ppid=6220 vsize=13635452 CPUtime=1789.92 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18766 0 1 0 178990 2 0 0 25 0 19 0 827915125 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505909856 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 498 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 806 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 431 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 297 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 123 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 40 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 66 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 336 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13635452 CPUtime=8.18 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 2633 0 0 0 814 4 0 0 15 0 19 0 827915128 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13635452 CPUtime=0.53 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4753 0 0 0 53 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13635452 CPUtime=0.6 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5839 0 0 0 60 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13635452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.52 s]
/proc/loadavg: 2.00 2.01 1.87 2/403 6325
/proc/meminfo: memFree=23616168/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13635452 CPUtime=1800.1 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 35843 0 1 0 180000 10 0 0 18 0 19 0 827915124 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3408863 30401 2268 9 0 3399597 0
[pid=6223/tid=6226] ppid=6220 vsize=13635452 CPUtime=1789.92 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18766 0 1 0 178990 2 0 0 25 0 19 0 827915125 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505909856 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 498 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 806 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 431 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 297 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 123 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 40 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 66 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 336 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13635452 CPUtime=8.18 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 2633 0 0 0 814 4 0 0 15 0 19 0 827915128 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13635452 CPUtime=0.53 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4753 0 0 0 53 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13635452 CPUtime=0.6 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5839 0 0 0 60 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13635452
Child status: 143
Real time (s): 1798.57
CPU time (s): 1800.16
CPU user time (s): 1800.05
CPU system time (s): 0.112982
CPU usage (%): 100.089
Max. virtual memory (cumulated for all children) (KiB): 13643628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35885
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47548
involuntary context switches= 9755
runsolver used 6.71198 second user time and 16.0176 second system time
The end