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-4246853-1500719729/watcher-4246853-1500719729 -o /tmp/evaluation-result-4246853-1500719729/solver-4246853-1500719729 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500717395-19940 --watchdog 2560 bin/concrete HOME/instance-4246853-1500719729.xml
pid=20412
running on 8 cores: 1,3,5,7,9,11,13,15
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.58 1.45 1.42 3/261 20415
/proc/meminfo: memFree=30089352/32770624 swapFree=5952/276276
[pid=20415] ppid=20412 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (bash) S 20412 20415 15294 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 7237749 9736192 350 33554432000 4194304 5098028 140720373715712 140720373713352 140040293813248 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 9895936 140720373720334 140720373720419 140720373720419 140720373723118 0
/proc/20415/statm: 2377 350 277 221 0 86 0
[startup+0.100106 s]
/proc/loadavg: 1.58 1.45 1.42 3/261 20415
/proc/meminfo: memFree=30089352/32770624 swapFree=5952/276276
[pid=20415] ppid=20412 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (bash) S 20412 20415 15294 0 -1 4202496 884 6419 0 0 0 0 0 1 20 0 1 0 7237749 9871360 378 33554432000 4194304 5098028 140720373715712 140720373709720 140040293813248 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 9895936 140720373720334 140720373720419 140720373720419 140720373723118 0
/proc/20415/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200322 s]
/proc/loadavg: 1.58 1.45 1.42 3/261 20415
/proc/meminfo: memFree=30089352/32770624 swapFree=5952/276276
[pid=20415] ppid=20412 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 5101 12419 0 0 6 1 8 3 20 0 13 0 7237749 10686320640 5467 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2608965 5467 2170 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300248 s]
/proc/loadavg: 1.58 1.45 1.42 3/261 20415
/proc/meminfo: memFree=30089352/32770624 swapFree=5952/276276
[pid=20415] ppid=20412 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 7373 12419 0 0 23 2 8 3 20 0 20 0 7237749 11164049408 9113 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2725598 9113 2969 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700248 s]
/proc/loadavg: 1.58 1.45 1.42 3/261 20415
/proc/meminfo: memFree=30089352/32770624 swapFree=5952/276276
[pid=20415] ppid=20412 vsize=10902720 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 11933 12419 0 0 76 3 8 3 20 0 20 0 7237749 11164385280 14701 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2725680 14701 3111 1 0 2713890 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10902720
[startup+1.50147 s]
/proc/loadavg: 1.58 1.45 1.42 3/281 20488
/proc/meminfo: memFree=29995732/32770624 swapFree=5952/276488
[pid=20415] ppid=20412 vsize=10913344 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 25088 12419 0 0 197 7 8 3 20 0 20 0 7237749 11175264256 36284 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2728336 36284 3377 1 0 2716450 0
[pid=20415/tid=20470] ppid=20412 vsize=10913344 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) S 20412 20415 15294 0 -1 1077944384 18900 12419 0 0 131 4 8 3 20 0 20 0 7237761 11175264256 36284 33554432000 4194304 4196468 140736892752192 140385230576640 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) R 20412 20415 15294 0 -1 1077944384 6 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) S 20412 20415 15294 0 -1 1077944384 11 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384832117136 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 19 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) S 20412 20415 15294 0 -1 1077944384 12 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384830012048 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) S 20412 20415 15294 0 -1 1077944384 40 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384828959504 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) S 20412 20415 15294 0 -1 1077944384 37 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384827906960 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) S 20412 20415 15294 0 -1 1077944384 16 12419 0 0 0 0 8 3 20 0 20 0 7237763 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384826854416 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) S 20412 20415 15294 0 -1 1077944384 98 12419 0 0 0 0 8 3 20 0 20 0 7237763 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384825801872 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) R 20412 20415 15294 0 -1 4202560 26 12419 0 0 0 0 8 3 20 0 20 0 7237765 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384768049664 140385211431456 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 33 12419 0 0 0 0 8 3 20 0 20 0 7237766 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384766997408 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 21 12419 0 0 0 0 8 3 20 0 20 0 7237766 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384765944816 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) S 20412 20415 15294 0 -1 1077944384 1044 12419 0 0 13 0 8 3 20 0 20 0 7237770 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384561781232 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) S 20412 20415 15294 0 -1 1077944384 1246 12419 0 0 13 0 8 3 20 0 20 0 7237770 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384560728688 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10913344 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) S 20412 20415 15294 0 -1 1077944384 516 12419 0 0 9 0 8 3 20 0 20 0 7237770 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384559676144 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) S 20412 20415 15294 0 -1 1077944384 924 12419 0 0 27 0 8 3 20 0 20 0 7237770 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384558618976 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 10913344
[startup+3.10078 s]
/proc/loadavg: 1.53 1.44 1.42 7/281 20488
/proc/meminfo: memFree=29913632/32770624 swapFree=5952/276432
[pid=20415] ppid=20412 vsize=10927868 CPUtime=6.74 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 42242 12419 0 0 649 14 8 3 20 0 20 0 7237749 11190136832 54904 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2731967 54904 3474 1 0 2719522 0
[pid=20415/tid=20470] ppid=20412 vsize=10927868 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) R 20412 20415 15294 0 -1 4202560 25691 12419 0 0 285 6 8 3 20 0 20 0 7237761 11190136832 54904 33554432000 4194304 4196468 140736892752192 140385230589144 140385207773010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) S 20412 20415 15294 0 -1 1077944384 12 12419 0 0 0 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) S 20412 20415 15294 0 -1 1077944384 32 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384832117136 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 27 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) S 20412 20415 15294 0 -1 1077944384 13 12419 0 0 0 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384830012048 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384828959504 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) S 20412 20415 15294 0 -1 1077944384 53 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384827906960 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) S 20412 20415 15294 0 -1 1077944384 21 12419 0 0 1 0 8 3 20 0 20 0 7237763 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384826854416 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) S 20412 20415 15294 0 -1 1077944384 107 12419 0 0 0 0 8 3 20 0 20 0 7237763 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384825801872 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) S 20412 20415 15294 0 -1 1077944384 1344 12419 0 0 1 0 8 3 20 0 20 0 7237765 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384768051184 140385226377858 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 54 12419 0 0 0 0 8 3 20 0 20 0 7237766 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384766997472 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 7237766 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384765944832 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10927868 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) R 20412 20415 15294 0 -1 4202560 2074 12419 0 0 65 1 8 3 20 0 20 0 7237770 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384561773184 140385206031168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10927868 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) S 20412 20415 15294 0 -1 1077944384 2712 12419 0 0 68 1 8 3 20 0 20 0 7237770 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384560728688 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10927868 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) R 20412 20415 15294 0 -1 4202560 4215 12419 0 0 102 0 8 3 20 0 20 0 7237770 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384559662688 140385211288471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10927868 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) R 20412 20415 15294 0 -1 4202560 3657 12419 0 0 116 0 8 3 20 0 20 0 7237770 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384558618640 140385205032307 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 5 12419 0 0 0 0 8 3 20 0 20 0 7237771 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 10927868
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20415 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20094 s]
/proc/loadavg: 1.53 1.44 1.42 7/281 20488
/proc/meminfo: memFree=29913632/32770624 swapFree=5952/276432
[pid=20415] ppid=20412 vsize=10927868 CPUtime=7.18 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 42617 12419 0 0 692 15 8 3 20 0 20 0 7237749 11190136832 56251 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2731967 56251 3474 1 0 2719522 0
[pid=20415/tid=20470] ppid=20412 vsize=10927868 CPUtime=3.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) R 20412 20415 15294 0 -1 4202560 25701 12419 0 0 294 6 8 3 20 0 20 0 7237761 11190136832 56251 33554432000 4194304 4196468 140736892752192 140385230586840 140384848191360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) S 20412 20415 15294 0 -1 1077944384 12 12419 0 0 0 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) S 20412 20415 15294 0 -1 1077944384 32 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384832117136 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 27 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) S 20412 20415 15294 0 -1 1077944384 13 12419 0 0 0 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384830012048 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384828959504 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) S 20412 20415 15294 0 -1 1077944384 53 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384827906960 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) S 20412 20415 15294 0 -1 1077944384 21 12419 0 0 1 0 8 3 20 0 20 0 7237763 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384826854416 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) S 20412 20415 15294 0 -1 1077944384 107 12419 0 0 0 0 8 3 20 0 20 0 7237763 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384825801872 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) S 20412 20415 15294 0 -1 1077944384 1344 12419 0 0 1 0 8 3 20 0 20 0 7237765 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384768051184 140385226377858 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 54 12419 0 0 0 0 8 3 20 0 20 0 7237766 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384766997472 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 7237766 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384765944832 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10927868 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) R 20412 20415 15294 0 -1 4202560 2095 12419 0 0 73 1 8 3 20 0 20 0 7237770 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384561767360 140385212421680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10927868 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) R 20412 20415 15294 0 -1 4202560 2872 12419 0 0 77 1 8 3 20 0 20 0 7237770 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384560709704 140385206221392 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10927868 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) R 20412 20415 15294 0 -1 4202560 4262 12419 0 0 110 0 8 3 20 0 20 0 7237770 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384559665024 140385210477713 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10927868 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) S 20412 20415 15294 0 -1 1077944384 3794 12419 0 0 124 1 8 3 20 0 20 0 7237770 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384558623600 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 5 12419 0 0 0 0 8 3 20 0 20 0 7237771 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 10927868
[startup+4.00104 s]
/proc/loadavg: 1.53 1.44 1.42 7/281 20488
/proc/meminfo: memFree=29868780/32770624 swapFree=5952/276436
[pid=20415] ppid=20412 vsize=10995452 CPUtime=10.93 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 72064 12419 0 0 1059 23 8 3 20 0 20 0 7237749 11259342848 88764 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2748863 88764 3486 1 0 2736418 0
[pid=20415/tid=20470] ppid=20412 vsize=10995452 CPUtime=3.75 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) S 20412 20415 15294 0 -1 1077944384 38235 12419 0 0 355 9 8 3 20 0 20 0 7237761 11259342848 88764 33554432000 4194304 4196468 140736892752192 140385230596064 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10995452 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) R 20412 20415 15294 0 -1 1077944384 38 12419 0 0 10 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10995452 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) R 20412 20415 15294 0 -1 4202560 68 12419 0 0 9 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384832117136 140385211210247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10995452 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 29 12419 0 0 11 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10995452 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) R 20412 20415 15294 0 -1 4202560 39 12419 0 0 10 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384830012248 140385210821468 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10995452 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) R 20412 20415 15294 0 -1 4202560 65 12419 0 0 12 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384828959504 140385211351952 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10995452 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) R 20412 20415 15294 0 -1 4202560 69 12419 0 0 12 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384827906960 140385210820679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) R 20412 20415 15294 0 -1 4202560 58 12419 0 0 7 0 8 3 20 0 20 0 7237763 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384826854416 140385211352007 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10995452 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) R 20412 20415 15294 0 -1 4202560 126 12419 0 0 8 0 8 3 20 0 20 0 7237763 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384825801872 140385211317316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) S 20412 20415 15294 0 -1 1077944384 2182 12419 0 0 6 0 8 3 20 0 20 0 7237765 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384768049584 140385226376917 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 55 12419 0 0 0 0 8 3 20 0 20 0 7237766 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384766997008 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 7237766 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384765944832 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10995452 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) S 20412 20415 15294 0 -1 1077944384 8339 12419 0 0 134 2 8 3 20 0 20 0 7237770 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384561781232 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10995452 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) R 20412 20415 15294 0 -1 4202560 6873 12419 0 0 154 1 8 3 20 0 20 0 7237770 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384560714712 140385205610790 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10995452 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) S 20412 20415 15294 0 -1 1077944384 8069 12419 0 0 176 1 8 3 20 0 20 0 7237770 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384559660976 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10995452 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) S 20412 20415 15294 0 -1 1077944384 5633 12419 0 0 148 1 8 3 20 0 20 0 7237770 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384558623600 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 5 12419 0 0 0 0 8 3 20 0 20 0 7237771 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 10.93
Current children cumulated vsize (KiB) 10995452
[startup+4.80109 s]
/proc/loadavg: 1.53 1.44 1.42 7/281 20488
/proc/meminfo: memFree=29740624/32770624 swapFree=5952/276448
[pid=20415] ppid=20412 vsize=10997500 CPUtime=14.32 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 77971 12419 0 0 1395 26 8 3 20 0 20 0 7237749 11261440000 89255 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2749375 89255 3495 1 0 2736930 0
[pid=20415/tid=20470] ppid=20412 vsize=10997500 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) R 20412 20415 15294 0 -1 4202560 38826 12419 0 0 425 9 8 3 20 0 20 0 7237761 11261440000 89255 33554432000 4194304 4196468 140736892752192 140385230589520 140385226388541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) S 20412 20415 15294 0 -1 1077944384 39 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) S 20412 20415 15294 0 -1 1077944384 68 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384832117136 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 30 12419 0 0 13 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) S 20412 20415 15294 0 -1 1077944384 45 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384830012048 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) S 20412 20415 15294 0 -1 1077944384 72 12419 0 0 14 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384828959504 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) S 20412 20415 15294 0 -1 1077944384 69 12419 0 0 13 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384827906960 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10997500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) S 20412 20415 15294 0 -1 1077944384 59 12419 0 0 9 0 8 3 20 0 20 0 7237763 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384826854416 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) S 20412 20415 15294 0 -1 1077944384 136 12419 0 0 11 1 8 3 20 0 20 0 7237763 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384825801872 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) S 20412 20415 15294 0 -1 1077944384 2185 12419 0 0 12 0 8 3 20 0 20 0 7237765 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384768051184 140385226377858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 55 12419 0 0 0 0 8 3 20 0 20 0 7237766 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384766997472 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 7237766 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384765944832 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10997500 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) R 20412 20415 15294 0 -1 4202560 8742 12419 0 0 195 2 8 3 20 0 20 0 7237770 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384561781232 140385207910887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10997500 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) R 20412 20415 15294 0 -1 4202560 9369 12419 0 0 232 2 8 3 20 0 20 0 7237770 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384560728688 140385209863495 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10997500 CPUtime=2.52 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) R 20412 20415 15294 0 -1 4202560 9244 12419 0 0 240 1 8 3 20 0 20 0 7237770 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384559662576 140385203590864 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10997500 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) S 20412 20415 15294 0 -1 1077944384 6845 12419 0 0 187 2 8 3 20 0 20 0 7237770 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384558623600 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 6 12419 0 0 0 0 8 3 20 0 20 0 7237771 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 14.32
Current children cumulated vsize (KiB) 10997500
[startup+5.20069 s]
/proc/loadavg: 1.53 1.44 1.42 7/281 20488
/proc/meminfo: memFree=29740624/32770624 swapFree=5952/276448
[pid=20415] ppid=20412 vsize=10997500 CPUtime=15.61 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 78885 12419 0 0 1523 27 8 3 20 0 20 0 7237749 11261440000 95184 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2749375 95184 3506 1 0 2736930 0
[pid=20415/tid=20470] ppid=20412 vsize=10997500 CPUtime=4.85 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) R 20412 20415 15294 0 -1 4202560 38906 12419 0 0 464 10 8 3 20 0 20 0 7237761 11261440000 95184 33554432000 4194304 4196468 140736892752192 140385230588040 140384862366832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) S 20412 20415 15294 0 -1 1077944384 39 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) S 20412 20415 15294 0 -1 1077944384 68 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384832117136 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 30 12419 0 0 13 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) S 20412 20415 15294 0 -1 1077944384 45 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384830012048 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) S 20412 20415 15294 0 -1 1077944384 72 12419 0 0 14 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384828959504 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) S 20412 20415 15294 0 -1 1077944384 69 12419 0 0 13 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384827906960 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10997500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) S 20412 20415 15294 0 -1 1077944384 59 12419 0 0 9 0 8 3 20 0 20 0 7237763 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384826854416 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) S 20412 20415 15294 0 -1 1077944384 136 12419 0 0 11 1 8 3 20 0 20 0 7237763 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384825801872 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) S 20412 20415 15294 0 -1 1077944384 2186 12419 0 0 12 0 8 3 20 0 20 0 7237765 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384768051184 140385226377858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 55 12419 0 0 0 0 8 3 20 0 20 0 7237766 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384766997472 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 7237766 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384765944832 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10997500 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) R 20412 20415 15294 0 -1 4202560 9023 12419 0 0 222 2 8 3 20 0 20 0 7237770 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384561781232 140385209850196 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10997500 CPUtime=2.71 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) R 20412 20415 15294 0 -1 4202560 9617 12419 0 0 258 2 8 3 20 0 20 0 7237770 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384560716976 140385205641464 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10997500 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) S 20412 20415 15294 0 -1 1077944384 9390 12419 0 0 267 1 8 3 20 0 20 0 7237770 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384559676144 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10997500 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) S 20412 20415 15294 0 -1 1077944384 7003 12419 0 0 195 3 8 3 20 0 20 0 7237770 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384558623600 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 6 12419 0 0 0 0 8 3 20 0 20 0 7237771 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 15.61
Current children cumulated vsize (KiB) 10997500
Child status: 0
Real time (s): 5.24785
CPU time (s): 15.7201
CPU user time (s): 15.39
CPU system time (s): 0.330107
CPU usage (%): 299.552
Max. virtual memory (cumulated for all children) (KiB): 10998424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.39
system time used= 0.330107
maximum resident set size= 385828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91520
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10086
involuntary context switches= 2729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047447 second user time and 0.07117 second system time
The end