runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3735168-1338705524/watcher-3735168-1338705524 -o /tmp/evaluation-result-3735168-1338705524/solver-3735168-1338705524 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3735168-1338705524.opb
running on 4 cores: 0,2,4,6
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: 2.00 2.00 2.00 3/196 12138
/proc/meminfo: memFree=28363220/32873844 swapFree=7620/7620
[pid=12138] ppid=12136 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12138/stat : 12138 (java) D 12136 12138 6422 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 336677205 9515008 182 33554432000 1073741824 1073778376 140736596252704 140736596243736 215124623029 0 0 4096 0 18446744072100748580 0 0 17 4 0 0 0 0 0
/proc/12138/statm: 2323 182 140 9 0 71 0
[startup+0.067867 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 12138
/proc/meminfo: memFree=28363220/32873844 swapFree=7620/7620
[pid=12138] ppid=12136 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/12138/stat : 12138 (java) S 12136 12138 6422 0 -1 4202496 4009 0 1 0 3 0 0 0 20 0 13 0 336677205 2686889984 5217 33554432000 1073741824 1073778376 140733269126176 140733269117312 215127982141 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12138/statm: 655979 5217 1709 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916
[startup+0.100255 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 12138
/proc/meminfo: memFree=28363220/32873844 swapFree=7620/7620
[pid=12138] ppid=12136 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/12138/stat : 12138 (java) S 12136 12138 6422 0 -1 4202496 4194 0 1 0 6 1 0 0 20 0 18 0 336677205 3028844544 5401 33554432000 1073741824 1073778376 140733269126176 140733269117312 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12138/statm: 739464 5401 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 12138
/proc/meminfo: memFree=28363220/32873844 swapFree=7620/7620
[pid=12138] ppid=12136 vsize=2957856 CPUtime=0.49 cores=0,2,4,6
/proc/12138/stat : 12138 (java) S 12136 12138 6422 0 -1 4202496 10342 0 1 0 47 2 0 0 20 0 18 0 336677205 3028844544 12167 33554432000 1073741824 1073778376 140733269126176 140733269117312 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12138/statm: 739464 12168 2241 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856
[startup+0.70024 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 12138
/proc/meminfo: memFree=28363220/32873844 swapFree=7620/7620
[pid=12138] ppid=12136 vsize=2957856 CPUtime=1.22 cores=0,2,4,6
/proc/12138/stat : 12138 (java) S 12136 12138 6422 0 -1 4202496 12313 0 1 0 117 5 0 0 20 0 18 0 336677205 3028844544 45798 33554432000 1073741824 1073778376 140733269126176 140733269117312 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12138/statm: 739464 45798 2260 9 0 729885 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 2957856
[startup+1.50069 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 12156
/proc/meminfo: memFree=28053376/32873844 swapFree=7620/7620
[pid=12138] ppid=12136 vsize=2957856 CPUtime=2.46 cores=0,2,4,6
/proc/12138/stat : 12138 (java) S 12136 12138 6422 0 -1 4202496 13406 0 1 0 231 15 0 0 20 0 18 0 336677205 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140733269117312 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12138/statm: 739464 125260 2280 9 0 729885 0
[pid=12138/tid=12140] ppid=12136 vsize=2957856 CPUtime=1.4 cores=0,2,4,6
/proc/12138/task/12140/stat : 12140 (java) R 12136 12138 6422 0 -1 4202560 3282 0 1 0 132 8 0 0 20 0 18 0 336677206 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519318855240 140519191576179 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12141] ppid=12136 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12141/stat : 12141 (java) S 12136 12138 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 18 0 336677207 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519184702248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12142] ppid=12136 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/12138/task/12142/stat : 12142 (java) S 12136 12138 6422 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 336677207 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519116106408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12143] ppid=12136 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/12138/task/12143/stat : 12143 (java) S 12136 12138 6422 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 336677207 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519115054120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12144] ppid=12136 vsize=2957856 CPUtime=0.04 cores=0,2,4,6
/proc/12138/task/12144/stat : 12144 (java) S 12136 12138 6422 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 18 0 336677207 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519114001320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12145] ppid=12136 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/12138/task/12145/stat : 12145 (java) S 12136 12138 6422 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 336677207 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519112948008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12146] ppid=12136 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/12138/task/12146/stat : 12146 (java) S 12136 12138 6422 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 336677207 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519111895208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12147] ppid=12136 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12147/stat : 12147 (java) S 12136 12138 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 336677207 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519110842920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12148] ppid=12136 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12148/stat : 12148 (java) S 12136 12138 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 18 0 336677207 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519109790120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12149] ppid=12136 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12149/stat : 12149 (java) S 12136 12138 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 336677209 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519097592552 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12150] ppid=12136 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12150/stat : 12150 (java) S 12136 12138 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 336677209 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519096538616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12151] ppid=12136 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12151/stat : 12151 (java) S 12136 12138 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 336677209 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519095486216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12152] ppid=12136 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12152/stat : 12152 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336677212 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519094434704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12153] ppid=12136 vsize=2957856 CPUtime=0.39 cores=0,2,4,6
/proc/12138/task/12153/stat : 12153 (java) S 12136 12138 6422 0 -1 4202560 4015 0 0 0 39 0 0 0 20 0 18 0 336677212 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519093381304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12154] ppid=12136 vsize=2957856 CPUtime=0.41 cores=0,2,4,6
/proc/12138/task/12154/stat : 12154 (java) S 12136 12138 6422 0 -1 4202560 4821 0 0 0 39 2 0 0 20 0 18 0 336677212 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519092328504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12155] ppid=12136 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12155/stat : 12155 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336677212 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519091276408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12156] ppid=12136 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12156/stat : 12156 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336677212 3028844544 125260 33554432000 1073741824 1073778376 140733269126176 140519090223816 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 2957856
[startup+3.10064 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 12157
/proc/meminfo: memFree=27869492/32873844 swapFree=7620/7620
[pid=12138] ppid=12136 vsize=3024420 CPUtime=4.46 cores=0,2,4,6
/proc/12138/stat : 12138 (java) S 12136 12138 6422 0 -1 4202496 13595 0 1 0 425 21 0 0 20 0 19 0 336677205 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140733269117312 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12138/statm: 756105 145284 2294 9 0 746526 0
[pid=12138/tid=12140] ppid=12136 vsize=3024420 CPUtime=2.9 cores=0,2,4,6
/proc/12138/task/12140/stat : 12140 (java) R 12136 12138 6422 0 -1 4202560 3296 0 1 0 282 8 0 0 20 0 19 0 336677206 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519318855776 140519191956709 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12141] ppid=12136 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/12138/task/12141/stat : 12141 (java) S 12136 12138 6422 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 19 0 336677207 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519184702248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12142] ppid=12136 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/12138/task/12142/stat : 12142 (java) S 12136 12138 6422 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 19 0 336677207 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519116106408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12143] ppid=12136 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/12138/task/12143/stat : 12143 (java) S 12136 12138 6422 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 19 0 336677207 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519115054120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12144] ppid=12136 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/12138/task/12144/stat : 12144 (java) S 12136 12138 6422 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 19 0 336677207 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519114001320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12145] ppid=12136 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/12138/task/12145/stat : 12145 (java) S 12136 12138 6422 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 19 0 336677207 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519112948008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12146] ppid=12136 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/12138/task/12146/stat : 12146 (java) S 12136 12138 6422 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 19 0 336677207 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519111895208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12147] ppid=12136 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/12138/task/12147/stat : 12147 (java) S 12136 12138 6422 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 19 0 336677207 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519110842920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12148] ppid=12136 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/12138/task/12148/stat : 12148 (java) S 12136 12138 6422 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 19 0 336677207 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519109790120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12149] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12149/stat : 12149 (java) S 12136 12138 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519097592552 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12150] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12150/stat : 12150 (java) S 12136 12138 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519096538616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12151] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12151/stat : 12151 (java) S 12136 12138 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519095486216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12152] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12152/stat : 12152 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519094434704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12153] ppid=12136 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12138/task/12153/stat : 12153 (java) S 12136 12138 6422 0 -1 4202560 4027 0 0 0 46 0 0 0 20 0 19 0 336677212 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519093381304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12154] ppid=12136 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/12138/task/12154/stat : 12154 (java) S 12136 12138 6422 0 -1 4202560 4841 0 0 0 52 2 0 0 20 0 19 0 336677212 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519092328504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12155] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12155/stat : 12155 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519091276408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12156] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12156/stat : 12156 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519090223816 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12157] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12157/stat : 12157 (java) S 12136 12138 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336677396 3097006080 145284 33554432000 1073741824 1073778376 140733269126176 140519088022952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 3024420
[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 2.00 4/215 12157
/proc/meminfo: memFree=27766464/32873844 swapFree=7620/7620
[pid=12138] ppid=12136 vsize=3024420 CPUtime=8 cores=0,2,4,6
/proc/12138/stat : 12138 (java) S 12136 12138 6422 0 -1 4202496 13710 0 1 0 775 25 0 0 20 0 19 0 336677205 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140733269117312 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12138/statm: 756105 150740 2295 9 0 746526 0
[pid=12138/tid=12140] ppid=12136 vsize=3024420 CPUtime=5.99 cores=0,2,4,6
/proc/12138/task/12140/stat : 12140 (java) R 12136 12138 6422 0 -1 4202560 3302 0 1 0 591 8 0 0 20 0 19 0 336677206 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519318854152 140519191951809 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12141] ppid=12136 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/12138/task/12141/stat : 12141 (java) S 12136 12138 6422 0 -1 4202560 47 0 0 0 9 0 0 0 20 0 19 0 336677207 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519184702248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12142] ppid=12136 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/12138/task/12142/stat : 12142 (java) S 12136 12138 6422 0 -1 4202560 41 0 0 0 7 2 0 0 20 0 19 0 336677207 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519116106408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12143] ppid=12136 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/12138/task/12143/stat : 12143 (java) S 12136 12138 6422 0 -1 4202560 48 0 0 0 11 2 0 0 20 0 19 0 336677207 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519115054120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12144] ppid=12136 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/12138/task/12144/stat : 12144 (java) S 12136 12138 6422 0 -1 4202560 48 0 0 0 7 3 0 0 20 0 19 0 336677207 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519114001320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12145] ppid=12136 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/12138/task/12145/stat : 12145 (java) S 12136 12138 6422 0 -1 4202560 36 0 0 0 6 2 0 0 20 0 19 0 336677207 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519112948008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12146] ppid=12136 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/12138/task/12146/stat : 12146 (java) S 12136 12138 6422 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 19 0 336677207 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519111895208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12147] ppid=12136 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/12138/task/12147/stat : 12147 (java) S 12136 12138 6422 0 -1 4202560 43 0 0 0 9 2 0 0 20 0 19 0 336677207 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519110842920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12148] ppid=12136 vsize=3024420 CPUtime=0.12 cores=0,2,4,6
/proc/12138/task/12148/stat : 12148 (java) S 12136 12138 6422 0 -1 4202560 45 0 0 0 10 2 0 0 20 0 19 0 336677207 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519109790120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12149] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12149/stat : 12149 (java) S 12136 12138 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519097592552 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12150] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12150/stat : 12150 (java) S 12136 12138 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519096538616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12151] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12151/stat : 12151 (java) S 12136 12138 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519095486216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12152] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12152/stat : 12152 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519094434704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12153] ppid=12136 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12138/task/12153/stat : 12153 (java) S 12136 12138 6422 0 -1 4202560 4027 0 0 0 46 0 0 0 20 0 19 0 336677212 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519093381304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12154] ppid=12136 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/12138/task/12154/stat : 12154 (java) S 12136 12138 6422 0 -1 4202560 4849 0 0 0 57 2 0 0 20 0 19 0 336677212 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519092328504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12155] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12155/stat : 12155 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519091276408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12156] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12156/stat : 12156 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519090223816 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12157] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12157/stat : 12157 (java) S 12136 12138 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336677396 3097006080 150740 33554432000 1073741824 1073778376 140733269126176 140519088022952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 12157
/proc/meminfo: memFree=27696864/32873844 swapFree=7620/7620
################
# More data... #
################
[pid=12138/tid=12153] ppid=12136 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12138/task/12153/stat : 12153 (java) S 12136 12138 6422 0 -1 4202560 4027 0 0 0 46 1 0 0 20 0 19 0 336677212 3097006080 197794 33554432000 1073741824 1073778376 140733269126176 140519093381304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12154] ppid=12136 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/12138/task/12154/stat : 12154 (java) S 12136 12138 6422 0 -1 4202560 4856 0 0 0 63 2 0 0 20 0 19 0 336677212 3097006080 197794 33554432000 1073741824 1073778376 140733269126176 140519092328504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12155] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12155/stat : 12155 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 197794 33554432000 1073741824 1073778376 140733269126176 140519091276408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12156] ppid=12136 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/12138/task/12156/stat : 12156 (java) S 12136 12138 6422 0 -1 4202560 93 0 0 0 33 31 0 0 20 0 19 0 336677212 3097006080 197794 33554432000 1073741824 1073778376 140733269126176 140519090223816 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12157] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12157/stat : 12157 (java) S 12136 12138 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336677396 3097006080 197794 33554432000 1073741824 1073778376 140733269126176 140519088022952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1634.96
Current children cumulated vsize (KiB) 3024420
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 12254
/proc/meminfo: memFree=27246096/32873844 swapFree=7620/7620
[pid=12138] ppid=12136 vsize=3024420 CPUtime=1696.13 cores=0,2,4,6
/proc/12138/stat : 12138 (java) S 12136 12138 6422 0 -1 4202496 16983 0 1 0 169507 106 0 0 20 0 19 0 336677205 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140733269117312 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12138/statm: 756105 198818 2295 9 0 746526 0
[pid=12138/tid=12140] ppid=12136 vsize=3024420 CPUtime=1644.21 cores=0,2,4,6
/proc/12138/task/12140/stat : 12140 (java) R 12136 12138 6422 0 -1 4202560 4142 0 1 0 164385 36 0 0 20 0 19 0 336677206 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519318854784 140519191956709 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12141] ppid=12136 vsize=3024420 CPUtime=5.71 cores=0,2,4,6
/proc/12138/task/12141/stat : 12141 (java) S 12136 12138 6422 0 -1 4202560 315 0 0 0 564 7 0 0 20 0 19 0 336677207 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519184702248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12142] ppid=12136 vsize=3024420 CPUtime=5.78 cores=0,2,4,6
/proc/12138/task/12142/stat : 12142 (java) S 12136 12138 6422 0 -1 4202560 315 0 0 0 572 6 0 0 20 0 19 0 336677207 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519116106408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12143] ppid=12136 vsize=3024420 CPUtime=5.92 cores=0,2,4,6
/proc/12138/task/12143/stat : 12143 (java) S 12136 12138 6422 0 -1 4202560 323 0 0 0 585 7 0 0 20 0 19 0 336677207 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519115054120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12144] ppid=12136 vsize=3024420 CPUtime=5.81 cores=0,2,4,6
/proc/12138/task/12144/stat : 12144 (java) S 12136 12138 6422 0 -1 4202560 322 0 0 0 574 7 0 0 20 0 19 0 336677207 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519114001320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12145] ppid=12136 vsize=3024420 CPUtime=5.69 cores=0,2,4,6
/proc/12138/task/12145/stat : 12145 (java) S 12136 12138 6422 0 -1 4202560 336 0 0 0 560 9 0 0 20 0 19 0 336677207 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519112948008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12146] ppid=12136 vsize=3024420 CPUtime=5.9 cores=0,2,4,6
/proc/12138/task/12146/stat : 12146 (java) S 12136 12138 6422 0 -1 4202560 328 0 0 0 582 8 0 0 20 0 19 0 336677207 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519111895208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12147] ppid=12136 vsize=3024420 CPUtime=5.39 cores=0,2,4,6
/proc/12138/task/12147/stat : 12147 (java) S 12136 12138 6422 0 -1 4202560 323 0 0 0 532 7 0 0 20 0 19 0 336677207 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519110842920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12148] ppid=12136 vsize=3024420 CPUtime=5.68 cores=0,2,4,6
/proc/12138/task/12148/stat : 12148 (java) S 12136 12138 6422 0 -1 4202560 318 0 0 0 561 7 0 0 20 0 19 0 336677207 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519109790120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12149] ppid=12136 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/12138/task/12149/stat : 12149 (java) S 12136 12138 6422 0 -1 4202560 102 0 0 0 10 5 0 0 20 0 19 0 336677209 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519097592552 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12150] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12150/stat : 12150 (java) S 12136 12138 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519096538616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12151] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12151/stat : 12151 (java) S 12136 12138 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519095486216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12152] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12152/stat : 12152 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519094434704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12153] ppid=12136 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12138/task/12153/stat : 12153 (java) S 12136 12138 6422 0 -1 4202560 4027 0 0 0 46 1 0 0 20 0 19 0 336677212 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519093381304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12154] ppid=12136 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/12138/task/12154/stat : 12154 (java) S 12136 12138 6422 0 -1 4202560 4856 0 0 0 63 2 0 0 20 0 19 0 336677212 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519092328504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12155] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12155/stat : 12155 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519091276408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12156] ppid=12136 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/12138/task/12156/stat : 12156 (java) S 12136 12138 6422 0 -1 4202560 95 0 0 0 34 32 0 0 20 0 19 0 336677212 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519090223816 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12157] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12157/stat : 12157 (java) S 12136 12138 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336677396 3097006080 198818 33554432000 1073741824 1073778376 140733269126176 140519088022952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1696.13
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 12254
/proc/meminfo: memFree=27241752/32873844 swapFree=7620/7620
[pid=12138] ppid=12136 vsize=3024420 CPUtime=1757.41 cores=0,2,4,6
/proc/12138/stat : 12138 (java) S 12136 12138 6422 0 -1 4202496 17026 0 1 0 175631 110 0 0 20 0 19 0 336677205 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140733269117312 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12138/statm: 756105 199842 2295 9 0 746526 0
[pid=12138/tid=12140] ppid=12136 vsize=3024420 CPUtime=1703.53 cores=0,2,4,6
/proc/12138/task/12140/stat : 12140 (java) R 12136 12138 6422 0 -1 4202560 4172 0 1 0 170316 37 0 0 20 0 19 0 336677206 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519318854864 215128007093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12141] ppid=12136 vsize=3024420 CPUtime=5.94 cores=0,2,4,6
/proc/12138/task/12141/stat : 12141 (java) S 12136 12138 6422 0 -1 4202560 316 0 0 0 587 7 0 0 20 0 19 0 336677207 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519184702248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12142] ppid=12136 vsize=3024420 CPUtime=6 cores=0,2,4,6
/proc/12138/task/12142/stat : 12142 (java) S 12136 12138 6422 0 -1 4202560 316 0 0 0 593 7 0 0 20 0 19 0 336677207 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519116106408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12143] ppid=12136 vsize=3024420 CPUtime=6.12 cores=0,2,4,6
/proc/12138/task/12143/stat : 12143 (java) S 12136 12138 6422 0 -1 4202560 324 0 0 0 604 8 0 0 20 0 19 0 336677207 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519115054120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12144] ppid=12136 vsize=3024420 CPUtime=6.03 cores=0,2,4,6
/proc/12138/task/12144/stat : 12144 (java) S 12136 12138 6422 0 -1 4202560 322 0 0 0 596 7 0 0 20 0 19 0 336677207 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519114001320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12145] ppid=12136 vsize=3024420 CPUtime=5.94 cores=0,2,4,6
/proc/12138/task/12145/stat : 12145 (java) S 12136 12138 6422 0 -1 4202560 337 0 0 0 585 9 0 0 20 0 19 0 336677207 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519112948008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12146] ppid=12136 vsize=3024420 CPUtime=6.13 cores=0,2,4,6
/proc/12138/task/12146/stat : 12146 (java) R 12136 12138 6422 0 -1 4202560 328 0 0 0 604 9 0 0 20 0 19 0 336677207 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519111895208 215127995452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12147] ppid=12136 vsize=3024420 CPUtime=5.6 cores=0,2,4,6
/proc/12138/task/12147/stat : 12147 (java) S 12136 12138 6422 0 -1 4202560 324 0 0 0 552 8 0 0 20 0 19 0 336677207 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519110842920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12148] ppid=12136 vsize=3024420 CPUtime=5.89 cores=0,2,4,6
/proc/12138/task/12148/stat : 12148 (java) S 12136 12138 6422 0 -1 4202560 318 0 0 0 582 7 0 0 20 0 19 0 336677207 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519109790120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12149] ppid=12136 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/12138/task/12149/stat : 12149 (java) S 12136 12138 6422 0 -1 4202560 106 0 0 0 11 5 0 0 20 0 19 0 336677209 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519097592552 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12150] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12150/stat : 12150 (java) S 12136 12138 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519096538616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12151] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12151/stat : 12151 (java) S 12136 12138 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519095486216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12152] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12152/stat : 12152 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519094434704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12153] ppid=12136 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12138/task/12153/stat : 12153 (java) S 12136 12138 6422 0 -1 4202560 4027 0 0 0 46 1 0 0 20 0 19 0 336677212 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519093381304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12154] ppid=12136 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/12138/task/12154/stat : 12154 (java) S 12136 12138 6422 0 -1 4202560 4856 0 0 0 63 2 0 0 20 0 19 0 336677212 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519092328504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12155] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12155/stat : 12155 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519091276408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12156] ppid=12136 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/12138/task/12156/stat : 12156 (java) S 12136 12138 6422 0 -1 4202560 99 0 0 0 35 33 0 0 20 0 19 0 336677212 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519090223816 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12157] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12157/stat : 12157 (java) S 12136 12138 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336677396 3097006080 199842 33554432000 1073741824 1073778376 140733269126176 140519088022952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1757.41
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1764.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 12255
/proc/meminfo: memFree=26872368/32873844 swapFree=7620/7620
[pid=12138] ppid=12136 vsize=3024420 CPUtime=1800.1 cores=0,2,4,6
/proc/12138/stat : 12138 (java) S 12136 12138 6422 0 -1 4202496 17052 0 1 0 179900 110 0 0 20 0 19 0 336677205 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140733269117312 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12138/statm: 756105 200354 2295 9 0 746526 0
[pid=12138/tid=12140] ppid=12136 vsize=3024420 CPUtime=1745 cores=0,2,4,6
/proc/12138/task/12140/stat : 12140 (java) R 12136 12138 6422 0 -1 4202560 4191 0 1 0 174462 38 0 0 20 0 19 0 336677206 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519318854880 140519191957256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12138/tid=12141] ppid=12136 vsize=3024420 CPUtime=6.08 cores=0,2,4,6
/proc/12138/task/12141/stat : 12141 (java) S 12136 12138 6422 0 -1 4202560 317 0 0 0 600 8 0 0 20 0 19 0 336677207 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519184702248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12142] ppid=12136 vsize=3024420 CPUtime=6.13 cores=0,2,4,6
/proc/12138/task/12142/stat : 12142 (java) S 12136 12138 6422 0 -1 4202560 316 0 0 0 606 7 0 0 20 0 19 0 336677207 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519116106408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12143] ppid=12136 vsize=3024420 CPUtime=6.23 cores=0,2,4,6
/proc/12138/task/12143/stat : 12143 (java) S 12136 12138 6422 0 -1 4202560 324 0 0 0 615 8 0 0 20 0 19 0 336677207 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519115054120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12144] ppid=12136 vsize=3024420 CPUtime=6.16 cores=0,2,4,6
/proc/12138/task/12144/stat : 12144 (java) S 12136 12138 6422 0 -1 4202560 322 0 0 0 609 7 0 0 20 0 19 0 336677207 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519114001320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12145] ppid=12136 vsize=3024420 CPUtime=6.08 cores=0,2,4,6
/proc/12138/task/12145/stat : 12145 (java) S 12136 12138 6422 0 -1 4202560 338 0 0 0 599 9 0 0 20 0 19 0 336677207 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519112948008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12146] ppid=12136 vsize=3024420 CPUtime=6.3 cores=0,2,4,6
/proc/12138/task/12146/stat : 12146 (java) S 12136 12138 6422 0 -1 4202560 328 0 0 0 621 9 0 0 20 0 19 0 336677207 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519111895208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12147] ppid=12136 vsize=3024420 CPUtime=5.75 cores=0,2,4,6
/proc/12138/task/12147/stat : 12147 (java) S 12136 12138 6422 0 -1 4202560 324 0 0 0 567 8 0 0 20 0 19 0 336677207 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519110842920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12148] ppid=12136 vsize=3024420 CPUtime=6.05 cores=0,2,4,6
/proc/12138/task/12148/stat : 12148 (java) S 12136 12138 6422 0 -1 4202560 319 0 0 0 598 7 0 0 20 0 19 0 336677207 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519109790120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12149] ppid=12136 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/12138/task/12149/stat : 12149 (java) S 12136 12138 6422 0 -1 4202560 108 0 0 0 11 5 0 0 20 0 19 0 336677209 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519097592552 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12150] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12150/stat : 12150 (java) S 12136 12138 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519096538616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12151] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12151/stat : 12151 (java) S 12136 12138 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336677209 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519095486216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12152] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12152/stat : 12152 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519094434704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12153] ppid=12136 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12138/task/12153/stat : 12153 (java) S 12136 12138 6422 0 -1 4202560 4027 0 0 0 46 1 0 0 20 0 19 0 336677212 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519093381304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12154] ppid=12136 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/12138/task/12154/stat : 12154 (java) S 12136 12138 6422 0 -1 4202560 4856 0 0 0 63 2 0 0 20 0 19 0 336677212 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519092328504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12138/tid=12155] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12155/stat : 12155 (java) S 12136 12138 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336677212 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519091276408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12138/tid=12156] ppid=12136 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/12138/task/12156/stat : 12156 (java) S 12136 12138 6422 0 -1 4202560 101 0 0 0 36 34 0 0 20 0 19 0 336677212 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519090223816 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12138/tid=12157] ppid=12136 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12138/task/12157/stat : 12157 (java) S 12136 12138 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336677396 3097006080 200354 33554432000 1073741824 1073778376 140733269126176 140519088022952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12138 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=459200
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=561762
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1764.22
CPU time (s): 1800.1
CPU user time (s): 1799
CPU system time (s): 1.1
CPU usage (%): 102.034
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.46
system time used= 1.56176
maximum resident set size= 801532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17083
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64256
involuntary context switches= 79688
runsolver used 6.00909 second user time and 15.1237 second system time
The end