runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4248229-1500744181/watcher-4248229-1500744181 -o /tmp/evaluation-result-4248229-1500744181/solver-4248229-1500744181 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500716625-14914 --watchdog 2560 bin/concrete HOME/instance-4248229-1500744181.xml
pid=20443
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.57 1.58 1.58 3/261 20446
/proc/meminfo: memFree=29065384/32770624 swapFree=5780/175336
[pid=20446] ppid=20443 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20446/stat : 20446 (bash) S 20443 20446 14883 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 9685472 9736192 351 33554432000 4194304 5098028 140722422260928 140722422258568 139771898702848 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 31838208 140722422269198 140722422269283 140722422269283 140722422271982 0
/proc/20446/statm: 2377 351 278 221 0 86 0
[startup+0.100163 s]
/proc/loadavg: 1.57 1.58 1.58 3/261 20446
/proc/meminfo: memFree=29065384/32770624 swapFree=5780/175336
[pid=20446] ppid=20443 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/20446/stat : 20446 (bash) S 20443 20446 14883 0 -1 4202496 884 6414 0 0 0 0 0 1 20 0 1 0 9685472 9871360 378 33554432000 4194304 5098028 140722422260928 140722422254936 139771898702848 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 31838208 140722422269198 140722422269283 140722422269283 140722422271982 0
/proc/20446/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200398 s]
/proc/loadavg: 1.57 1.58 1.58 3/261 20446
/proc/meminfo: memFree=29065384/32770624 swapFree=5780/175336
[pid=20446] ppid=20443 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/20446/stat : 20446 (java) S 20443 20446 14883 0 -1 1077944320 4954 12594 0 0 5 1 9 4 20 0 13 0 9685472 10686320640 5322 33554432000 4194304 4196468 140729629548528 140729629531072 139993722502903 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
/proc/20446/statm: 2608965 5322 2130 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.30026 s]
/proc/loadavg: 1.57 1.58 1.58 3/261 20446
/proc/meminfo: memFree=29065384/32770624 swapFree=5780/175336
[pid=20446] ppid=20443 vsize=10902292 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/20446/stat : 20446 (java) S 20443 20446 14883 0 -1 1077944320 6891 12594 0 0 22 2 9 4 20 0 20 0 9685472 11163947008 8648 33554432000 4194304 4196468 140729629548528 140729629531072 139993722502903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
/proc/20446/statm: 2725573 8648 2975 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902292
[startup+0.70032 s]
/proc/loadavg: 1.57 1.58 1.58 3/261 20446
/proc/meminfo: memFree=29065384/32770624 swapFree=5780/175336
[pid=20446] ppid=20443 vsize=10902720 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/20446/stat : 20446 (java) S 20443 20446 14883 0 -1 1077944320 12068 12594 0 0 72 4 9 4 20 0 20 0 9685472 11164385280 14845 33554432000 4194304 4196468 140729629548528 140729629531072 139993722502903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
/proc/20446/statm: 2725680 14845 3141 1 0 2713890 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10902720
[startup+1.50073 s]
/proc/loadavg: 1.57 1.58 1.58 3/281 20519
/proc/meminfo: memFree=28961024/32770624 swapFree=5780/175364
[pid=20446] ppid=20443 vsize=10913344 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/20446/stat : 20446 (java) S 20443 20446 14883 0 -1 1077944320 28318 12594 0 0 202 12 9 4 20 0 20 0 9685472 11175264256 44645 33554432000 4194304 4196468 140729629548528 140729629531072 139993722502903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
/proc/20446/statm: 2728336 44645 3408 1 0 2716450 0
[pid=20446/tid=20501] ppid=20443 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20501/stat : 20501 (java) R 20443 20446 14883 0 -1 4202560 20215 12594 0 0 125 5 9 4 20 0 20 0 9685486 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993726716160 139993722514838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20502] ppid=20443 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20502/stat : 20502 (java) S 20443 20446 14883 0 -1 1077944384 27 12594 0 0 1 0 9 4 20 0 20 0 9685487 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993659193744 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20503] ppid=20443 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20503/stat : 20503 (java) S 20443 20446 14883 0 -1 1077944384 10 12594 0 0 1 0 9 4 20 0 20 0 9685487 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993658140944 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20504] ppid=20443 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20504/stat : 20504 (java) S 20443 20446 14883 0 -1 1077944384 145 12594 0 0 0 0 9 4 20 0 20 0 9685487 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993657088656 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20505] ppid=20443 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20505/stat : 20505 (java) S 20443 20446 14883 0 -1 1077944384 42 12594 0 0 1 0 9 4 20 0 20 0 9685487 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993656035856 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20506] ppid=20443 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20506/stat : 20506 (java) S 20443 20446 14883 0 -1 1077944384 44 12594 0 0 1 0 9 4 20 0 20 0 9685487 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993654983568 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20507] ppid=20443 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20507/stat : 20507 (java) S 20443 20446 14883 0 -1 1077944384 31 12594 0 0 1 0 9 4 20 0 20 0 9685487 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993324317456 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20508] ppid=20443 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20508/stat : 20508 (java) S 20443 20446 14883 0 -1 1077944384 11 12594 0 0 1 0 9 4 20 0 20 0 9685487 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993323265168 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20509] ppid=20443 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20509/stat : 20509 (java) S 20443 20446 14883 0 -1 1077944384 28 12594 0 0 1 0 9 4 20 0 20 0 9685487 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993322212368 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20510] ppid=20443 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20510/stat : 20510 (java) S 20443 20446 14883 0 -1 1077944384 1446 12594 0 0 1 0 9 4 20 0 20 0 9685489 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993197041776 139993722514050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20511] ppid=20443 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20511/stat : 20511 (java) S 20443 20446 14883 0 -1 1077944384 56 12594 0 0 0 0 9 4 20 0 20 0 9685490 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993195987808 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20512] ppid=20443 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20512/stat : 20512 (java) S 20443 20446 14883 0 -1 1077944384 43 12594 0 0 0 0 9 4 20 0 20 0 9685490 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993194935408 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20513] ppid=20443 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20513/stat : 20513 (java) S 20443 20446 14883 0 -1 1077944384 1 12594 0 0 0 0 9 4 20 0 20 0 9685495 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993193883728 139993722521499 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20514] ppid=20443 vsize=10913344 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20514/stat : 20514 (java) R 20443 20446 14883 0 -1 4202560 1628 12594 0 0 14 0 9 4 20 0 20 0 9685495 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993192821632 139993704047392 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20515] ppid=20443 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20515/stat : 20515 (java) R 20443 20446 14883 0 -1 4202560 659 12594 0 0 11 0 9 4 20 0 20 0 9685495 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993191767952 139993703203200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20516] ppid=20443 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20516/stat : 20516 (java) S 20443 20446 14883 0 -1 1077944384 459 12594 0 0 12 0 9 4 20 0 20 0 9685495 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993190726512 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20517] ppid=20443 vsize=10913344 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20517/stat : 20517 (java) S 20443 20446 14883 0 -1 1077944384 1345 12594 0 0 26 0 9 4 20 0 20 0 9685495 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993189673712 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20518] ppid=20443 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20518/stat : 20518 (java) S 20443 20446 14883 0 -1 1077944384 3 12594 0 0 0 0 9 4 20 0 20 0 9685495 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993188620640 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20519] ppid=20443 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20519/stat : 20519 (java) S 20443 20446 14883 0 -1 1077944384 6 12594 0 0 0 0 9 4 20 0 20 0 9685495 11175264256 44645 33554432000 4194304 4196468 140729629548528 139993187567920 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10913344
[startup+3.10072 s]
/proc/loadavg: 1.57 1.58 1.58 4/281 20519
/proc/meminfo: memFree=28902716/32770624 swapFree=5780/175364
[pid=20446] ppid=20443 vsize=10927868 CPUtime=6.42 cores=0,2,4,6,8,10,12,14
/proc/20446/stat : 20446 (java) S 20443 20446 14883 0 -1 1077944320 42491 12594 0 0 605 24 9 4 20 0 20 0 9685472 11190136832 72745 33554432000 4194304 4196468 140729629548528 140729629531072 139993722502903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
/proc/20446/statm: 2731967 72745 3473 1 0 2719522 0
[pid=20446/tid=20501] ppid=20443 vsize=10927868 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20501/stat : 20501 (java) R 20443 20446 14883 0 -1 4202560 26454 12594 0 0 279 8 9 4 20 0 20 0 9685486 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993726732320 139993340700359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20502] ppid=20443 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20502/stat : 20502 (java) S 20443 20446 14883 0 -1 1077944384 32 12594 0 0 1 0 9 4 20 0 20 0 9685487 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993659193744 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20503] ppid=20443 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20503/stat : 20503 (java) S 20443 20446 14883 0 -1 1077944384 17 12594 0 0 1 1 9 4 20 0 20 0 9685487 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993658140944 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20504] ppid=20443 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20504/stat : 20504 (java) S 20443 20446 14883 0 -1 1077944384 165 12594 0 0 1 0 9 4 20 0 20 0 9685487 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993657088656 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20505] ppid=20443 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20505/stat : 20505 (java) S 20443 20446 14883 0 -1 1077944384 49 12594 0 0 1 0 9 4 20 0 20 0 9685487 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993656035856 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20506] ppid=20443 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20506/stat : 20506 (java) S 20443 20446 14883 0 -1 1077944384 49 12594 0 0 1 1 9 4 20 0 20 0 9685487 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993654983568 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20507] ppid=20443 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20507/stat : 20507 (java) S 20443 20446 14883 0 -1 1077944384 39 12594 0 0 1 0 9 4 20 0 20 0 9685487 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993324317456 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20508] ppid=20443 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20508/stat : 20508 (java) S 20443 20446 14883 0 -1 1077944384 69 12594 0 0 1 0 9 4 20 0 20 0 9685487 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993323265168 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20509] ppid=20443 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20509/stat : 20509 (java) S 20443 20446 14883 0 -1 1077944384 32 12594 0 0 1 1 9 4 20 0 20 0 9685487 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993322212368 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20510] ppid=20443 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20510/stat : 20510 (java) S 20443 20446 14883 0 -1 1077944384 1486 12594 0 0 2 0 9 4 20 0 20 0 9685489 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993197041776 139993722514050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20511] ppid=20443 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20511/stat : 20511 (java) S 20443 20446 14883 0 -1 1077944384 56 12594 0 0 0 0 9 4 20 0 20 0 9685490 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993195987808 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20512] ppid=20443 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20512/stat : 20512 (java) S 20443 20446 14883 0 -1 1077944384 43 12594 0 0 0 0 9 4 20 0 20 0 9685490 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993194935424 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20513] ppid=20443 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20513/stat : 20513 (java) S 20443 20446 14883 0 -1 1077944384 1 12594 0 0 0 0 9 4 20 0 20 0 9685495 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993193883728 139993722521499 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20514] ppid=20443 vsize=10927868 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20514/stat : 20514 (java) R 20443 20446 14883 0 -1 4202560 5360 12594 0 0 92 2 9 4 20 0 20 0 9685495 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993192811232 139993707412936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20515] ppid=20443 vsize=10927868 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20515/stat : 20515 (java) R 20443 20446 14883 0 -1 4202560 1499 12594 0 0 53 1 9 4 20 0 20 0 9685495 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993191778928 139993722524250 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20516] ppid=20443 vsize=10927868 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20516/stat : 20516 (java) R 20443 20446 14883 0 -1 4202560 1398 12594 0 0 56 1 9 4 20 0 20 0 9685495 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993190711152 139993704023755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20517] ppid=20443 vsize=10927868 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20517/stat : 20517 (java) R 20443 20446 14883 0 -1 4202560 3599 12594 0 0 108 1 9 4 20 0 20 0 9685495 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993189671672 139993701432337 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20518] ppid=20443 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20518/stat : 20518 (java) S 20443 20446 14883 0 -1 1077944384 3 12594 0 0 0 0 9 4 20 0 20 0 9685495 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993188620640 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20519] ppid=20443 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20519/stat : 20519 (java) S 20443 20446 14883 0 -1 1077944384 7 12594 0 0 0 0 9 4 20 0 20 0 9685495 11190136832 72745 33554432000 4194304 4196468 140729629548528 139993187567920 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 10927868
[startup+6.30113 s]
/proc/loadavg: 1.61 1.59 1.59 4/281 20519
/proc/meminfo: memFree=28701552/32770624 swapFree=5780/175364
[pid=20446] ppid=20443 vsize=10995452 CPUtime=15.68 cores=0,2,4,6,8,10,12,14
/proc/20446/stat : 20446 (java) S 20443 20446 14883 0 -1 1077944320 67670 12594 0 0 1520 35 9 4 20 0 20 0 9685472 11259342848 105462 33554432000 4194304 4196468 140729629548528 140729629531072 139993722502903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
/proc/20446/statm: 2748863 105462 3490 1 0 2736418 0
[pid=20446/tid=20501] ppid=20443 vsize=10995452 CPUtime=6.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20501/stat : 20501 (java) R 20443 20446 14883 0 -1 4202560 41083 12594 0 0 589 11 9 4 20 0 20 0 9685486 11259342848 105462 33554432000 4194304 4196468 140729629548528 139993726734072 139993351161221 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20502] ppid=20443 vsize=10995452 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20502/stat : 20502 (java) S 20443 20446 14883 0 -1 1077944384 42 12594 0 0 4 1 9 4 20 0 20 0 9685487 11259342848 105462 33554432000 4194304 4196468 140729629548528 139993659193744 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20503] ppid=20443 vsize=10995452 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20503/stat : 20503 (java) S 20443 20446 14883 0 -1 1077944384 26 12594 0 0 3 1 9 4 20 0 20 0 9685487 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993658140944 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20504] ppid=20443 vsize=10995452 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20504/stat : 20504 (java) S 20443 20446 14883 0 -1 1077944384 181 12594 0 0 4 1 9 4 20 0 20 0 9685487 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993657088656 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20505] ppid=20443 vsize=10995452 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20505/stat : 20505 (java) S 20443 20446 14883 0 -1 1077944384 62 12594 0 0 4 1 9 4 20 0 20 0 9685487 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993656035856 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20506] ppid=20443 vsize=10995452 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20506/stat : 20506 (java) S 20443 20446 14883 0 -1 1077944384 68 12594 0 0 4 1 9 4 20 0 20 0 9685487 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993654983568 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20507] ppid=20443 vsize=10995452 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20507/stat : 20507 (java) S 20443 20446 14883 0 -1 1077944384 58 12594 0 0 4 1 9 4 20 0 20 0 9685487 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993324317456 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20508] ppid=20443 vsize=10995452 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20508/stat : 20508 (java) S 20443 20446 14883 0 -1 1077944384 81 12594 0 0 3 1 9 4 20 0 20 0 9685487 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993323265168 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20509] ppid=20443 vsize=10995452 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20509/stat : 20509 (java) S 20443 20446 14883 0 -1 1077944384 53 12594 0 0 4 1 9 4 20 0 20 0 9685487 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993322212368 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20510] ppid=20443 vsize=10995452 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20510/stat : 20510 (java) S 20443 20446 14883 0 -1 1077944384 2189 12594 0 0 5 0 9 4 20 0 20 0 9685489 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993197041776 139993722514050 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20511] ppid=20443 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20511/stat : 20511 (java) S 20443 20446 14883 0 -1 1077944384 56 12594 0 0 0 0 9 4 20 0 20 0 9685490 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993195987872 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20512] ppid=20443 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20512/stat : 20512 (java) S 20443 20446 14883 0 -1 1077944384 43 12594 0 0 0 0 9 4 20 0 20 0 9685490 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993194935424 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20513] ppid=20443 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20513/stat : 20513 (java) S 20443 20446 14883 0 -1 1077944384 1 12594 0 0 0 0 9 4 20 0 20 0 9685495 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993193883728 139993722521499 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20514] ppid=20443 vsize=10995452 CPUtime=3.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20514/stat : 20514 (java) R 20443 20446 14883 0 -1 4202560 10606 12594 0 0 297 3 9 4 20 0 20 0 9685495 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993192818144 139993703678983 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20515] ppid=20443 vsize=10995452 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20515/stat : 20515 (java) R 20443 20446 14883 0 -1 4202560 3168 12594 0 0 200 2 9 4 20 0 20 0 9685495 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993191764824 139993704046626 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20516] ppid=20443 vsize=10995452 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20516/stat : 20516 (java) R 20443 20446 14883 0 -1 4202560 3174 12594 0 0 221 1 9 4 20 0 20 0 9685495 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993190726432 139993700250289 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20517] ppid=20443 vsize=10995452 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20517/stat : 20517 (java) S 20443 20446 14883 0 -1 1077944384 4665 12594 0 0 169 1 9 4 20 0 20 0 9685495 11259342848 105528 33554432000 4194304 4196468 140729629548528 139993189673712 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20518] ppid=20443 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=20446/tid=20515] ppid=20443 vsize=10995452 CPUtime=12.49 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20515/stat : 20515 (java) S 20443 20446 14883 0 -1 1077944384 9378 12594 0 0 1230 6 9 4 20 0 20 0 9685495 11259342848 196570 33554432000 4194304 4196468 140729629548528 139993191778800 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20516] ppid=20443 vsize=10995452 CPUtime=12.46 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20516/stat : 20516 (java) S 20443 20446 14883 0 -1 1077944384 9560 12594 0 0 1229 4 9 4 20 0 20 0 9685495 11259342848 196570 33554432000 4194304 4196468 140729629548528 139993190726512 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20517] ppid=20443 vsize=10995452 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20517/stat : 20517 (java) S 20443 20446 14883 0 -1 1077944384 17086 12594 0 0 601 7 9 4 20 0 20 0 9685495 11259342848 196570 33554432000 4194304 4196468 140729629548528 139993189673712 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20518] ppid=20443 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20518/stat : 20518 (java) S 20443 20446 14883 0 -1 1077944384 3 12594 0 0 0 0 9 4 20 0 20 0 9685495 11259342848 196570 33554432000 4194304 4196468 140729629548528 139993188620640 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20519] ppid=20443 vsize=10995452 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20519/stat : 20519 (java) S 20443 20446 14883 0 -1 1077944384 958 12594 0 0 66 63 9 4 20 0 20 0 9685495 11259342848 196570 33554432000 4194304 4196468 140729629548528 139993187567920 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
Current children cumulated CPU time (s) 2379.2
Current children cumulated vsize (KiB) 10995452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2282.5 s]
/proc/loadavg: 1.61 1.39 1.50 3/282 20753
/proc/meminfo: memFree=30120244/32770624 swapFree=5780/176808
[pid=20446] ppid=20443 vsize=10995452 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/20446/stat : 20446 (java) S 20443 20446 14883 0 -1 1077944320 364410 12594 0 0 239140 855 9 4 20 0 20 0 9685472 11259342848 187882 33554432000 4194304 4196468 140729629548528 140729629531072 139993722502903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
/proc/20446/statm: 2748863 187882 3511 1 0 2736418 0
[pid=20446/tid=20501] ppid=20443 vsize=10995452 CPUtime=2260.01 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20501/stat : 20501 (java) R 20443 20446 14883 0 -1 4202560 187004 12594 0 0 225905 83 9 4 20 0 20 0 9685486 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993726736304 139993348713934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20502] ppid=20443 vsize=10995452 CPUtime=11.06 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20502/stat : 20502 (java) S 20443 20446 14883 0 -1 1077944384 10113 12594 0 0 1011 82 9 4 20 0 20 0 9685487 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993659193744 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20503] ppid=20443 vsize=10995452 CPUtime=11.12 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20503/stat : 20503 (java) S 20443 20446 14883 0 -1 1077944384 12176 12594 0 0 1016 83 9 4 20 0 20 0 9685487 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993658140944 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20504] ppid=20443 vsize=10995452 CPUtime=11.04 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20504/stat : 20504 (java) S 20443 20446 14883 0 -1 1077944384 14937 12594 0 0 1009 82 9 4 20 0 20 0 9685487 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993657088656 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20505] ppid=20443 vsize=10995452 CPUtime=10.98 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20505/stat : 20505 (java) S 20443 20446 14883 0 -1 1077944384 13593 12594 0 0 1000 85 9 4 20 0 20 0 9685487 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993656035856 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20506] ppid=20443 vsize=10995452 CPUtime=11.04 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20506/stat : 20506 (java) S 20443 20446 14883 0 -1 1077944384 14440 12594 0 0 1011 80 9 4 20 0 20 0 9685487 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993654983568 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20507] ppid=20443 vsize=10995452 CPUtime=11.15 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20507/stat : 20507 (java) S 20443 20446 14883 0 -1 1077944384 13078 12594 0 0 1020 82 9 4 20 0 20 0 9685487 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993324317456 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20508] ppid=20443 vsize=10995452 CPUtime=10.89 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20508/stat : 20508 (java) S 20443 20446 14883 0 -1 1077944384 13366 12594 0 0 998 78 9 4 20 0 20 0 9685487 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993323265168 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20509] ppid=20443 vsize=10995452 CPUtime=11.11 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20509/stat : 20509 (java) S 20443 20446 14883 0 -1 1077944384 14497 12594 0 0 1018 80 9 4 20 0 20 0 9685487 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993322212368 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20510] ppid=20443 vsize=10995452 CPUtime=6.85 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20510/stat : 20510 (java) S 20443 20446 14883 0 -1 1077944384 14925 12594 0 0 564 108 9 4 20 0 20 0 9685489 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993197041776 139993722514050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20511] ppid=20443 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20511/stat : 20511 (java) S 20443 20446 14883 0 -1 1077944384 56 12594 0 0 0 0 9 4 20 0 20 0 9685490 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993195987872 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20512] ppid=20443 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20512/stat : 20512 (java) S 20443 20446 14883 0 -1 1077944384 43 12594 0 0 0 0 9 4 20 0 20 0 9685490 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993194935424 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20513] ppid=20443 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20513/stat : 20513 (java) S 20443 20446 14883 0 -1 1077944384 1 12594 0 0 0 0 9 4 20 0 20 0 9685495 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993193883728 139993722521499 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20514] ppid=20443 vsize=10995452 CPUtime=13.88 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20514/stat : 20514 (java) S 20443 20446 14883 0 -1 1077944384 17055 12594 0 0 1370 5 9 4 20 0 20 0 9685495 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993192831600 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20515] ppid=20443 vsize=10995452 CPUtime=12.49 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20515/stat : 20515 (java) S 20443 20446 14883 0 -1 1077944384 9380 12594 0 0 1230 6 9 4 20 0 20 0 9685495 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993191778800 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20516] ppid=20443 vsize=10995452 CPUtime=12.46 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20516/stat : 20516 (java) S 20443 20446 14883 0 -1 1077944384 9562 12594 0 0 1229 4 9 4 20 0 20 0 9685495 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993190726512 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20517] ppid=20443 vsize=10995452 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20517/stat : 20517 (java) S 20443 20446 14883 0 -1 1077944384 17088 12594 0 0 601 7 9 4 20 0 20 0 9685495 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993189673712 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20518] ppid=20443 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20518/stat : 20518 (java) S 20443 20446 14883 0 -1 1077944384 3 12594 0 0 0 0 9 4 20 0 20 0 9685495 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993188620640 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20519] ppid=20443 vsize=10995452 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20519/stat : 20519 (java) S 20443 20446 14883 0 -1 1077944384 960 12594 0 0 67 63 9 4 20 0 20 0 9685495 11259342848 187882 33554432000 4194304 4196468 140729629548528 139993187567920 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10995452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20446 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2282.61 s]
/proc/loadavg: 1.61 1.39 1.50 3/282 20753
/proc/meminfo: memFree=30120244/32770624 swapFree=5780/176808
[pid=20446] ppid=20443 vsize=11128580 CPUtime=2400.61 cores=0,2,4,6,8,10,12,14
/proc/20446/stat : 20446 (java) S 20443 20446 14883 0 -1 1077944320 366692 12594 0 0 239192 856 9 4 20 0 22 0 9685472 11395665920 190618 33554432000 4194304 4196468 140729629548528 140729629531072 139993722502903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
/proc/20446/statm: 2782145 190618 3511 1 0 2769700 0
[pid=20446/tid=20501] ppid=20443 vsize=11128580 CPUtime=2260.02 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20501/stat : 20501 (java) S 20443 20446 14883 0 -1 1077944384 187155 12594 0 0 225906 83 9 4 20 0 22 0 9685486 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993726740448 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20502] ppid=20443 vsize=11128580 CPUtime=11.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20502/stat : 20502 (java) R 20443 20446 14883 0 -1 4202560 10129 12594 0 0 1018 82 9 4 20 0 22 0 9685487 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993659193864 139993715131111 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20503] ppid=20443 vsize=11128580 CPUtime=11.18 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20503/stat : 20503 (java) R 20443 20446 14883 0 -1 4202560 12200 12594 0 0 1022 83 9 4 20 0 22 0 9685487 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993658141064 139993705885936 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20504] ppid=20443 vsize=11128580 CPUtime=11.1 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20504/stat : 20504 (java) R 20443 20446 14883 0 -1 4202560 14954 12594 0 0 1015 82 9 4 20 0 22 0 9685487 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993657088776 139993715131111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20505] ppid=20443 vsize=11128580 CPUtime=11.04 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20505/stat : 20505 (java) R 20443 20446 14883 0 -1 4202560 13613 12594 0 0 1006 85 9 4 20 0 22 0 9685487 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993656035664 139993715131111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20506] ppid=20443 vsize=11128580 CPUtime=11.11 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20506/stat : 20506 (java) R 20443 20446 14883 0 -1 4202560 14454 12594 0 0 1018 80 9 4 20 0 22 0 9685487 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993654983376 139993715131111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20507] ppid=20443 vsize=11128580 CPUtime=11.21 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20507/stat : 20507 (java) R 20443 20446 14883 0 -1 4202560 13133 12594 0 0 1026 82 9 4 20 0 22 0 9685487 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993324317264 139993715131111 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20508] ppid=20443 vsize=11128580 CPUtime=10.96 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20508/stat : 20508 (java) R 20443 20446 14883 0 -1 4202560 13382 12594 0 0 1004 79 9 4 20 0 22 0 9685487 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993323264976 139993715131111 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20509] ppid=20443 vsize=11128580 CPUtime=11.17 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20509/stat : 20509 (java) R 20443 20446 14883 0 -1 4202560 14535 12594 0 0 1024 80 9 4 20 0 22 0 9685487 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993322212568 139993707499304 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20510] ppid=20443 vsize=11128580 CPUtime=6.88 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20510/stat : 20510 (java) S 20443 20446 14883 0 -1 1077944384 16654 12594 0 0 567 108 9 4 20 0 22 0 9685489 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993197040400 139993722513109 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20511] ppid=20443 vsize=11128580 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20511/stat : 20511 (java) S 20443 20446 14883 0 -1 1077944384 56 12594 0 0 0 0 9 4 20 0 22 0 9685490 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993195987872 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20512] ppid=20443 vsize=11128580 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20512/stat : 20512 (java) S 20443 20446 14883 0 -1 1077944384 43 12594 0 0 0 0 9 4 20 0 22 0 9685490 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993194935424 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20513] ppid=20443 vsize=11128580 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20513/stat : 20513 (java) S 20443 20446 14883 0 -1 1077944384 79 12594 0 0 0 0 9 4 20 0 22 0 9685495 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993193883728 139993722521499 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20514] ppid=20443 vsize=11128580 CPUtime=13.88 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20514/stat : 20514 (java) S 20443 20446 14883 0 -1 1077944384 17055 12594 0 0 1370 5 9 4 20 0 22 0 9685495 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993192831600 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20515] ppid=20443 vsize=11128580 CPUtime=12.49 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20515/stat : 20515 (java) S 20443 20446 14883 0 -1 1077944384 9380 12594 0 0 1230 6 9 4 20 0 22 0 9685495 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993191778800 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20516] ppid=20443 vsize=11128580 CPUtime=12.46 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20516/stat : 20516 (java) S 20443 20446 14883 0 -1 1077944384 9562 12594 0 0 1229 4 9 4 20 0 22 0 9685495 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993190726512 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20517] ppid=20443 vsize=11128580 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20517/stat : 20517 (java) S 20443 20446 14883 0 -1 1077944384 17112 12594 0 0 601 7 9 4 20 0 22 0 9685495 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993189668480 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20518] ppid=20443 vsize=11128580 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20518/stat : 20518 (java) S 20443 20446 14883 0 -1 1077944384 3 12594 0 0 0 0 9 4 20 0 22 0 9685495 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993188620640 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20519] ppid=20443 vsize=11128580 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20519/stat : 20519 (java) S 20443 20446 14883 0 -1 1077944384 960 12594 0 0 67 63 9 4 20 0 22 0 9685495 11395665920 190618 33554432000 4194304 4196468 140729629548528 139993187567920 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
Current children cumulated CPU time (s) 2400.61
Current children cumulated vsize (KiB) 11128580
[startup+2282.7 s]
/proc/loadavg: 1.61 1.39 1.50 3/282 20753
/proc/meminfo: memFree=30120244/32770624 swapFree=5780/176808
[pid=20446] ppid=20443 vsize=11128580 CPUtime=2401 cores=0,2,4,6,8,10,12,14
/proc/20446/stat : 20446 (java) S 20443 20446 14883 0 -1 1077944320 366975 12594 0 0 239230 857 9 4 20 0 22 0 9685472 11395665920 190827 33554432000 4194304 4196468 140729629548528 140729629531072 139993722502903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
/proc/20446/statm: 2782145 190827 3511 1 0 2769700 0
[pid=20446/tid=20501] ppid=20443 vsize=11128580 CPUtime=2260.02 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20501/stat : 20501 (java) S 20443 20446 14883 0 -1 1077944384 187155 12594 0 0 225906 83 9 4 20 0 22 0 9685486 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993726740448 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20502] ppid=20443 vsize=11128580 CPUtime=11.17 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20502/stat : 20502 (java) S 20443 20446 14883 0 -1 1077944384 10129 12594 0 0 1022 82 9 4 20 0 22 0 9685487 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993659193744 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20503] ppid=20443 vsize=11128580 CPUtime=11.22 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20503/stat : 20503 (java) S 20443 20446 14883 0 -1 1077944384 12200 12594 0 0 1026 83 9 4 20 0 22 0 9685487 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993658140944 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20504] ppid=20443 vsize=11128580 CPUtime=11.14 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20504/stat : 20504 (java) S 20443 20446 14883 0 -1 1077944384 14954 12594 0 0 1019 82 9 4 20 0 22 0 9685487 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993657088656 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20505] ppid=20443 vsize=11128580 CPUtime=11.08 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20505/stat : 20505 (java) S 20443 20446 14883 0 -1 1077944384 13614 12594 0 0 1010 85 9 4 20 0 22 0 9685487 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993656035856 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20506] ppid=20443 vsize=11128580 CPUtime=11.15 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20506/stat : 20506 (java) S 20443 20446 14883 0 -1 1077944384 14455 12594 0 0 1022 80 9 4 20 0 22 0 9685487 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993654983568 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20507] ppid=20443 vsize=11128580 CPUtime=11.25 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20507/stat : 20507 (java) S 20443 20446 14883 0 -1 1077944384 13133 12594 0 0 1030 82 9 4 20 0 22 0 9685487 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993324317456 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20508] ppid=20443 vsize=11128580 CPUtime=11 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20508/stat : 20508 (java) S 20443 20446 14883 0 -1 1077944384 13382 12594 0 0 1008 79 9 4 20 0 22 0 9685487 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993323265168 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20509] ppid=20443 vsize=11128580 CPUtime=11.22 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20509/stat : 20509 (java) S 20443 20446 14883 0 -1 1077944384 14536 12594 0 0 1029 80 9 4 20 0 22 0 9685487 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993322212368 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20510] ppid=20443 vsize=11128580 CPUtime=6.92 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20510/stat : 20510 (java) R 20443 20446 14883 0 -1 4202560 16931 12594 0 0 571 108 9 4 20 0 22 0 9685489 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993197040176 139993706870587 0 0 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20511] ppid=20443 vsize=11128580 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20511/stat : 20511 (java) S 20443 20446 14883 0 -1 1077944384 57 12594 0 0 0 0 9 4 20 0 22 0 9685490 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993195987776 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20512] ppid=20443 vsize=11128580 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20512/stat : 20512 (java) S 20443 20446 14883 0 -1 1077944384 43 12594 0 0 0 0 9 4 20 0 22 0 9685490 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993194935424 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20513] ppid=20443 vsize=11128580 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20513/stat : 20513 (java) S 20443 20446 14883 0 -1 1077944384 79 12594 0 0 0 0 9 4 20 0 22 0 9685495 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993193883728 139993722521499 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20514] ppid=20443 vsize=11128580 CPUtime=13.88 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20514/stat : 20514 (java) S 20443 20446 14883 0 -1 1077944384 17055 12594 0 0 1370 5 9 4 20 0 22 0 9685495 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993192831600 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20515] ppid=20443 vsize=11128580 CPUtime=12.49 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20515/stat : 20515 (java) S 20443 20446 14883 0 -1 1077944384 9380 12594 0 0 1230 6 9 4 20 0 22 0 9685495 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993191778800 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20516] ppid=20443 vsize=11128580 CPUtime=12.46 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20516/stat : 20516 (java) S 20443 20446 14883 0 -1 1077944384 9562 12594 0 0 1229 4 9 4 20 0 22 0 9685495 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993190726512 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20517] ppid=20443 vsize=11128580 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20517/stat : 20517 (java) S 20443 20446 14883 0 -1 1077944384 17113 12594 0 0 601 7 9 4 20 0 22 0 9685495 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993189668768 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20518] ppid=20443 vsize=11128580 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20518/stat : 20518 (java) S 20443 20446 14883 0 -1 1077944384 3 12594 0 0 0 0 9 4 20 0 22 0 9685495 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993188620640 139993722513109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
[pid=20446/tid=20519] ppid=20443 vsize=11128580 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/20446/task/20519/stat : 20519 (java) S 20443 20446 14883 0 -1 1077944384 960 12594 0 0 67 63 9 4 20 0 22 0 9685495 11395665920 190827 33554432000 4194304 4196468 140729629548528 139993187567920 139993722514050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140729629551297 140729629554071 140729629554071 140729629556687 0
Current children cumulated CPU time (s) 2401
Current children cumulated vsize (KiB) 11128580
Child status: 143
Real time (s): 2282.76
CPU time (s): 2401.18
CPU user time (s): 2392.55
CPU system time (s): 8.62532
CPU usage (%): 105.187
Max. virtual memory (cumulated for all children) (KiB): 11128580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.55
system time used= 8.62532
maximum resident set size= 1221660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 279349
involuntary context switches= 172053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8002 second user time and 20.6643 second system time
The end