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-3743876-1338788854/watcher-3743876-1338788854 -o /tmp/evaluation-result-3743876-1338788854/solver-3743876-1338788854 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3743876-1338788854.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.07 2.04 2.00 3/194 8325
/proc/meminfo: memFree=26301348/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/8325/stat : 8325 (java) D 8323 8325 6470 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 345010161 9515008 182 33554432000 1073741824 1073778376 140736687511280 140736687502312 212073266869 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/8325/statm: 2323 182 140 9 0 71 0
[startup+0.0894051 s]
/proc/loadavg: 2.07 2.04 2.00 3/194 8325
/proc/meminfo: memFree=26301348/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/8325/stat : 8325 (java) S 8323 8325 6470 0 -1 4202496 4395 0 1 0 6 1 0 0 20 0 18 0 345010161 3028844544 6114 33554432000 1073741824 1073778376 140734450482256 140734450473392 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8325/statm: 739464 6114 1951 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.100281 s]
/proc/loadavg: 2.07 2.04 2.00 3/194 8325
/proc/meminfo: memFree=26301348/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/8325/stat : 8325 (java) S 8323 8325 6470 0 -1 4202496 4908 0 1 0 8 1 0 0 20 0 18 0 345010161 3028844544 6618 33554432000 1073741824 1073778376 140734450482256 140734450473392 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8325/statm: 739464 6618 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.30028 s]
/proc/loadavg: 2.07 2.04 2.00 3/194 8325
/proc/meminfo: memFree=26301348/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/8325/stat : 8325 (java) S 8323 8325 6470 0 -1 4202496 5995 0 1 0 44 1 0 0 20 0 18 0 345010161 3028844544 21003 33554432000 1073741824 1073778376 140734450482256 140734450473392 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8325/statm: 739464 21003 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2957856
[startup+0.70029 s]
/proc/loadavg: 2.07 2.04 2.00 3/194 8325
/proc/meminfo: memFree=26301348/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=2957856 CPUtime=1.5 cores=1,3,5,7
/proc/8325/stat : 8325 (java) S 8323 8325 6470 0 -1 4202496 14427 0 1 0 146 4 0 0 20 0 18 0 345010161 3028844544 49218 33554432000 1073741824 1073778376 140734450482256 140734450473392 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8325/statm: 739464 49218 2253 9 0 729885 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 2957856
[startup+1.50076 s]
/proc/loadavg: 2.07 2.04 2.00 3/212 8343
/proc/meminfo: memFree=25974812/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=2957856 CPUtime=2.69 cores=1,3,5,7
/proc/8325/stat : 8325 (java) S 8323 8325 6470 0 -1 4202496 14745 0 1 0 254 15 0 0 20 0 18 0 345010161 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140734450473392 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8325/statm: 739464 137844 2277 9 0 729885 0
[pid=8325/tid=8327] ppid=8323 vsize=2957856 CPUtime=1.37 cores=1,3,5,7
/proc/8325/task/8327/stat : 8327 (java) R 8323 8325 6470 0 -1 4202560 3241 0 1 0 129 8 0 0 20 0 18 0 345010162 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140695419841976 140695291973705 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 6470 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 18 0 345010163 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140695285705128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 6470 0 -1 4202560 42 0 0 0 6 2 0 0 20 0 18 0 345010163 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140695284652584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 6470 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 345010163 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140695283599528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8331] ppid=8323 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 6470 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 345010163 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140695282546984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 6470 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 345010163 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140695281494952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8333] ppid=8323 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 6470 0 -1 4202560 19 0 0 0 1 2 0 0 20 0 18 0 345010163 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140695280442408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8334] ppid=8323 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/8325/task/8334/stat : 8334 (java) S 8323 8325 6470 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 345010163 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140695279389352 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8335] ppid=8323 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/8325/task/8335/stat : 8335 (java) S 8323 8325 6470 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 345010163 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140695278336808 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8336] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8336/stat : 8336 (java) S 8323 8325 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345010164 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140694795966824 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8337] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8337/stat : 8337 (java) S 8323 8325 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345010164 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140694794913144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8338] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8338/stat : 8338 (java) S 8323 8325 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345010165 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140694793859976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8339] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8339/stat : 8339 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345010167 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140694792808720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8340] ppid=8323 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/8325/task/8340/stat : 8340 (java) S 8323 8325 6470 0 -1 4202560 5135 0 0 0 45 0 0 0 20 0 18 0 345010167 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140694791756600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8341] ppid=8323 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/8325/task/8341/stat : 8341 (java) S 8323 8325 6470 0 -1 4202560 5007 0 0 0 44 0 0 0 20 0 18 0 345010167 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140694790704056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8342] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8342/stat : 8342 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345010167 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140694789651192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8343] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8343/stat : 8343 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345010167 3028844544 137844 33554432000 1073741824 1073778376 140734450482256 140694788598856 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 2957856
[startup+3.10065 s]
/proc/loadavg: 2.07 2.04 2.00 10/212 8343
/proc/meminfo: memFree=25661100/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=2957856 CPUtime=4.91 cores=1,3,5,7
/proc/8325/stat : 8325 (java) S 8323 8325 6470 0 -1 4202496 15046 0 1 0 460 31 0 0 20 0 18 0 345010161 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140734450473392 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8325/statm: 739464 174758 2277 9 0 729885 0
[pid=8325/tid=8327] ppid=8323 vsize=2957856 CPUtime=2.75 cores=1,3,5,7
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 6470 0 -1 4202560 3242 0 1 0 267 8 0 0 20 0 18 0 345010162 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140695419842296 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/8325/task/8328/stat : 8328 (java) R 8323 8325 6470 0 -1 4202560 88 0 0 0 17 4 0 0 20 0 18 0 345010163 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140695285705304 140695426739020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/8325/task/8329/stat : 8329 (java) R 8323 8325 6470 0 -1 4202560 114 0 0 0 22 5 0 0 20 0 18 0 345010163 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140695284652760 140695426738721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/8325/task/8330/stat : 8330 (java) R 8323 8325 6470 0 -1 4202560 49 0 0 0 8 2 0 0 20 0 18 0 345010163 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140695283599704 140695426739116 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8331] ppid=8323 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/8325/task/8331/stat : 8331 (java) R 8323 8325 6470 0 -1 4202560 38 0 0 0 8 2 0 0 20 0 18 0 345010163 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140695282547160 140695426741315 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=2957856 CPUtime=0.15 cores=1,3,5,7
/proc/8325/task/8332/stat : 8332 (java) R 8323 8325 6470 0 -1 4202560 61 0 0 0 12 3 0 0 20 0 18 0 345010163 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140695281495128 140695426739097 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8333] ppid=8323 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/8325/task/8333/stat : 8333 (java) R 8323 8325 6470 0 -1 4202560 44 0 0 0 7 3 0 0 20 0 18 0 345010163 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140695280442288 140695424018607 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8334] ppid=8323 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/8325/task/8334/stat : 8334 (java) R 8323 8325 6470 0 -1 4202560 42 0 0 0 7 2 0 0 20 0 18 0 345010163 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140695279389528 140695426741495 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8335] ppid=8323 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/8325/task/8335/stat : 8335 (java) R 8323 8325 6470 0 -1 4202560 42 0 0 0 7 2 0 0 20 0 18 0 345010163 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140695278336984 140695422314197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8336] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8336/stat : 8336 (java) S 8323 8325 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345010164 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140694795965704 212076639292 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8337] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8337/stat : 8337 (java) S 8323 8325 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345010164 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140694794913144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8338] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8338/stat : 8338 (java) S 8323 8325 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345010165 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140694793859976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8339] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8339/stat : 8339 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345010167 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140694792808720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8340] ppid=8323 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/8325/task/8340/stat : 8340 (java) S 8323 8325 6470 0 -1 4202560 5135 0 0 0 45 0 0 0 20 0 18 0 345010167 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140694791756600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8341] ppid=8323 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/8325/task/8341/stat : 8341 (java) S 8323 8325 6470 0 -1 4202560 5007 0 0 0 44 0 0 0 20 0 18 0 345010167 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140694790704056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8342] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8342/stat : 8342 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345010167 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140694789651192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8343] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8343/stat : 8343 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345010167 3028844544 174758 33554432000 1073741824 1073778376 140734450482256 140694788598856 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 2957856
[startup+6.30065 s]
/proc/loadavg: 2.07 2.04 2.00 3/212 8343
/proc/meminfo: memFree=25356268/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=2957856 CPUtime=10.5 cores=1,3,5,7
/proc/8325/stat : 8325 (java) S 8323 8325 6470 0 -1 4202496 16650 0 1 0 980 70 0 0 20 0 18 0 345010161 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140734450473392 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8325/statm: 739464 261933 2277 9 0 729885 0
[pid=8325/tid=8327] ppid=8323 vsize=2957856 CPUtime=5.13 cores=1,3,5,7
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 6470 0 -1 4202560 3246 0 1 0 505 8 0 0 20 0 18 0 345010162 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140695419842168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=2957856 CPUtime=0.56 cores=1,3,5,7
/proc/8325/task/8328/stat : 8328 (java) R 8323 8325 6470 0 -1 4202560 404 0 0 0 48 8 0 0 20 0 18 0 345010163 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140695285705128 140695424018607 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=2957856 CPUtime=0.63 cores=1,3,5,7
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 6470 0 -1 4202560 193 0 0 0 54 9 0 0 20 0 18 0 345010163 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140695284652584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=2957856 CPUtime=0.51 cores=1,3,5,7
/proc/8325/task/8330/stat : 8330 (java) R 8323 8325 6470 0 -1 4202560 142 0 0 0 43 8 0 0 20 0 18 0 345010163 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140695283599704 140695422314204 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8331] ppid=8323 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/8325/task/8331/stat : 8331 (java) R 8323 8325 6470 0 -1 4202560 133 0 0 0 42 6 0 0 20 0 18 0 345010163 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140695282546984 212076639292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=2957856 CPUtime=0.51 cores=1,3,5,7
/proc/8325/task/8332/stat : 8332 (java) R 8323 8325 6470 0 -1 4202560 179 0 0 0 44 7 0 0 20 0 18 0 345010163 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140695281494952 140695424018607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8333] ppid=8323 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/8325/task/8333/stat : 8333 (java) R 8323 8325 6470 0 -1 4202560 371 0 0 0 41 7 0 0 20 0 18 0 345010163 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140695280442584 140695424018607 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8334] ppid=8323 vsize=2957856 CPUtime=0.52 cores=1,3,5,7
/proc/8325/task/8334/stat : 8334 (java) R 8323 8325 6470 0 -1 4202560 261 0 0 0 45 7 0 0 20 0 18 0 345010163 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140695279389528 140695424018607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8335] ppid=8323 vsize=2957856 CPUtime=0.61 cores=1,3,5,7
/proc/8325/task/8335/stat : 8335 (java) S 8323 8325 6470 0 -1 4202560 395 0 0 0 52 9 0 0 20 0 18 0 345010163 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140695278336808 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8336] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8336/stat : 8336 (java) S 8323 8325 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345010164 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140694795965704 212076639292 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8337] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8337/stat : 8337 (java) S 8323 8325 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345010164 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140694794913144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8338] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8338/stat : 8338 (java) S 8323 8325 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345010165 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140694793859976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8339] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8339/stat : 8339 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345010167 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140694792808720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8340] ppid=8323 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/8325/task/8340/stat : 8340 (java) S 8323 8325 6470 0 -1 4202560 5135 0 0 0 45 0 0 0 20 0 18 0 345010167 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140694791756600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8341] ppid=8323 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/8325/task/8341/stat : 8341 (java) S 8323 8325 6470 0 -1 4202560 5007 0 0 0 44 0 0 0 20 0 18 0 345010167 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140694790704056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8342] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8342/stat : 8342 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345010167 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140694789651192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8343] ppid=8323 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8343/stat : 8343 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345010167 3028844544 261933 33554432000 1073741824 1073778376 140734450482256 140694788598856 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.5
Current children cumulated vsize (KiB) 2957856
[startup+12.7008 s]
/proc/loadavg: 2.62 2.15 2.04 3/212 8343
/proc/meminfo: memFree=24964964/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=2957856 CPUtime=20.81 cores=1,3,5,7
/proc/8325/stat : 8325 (java) S 8323 8325 6470 0 -1 4202496 18771 0 1 0 1982 99 0 0 20 0 18 0 345010161 3028844544 337274 33554432000 1073741824 1073778376 140734450482256 140734450473392 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8325/statm: 739464 337274 2277 9 0 729885 0
[pid=8325/tid=8327] ppid=8323 vsize=2957856 CPUtime=10.17 cores=1,3,5,7
################
# More data... #
################
[pid=8325/tid=8340] ppid=8323 vsize=3024420 CPUtime=0.97 cores=1,3,5,7
/proc/8325/task/8340/stat : 8340 (java) S 8323 8325 6470 0 -1 4202560 9300 0 0 0 95 2 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694791756600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8341] ppid=8323 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/8325/task/8341/stat : 8341 (java) S 8323 8325 6470 0 -1 4202560 5050 0 0 0 81 0 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694790704056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8342] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8342/stat : 8342 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694789651192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8343] ppid=8323 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/8325/task/8343/stat : 8343 (java) S 8323 8325 6470 0 -1 4202560 89 0 0 0 27 41 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694788598856 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8344] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8344/stat : 8344 (java) S 8323 8325 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345011759 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694786466856 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1643.1
Current children cumulated vsize (KiB) 3024420
[startup+1602.3 s]
/proc/loadavg: 2.48 2.14 2.07 3/213 8440
/proc/meminfo: memFree=25838088/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=3024420 CPUtime=1704.79 cores=1,3,5,7
/proc/8325/stat : 8325 (java) S 8323 8325 6470 0 -1 4202496 1091046 0 1 0 170073 406 0 0 20 0 19 0 345010161 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140734450473392 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8325/statm: 756105 425179 2310 9 0 746526 0
[pid=8325/tid=8327] ppid=8323 vsize=3024420 CPUtime=1160.94 cores=1,3,5,7
/proc/8325/task/8327/stat : 8327 (java) R 8323 8325 6470 0 -1 4202560 3897 0 1 0 116064 30 0 0 20 0 19 0 345010162 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695419841776 140695292550727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=3024420 CPUtime=16.83 cores=1,3,5,7
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 6470 0 -1 4202560 904 0 0 0 1663 20 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695285705128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=3024420 CPUtime=17.19 cores=1,3,5,7
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 6470 0 -1 4202560 882 0 0 0 1696 23 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695284652584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=3024420 CPUtime=17.64 cores=1,3,5,7
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 6470 0 -1 4202560 796 0 0 0 1742 22 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695283599528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8331] ppid=8323 vsize=3024420 CPUtime=16.9 cores=1,3,5,7
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 6470 0 -1 4202560 1003 0 0 0 1670 20 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695282546984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=3024420 CPUtime=16.6 cores=1,3,5,7
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 6470 0 -1 4202560 906 0 0 0 1640 20 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695281494952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8333] ppid=8323 vsize=3024420 CPUtime=16.99 cores=1,3,5,7
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 6470 0 -1 4202560 748 0 0 0 1679 20 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695280442408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8334] ppid=8323 vsize=3024420 CPUtime=16.35 cores=1,3,5,7
/proc/8325/task/8334/stat : 8334 (java) S 8323 8325 6470 0 -1 4202560 870 0 0 0 1615 20 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695279389352 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8335] ppid=8323 vsize=3024420 CPUtime=16.55 cores=1,3,5,7
/proc/8325/task/8335/stat : 8335 (java) S 8323 8325 6470 0 -1 4202560 761 0 0 0 1634 21 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695278336808 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8336] ppid=8323 vsize=3024420 CPUtime=401.98 cores=1,3,5,7
/proc/8325/task/8336/stat : 8336 (java) S 8323 8325 6470 0 -1 4202560 1064653 0 0 0 40002 196 0 0 20 0 19 0 345010164 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694795966824 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8337] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8337/stat : 8337 (java) S 8323 8325 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345010164 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694794913144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8338] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8338/stat : 8338 (java) S 8323 8325 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345010165 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694793859976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8339] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8339/stat : 8339 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694792808720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8340] ppid=8323 vsize=3024420 CPUtime=0.97 cores=1,3,5,7
/proc/8325/task/8340/stat : 8340 (java) S 8323 8325 6470 0 -1 4202560 9300 0 0 0 95 2 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694791756600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8341] ppid=8323 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/8325/task/8341/stat : 8341 (java) S 8323 8325 6470 0 -1 4202560 5051 0 0 0 81 0 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694790704056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8342] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8342/stat : 8342 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694789651192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8343] ppid=8323 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/8325/task/8343/stat : 8343 (java) S 8323 8325 6470 0 -1 4202560 93 0 0 0 29 43 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694788598856 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8344] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8344/stat : 8344 (java) S 8323 8325 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345011759 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694786466856 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1704.79
Current children cumulated vsize (KiB) 3024420
[startup+1662.3 s]
/proc/loadavg: 2.22 2.12 2.07 3/213 8440
/proc/meminfo: memFree=25644344/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=3024420 CPUtime=1766.46 cores=1,3,5,7
/proc/8325/stat : 8325 (java) S 8323 8325 6470 0 -1 4202496 1119977 0 1 0 176231 415 0 0 20 0 19 0 345010161 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140734450473392 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8325/statm: 756105 425179 2310 9 0 746526 0
[pid=8325/tid=8327] ppid=8323 vsize=3024420 CPUtime=1208.16 cores=1,3,5,7
/proc/8325/task/8327/stat : 8327 (java) R 8323 8325 6470 0 -1 4202560 3921 0 1 0 120785 31 0 0 20 0 19 0 345010162 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695419841792 140695292556852 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=3024420 CPUtime=17.12 cores=1,3,5,7
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 6470 0 -1 4202560 904 0 0 0 1692 20 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695285705128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=3024420 CPUtime=17.5 cores=1,3,5,7
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 6470 0 -1 4202560 882 0 0 0 1727 23 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695284652584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=3024420 CPUtime=17.89 cores=1,3,5,7
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 6470 0 -1 4202560 796 0 0 0 1767 22 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695283599528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8331] ppid=8323 vsize=3024420 CPUtime=17.18 cores=1,3,5,7
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 6470 0 -1 4202560 1003 0 0 0 1698 20 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695282546984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=3024420 CPUtime=16.86 cores=1,3,5,7
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 6470 0 -1 4202560 906 0 0 0 1666 20 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695281494952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8333] ppid=8323 vsize=3024420 CPUtime=17.27 cores=1,3,5,7
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 6470 0 -1 4202560 748 0 0 0 1707 20 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695280442408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8334] ppid=8323 vsize=3024420 CPUtime=16.68 cores=1,3,5,7
/proc/8325/task/8334/stat : 8334 (java) S 8323 8325 6470 0 -1 4202560 870 0 0 0 1648 20 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695279389352 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8335] ppid=8323 vsize=3024420 CPUtime=16.85 cores=1,3,5,7
/proc/8325/task/8335/stat : 8335 (java) S 8323 8325 6470 0 -1 4202560 761 0 0 0 1664 21 0 0 20 0 19 0 345010163 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140695278336808 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8336] ppid=8323 vsize=3024420 CPUtime=413.97 cores=1,3,5,7
/proc/8325/task/8336/stat : 8336 (java) S 8323 8325 6470 0 -1 4202560 1093558 0 0 0 41194 203 0 0 20 0 19 0 345010164 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694795966824 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8337] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8337/stat : 8337 (java) S 8323 8325 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345010164 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694794913144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8338] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8338/stat : 8338 (java) S 8323 8325 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345010165 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694793859976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8339] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8339/stat : 8339 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694792808720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8340] ppid=8323 vsize=3024420 CPUtime=0.97 cores=1,3,5,7
/proc/8325/task/8340/stat : 8340 (java) S 8323 8325 6470 0 -1 4202560 9300 0 0 0 95 2 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694791756600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8341] ppid=8323 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/8325/task/8341/stat : 8341 (java) S 8323 8325 6470 0 -1 4202560 5051 0 0 0 81 0 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694790704056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8342] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8342/stat : 8342 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694789651192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8343] ppid=8323 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/8325/task/8343/stat : 8343 (java) S 8323 8325 6470 0 -1 4202560 95 0 0 0 30 45 0 0 20 0 19 0 345010167 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694788598856 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8344] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8344/stat : 8344 (java) S 8323 8325 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345011759 3097006080 425179 33554432000 1073741824 1073778376 140734450482256 140694786466856 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1766.46
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1695.9 s]
/proc/loadavg: 2.12 2.11 2.07 3/213 8441
/proc/meminfo: memFree=25524820/32873648 swapFree=7388/7388
[pid=8325] ppid=8323 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/8325/stat : 8325 (java) S 8323 8325 6470 0 -1 4202496 1166232 0 1 0 179582 424 0 0 20 0 19 0 345010161 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140734450473392 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8325/statm: 756105 425178 2310 9 0 746526 0
[pid=8325/tid=8327] ppid=8323 vsize=3024420 CPUtime=1222.62 cores=1,3,5,7
/proc/8325/task/8327/stat : 8327 (java) R 8323 8325 6470 0 -1 4202560 3929 0 1 0 122231 31 0 0 20 0 19 0 345010162 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140695419841800 140695292350345 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=3024420 CPUtime=17.12 cores=1,3,5,7
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 6470 0 -1 4202560 904 0 0 0 1692 20 0 0 20 0 19 0 345010163 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140695285705128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=3024420 CPUtime=17.5 cores=1,3,5,7
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 6470 0 -1 4202560 882 0 0 0 1727 23 0 0 20 0 19 0 345010163 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140695284652584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=3024420 CPUtime=17.89 cores=1,3,5,7
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 6470 0 -1 4202560 796 0 0 0 1767 22 0 0 20 0 19 0 345010163 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140695283599528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8331] ppid=8323 vsize=3024420 CPUtime=17.18 cores=1,3,5,7
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 6470 0 -1 4202560 1003 0 0 0 1698 20 0 0 20 0 19 0 345010163 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140695282546984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=3024420 CPUtime=16.86 cores=1,3,5,7
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 6470 0 -1 4202560 906 0 0 0 1666 20 0 0 20 0 19 0 345010163 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140695281494952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8333] ppid=8323 vsize=3024420 CPUtime=17.27 cores=1,3,5,7
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 6470 0 -1 4202560 748 0 0 0 1707 20 0 0 20 0 19 0 345010163 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140695280442408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8334] ppid=8323 vsize=3024420 CPUtime=16.68 cores=1,3,5,7
/proc/8325/task/8334/stat : 8334 (java) S 8323 8325 6470 0 -1 4202560 870 0 0 0 1648 20 0 0 20 0 19 0 345010163 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140695279389352 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8335] ppid=8323 vsize=3024420 CPUtime=16.85 cores=1,3,5,7
/proc/8325/task/8335/stat : 8335 (java) S 8323 8325 6470 0 -1 4202560 761 0 0 0 1664 21 0 0 20 0 19 0 345010163 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140695278336808 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8336] ppid=8323 vsize=3024420 CPUtime=433.03 cores=1,3,5,7
/proc/8325/task/8336/stat : 8336 (java) S 8323 8325 6470 0 -1 4202560 1139803 0 0 0 43093 210 0 0 20 0 19 0 345010164 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140694795966824 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8337] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8337/stat : 8337 (java) S 8323 8325 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345010164 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140694794913144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8338] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8338/stat : 8338 (java) S 8323 8325 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345010165 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140694793859976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8339] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8339/stat : 8339 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345010167 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140694792808720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8340] ppid=8323 vsize=3024420 CPUtime=0.97 cores=1,3,5,7
/proc/8325/task/8340/stat : 8340 (java) S 8323 8325 6470 0 -1 4202560 9300 0 0 0 95 2 0 0 20 0 19 0 345010167 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140694791756600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8325/tid=8341] ppid=8323 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/8325/task/8341/stat : 8341 (java) S 8323 8325 6470 0 -1 4202560 5051 0 0 0 81 0 0 0 20 0 19 0 345010167 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140694790704056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8325/tid=8342] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8342/stat : 8342 (java) S 8323 8325 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345010167 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140694789651192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8325/tid=8343] ppid=8323 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/8325/task/8343/stat : 8343 (java) S 8323 8325 6470 0 -1 4202560 97 0 0 0 31 45 0 0 20 0 19 0 345010167 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140694788598856 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8325/tid=8344] ppid=8323 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8325/task/8344/stat : 8344 (java) S 8323 8325 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345011759 3097006080 425178 33554432000 1073741824 1073778376 140734450482256 140694786466856 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 8325 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=98711
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=683288
# CPU time returned by wait4() is 1795.78
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1695.92
CPU time (s): 1800.06
CPU user time (s): 1795.82
CPU system time (s): 4.24
CPU usage (%): 106.14
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.1
system time used= 4.68329
maximum resident set size= 1762436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1166264
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89241
involuntary context switches= 98274
runsolver used 5.58115 second user time and 15.2917 second system time
The end