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-3742913-1338773437/watcher-3742913-1338773437 -o /tmp/evaluation-result-3742913-1338773437/solver-3742913-1338773437 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742913-1338773437.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: 2.00 2.01 2.00 3/196 15227
/proc/meminfo: memFree=24991860/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15227/stat : 15227 (java) D 15225 15227 14240 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 343468126 9515008 183 33554432000 1073741824 1073778376 140736935723888 140736935714920 254750310069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 2323 183 140 9 0 71 0
[startup+0.0304251 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 15227
/proc/meminfo: memFree=24991860/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=2414972 CPUtime=0 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15225 15227 14240 0 -1 4202496 3374 0 1 0 0 0 0 0 20 0 10 0 343468126 2472931328 4073 33554432000 1073741824 1073778376 140734632222960 140734632214096 254753669181 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15227/statm: 603743 4084 1286 9 0 594444 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2414972
[startup+0.100315 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 15227
/proc/meminfo: memFree=24991860/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15225 15227 14240 0 -1 4202496 4386 0 1 0 6 1 0 0 20 0 18 0 343468126 3028844544 6103 33554432000 1073741824 1073778376 140734632222960 140734632214096 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15227/statm: 739464 6104 1951 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300306 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 15227
/proc/meminfo: memFree=24991860/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=2957856 CPUtime=0.47 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15225 15227 14240 0 -1 4202496 6456 0 1 0 45 2 0 0 20 0 18 0 343468126 3028844544 12053 33554432000 1073741824 1073778376 140734632222960 140734632214096 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15227/statm: 739464 12053 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856
[startup+0.700314 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 15227
/proc/meminfo: memFree=24991860/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=2957856 CPUtime=1.3 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15225 15227 14240 0 -1 4202496 9177 0 1 0 125 5 0 0 20 0 18 0 343468126 3028844544 42280 33554432000 1073741824 1073778376 140734632222960 140734632214096 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15227/statm: 739464 42280 2253 9 0 729885 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 2957856
[startup+1.50076 s]
/proc/loadavg: 2.08 2.02 2.01 4/214 15245
/proc/meminfo: memFree=24744360/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=3024420 CPUtime=2.82 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15225 15227 14240 0 -1 4202496 15283 0 1 0 274 8 0 0 20 0 19 0 343468126 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 140734632214096 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15227/statm: 756105 68253 2279 9 0 746526 0
[pid=15227/tid=15229] ppid=15225 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15225 15227 14240 0 -1 4202560 3152 0 1 0 140 6 0 0 20 0 19 0 343468127 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897787089432 139897638757462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15230] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897770515112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15231] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897769462568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15232] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897768410024 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15233] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897767357480 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15234] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15225 15227 14240 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897766303912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15235] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897765251368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15236] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897764198824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15237] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15225 15227 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897763146280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15238] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15225 15227 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343468130 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897632430696 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15239] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15225 15227 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343468131 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897631377016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15240] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15225 15227 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343468131 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897630324360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15241] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468133 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897629273104 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15242] ppid=15225 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15225 15227 14240 0 -1 4202560 5272 0 0 0 61 1 0 0 20 0 19 0 343468133 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897628219448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15225 vsize=3024420 CPUtime=0.69 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15225 15227 14240 0 -1 4202560 5662 0 0 0 68 1 0 0 20 0 19 0 343468133 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897627166904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15244] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468133 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897626114552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15245] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468133 3097006080 68253 33554432000 1073741824 1073778376 140734632222960 139897625062216 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 3024420
[startup+3.10066 s]
/proc/loadavg: 2.08 2.02 2.01 3/214 15246
/proc/meminfo: memFree=24726732/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=3024420 CPUtime=4.48 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15225 15227 14240 0 -1 4202496 15304 0 1 0 440 8 0 0 20 0 19 0 343468126 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 140734632214096 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15227/statm: 756105 75936 2281 9 0 746526 0
[pid=15227/tid=15229] ppid=15225 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15225 15227 14240 0 -1 4202560 3169 0 1 0 300 6 0 0 20 0 19 0 343468127 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897787089272 139897637967760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15230] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897770515112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15231] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897769462568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15232] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897768410024 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15233] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897767357480 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15234] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15225 15227 14240 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897766303912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15235] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897765251368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15236] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897764198824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15237] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15225 15227 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897763146280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15238] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15225 15227 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343468130 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897632430696 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15239] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15225 15227 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343468131 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897631377016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15240] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15225 15227 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343468131 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897630324360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15241] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468133 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897629273104 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15242] ppid=15225 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15225 15227 14240 0 -1 4202560 5272 0 0 0 64 1 0 0 20 0 19 0 343468133 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897628219448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15225 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15225 15227 14240 0 -1 4202560 5662 0 0 0 72 1 0 0 20 0 19 0 343468133 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897627166904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15244] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468133 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897626114552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15245] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468133 3097006080 75936 33554432000 1073741824 1073778376 140734632222960 139897625062216 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 3024420
[startup+6.30075 s]
/proc/loadavg: 2.08 2.02 2.01 3/215 15247
/proc/meminfo: memFree=24670332/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=3024420 CPUtime=7.71 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15225 15227 14240 0 -1 4202496 15326 0 1 0 762 9 0 0 20 0 19 0 343468126 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 140734632214096 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15227/statm: 756105 85207 2281 9 0 746526 0
[pid=15227/tid=15229] ppid=15225 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15225 15227 14240 0 -1 4202560 3191 0 1 0 618 6 0 0 20 0 19 0 343468127 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897787087312 139897638639151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15230] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897770515112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15231] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897769462568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15232] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897768410024 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15233] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897767357480 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15234] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15225 15227 14240 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897766303912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15235] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897765251368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15236] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897764198824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15237] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15225 15227 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343468129 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897763146280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15238] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15225 15227 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343468130 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897632430696 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15239] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15225 15227 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343468131 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897631377016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15240] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15225 15227 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343468131 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897630324360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15241] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468133 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897629273104 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15242] ppid=15225 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15225 15227 14240 0 -1 4202560 5272 0 0 0 65 1 0 0 20 0 19 0 343468133 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897628219448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15225 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15225 15227 14240 0 -1 4202560 5662 0 0 0 73 2 0 0 20 0 19 0 343468133 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897627166904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15244] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468133 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897626114552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15245] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343468133 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897625062216 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15247] ppid=15225 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15247/stat : 15247 (java) S 15225 15227 14240 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343468371 3097006080 85207 33554432000 1073741824 1073778376 140734632222960 139897622930856 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.71
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
/proc/loadavg: 2.14 2.04 2.01 3/214 15248
/proc/meminfo: memFree=24577708/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=3024420 CPUtime=14.11 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15225 15227 14240 0 -1 4202496 15375 0 1 0 1401 10 0 0 20 0 19 0 343468126 3097006080 106715 33554432000 1073741824 1073778376 140734632222960 140734632214096 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
/proc/15227/task/15241/stat : 15241 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 343468133 3165167616 424680 33554432000 1073741824 1073778376 140734632222960 139897629273104 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15242] ppid=15225 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15225 15227 14240 0 -1 4202560 5299 0 0 0 74 2 0 0 20 0 20 0 343468133 3165167616 424680 33554432000 1073741824 1073778376 140734632222960 139897628212056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15225 vsize=3090984 CPUtime=0.98 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15225 15227 14240 0 -1 4202560 12110 0 0 0 96 2 0 0 20 0 20 0 343468133 3165167616 424680 33554432000 1073741824 1073778376 140734632222960 139897627159752 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15244] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 343468133 3165167616 424680 33554432000 1073741824 1073778376 140734632222960 139897626114552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15245] ppid=15225 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15225 15227 14240 0 -1 4202560 95 0 0 0 23 22 0 0 20 0 20 0 343468133 3165167616 424680 33554432000 1073741824 1073778376 140734632222960 139897625062216 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15250] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15250/stat : 15250 (java) S 15225 15227 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 343470050 3165167616 424680 33554432000 1073741824 1073778376 140734632222960 139897622931112 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15525] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15525/stat : 15525 (java) S 15225 15227 14240 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 343631199 3165167616 424680 33554432000 1073741824 1073778376 140734632222960 139896480063528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1638.33
Current children cumulated vsize (KiB) 3090984
[startup+1632.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/214 15525
/proc/meminfo: memFree=23296116/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=3090984 CPUtime=1638.75 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15225 15227 14240 0 -1 4202496 24342 0 1 0 163664 211 0 0 20 0 20 0 343468126 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 140734632214096 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15227/statm: 772746 424705 2309 9 0 763167 0
[pid=15227/tid=15229] ppid=15225 vsize=3090984 CPUtime=1620.69 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) S 15225 15227 14240 0 -1 4202560 3311 0 1 0 162035 34 0 0 20 0 20 0 343468127 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897787090104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15230] ppid=15225 vsize=3090984 CPUtime=0.97 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15225 15227 14240 0 -1 4202560 348 0 0 0 69 28 0 0 20 0 20 0 343468129 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897770515112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15231] ppid=15225 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15225 15227 14240 0 -1 4202560 260 0 0 0 54 22 0 0 20 0 20 0 343468129 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897769462568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15232] ppid=15225 vsize=3090984 CPUtime=0.72 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15225 15227 14240 0 -1 4202560 268 0 0 0 51 21 0 0 20 0 20 0 343468129 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897768410024 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15233] ppid=15225 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15225 15227 14240 0 -1 4202560 241 0 0 0 50 20 0 0 20 0 20 0 343468129 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897767357480 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15234] ppid=15225 vsize=3090984 CPUtime=0.67 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15225 15227 14240 0 -1 4202560 205 0 0 0 51 16 0 0 20 0 20 0 343468129 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897766303912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15235] ppid=15225 vsize=3090984 CPUtime=0.81 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15225 15227 14240 0 -1 4202560 270 0 0 0 59 22 0 0 20 0 20 0 343468129 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897765251368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15236] ppid=15225 vsize=3090984 CPUtime=0.8 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15225 15227 14240 0 -1 4202560 260 0 0 0 58 22 0 0 20 0 20 0 343468129 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897764198824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15237] ppid=15225 vsize=3090984 CPUtime=0.79 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15225 15227 14240 0 -1 4202560 290 0 0 0 55 24 0 0 20 0 20 0 343468129 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897763146280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15238] ppid=15225 vsize=3090984 CPUtime=5.53 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) R 15225 15227 14240 0 -1 4202560 163 0 0 0 552 1 0 0 20 0 20 0 343468130 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897632429224 139897793213841 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15239] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15225 15227 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 343468131 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897631377016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15240] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15225 15227 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 343468131 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897630324360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15241] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 343468133 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897629273104 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15242] ppid=15225 vsize=3090984 CPUtime=0.77 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15225 15227 14240 0 -1 4202560 5300 0 0 0 75 2 0 0 20 0 20 0 343468133 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897628205240 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15225 vsize=3090984 CPUtime=0.98 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15225 15227 14240 0 -1 4202560 12115 0 0 0 96 2 0 0 20 0 20 0 343468133 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897627144184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15244] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 343468133 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897626114552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15245] ppid=15225 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15225 15227 14240 0 -1 4202560 95 0 0 0 23 22 0 0 20 0 20 0 343468133 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897625062216 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15250] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15250/stat : 15250 (java) S 15225 15227 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 343470050 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139897622931112 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15525] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15525/stat : 15525 (java) S 15225 15227 14240 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 343631199 3165167616 424705 33554432000 1073741824 1073778376 140734632222960 139896480063528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1638.75
Current children cumulated vsize (KiB) 3090984
[startup+1632.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/214 15525
/proc/meminfo: memFree=23296116/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=3090984 CPUtime=1639.14 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15225 15227 14240 0 -1 4202496 24350 0 1 0 163703 211 0 0 20 0 20 0 343468126 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 140734632214096 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15227/statm: 772746 424708 2309 9 0 763167 0
[pid=15227/tid=15229] ppid=15225 vsize=3090984 CPUtime=1620.69 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) S 15225 15227 14240 0 -1 4202560 3311 0 1 0 162035 34 0 0 20 0 20 0 343468127 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897787090104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15230] ppid=15225 vsize=3090984 CPUtime=0.97 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15225 15227 14240 0 -1 4202560 348 0 0 0 69 28 0 0 20 0 20 0 343468129 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897770515112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15231] ppid=15225 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15225 15227 14240 0 -1 4202560 260 0 0 0 54 22 0 0 20 0 20 0 343468129 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897769462568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15232] ppid=15225 vsize=3090984 CPUtime=0.72 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15225 15227 14240 0 -1 4202560 268 0 0 0 51 21 0 0 20 0 20 0 343468129 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897768410024 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15233] ppid=15225 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15225 15227 14240 0 -1 4202560 241 0 0 0 50 20 0 0 20 0 20 0 343468129 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897767357480 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15234] ppid=15225 vsize=3090984 CPUtime=0.67 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15225 15227 14240 0 -1 4202560 205 0 0 0 51 16 0 0 20 0 20 0 343468129 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897766303912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15235] ppid=15225 vsize=3090984 CPUtime=0.81 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15225 15227 14240 0 -1 4202560 270 0 0 0 59 22 0 0 20 0 20 0 343468129 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897765251368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15236] ppid=15225 vsize=3090984 CPUtime=0.8 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15225 15227 14240 0 -1 4202560 260 0 0 0 58 22 0 0 20 0 20 0 343468129 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897764198824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15237] ppid=15225 vsize=3090984 CPUtime=0.79 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15225 15227 14240 0 -1 4202560 290 0 0 0 55 24 0 0 20 0 20 0 343468129 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897763146280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15238] ppid=15225 vsize=3090984 CPUtime=5.92 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) R 15225 15227 14240 0 -1 4202560 166 0 0 0 591 1 0 0 20 0 20 0 343468130 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897632430856 139897793943720 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15239] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15225 15227 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 343468131 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897631377016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15240] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15225 15227 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 343468131 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897630324360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15241] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 343468133 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897629273104 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15242] ppid=15225 vsize=3090984 CPUtime=0.77 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15225 15227 14240 0 -1 4202560 5300 0 0 0 75 2 0 0 20 0 20 0 343468133 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897628219448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15225 vsize=3090984 CPUtime=0.98 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15225 15227 14240 0 -1 4202560 12119 0 0 0 96 2 0 0 20 0 20 0 343468133 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897627152776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15244] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 343468133 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897626114552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15245] ppid=15225 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15225 15227 14240 0 -1 4202560 95 0 0 0 23 22 0 0 20 0 20 0 343468133 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897625062216 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15250] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15250/stat : 15250 (java) S 15225 15227 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 343470050 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139897622931112 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15525] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15525/stat : 15525 (java) S 15225 15227 14240 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 343631199 3165167616 424708 33554432000 1073741824 1073778376 140734632222960 139896480062792 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1639.14
Current children cumulated vsize (KiB) 3090984
[startup+1632.8 s]
/proc/loadavg: 2.01 2.00 2.00 3/214 15525
/proc/meminfo: memFree=23296116/32873844 swapFree=7628/7628
[pid=15227] ppid=15225 vsize=3090984 CPUtime=1639.24 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15225 15227 14240 0 -1 4202496 24352 0 1 0 163713 211 0 0 20 0 20 0 343468126 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 140734632214096 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15227/statm: 772746 424709 2309 9 0 763167 0
[pid=15227/tid=15229] ppid=15225 vsize=3090984 CPUtime=1620.69 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) S 15225 15227 14240 0 -1 4202560 3311 0 1 0 162035 34 0 0 20 0 20 0 343468127 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897787090104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15230] ppid=15225 vsize=3090984 CPUtime=0.97 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15225 15227 14240 0 -1 4202560 348 0 0 0 69 28 0 0 20 0 20 0 343468129 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897770515112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15231] ppid=15225 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15225 15227 14240 0 -1 4202560 260 0 0 0 54 22 0 0 20 0 20 0 343468129 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897769462568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15232] ppid=15225 vsize=3090984 CPUtime=0.72 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15225 15227 14240 0 -1 4202560 268 0 0 0 51 21 0 0 20 0 20 0 343468129 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897768410024 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15233] ppid=15225 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15225 15227 14240 0 -1 4202560 241 0 0 0 50 20 0 0 20 0 20 0 343468129 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897767357480 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15234] ppid=15225 vsize=3090984 CPUtime=0.67 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15225 15227 14240 0 -1 4202560 205 0 0 0 51 16 0 0 20 0 20 0 343468129 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897766303912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15235] ppid=15225 vsize=3090984 CPUtime=0.81 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15225 15227 14240 0 -1 4202560 270 0 0 0 59 22 0 0 20 0 20 0 343468129 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897765251368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15236] ppid=15225 vsize=3090984 CPUtime=0.8 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15225 15227 14240 0 -1 4202560 260 0 0 0 58 22 0 0 20 0 20 0 343468129 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897764198824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15237] ppid=15225 vsize=3090984 CPUtime=0.79 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15225 15227 14240 0 -1 4202560 290 0 0 0 55 24 0 0 20 0 20 0 343468129 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897763146280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15238] ppid=15225 vsize=3090984 CPUtime=6.02 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) R 15225 15227 14240 0 -1 4202560 167 0 0 0 601 1 0 0 20 0 20 0 343468130 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897632429304 139897793213583 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15239] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15225 15227 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 343468131 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897631377016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15240] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15225 15227 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 343468131 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897630324360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15241] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 343468133 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897629273104 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15242] ppid=15225 vsize=3090984 CPUtime=0.77 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15225 15227 14240 0 -1 4202560 5300 0 0 0 75 2 0 0 20 0 20 0 343468133 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897628219448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15225 vsize=3090984 CPUtime=0.99 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15225 15227 14240 0 -1 4202560 12120 0 0 0 97 2 0 0 20 0 20 0 343468133 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897627152776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15244] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15225 15227 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 343468133 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897626114552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15245] ppid=15225 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15225 15227 14240 0 -1 4202560 95 0 0 0 23 22 0 0 20 0 20 0 343468133 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897625062216 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15250] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15250/stat : 15250 (java) S 15225 15227 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 343470050 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139897622931112 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15525] ppid=15225 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15525/stat : 15525 (java) S 15225 15227 14240 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 343631199 3165167616 424709 33554432000 1073741824 1073778376 140734632222960 139896480063416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1639.24
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15227 and gives
# childrusage.ru_utime.tv_sec=1632
# childrusage.ru_utime.tv_usec=953753
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=500619
# CPU time returned by wait4() is 1635.45
# while last known CPU time is 1639.24
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1632.86
CPU time (s): 1639.24
CPU user time (s): 1637.13
CPU system time (s): 2.11
CPU usage (%): 100.391
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1632.95
system time used= 2.50062
maximum resident set size= 1705480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24361
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35935
involuntary context switches= 15031
runsolver used 5.08223 second user time and 11.1623 second system time
The end