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-4262410-1502457866/watcher-4262410-1502457866 -o /tmp/evaluation-result-4262410-1502457866/solver-4262410-1502457866 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4262410-1502457866.xml
pid=19575
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.84 1.55 1.46 2/201 19578
/proc/meminfo: memFree=30248536/32770624 swapFree=0/451644
[pid=19578] ppid=19575 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19578/stat : 19578 (runsolver) D 19575 19578 4896 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 145439509 24240128 108 18446744073709551615 4194304 4338465 140732038361296 140732038358936 140487052292823 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31883264 140732038365393 140732038365769 140732038365769 140732038369226 0
/proc/19578/statm: 5918 108 54 36 0 2156 0
[startup+0.10016 s]
/proc/loadavg: 1.84 1.55 1.46 2/201 19578
/proc/meminfo: memFree=30248536/32770624 swapFree=0/451644
[pid=19578] ppid=19575 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19578/stat : 19578 (runsolver) D 19575 19578 4896 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 145439509 24240128 108 18446744073709551615 4194304 4338465 140732038361296 140732038358936 140487052292823 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31883264 140732038365393 140732038365769 140732038365769 140732038369226 0
/proc/19578/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200274 s]
/proc/loadavg: 1.84 1.55 1.46 2/201 19578
/proc/meminfo: memFree=30248536/32770624 swapFree=0/451644
[pid=19578] ppid=19575 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/19578/stat : 19578 (bash) S 19575 19578 4896 0 -1 4202496 896 6477 0 0 0 0 0 1 20 0 1 0 145439509 9867264 377 18446744073709551615 4194304 5098028 140726433002624 140726432996632 140005597236224 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 11 0 0 7196144 7232144 22691840 140726433010196 140726433010281 140726433010281 140726433013738 0
/proc/19578/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300299 s]
/proc/loadavg: 1.84 1.55 1.46 2/201 19578
/proc/meminfo: memFree=30248536/32770624 swapFree=0/451644
[pid=19578] ppid=19575 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/19578/stat : 19578 (java) S 19575 19578 4896 0 -1 1077944320 5547 12486 0 0 5 1 4 3 20 0 14 0 145439509 14241083392 5228 18446744073709551615 4194304 4196468 140730814031648 140730814014192 139999385890551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
/proc/19578/statm: 3476827 5228 2566 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700234 s]
/proc/loadavg: 1.84 1.55 1.46 2/201 19578
/proc/meminfo: memFree=30248536/32770624 swapFree=0/451644
[pid=19578] ppid=19575 vsize=13974784 CPUtime=0.68 cores=1,3,5,7
/proc/19578/stat : 19578 (java) S 19575 19578 4896 0 -1 1077944320 13919 12486 0 0 57 4 4 3 20 0 15 0 145439509 14310178816 14318 18446744073709551615 4194304 4196468 140730814031648 140730814014192 139999385890551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
/proc/19578/statm: 3493696 14318 3134 1 0 3482965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784
[startup+1.50361 s]
/proc/loadavg: 1.77 1.55 1.46 3/216 19641
/proc/meminfo: memFree=30154488/32770624 swapFree=0/451672
[pid=19578] ppid=19575 vsize=13985408 CPUtime=1.88 cores=1,3,5,7
/proc/19578/stat : 19578 (java) S 19575 19578 4896 0 -1 1077944320 29164 12486 0 0 171 10 4 3 20 0 15 0 145439509 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 140730814014192 139999385890551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
/proc/19578/statm: 3496352 40726 3364 1 0 3485525 0
[pid=19578/tid=19628] ppid=19575 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/19578/task/19628/stat : 19628 (java) S 19575 19578 4896 0 -1 1077944384 22831 12486 0 0 114 7 4 3 20 0 15 0 145439531 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139999390108912 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19629] ppid=19575 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19629/stat : 19629 (java) R 19575 19578 4896 0 -1 4202560 46 12486 0 0 0 0 4 3 20 0 15 0 145439532 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139999305304976 139999385902486 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19630] ppid=19575 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19630/stat : 19630 (java) R 19575 19578 4896 0 -1 4202560 53 12486 0 0 0 0 4 3 20 0 15 0 145439532 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139999304252176 139999385902486 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19631] ppid=19575 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19631/stat : 19631 (java) R 19575 19578 4896 0 -1 4202560 35 12486 0 0 0 0 4 3 20 0 15 0 145439532 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139999303199888 139999370347936 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19632] ppid=19575 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19632/stat : 19632 (java) R 19575 19578 4896 0 -1 1077944384 202 12486 0 0 0 0 4 3 20 0 15 0 145439532 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139999302147088 139999385900757 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19633] ppid=19575 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19578/task/19633/stat : 19633 (java) S 19575 19578 4896 0 -1 1077944384 707 12486 0 0 1 0 4 3 20 0 15 0 145439533 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139998863557280 139999385900757 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19634] ppid=19575 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19634/stat : 19634 (java) S 19575 19578 4896 0 -1 1077944384 33 12486 0 0 0 0 4 3 20 0 15 0 145439534 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139998862504736 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19635] ppid=19575 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19635/stat : 19635 (java) S 19575 19578 4896 0 -1 1077944384 21 12486 0 0 0 0 4 3 20 0 15 0 145439534 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139998861452400 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19636] ppid=19575 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19636/stat : 19636 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 15 0 145439537 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139998860400720 139999385909147 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19637] ppid=19575 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/19578/task/19637/stat : 19637 (java) S 19575 19578 4896 0 -1 1077944384 929 12486 0 0 13 0 4 3 20 0 15 0 145439537 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139998859348592 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19638] ppid=19575 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/19578/task/19638/stat : 19638 (java) S 19575 19578 4896 0 -1 1077944384 781 12486 0 0 16 0 4 3 20 0 15 0 145439537 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139998858295792 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19639] ppid=19575 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/19578/task/19639/stat : 19639 (java) S 19575 19578 4896 0 -1 1077944384 1357 12486 0 0 23 0 4 3 20 0 15 0 145439537 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139998857243504 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19640] ppid=19575 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19640/stat : 19640 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 15 0 145439537 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139998856190944 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19641] ppid=19575 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19641/stat : 19641 (java) S 19575 19578 4896 0 -1 1077944384 10 12486 0 0 0 0 4 3 20 0 15 0 145439540 14321057792 40726 18446744073709551615 4194304 4196468 140730814031648 139998855137712 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13985408
[startup+3.10066 s]
/proc/loadavg: 1.77 1.55 1.46 4/216 19641
/proc/meminfo: memFree=30074448/32770624 swapFree=0/451672
[pid=19578] ppid=19575 vsize=13993788 CPUtime=5.37 cores=1,3,5,7
/proc/19578/stat : 19578 (java) S 19575 19578 4896 0 -1 1077944320 43795 12486 0 0 503 27 4 3 20 0 15 0 145439509 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 140730814014192 139999385890551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
/proc/19578/statm: 3498447 113200 3458 1 0 3487061 0
[pid=19578/tid=19628] ppid=19575 vsize=13993788 CPUtime=2.72 cores=1,3,5,7
/proc/19578/task/19628/stat : 19628 (java) R 19575 19578 4896 0 -1 4202560 29069 12486 0 0 254 11 4 3 20 0 15 0 145439531 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139999390121928 139998979205397 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19629] ppid=19575 vsize=13993788 CPUtime=0.18 cores=1,3,5,7
/proc/19578/task/19629/stat : 19629 (java) S 19575 19578 4896 0 -1 1077944384 132 12486 0 0 9 2 4 3 20 0 15 0 145439532 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139999305304976 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19630] ppid=19575 vsize=13993788 CPUtime=0.2 cores=1,3,5,7
/proc/19578/task/19630/stat : 19630 (java) S 19575 19578 4896 0 -1 1077944384 399 12486 0 0 10 3 4 3 20 0 15 0 145439532 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139999304252176 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19631] ppid=19575 vsize=13993788 CPUtime=0.17 cores=1,3,5,7
/proc/19578/task/19631/stat : 19631 (java) S 19575 19578 4896 0 -1 1077944384 769 12486 0 0 8 2 4 3 20 0 15 0 145439532 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139999303199888 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19632] ppid=19575 vsize=13993788 CPUtime=0.2 cores=1,3,5,7
/proc/19578/task/19632/stat : 19632 (java) S 19575 19578 4896 0 -1 1077944384 391 12486 0 0 10 3 4 3 20 0 15 0 145439532 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139999302147088 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19633] ppid=19575 vsize=13993788 CPUtime=0.1 cores=1,3,5,7
/proc/19578/task/19633/stat : 19633 (java) S 19575 19578 4896 0 -1 1077944384 3016 12486 0 0 3 0 4 3 20 0 15 0 145439533 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139998863558768 139999385901698 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19634] ppid=19575 vsize=13993788 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19634/stat : 19634 (java) S 19575 19578 4896 0 -1 1077944384 54 12486 0 0 0 0 4 3 20 0 15 0 145439534 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139998862504800 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19635] ppid=19575 vsize=13993788 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19635/stat : 19635 (java) S 19575 19578 4896 0 -1 1077944384 49 12486 0 0 0 0 4 3 20 0 15 0 145439534 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139998861452416 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19636] ppid=19575 vsize=13993788 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19636/stat : 19636 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 15 0 145439537 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139998860400720 139999385909147 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19637] ppid=19575 vsize=13993788 CPUtime=0.61 cores=1,3,5,7
/proc/19578/task/19637/stat : 19637 (java) S 19575 19578 4896 0 -1 1077944384 1768 12486 0 0 54 0 4 3 20 0 15 0 145439537 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139998859348592 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19638] ppid=19575 vsize=13993788 CPUtime=0.9 cores=1,3,5,7
/proc/19578/task/19638/stat : 19638 (java) S 19575 19578 4896 0 -1 1077944384 3291 12486 0 0 83 0 4 3 20 0 15 0 145439537 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139998858295792 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19639] ppid=19575 vsize=13993788 CPUtime=0.75 cores=1,3,5,7
/proc/19578/task/19639/stat : 19639 (java) S 19575 19578 4896 0 -1 1077944384 2683 12486 0 0 68 0 4 3 20 0 15 0 145439537 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139998857243504 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19640] ppid=19575 vsize=13993788 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19640/stat : 19640 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 15 0 145439537 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139998856190944 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19641] ppid=19575 vsize=13993788 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19641/stat : 19641 (java) S 19575 19578 4896 0 -1 1077944384 13 12486 0 0 0 0 4 3 20 0 15 0 145439540 14329638912 113200 18446744073709551615 4194304 4196468 140730814031648 139998855137712 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 13993788
[startup+6.30069 s]
/proc/loadavg: 1.77 1.55 1.46 3/216 19641
/proc/meminfo: memFree=29039012/32770624 swapFree=0/451680
[pid=19578] ppid=19575 vsize=13995836 CPUtime=10.62 cores=1,3,5,7
/proc/19578/stat : 19578 (java) S 19575 19578 4896 0 -1 1077944320 47554 12486 0 0 968 87 4 3 20 0 15 0 145439509 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 140730814014192 139999385890551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
/proc/19578/statm: 3498959 305138 3460 1 0 3487573 0
[pid=19578/tid=19628] ppid=19575 vsize=13995836 CPUtime=5.45 cores=1,3,5,7
/proc/19578/task/19628/stat : 19628 (java) R 19575 19578 4896 0 -1 4202560 30070 12486 0 0 523 15 4 3 20 0 15 0 145439531 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139999390124632 139998979117261 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19629] ppid=19575 vsize=13995836 CPUtime=0.63 cores=1,3,5,7
/proc/19578/task/19629/stat : 19629 (java) S 19575 19578 4896 0 -1 1077944384 516 12486 0 0 40 16 4 3 20 0 15 0 145439532 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139999305304976 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19630] ppid=19575 vsize=13995836 CPUtime=0.66 cores=1,3,5,7
/proc/19578/task/19630/stat : 19630 (java) S 19575 19578 4896 0 -1 1077944384 808 12486 0 0 41 18 4 3 20 0 15 0 145439532 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139999304252176 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19631] ppid=19575 vsize=13995836 CPUtime=0.61 cores=1,3,5,7
/proc/19578/task/19631/stat : 19631 (java) S 19575 19578 4896 0 -1 1077944384 1120 12486 0 0 38 16 4 3 20 0 15 0 145439532 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139999303199888 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19632] ppid=19575 vsize=13995836 CPUtime=0.66 cores=1,3,5,7
/proc/19578/task/19632/stat : 19632 (java) S 19575 19578 4896 0 -1 1077944384 779 12486 0 0 42 17 4 3 20 0 15 0 145439532 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139999302147088 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19633] ppid=19575 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/19578/task/19633/stat : 19633 (java) S 19575 19578 4896 0 -1 1077944384 3453 12486 0 0 3 0 4 3 20 0 15 0 145439533 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139998863558768 139999385901698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19634] ppid=19575 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19634/stat : 19634 (java) S 19575 19578 4896 0 -1 1077944384 54 12486 0 0 0 0 4 3 20 0 15 0 145439534 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139998862504800 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19635] ppid=19575 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19635/stat : 19635 (java) S 19575 19578 4896 0 -1 1077944384 49 12486 0 0 0 0 4 3 20 0 15 0 145439534 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139998861452416 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19636] ppid=19575 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19636/stat : 19636 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 15 0 145439537 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139998860400720 139999385909147 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19637] ppid=19575 vsize=13995836 CPUtime=0.97 cores=1,3,5,7
/proc/19578/task/19637/stat : 19637 (java) S 19575 19578 4896 0 -1 1077944384 2282 12486 0 0 90 0 4 3 20 0 15 0 145439537 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139998859348592 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19638] ppid=19575 vsize=13995836 CPUtime=1.19 cores=1,3,5,7
/proc/19578/task/19638/stat : 19638 (java) S 19575 19578 4896 0 -1 1077944384 3354 12486 0 0 112 0 4 3 20 0 15 0 145439537 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139998858295792 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19639] ppid=19575 vsize=13995836 CPUtime=0.81 cores=1,3,5,7
/proc/19578/task/19639/stat : 19639 (java) S 19575 19578 4896 0 -1 1077944384 2790 12486 0 0 74 0 4 3 20 0 15 0 145439537 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139998857243504 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19640] ppid=19575 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19640/stat : 19640 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 15 0 145439537 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139998856190944 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19641] ppid=19575 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19641/stat : 19641 (java) S 19575 19578 4896 0 -1 1077944384 118 12486 0 0 0 0 4 3 20 0 15 0 145439540 14331736064 305138 18446744073709551615 4194304 4196468 140730814031648 139998855137712 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
Current children cumulated CPU time (s) 10.62
Current children cumulated vsize (KiB) 13995836
[startup+12.7007 s]
/proc/loadavg: 1.65 1.53 1.45 3/216 19641
/proc/meminfo: memFree=28058728/32770624 swapFree=0/451684
[pid=19578] ppid=19575 vsize=13995836 CPUtime=21.55 cores=1,3,5,7
/proc/19578/stat : 19578 (java) S 19575 19578 4896 0 -1 1077944320 53656 12486 0 0 1991 157 4 3 20 0 15 0 145439509 14331736064 549813 18446744073709551615 4194304 4196468 140730814031648 140730814014192 139999385890551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
/proc/19578/statm: 3498959 549813 3460 1 0 3487573 0
[pid=19578/tid=19628] ppid=19575 vsize=13995836 CPUtime=10.02 cores=1,3,5,7
/proc/19578/task/19628/stat : 19628 (java) R 19575 19578 4896 0 -1 4202560 30830 12486 0 0 978 17 4 3 20 0 15 0 145439531 14331736064 549813 18446744073709551615 4194304 4196468 140730814031648 139999390122632 139999368353421 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19629] ppid=19575 vsize=13995836 CPUtime=2.06 cores=1,3,5,7
/proc/19578/task/19629/stat : 19629 (java) S 19575 19578 4896 0 -1 1077944384 1411 12486 0 0 165 34 4 3 20 0 15 0 145439532 14331736064 549813 18446744073709551615 4194304 4196468 140730814031648 139999305304976 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19630] ppid=19575 vsize=13995836 CPUtime=2.1 cores=1,3,5,7
/proc/19578/task/19630/stat : 19630 (java) S 19575 19578 4896 0 -1 1077944384 1805 12486 0 0 168 35 4 3 20 0 15 0 145439532 14331736064 549813 18446744073709551615 4194304 4196468 140730814031648 139999304252176 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19631] ppid=19575 vsize=13995836 CPUtime=2.04 cores=1,3,5,7
/proc/19578/task/19631/stat : 19631 (java) S 19575 19578 4896 0 -1 1077944384 2523 12486 0 0 167 30 4 3 20 0 15 0 145439532 14331736064 549813 18446744073709551615 4194304 4196468 140730814031648 139999303199888 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19632] ppid=19575 vsize=13995836 CPUtime=2.08 cores=1,3,5,7
/proc/19578/task/19632/stat : 19632 (java) S 19575 19578 4896 0 -1 1077944384 1819 12486 0 0 167 34 4 3 20 0 15 0 145439532 14331736064 549813 18446744073709551615 4194304 4196468 140730814031648 139999302147088 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19633] ppid=19575 vsize=13995836 CPUtime=0.48 cores=1,3,5,7
/proc/19578/task/19633/stat : 19633 (java) S 19575 19578 4896 0 -1 1077944384 4301 12486 0 0 41 0 4 3 20 0 15 0 145439533 14331736064 549813 18446744073709551615 4194304 4196468 140730814031648 139998863558768 139999385901698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19634] ppid=19575 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19634/stat : 19634 (java) S 19575 19578 4896 0 -1 1077944384 54 12486 0 0 0 0 4 3 20 0 15 0 145439534 14331736064 549813 18446744073709551615 4194304 4196468 140730814031648 139998862504800 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19635] ppid=19575 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19635/stat : 19635 (java) S 19575 19578 4896 0 -1 1077944384 49 12486 0 0 0 0 4 3 20 0 15 0 145439534 14331736064 549813 18446744073709551615 4194304 4196468 140730814031648 139998861452416 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19636] ppid=19575 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19636/stat : 19636 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 15 0 145439537 14331736064 549813 18446744073709551615 4194304 4196468 140730814031648 139998860400720 139999385909147 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
################
# More data... #
################
/proc/meminfo: memFree=18425744/32770624 swapFree=0/451840
[pid=19578] ppid=19575 vsize=14134080 CPUtime=2520.06 cores=1,3,5,7
/proc/19578/stat : 19578 (java) S 19575 19578 4896 0 -1 1077944320 6905520 12486 0 0 250737 1262 4 3 20 0 16 0 145439509 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 140730814014192 139999385890551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
/proc/19578/statm: 3533520 2963104 3480 1 0 3522134 0
[pid=19578/tid=19628] ppid=19575 vsize=14134080 CPUtime=136.9 cores=1,3,5,7
/proc/19578/task/19628/stat : 19628 (java) S 19575 19578 4896 0 -1 1077944384 305082 12486 0 0 13625 58 4 3 20 0 16 0 145439531 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999390131232 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19629] ppid=19575 vsize=14134080 CPUtime=594.13 cores=1,3,5,7
/proc/19578/task/19629/stat : 19629 (java) R 19575 19578 4896 0 -1 4202560 1648810 12486 0 0 59109 297 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999305304864 139999367487559 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19630] ppid=19575 vsize=14134080 CPUtime=591.36 cores=1,3,5,7
/proc/19578/task/19630/stat : 19630 (java) R 19575 19578 4896 0 -1 4202560 1593104 12486 0 0 58832 297 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999304252376 139999370588337 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19631] ppid=19575 vsize=14134080 CPUtime=591.93 cores=1,3,5,7
/proc/19578/task/19631/stat : 19631 (java) R 19575 19578 4896 0 -1 4202560 1891462 12486 0 0 58878 308 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999303200088 139999370588326 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19632] ppid=19575 vsize=14134080 CPUtime=591.53 cores=1,3,5,7
/proc/19578/task/19632/stat : 19632 (java) R 19575 19578 4896 0 -1 4202560 1195514 12486 0 0 58869 277 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999302147288 139999367486992 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19633] ppid=19575 vsize=14134080 CPUtime=5.36 cores=1,3,5,7
/proc/19578/task/19633/stat : 19633 (java) S 19575 19578 4896 0 -1 1077944384 232586 12486 0 0 519 10 4 3 20 0 16 0 145439533 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998863557088 139999385900757 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19634] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19634/stat : 19634 (java) S 19575 19578 4896 0 -1 1077944384 94 12486 0 0 0 0 4 3 20 0 16 0 145439534 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998862504864 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19635] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19635/stat : 19635 (java) S 19575 19578 4896 0 -1 1077944384 140 12486 0 0 0 0 4 3 20 0 16 0 145439534 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998861452416 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19636] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19636/stat : 19636 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998860400720 139999385909147 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19637] ppid=19575 vsize=14134080 CPUtime=3.5 cores=1,3,5,7
/proc/19578/task/19637/stat : 19637 (java) S 19575 19578 4896 0 -1 1077944384 9565 12486 0 0 341 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998859348592 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19638] ppid=19575 vsize=14134080 CPUtime=3.6 cores=1,3,5,7
/proc/19578/task/19638/stat : 19638 (java) S 19575 19578 4896 0 -1 1077944384 14727 12486 0 0 351 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998858295792 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19639] ppid=19575 vsize=14134080 CPUtime=1.52 cores=1,3,5,7
/proc/19578/task/19639/stat : 19639 (java) S 19575 19578 4896 0 -1 1077944384 10552 12486 0 0 143 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998857243504 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19640] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19640/stat : 19640 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998856190944 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19641] ppid=19575 vsize=14134080 CPUtime=0.75 cores=1,3,5,7
/proc/19578/task/19641/stat : 19641 (java) S 19575 19578 4896 0 -1 1077944384 1702 12486 0 0 39 29 4 3 20 0 16 0 145439540 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998855137712 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19808] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19808/stat : 19808 (java) S 19575 19578 4896 0 -1 1077944384 23 12486 0 0 0 0 4 3 20 0 16 0 145512861 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998826392592 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 14134080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19578
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19578 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+739.202 s]
/proc/loadavg: 4.49 4.22 2.98 6/215 19808
/proc/meminfo: memFree=18425620/32770624 swapFree=0/451840
[pid=19578] ppid=19575 vsize=14134080 CPUtime=2524 cores=1,3,5,7
/proc/19578/stat : 19578 (java) S 19575 19578 4896 0 -1 1077944320 6906233 12486 0 0 251131 1262 4 3 20 0 16 0 145439509 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 140730814014192 139999385890551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
/proc/19578/statm: 3533520 2963104 3480 1 0 3522134 0
[pid=19578/tid=19628] ppid=19575 vsize=14134080 CPUtime=136.9 cores=1,3,5,7
/proc/19578/task/19628/stat : 19628 (java) S 19575 19578 4896 0 -1 1077944384 305082 12486 0 0 13625 58 4 3 20 0 16 0 145439531 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999390131232 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19629] ppid=19575 vsize=14134080 CPUtime=595.11 cores=1,3,5,7
/proc/19578/task/19629/stat : 19629 (java) R 19575 19578 4896 0 -1 4202560 1649491 12486 0 0 59207 297 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999305304976 139999370886955 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19630] ppid=19575 vsize=14134080 CPUtime=592.34 cores=1,3,5,7
/proc/19578/task/19630/stat : 19630 (java) R 19575 19578 4896 0 -1 4202560 1593104 12486 0 0 58930 297 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999304252176 139999370887060 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19631] ppid=19575 vsize=14134080 CPUtime=592.91 cores=1,3,5,7
/proc/19578/task/19631/stat : 19631 (java) R 19575 19578 4896 0 -1 4202560 1891462 12486 0 0 58976 308 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999303199776 139999370886958 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19632] ppid=19575 vsize=14134080 CPUtime=592.5 cores=1,3,5,7
/proc/19578/task/19632/stat : 19632 (java) R 19575 19578 4896 0 -1 4202560 1195514 12486 0 0 58966 277 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999302147288 139999367500396 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19633] ppid=19575 vsize=14134080 CPUtime=5.37 cores=1,3,5,7
/proc/19578/task/19633/stat : 19633 (java) S 19575 19578 4896 0 -1 1077944384 232611 12486 0 0 520 10 4 3 20 0 16 0 145439533 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998863557312 139999385900757 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19634] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19634/stat : 19634 (java) S 19575 19578 4896 0 -1 1077944384 94 12486 0 0 0 0 4 3 20 0 16 0 145439534 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998862504864 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19635] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19635/stat : 19635 (java) S 19575 19578 4896 0 -1 1077944384 140 12486 0 0 0 0 4 3 20 0 16 0 145439534 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998861452416 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19636] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19636/stat : 19636 (java) S 19575 19578 4896 0 -1 1077944384 6 12486 0 0 0 0 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998860400368 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19637] ppid=19575 vsize=14134080 CPUtime=3.5 cores=1,3,5,7
/proc/19578/task/19637/stat : 19637 (java) S 19575 19578 4896 0 -1 1077944384 9565 12486 0 0 341 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998859348640 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19638] ppid=19575 vsize=14134080 CPUtime=3.6 cores=1,3,5,7
/proc/19578/task/19638/stat : 19638 (java) S 19575 19578 4896 0 -1 1077944384 14727 12486 0 0 351 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998858295840 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19639] ppid=19575 vsize=14134080 CPUtime=1.52 cores=1,3,5,7
/proc/19578/task/19639/stat : 19639 (java) S 19575 19578 4896 0 -1 1077944384 10552 12486 0 0 143 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998857243264 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19640] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19640/stat : 19640 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998856190944 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19641] ppid=19575 vsize=14134080 CPUtime=0.75 cores=1,3,5,7
/proc/19578/task/19641/stat : 19641 (java) S 19575 19578 4896 0 -1 1077944384 1702 12486 0 0 39 29 4 3 20 0 16 0 145439540 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998855137712 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19808] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19808/stat : 19808 (java) S 19575 19578 4896 0 -1 1077944384 23 12486 0 0 0 0 4 3 20 0 16 0 145512861 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998826392592 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
Current children cumulated CPU time (s) 2524
Current children cumulated vsize (KiB) 14134080
[startup+740.002 s]
/proc/loadavg: 4.49 4.22 2.98 6/215 19808
/proc/meminfo: memFree=18425620/32770624 swapFree=0/451840
[pid=19578] ppid=19575 vsize=14134080 CPUtime=2527.18 cores=1,3,5,7
/proc/19578/stat : 19578 (java) S 19575 19578 4896 0 -1 1077944320 6906233 12486 0 0 251449 1262 4 3 20 0 16 0 145439509 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 140730814014192 139999385890551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
/proc/19578/statm: 3533520 2963104 3480 1 0 3522134 0
[pid=19578/tid=19628] ppid=19575 vsize=14134080 CPUtime=136.9 cores=1,3,5,7
/proc/19578/task/19628/stat : 19628 (java) S 19575 19578 4896 0 -1 1077944384 305082 12486 0 0 13625 58 4 3 20 0 16 0 145439531 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999390131232 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19629] ppid=19575 vsize=14134080 CPUtime=595.9 cores=1,3,5,7
/proc/19578/task/19629/stat : 19629 (java) R 19575 19578 4896 0 -1 4202560 1649491 12486 0 0 59286 297 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999305304976 139999367500327 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19630] ppid=19575 vsize=14134080 CPUtime=593.13 cores=1,3,5,7
/proc/19578/task/19630/stat : 19630 (java) R 19575 19578 4896 0 -1 4202560 1593104 12486 0 0 59009 297 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999304252176 139999370589296 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19631] ppid=19575 vsize=14134080 CPUtime=593.71 cores=1,3,5,7
/proc/19578/task/19631/stat : 19631 (java) R 19575 19578 4896 0 -1 4202560 1891462 12486 0 0 59056 308 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999303199776 139999367500306 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19632] ppid=19575 vsize=14134080 CPUtime=593.29 cores=1,3,5,7
/proc/19578/task/19632/stat : 19632 (java) R 19575 19578 4896 0 -1 4202560 1195514 12486 0 0 59045 277 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999302147288 139999370886932 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19633] ppid=19575 vsize=14134080 CPUtime=5.37 cores=1,3,5,7
/proc/19578/task/19633/stat : 19633 (java) S 19575 19578 4896 0 -1 1077944384 232611 12486 0 0 520 10 4 3 20 0 16 0 145439533 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998863557312 139999385900757 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19634] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19634/stat : 19634 (java) S 19575 19578 4896 0 -1 1077944384 94 12486 0 0 0 0 4 3 20 0 16 0 145439534 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998862504864 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19635] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19635/stat : 19635 (java) S 19575 19578 4896 0 -1 1077944384 140 12486 0 0 0 0 4 3 20 0 16 0 145439534 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998861452416 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19636] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19636/stat : 19636 (java) S 19575 19578 4896 0 -1 1077944384 6 12486 0 0 0 0 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998860400368 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19637] ppid=19575 vsize=14134080 CPUtime=3.5 cores=1,3,5,7
/proc/19578/task/19637/stat : 19637 (java) S 19575 19578 4896 0 -1 1077944384 9565 12486 0 0 341 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998859348640 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19638] ppid=19575 vsize=14134080 CPUtime=3.6 cores=1,3,5,7
/proc/19578/task/19638/stat : 19638 (java) S 19575 19578 4896 0 -1 1077944384 14727 12486 0 0 351 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998858295840 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19639] ppid=19575 vsize=14134080 CPUtime=1.52 cores=1,3,5,7
/proc/19578/task/19639/stat : 19639 (java) S 19575 19578 4896 0 -1 1077944384 10552 12486 0 0 143 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998857243264 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19640] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19640/stat : 19640 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998856190944 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19641] ppid=19575 vsize=14134080 CPUtime=0.75 cores=1,3,5,7
/proc/19578/task/19641/stat : 19641 (java) S 19575 19578 4896 0 -1 1077944384 1702 12486 0 0 39 29 4 3 20 0 16 0 145439540 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998855137712 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19808] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19808/stat : 19808 (java) S 19575 19578 4896 0 -1 1077944384 23 12486 0 0 0 0 4 3 20 0 16 0 145512861 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998826392592 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
Current children cumulated CPU time (s) 2527.18
Current children cumulated vsize (KiB) 14134080
[startup+740.202 s]
/proc/loadavg: 4.49 4.22 2.98 6/215 19808
/proc/meminfo: memFree=18425620/32770624 swapFree=0/451840
[pid=19578] ppid=19575 vsize=14134080 CPUtime=2527.97 cores=1,3,5,7
/proc/19578/stat : 19578 (java) S 19575 19578 4896 0 -1 1077944320 6906233 12486 0 0 251528 1262 4 3 20 0 16 0 145439509 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 140730814014192 139999385890551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
/proc/19578/statm: 3533520 2963104 3480 1 0 3522134 0
[pid=19578/tid=19628] ppid=19575 vsize=14134080 CPUtime=136.9 cores=1,3,5,7
/proc/19578/task/19628/stat : 19628 (java) S 19575 19578 4896 0 -1 1077944384 305082 12486 0 0 13625 58 4 3 20 0 16 0 145439531 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999390131232 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19629] ppid=19575 vsize=14134080 CPUtime=596.1 cores=1,3,5,7
/proc/19578/task/19629/stat : 19629 (java) R 19575 19578 4896 0 -1 4202560 1649491 12486 0 0 59306 297 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999305304976 139999370886955 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19630] ppid=19575 vsize=14134080 CPUtime=593.33 cores=1,3,5,7
/proc/19578/task/19630/stat : 19630 (java) R 19575 19578 4896 0 -1 4202560 1593104 12486 0 0 59029 297 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999304252176 139999370886955 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19631] ppid=19575 vsize=14134080 CPUtime=593.91 cores=1,3,5,7
/proc/19578/task/19631/stat : 19631 (java) R 19575 19578 4896 0 -1 4202560 1891462 12486 0 0 59076 308 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999303199776 139999367500306 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19632] ppid=19575 vsize=14134080 CPUtime=593.49 cores=1,3,5,7
/proc/19578/task/19632/stat : 19632 (java) R 19575 19578 4896 0 -1 4202560 1195514 12486 0 0 59065 277 4 3 20 0 16 0 145439532 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139999302147288 139999370589310 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19633] ppid=19575 vsize=14134080 CPUtime=5.37 cores=1,3,5,7
/proc/19578/task/19633/stat : 19633 (java) S 19575 19578 4896 0 -1 1077944384 232611 12486 0 0 520 10 4 3 20 0 16 0 145439533 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998863557312 139999385900757 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19634] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19634/stat : 19634 (java) S 19575 19578 4896 0 -1 1077944384 94 12486 0 0 0 0 4 3 20 0 16 0 145439534 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998862504864 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19635] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19635/stat : 19635 (java) S 19575 19578 4896 0 -1 1077944384 140 12486 0 0 0 0 4 3 20 0 16 0 145439534 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998861452416 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19636] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19636/stat : 19636 (java) S 19575 19578 4896 0 -1 1077944384 6 12486 0 0 0 0 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998860400368 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19637] ppid=19575 vsize=14134080 CPUtime=3.5 cores=1,3,5,7
/proc/19578/task/19637/stat : 19637 (java) S 19575 19578 4896 0 -1 1077944384 9565 12486 0 0 341 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998859348640 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19638] ppid=19575 vsize=14134080 CPUtime=3.6 cores=1,3,5,7
/proc/19578/task/19638/stat : 19638 (java) S 19575 19578 4896 0 -1 1077944384 14727 12486 0 0 351 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998858295840 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19639] ppid=19575 vsize=14134080 CPUtime=1.52 cores=1,3,5,7
/proc/19578/task/19639/stat : 19639 (java) S 19575 19578 4896 0 -1 1077944384 10552 12486 0 0 143 2 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998857243264 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19640] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19640/stat : 19640 (java) S 19575 19578 4896 0 -1 1077944384 3 12486 0 0 0 0 4 3 20 0 16 0 145439537 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998856190944 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19641] ppid=19575 vsize=14134080 CPUtime=0.75 cores=1,3,5,7
/proc/19578/task/19641/stat : 19641 (java) S 19575 19578 4896 0 -1 1077944384 1702 12486 0 0 39 29 4 3 20 0 16 0 145439540 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998855137712 139999385901698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
[pid=19578/tid=19808] ppid=19575 vsize=14134080 CPUtime=0.07 cores=1,3,5,7
/proc/19578/task/19808/stat : 19808 (java) S 19575 19578 4896 0 -1 1077944384 23 12486 0 0 0 0 4 3 20 0 16 0 145512861 14473297920 2963104 18446744073709551615 4194304 4196468 140730814031648 139998826392592 139999385900757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14794752 140730814040016 140730814042801 140730814042801 140730814046159 0
Current children cumulated CPU time (s) 2527.97
Current children cumulated vsize (KiB) 14134080
Child ended because it received signal 9 (SIGKILL)
Real time (s): 740.371
CPU time (s): 2528.2
CPU user time (s): 2515.38
CPU system time (s): 12.8176
CPU usage (%): 341.477
Max. virtual memory (cumulated for all children) (KiB): 14134080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.38
system time used= 12.8176
maximum resident set size= 11852648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6918723
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37902
involuntary context switches= 21170
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.38365 second user time and 5.00444 second system time
The end