runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453992-1307194773/watcher-3453992-1307194773 -o /tmp/evaluation-result-3453992-1307194773/solver-3453992-1307194773 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453992-1307194773.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 3.06 3.27 2/517 20342
/proc/meminfo: memFree=21513912/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (java) S 20340 20342 20304 0 -1 4202496 5934 0 1 0 0 0 0 0 25 0 2 0 831074012 10694979584 5636 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20342/statm: 2611079 5649 917 9 0 2602235 0
[pid=20342/tid=20343] ppid=20340 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20343/stat : 20343 (java) R 20340 20342 20304 0 -1 4202560 8046 0 1 0 0 0 0 0 25 0 2 0 831074013 10694979584 8862 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.111931 s]
/proc/loadavg: 2.00 3.06 3.27 2/517 20342
/proc/meminfo: memFree=21513912/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=10540072 CPUtime=0.12 cores=0,2,4,6
/proc/20342/stat : 20342 (java) S 20340 20342 20304 0 -1 4202496 13225 0 1 0 11 1 0 0 25 0 18 0 831074012 10793033728 12922 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20342/statm: 2635018 12923 2122 9 0 2625752 0
[pid=20342/tid=20343] ppid=20340 vsize=10540072 CPUtime=0.09 cores=0,2,4,6
/proc/20342/task/20343/stat : 20343 (java) R 20340 20342 20304 0 -1 4202560 11287 0 1 0 8 1 0 0 22 0 18 0 831074013 10793033728 12923 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512518603 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540072
[startup+0.200889 s]
/proc/loadavg: 2.00 3.06 3.27 2/517 20342
/proc/meminfo: memFree=21513912/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=10540592 CPUtime=0.25 cores=0,2,4,6
/proc/20342/stat : 20342 (java) S 20340 20342 20304 0 -1 4202496 13990 0 1 0 23 2 0 0 25 0 18 0 831074012 10793566208 13687 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20342/statm: 2635148 13688 2169 9 0 2625882 0
[pid=20342/tid=20343] ppid=20340 vsize=10540592 CPUtime=0.19 cores=0,2,4,6
/proc/20342/task/20343/stat : 20343 (java) R 20340 20342 20304 0 -1 4202560 11876 0 1 0 17 2 0 0 22 0 18 0 831074013 10793566208 13688 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10540592
[startup+0.304925 s]
/proc/loadavg: 2.00 3.06 3.27 2/517 20342
/proc/meminfo: memFree=21513912/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=10541592 CPUtime=0.47 cores=0,2,4,6
/proc/20342/stat : 20342 (java) S 20340 20342 20304 0 -1 4202496 15402 0 1 0 45 2 0 0 25 0 18 0 831074012 10794590208 14861 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20342/statm: 2635398 14861 2194 9 0 2626132 0
[pid=20342/tid=20343] ppid=20340 vsize=10541592 CPUtime=0.29 cores=0,2,4,6
/proc/20342/task/20343/stat : 20343 (java) R 20340 20342 20304 0 -1 4202560 12747 0 1 0 27 2 0 0 22 0 18 0 831074013 10794590208 14861 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 46912505595549 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541592
[startup+0.700803 s]
/proc/loadavg: 2.00 3.06 3.27 2/517 20342
/proc/meminfo: memFree=21513912/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=10555560 CPUtime=1.54 cores=0,2,4,6
/proc/20342/stat : 20342 (java) S 20340 20342 20304 0 -1 4202496 32131 0 1 0 149 5 0 0 25 0 18 0 831074012 10808893440 28709 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20342/statm: 2638890 28710 2224 9 0 2629624 0
[pid=20342/tid=20343] ppid=20340 vsize=10555560 CPUtime=0.69 cores=0,2,4,6
/proc/20342/task/20343/stat : 20343 (java) R 20340 20342 20304 0 -1 4202560 19934 0 1 0 66 3 0 0 25 0 18 0 831074013 10808893440 28711 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 46912505560368 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10555560
[startup+1.5016 s]
/proc/loadavg: 2.48 3.14 3.29 3/554 20387
/proc/meminfo: memFree=21255644/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=10560656 CPUtime=3.22 cores=0,2,4,6
/proc/20342/stat : 20342 (java) S 20340 20342 20304 0 -1 4202496 50168 0 1 0 314 8 0 0 25 0 22 0 831074012 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20342/statm: 2640164 43553 2246 9 0 2630898 0
[pid=20342/tid=20343] ppid=20340 vsize=10560656 CPUtime=0.91 cores=0,2,4,6
/proc/20342/task/20343/stat : 20343 (java) S 20340 20342 20304 0 -1 4202560 30659 0 1 0 86 5 0 0 22 0 22 0 831074013 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
[pid=20342/tid=20354] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20354/stat : 20354 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831074014 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20355] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20355/stat : 20355 (java) S 20340 20342 20304 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831074014 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20356] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20356/stat : 20356 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831074014 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20357] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20357/stat : 20357 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831074014 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20358] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20358/stat : 20358 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831074014 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20359] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20359/stat : 20359 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831074014 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20360] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20360/stat : 20360 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831074014 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20361] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20361/stat : 20361 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831074014 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20365] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20365/stat : 20365 (java) S 20340 20342 20304 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 831074015 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 0 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20366] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20366/stat : 20366 (java) S 20340 20342 20304 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831074016 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20367] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20367/stat : 20367 (java) S 20340 20342 20304 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831074016 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20373] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20373/stat : 20373 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831074018 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512515505 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20374] ppid=20340 vsize=10560656 CPUtime=0.94 cores=0,2,4,6
/proc/20342/task/20374/stat : 20374 (java) R 20340 20342 20304 0 -1 4202560 7988 0 0 0 92 2 0 0 15 0 22 0 831074018 10814111744 43553 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 46982670515081 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20342/tid=20375] ppid=20340 vsize=10560656 CPUtime=0.86 cores=0,2,4,6
/proc/20342/task/20375/stat : 20375 (java) R 20340 20342 20304 0 -1 4202560 6992 0 0 0 86 0 0 0 15 0 22 0 831074018 10814111744 43554 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 46982672521446 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20342/tid=20376] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20376/stat : 20376 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831074018 10814111744 43554 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20377] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20377/stat : 20377 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831074018 10814111744 43554 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20386] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20386/stat : 20386 (java) S 20340 20342 20304 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831074109 10814111744 43554 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 10560656
[startup+3.10139 s]
/proc/loadavg: 2.48 3.14 3.29 7/557 20399
/proc/meminfo: memFree=21210980/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=10560656 CPUtime=4.04 cores=0,2,4,6
/proc/20342/stat : 20342 (java) S 20340 20342 20304 0 -1 4202496 59362 0 1 0 395 9 0 0 25 0 19 0 831074012 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20342/statm: 2640164 52746 2247 9 0 2630898 0
[pid=20342/tid=20343] ppid=20340 vsize=10560656 CPUtime=0.93 cores=0,2,4,6
/proc/20342/task/20343/stat : 20343 (java) S 20340 20342 20304 0 -1 4202560 30935 0 1 0 88 5 0 0 16 0 19 0 831074013 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20354] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20354/stat : 20354 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831074014 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20355] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20355/stat : 20355 (java) S 20340 20342 20304 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831074014 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20356] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20356/stat : 20356 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831074014 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20357] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20357/stat : 20357 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831074014 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20358] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20358/stat : 20358 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831074014 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20359] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20359/stat : 20359 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831074014 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20360] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20360/stat : 20360 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831074014 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20361] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20361/stat : 20361 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831074014 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20365] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20365/stat : 20365 (java) S 20340 20342 20304 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831074015 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 0 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20366] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20366/stat : 20366 (java) S 20340 20342 20304 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831074016 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20367] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20367/stat : 20367 (java) S 20340 20342 20304 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831074016 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20373] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20373/stat : 20373 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831074018 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512515505 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20374] ppid=20340 vsize=10560656 CPUtime=1.13 cores=0,2,4,6
/proc/20342/task/20374/stat : 20374 (java) S 20340 20342 20304 0 -1 4202560 8014 0 0 0 111 2 0 0 15 0 19 0 831074018 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20375] ppid=20340 vsize=10560656 CPUtime=1.05 cores=0,2,4,6
/proc/20342/task/20375/stat : 20375 (java) S 20340 20342 20304 0 -1 4202560 7030 0 0 0 105 0 0 0 16 0 19 0 831074018 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20376] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20376/stat : 20376 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831074018 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20377] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20377/stat : 20377 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831074018 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20386] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20386/stat : 20386 (java) S 20340 20342 20304 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831074109 10814111744 52746 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 10560656
[startup+6.30163 s]
/proc/loadavg: 2.60 3.15 3.30 7/558 20426
/proc/meminfo: memFree=20647088/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=10560656 CPUtime=8.37 cores=0,2,4,6
/proc/20342/stat : 20342 (java) S 20340 20342 20304 0 -1 4202496 152531 0 1 0 814 23 0 0 25 0 22 0 831074012 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20342/statm: 2640164 145545 2272 9 0 2630898 0
[pid=20342/tid=20343] ppid=20340 vsize=10560656 CPUtime=0.96 cores=0,2,4,6
/proc/20342/task/20343/stat : 20343 (java) S 20340 20342 20304 0 -1 4202560 31306 0 1 0 91 5 0 0 15 0 22 0 831074013 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
[pid=20342/tid=20354] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20354/stat : 20354 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831074014 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20355] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20355/stat : 20355 (java) S 20340 20342 20304 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 831074014 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
[pid=20342/tid=20356] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20356/stat : 20356 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831074014 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
[pid=20342/tid=20357] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20357/stat : 20357 (java) S 20340 20342 20304 0 -1 4202560 151 0 0 0 0 0 0 0 18 0 22 0 831074014 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20358] ppid=20340 vsize=10560656 CPUtime=0.02 cores=0,2,4,6
/proc/20342/task/20358/stat : 20358 (java) S 20340 20342 20304 0 -1 4202560 5119 0 0 0 2 0 0 0 18 0 22 0 831074014 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20359] ppid=20340 vsize=10560656 CPUtime=0.02 cores=0,2,4,6
/proc/20342/task/20359/stat : 20359 (java) S 20340 20342 20304 0 -1 4202560 2416 0 0 0 2 0 0 0 18 0 22 0 831074014 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20360] ppid=20340 vsize=10560656 CPUtime=0.03 cores=0,2,4,6
/proc/20342/task/20360/stat : 20360 (java) S 20340 20342 20304 0 -1 4202560 2071 0 0 0 3 0 0 0 18 0 22 0 831074014 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
[pid=20342/tid=20361] ppid=20340 vsize=10560656 CPUtime=0.02 cores=0,2,4,6
/proc/20342/task/20361/stat : 20361 (java) S 20340 20342 20304 0 -1 4202560 3246 0 0 0 2 0 0 0 18 0 22 0 831074014 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
[pid=20342/tid=20365] ppid=20340 vsize=10560656 CPUtime=0.15 cores=0,2,4,6
/proc/20342/task/20365/stat : 20365 (java) S 20340 20342 20304 0 -1 4202560 14136 0 0 0 14 1 0 0 16 0 22 0 831074015 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 0 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20366] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20366/stat : 20366 (java) S 20340 20342 20304 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831074016 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20367] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20367/stat : 20367 (java) S 20340 20342 20304 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 831074016 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20373] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20373/stat : 20373 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831074018 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512515505 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20374] ppid=20340 vsize=10560656 CPUtime=1.27 cores=0,2,4,6
/proc/20342/task/20374/stat : 20374 (java) S 20340 20342 20304 0 -1 4202560 8033 0 0 0 125 2 0 0 15 0 22 0 831074018 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20375] ppid=20340 vsize=10560656 CPUtime=1.23 cores=0,2,4,6
/proc/20342/task/20375/stat : 20375 (java) S 20340 20342 20304 0 -1 4202560 7056 0 0 0 123 0 0 0 15 0 22 0 831074018 10814111744 145545 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=18498472/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=10560656 CPUtime=1660.23 cores=0,2,4,6
/proc/20342/stat : 20342 (java) S 20340 20342 20304 0 -1 4202496 554379 0 1 0 165953 70 0 0 25 0 22 0 831074012 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20342/statm: 2640164 547072 2274 9 0 2630898 0
[pid=20342/tid=20343] ppid=20340 vsize=10560656 CPUtime=1.02 cores=0,2,4,6
/proc/20342/task/20343/stat : 20343 (java) S 20340 20342 20304 0 -1 4202560 31424 0 1 0 97 5 0 0 15 0 22 0 831074013 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20354] ppid=20340 vsize=10560656 CPUtime=1.35 cores=0,2,4,6
/proc/20342/task/20354/stat : 20354 (java) S 20340 20342 20304 0 -1 4202560 11273 0 0 0 134 1 0 0 16 0 22 0 831074014 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20355] ppid=20340 vsize=10560656 CPUtime=1.65 cores=0,2,4,6
/proc/20342/task/20355/stat : 20355 (java) S 20340 20342 20304 0 -1 4202560 3002 0 0 0 165 0 0 0 15 0 22 0 831074014 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20356] ppid=20340 vsize=10560656 CPUtime=1.5 cores=0,2,4,6
/proc/20342/task/20356/stat : 20356 (java) S 20340 20342 20304 0 -1 4202560 1398 0 0 0 150 0 0 0 15 0 22 0 831074014 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20357] ppid=20340 vsize=10560656 CPUtime=1.46 cores=0,2,4,6
/proc/20342/task/20357/stat : 20357 (java) S 20340 20342 20304 0 -1 4202560 3900 0 0 0 146 0 0 0 15 0 22 0 831074014 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20358] ppid=20340 vsize=10560656 CPUtime=1.21 cores=0,2,4,6
/proc/20342/task/20358/stat : 20358 (java) S 20340 20342 20304 0 -1 4202560 7461 0 0 0 120 1 0 0 15 0 22 0 831074014 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20359] ppid=20340 vsize=10560656 CPUtime=1.64 cores=0,2,4,6
/proc/20342/task/20359/stat : 20359 (java) S 20340 20342 20304 0 -1 4202560 7025 0 0 0 163 1 0 0 16 0 22 0 831074014 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20360] ppid=20340 vsize=10560656 CPUtime=1.52 cores=0,2,4,6
/proc/20342/task/20360/stat : 20360 (java) S 20340 20342 20304 0 -1 4202560 9521 0 0 0 151 1 0 0 16 0 22 0 831074014 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20361] ppid=20340 vsize=10560656 CPUtime=1.51 cores=0,2,4,6
/proc/20342/task/20361/stat : 20361 (java) S 20340 20342 20304 0 -1 4202560 6384 0 0 0 150 1 0 0 16 0 22 0 831074014 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20365] ppid=20340 vsize=10560656 CPUtime=96.97 cores=0,2,4,6
/proc/20342/task/20365/stat : 20365 (java) S 20340 20342 20304 0 -1 4202560 211252 0 0 0 9676 21 0 0 18 0 22 0 831074015 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 0 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
[pid=20342/tid=20366] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20366/stat : 20366 (java) S 20340 20342 20304 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831074016 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20367] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20367/stat : 20367 (java) S 20340 20342 20304 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831074016 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20373] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20373/stat : 20373 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831074018 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512515505 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20374] ppid=20340 vsize=10560656 CPUtime=1.5 cores=0,2,4,6
/proc/20342/task/20374/stat : 20374 (java) S 20340 20342 20304 0 -1 4202560 8037 0 0 0 148 2 0 0 16 0 22 0 831074018 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20375] ppid=20340 vsize=10560656 CPUtime=1.54 cores=0,2,4,6
/proc/20342/task/20375/stat : 20375 (java) S 20340 20342 20304 0 -1 4202560 7096 0 0 0 154 0 0 0 15 0 22 0 831074018 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20376] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20376/stat : 20376 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831074018 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20377] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20377/stat : 20377 (java) S 20340 20342 20304 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831074018 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20453] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20453/stat : 20453 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831084870 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20457] ppid=20340 vsize=10560656 CPUtime=582.35 cores=0,2,4,6
/proc/20342/task/20457/stat : 20457 (java) R 20340 20342 20304 0 -1 4202560 45 0 0 0 58234 1 0 0 25 0 22 0 831096356 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 46912506415627 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20342/tid=20458] ppid=20340 vsize=10560656 CPUtime=582.37 cores=0,2,4,6
/proc/20342/task/20458/stat : 20458 (java) R 20340 20342 20304 0 -1 4202560 19183 0 0 0 58235 2 0 0 25 0 22 0 831096356 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 46912506236720 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20342/tid=20459] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20459/stat : 20459 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831096357 10814111744 547072 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1660.23
Current children cumulated vsize (KiB) 10560656
[startup+942.301 s]
/proc/loadavg: 3.50 3.60 3.52 6/560 20478
/proc/meminfo: memFree=18491184/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=10560656 CPUtime=1774.14 cores=0,2,4,6
/proc/20342/stat : 20342 (java) S 20340 20342 20304 0 -1 4202496 554423 0 1 0 177344 70 0 0 25 0 22 0 831074012 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20342/statm: 2640164 547107 2274 9 0 2630898 0
[pid=20342/tid=20343] ppid=20340 vsize=10560656 CPUtime=1.02 cores=0,2,4,6
/proc/20342/task/20343/stat : 20343 (java) S 20340 20342 20304 0 -1 4202560 31427 0 1 0 97 5 0 0 15 0 22 0 831074013 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20354] ppid=20340 vsize=10560656 CPUtime=1.5 cores=0,2,4,6
/proc/20342/task/20354/stat : 20354 (java) S 20340 20342 20304 0 -1 4202560 11292 0 0 0 149 1 0 0 16 0 22 0 831074014 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20355] ppid=20340 vsize=10560656 CPUtime=1.72 cores=0,2,4,6
/proc/20342/task/20355/stat : 20355 (java) S 20340 20342 20304 0 -1 4202560 3002 0 0 0 172 0 0 0 15 0 22 0 831074014 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20356] ppid=20340 vsize=10560656 CPUtime=1.54 cores=0,2,4,6
/proc/20342/task/20356/stat : 20356 (java) S 20340 20342 20304 0 -1 4202560 1398 0 0 0 154 0 0 0 15 0 22 0 831074014 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20357] ppid=20340 vsize=10560656 CPUtime=1.57 cores=0,2,4,6
/proc/20342/task/20357/stat : 20357 (java) S 20340 20342 20304 0 -1 4202560 3900 0 0 0 157 0 0 0 16 0 22 0 831074014 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20358] ppid=20340 vsize=10560656 CPUtime=1.24 cores=0,2,4,6
/proc/20342/task/20358/stat : 20358 (java) S 20340 20342 20304 0 -1 4202560 7461 0 0 0 123 1 0 0 15 0 22 0 831074014 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20359] ppid=20340 vsize=10560656 CPUtime=1.71 cores=0,2,4,6
/proc/20342/task/20359/stat : 20359 (java) S 20340 20342 20304 0 -1 4202560 7025 0 0 0 170 1 0 0 15 0 22 0 831074014 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20360] ppid=20340 vsize=10560656 CPUtime=1.68 cores=0,2,4,6
/proc/20342/task/20360/stat : 20360 (java) S 20340 20342 20304 0 -1 4202560 9537 0 0 0 167 1 0 0 16 0 22 0 831074014 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
[pid=20342/tid=20361] ppid=20340 vsize=10560656 CPUtime=1.56 cores=0,2,4,6
/proc/20342/task/20361/stat : 20361 (java) S 20340 20342 20304 0 -1 4202560 6384 0 0 0 155 1 0 0 15 0 22 0 831074014 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20365] ppid=20340 vsize=10560656 CPUtime=103.3 cores=0,2,4,6
/proc/20342/task/20365/stat : 20365 (java) S 20340 20342 20304 0 -1 4202560 211254 0 0 0 10309 21 0 0 15 0 22 0 831074015 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 0 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20366] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20366/stat : 20366 (java) S 20340 20342 20304 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831074016 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20367] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20367/stat : 20367 (java) S 20340 20342 20304 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831074016 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20373] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20373/stat : 20373 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831074018 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512515505 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20374] ppid=20340 vsize=10560656 CPUtime=1.5 cores=0,2,4,6
/proc/20342/task/20374/stat : 20374 (java) S 20340 20342 20304 0 -1 4202560 8037 0 0 0 148 2 0 0 16 0 22 0 831074018 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20375] ppid=20340 vsize=10560656 CPUtime=1.54 cores=0,2,4,6
/proc/20342/task/20375/stat : 20375 (java) S 20340 20342 20304 0 -1 4202560 7096 0 0 0 154 0 0 0 15 0 22 0 831074018 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20376] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20376/stat : 20376 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831074018 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20377] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20377/stat : 20377 (java) S 20340 20342 20304 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831074018 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20453] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20453/stat : 20453 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831084870 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20457] ppid=20340 vsize=10560656 CPUtime=635.8 cores=0,2,4,6
/proc/20342/task/20457/stat : 20457 (java) R 20340 20342 20304 0 -1 4202560 47 0 0 0 63579 1 0 0 25 0 22 0 831096356 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 46912506466751 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20342/tid=20458] ppid=20340 vsize=10560656 CPUtime=635.81 cores=0,2,4,6
/proc/20342/task/20458/stat : 20458 (java) R 20340 20342 20304 0 -1 4202560 19183 0 0 0 63579 2 0 0 25 0 22 0 831096356 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 46912506236720 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20342/tid=20459] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20459/stat : 20459 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831096357 10814111744 547107 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1774.14
Current children cumulated vsize (KiB) 10560656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+956.402 s]
/proc/loadavg: 3.61 3.62 3.53 5/560 20478
/proc/meminfo: memFree=18489316/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=10560656 CPUtime=1800.05 cores=0,2,4,6
/proc/20342/stat : 20342 (java) S 20340 20342 20304 0 -1 4202496 554443 0 1 0 179935 70 0 0 25 0 22 0 831074012 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20342/statm: 2640164 547121 2274 9 0 2630898 0
[pid=20342/tid=20343] ppid=20340 vsize=10560656 CPUtime=1.02 cores=0,2,4,6
/proc/20342/task/20343/stat : 20343 (java) S 20340 20342 20304 0 -1 4202560 31429 0 1 0 97 5 0 0 15 0 22 0 831074013 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20354] ppid=20340 vsize=10560656 CPUtime=1.54 cores=0,2,4,6
/proc/20342/task/20354/stat : 20354 (java) S 20340 20342 20304 0 -1 4202560 11300 0 0 0 153 1 0 0 16 0 22 0 831074014 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20355] ppid=20340 vsize=10560656 CPUtime=1.72 cores=0,2,4,6
/proc/20342/task/20355/stat : 20355 (java) S 20340 20342 20304 0 -1 4202560 3002 0 0 0 172 0 0 0 15 0 22 0 831074014 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20356] ppid=20340 vsize=10560656 CPUtime=1.58 cores=0,2,4,6
/proc/20342/task/20356/stat : 20356 (java) S 20340 20342 20304 0 -1 4202560 1400 0 0 0 158 0 0 0 16 0 22 0 831074014 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20357] ppid=20340 vsize=10560656 CPUtime=1.57 cores=0,2,4,6
/proc/20342/task/20357/stat : 20357 (java) S 20340 20342 20304 0 -1 4202560 3900 0 0 0 157 0 0 0 16 0 22 0 831074014 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20358] ppid=20340 vsize=10560656 CPUtime=1.28 cores=0,2,4,6
/proc/20342/task/20358/stat : 20358 (java) S 20340 20342 20304 0 -1 4202560 7462 0 0 0 127 1 0 0 15 0 22 0 831074014 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20359] ppid=20340 vsize=10560656 CPUtime=1.75 cores=0,2,4,6
/proc/20342/task/20359/stat : 20359 (java) S 20340 20342 20304 0 -1 4202560 7025 0 0 0 174 1 0 0 16 0 22 0 831074014 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
[pid=20342/tid=20360] ppid=20340 vsize=10560656 CPUtime=1.76 cores=0,2,4,6
/proc/20342/task/20360/stat : 20360 (java) S 20340 20342 20304 0 -1 4202560 9537 0 0 0 175 1 0 0 16 0 22 0 831074014 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 0 0 0 0
[pid=20342/tid=20361] ppid=20340 vsize=10560656 CPUtime=1.6 cores=0,2,4,6
/proc/20342/task/20361/stat : 20361 (java) S 20340 20342 20304 0 -1 4202560 6387 0 0 0 159 1 0 0 15 0 22 0 831074014 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20365] ppid=20340 vsize=10560656 CPUtime=105.74 cores=0,2,4,6
/proc/20342/task/20365/stat : 20365 (java) S 20340 20342 20304 0 -1 4202560 211256 0 0 0 10553 21 0 0 15 0 22 0 831074015 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 0 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20366] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20366/stat : 20366 (java) S 20340 20342 20304 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831074016 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20367] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20367/stat : 20367 (java) S 20340 20342 20304 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831074016 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20373] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20373/stat : 20373 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831074018 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512515505 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20374] ppid=20340 vsize=10560656 CPUtime=1.5 cores=0,2,4,6
/proc/20342/task/20374/stat : 20374 (java) S 20340 20342 20304 0 -1 4202560 8037 0 0 0 148 2 0 0 16 0 22 0 831074018 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20375] ppid=20340 vsize=10560656 CPUtime=1.54 cores=0,2,4,6
/proc/20342/task/20375/stat : 20375 (java) S 20340 20342 20304 0 -1 4202560 7096 0 0 0 154 0 0 0 15 0 22 0 831074018 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20376] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20376/stat : 20376 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831074018 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512507801 0 4 0 16800975 18446604451487546112 0 0 -1 6 0 0 0
[pid=20342/tid=20377] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20377/stat : 20377 (java) S 20340 20342 20304 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 831074018 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
[pid=20342/tid=20453] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20453/stat : 20453 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831084870 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 2 0 0 0
[pid=20342/tid=20457] ppid=20340 vsize=10560656 CPUtime=647.4 cores=0,2,4,6
/proc/20342/task/20457/stat : 20457 (java) R 20340 20342 20304 0 -1 4202560 47 0 0 0 64739 1 0 0 21 0 22 0 831096356 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 46912506333537 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20342/tid=20458] ppid=20340 vsize=10560656 CPUtime=647.41 cores=0,2,4,6
/proc/20342/task/20458/stat : 20458 (java) R 20340 20342 20304 0 -1 4202560 19183 0 0 0 64739 2 0 0 21 0 22 0 831096356 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 46912506236724 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20342/tid=20459] ppid=20340 vsize=10560656 CPUtime=0 cores=0,2,4,6
/proc/20342/task/20459/stat : 20459 (java) S 20340 20342 20304 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831096357 10814111744 547121 33554432000 1073741824 1073778376 140736937697296 18446744073709551615 254512508416 0 4 0 16800975 18446604451487546112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10560656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+956.526 s]
/proc/loadavg: 3.61 3.62 3.53 5/560 20478
/proc/meminfo: memFree=18489316/32950928 swapFree=34259960/67111528
[pid=20342] ppid=20340 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/20342/stat : 20342 (java) Z 20340 20342 20304 0 -1 4203548 554472 0 1 0 179941 78 0 0 17 0 2 0 831074012 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20342/statm: 0 0 0 0 0 0 0
[pid=20342/tid=20457] ppid=20340 vsize=0 CPUtime=647.5 cores=0,2,4,6
/proc/20342/task/20457/stat : 20457 (java) R 20340 20342 20304 0 -1 4203588 47 0 0 0 64741 9 0 0 21 0 2 0 831096356 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 956.531
CPU time (s): 1800.2
CPU user time (s): 1799.41
CPU system time (s): 0.792879
CPU usage (%): 188.201
Max. virtual memory (cumulated for all children) (KiB): 10560656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.792879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 554472
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26565
involuntary context switches= 21700
runsolver used 5.39418 second user time and 11.9762 second system time
The end