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-4244490-1500688291/watcher-4244490-1500688291 -o /tmp/evaluation-result-4244490-1500688291/solver-4244490-1500688291 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7985 --watchdog 2560 bin/concrete HOME/instance-4244490-1500688291.xml
pid=8701
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.40 1.54 1.57 3/261 8704
/proc/meminfo: memFree=30275236/32770624 swapFree=5800/268004
[pid=8704] ppid=8701 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (bash) S 8701 8704 7954 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 4096585 9736192 350 33554432000 4194304 5098028 140730149634672 140730149632312 140327345798144 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 40230912 140730149643534 140730149643619 140730149643619 140730149646318 0
/proc/8704/statm: 2377 350 277 221 0 86 0
[startup+0.100131 s]
/proc/loadavg: 1.40 1.54 1.57 3/261 8704
/proc/meminfo: memFree=30275236/32770624 swapFree=5800/268004
[pid=8704] ppid=8701 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (bash) S 8701 8704 7954 0 -1 4202496 884 6416 0 0 0 0 0 1 20 0 1 0 4096585 9871360 378 33554432000 4194304 5098028 140730149634672 140730149628680 140327345798144 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 40230912 140730149643534 140730149643619 140730149643619 140730149646318 0
/proc/8704/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200349 s]
/proc/loadavg: 1.40 1.54 1.57 3/261 8704
/proc/meminfo: memFree=30275236/32770624 swapFree=5800/268004
[pid=8704] ppid=8701 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (java) S 8701 8704 7954 0 -1 1077944320 4817 12260 0 0 6 1 9 3 20 0 13 0 4096585 10686320640 5179 33554432000 4194304 4196468 140727953313232 140727953295776 140557212659447 0 0 0 16800971 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
/proc/8704/statm: 2608965 5179 2170 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300297 s]
/proc/loadavg: 1.40 1.54 1.57 3/261 8704
/proc/meminfo: memFree=30275236/32770624 swapFree=5800/268004
[pid=8704] ppid=8701 vsize=10902292 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (java) S 8701 8704 7954 0 -1 1077944320 6757 12260 0 0 23 2 9 3 20 0 20 0 4096585 11163947008 8508 33554432000 4194304 4196468 140727953313232 140727953295776 140557212659447 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
/proc/8704/statm: 2725573 8508 2915 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902292
[startup+0.700269 s]
/proc/loadavg: 1.40 1.54 1.57 3/261 8704
/proc/meminfo: memFree=30275236/32770624 swapFree=5800/268004
[pid=8704] ppid=8701 vsize=10902720 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (java) S 8701 8704 7954 0 -1 1077944320 12014 12260 0 0 72 5 9 3 20 0 20 0 4096585 11164385280 14790 33554432000 4194304 4196468 140727953313232 140727953295776 140557212659447 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
/proc/8704/statm: 2725680 14790 3080 1 0 2713890 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10902720
[startup+1.501 s]
/proc/loadavg: 1.40 1.54 1.57 4/281 8777
/proc/meminfo: memFree=30177180/32770624 swapFree=5800/267908
[pid=8704] ppid=8701 vsize=10913344 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (java) S 8701 8704 7954 0 -1 1077944320 25226 12260 0 0 192 9 9 3 20 0 20 0 4096585 11175264256 34703 33554432000 4194304 4196468 140727953313232 140727953295776 140557212659447 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
/proc/8704/statm: 2728336 34703 3374 1 0 2716450 0
[pid=8704/tid=8759] ppid=8701 vsize=10913344 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8759/stat : 8759 (java) S 8701 8704 7954 0 -1 1077944384 19720 12260 0 0 129 6 9 3 20 0 20 0 4096598 11175264256 34703 33554432000 4194304 4196468 140727953313232 140557216876752 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8760] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8760/stat : 8760 (java) R 8701 8704 7954 0 -1 4202560 3 12260 0 0 0 0 9 3 20 0 20 0 4096599 11175264256 34703 33554432000 4194304 4196468 140727953313232 140557169212560 140557205765993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8761] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8761/stat : 8761 (java) S 8701 8704 7954 0 -1 1077944384 3 12260 0 0 0 0 9 3 20 0 20 0 4096599 11175264256 34703 33554432000 4194304 4196468 140727953313232 140557168159760 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8762] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8762/stat : 8762 (java) R 8701 8704 7954 0 -1 4202560 3 12260 0 0 0 0 9 3 20 0 20 0 4096599 11175264256 34703 33554432000 4194304 4196468 140727953313232 140556817587088 140557197687339 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8763] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8763/stat : 8763 (java) S 8701 8704 7954 0 -1 1077944384 1 12260 0 0 0 0 9 3 20 0 20 0 4096599 11175264256 34703 33554432000 4194304 4196468 140727953313232 140556816534288 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8764] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8764/stat : 8764 (java) R 8701 8704 7954 0 -1 4202560 6 12260 0 0 0 0 9 3 20 0 20 0 4096599 11175264256 34703 33554432000 4194304 4196468 140727953313232 140556815481488 140557205759294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8765] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8765/stat : 8765 (java) R 8701 8704 7954 0 -1 4202560 6 12260 0 0 0 0 9 3 20 0 20 0 4096599 11175264256 34703 33554432000 4194304 4196468 140727953313232 140556814428688 140557197687321 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8766] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8766/stat : 8766 (java) R 8701 8704 7954 0 -1 1077944384 1 12260 0 0 0 0 9 3 20 0 20 0 4096599 11175264256 34703 33554432000 4194304 4196468 140727953313232 140556813375888 140557212669653 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8767] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8767/stat : 8767 (java) S 8701 8704 7954 0 -1 1077944384 1 12260 0 0 0 0 9 3 20 0 20 0 4096599 11175264256 34703 33554432000 4194304 4196468 140727953313232 140556812323088 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8768] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8768/stat : 8768 (java) S 8701 8704 7954 0 -1 1077944384 44 12260 0 0 0 0 9 3 20 0 20 0 4096601 11175264256 34703 33554432000 4194304 4196468 140727953313232 140556686542208 140557212669653 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8769] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8769/stat : 8769 (java) S 8701 8704 7954 0 -1 1077944384 33 12260 0 0 0 0 9 3 20 0 20 0 4096601 11175264256 34703 33554432000 4194304 4196468 140727953313232 140556685489696 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8770] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8770/stat : 8770 (java) S 8701 8704 7954 0 -1 1077944384 21 12260 0 0 0 0 9 3 20 0 20 0 4096602 11175264256 35215 33554432000 4194304 4196468 140727953313232 140556684436848 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8771] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8771/stat : 8771 (java) S 8701 8704 7954 0 -1 1077944384 1 12260 0 0 0 0 9 3 20 0 20 0 4096606 11175264256 35215 33554432000 4194304 4196468 140727953313232 140556683385168 140557212678043 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8772] ppid=8701 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8772/stat : 8772 (java) S 8701 8704 7954 0 -1 1077944384 985 12260 0 0 12 0 9 3 20 0 20 0 4096606 11175264256 35215 33554432000 4194304 4196468 140727953313232 140556682332528 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8773] ppid=8701 vsize=10913344 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8773/stat : 8773 (java) S 8701 8704 7954 0 -1 1077944384 720 12260 0 0 16 0 9 3 20 0 20 0 4096606 11175264256 35215 33554432000 4194304 4196468 140727953313232 140556681279728 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8774] ppid=8701 vsize=10913344 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8774/stat : 8774 (java) S 8701 8704 7954 0 -1 1077944384 408 12260 0 0 8 0 9 3 20 0 20 0 4096606 11175264256 35215 33554432000 4194304 4196468 140727953313232 140556680226928 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8775] ppid=8701 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8775/stat : 8775 (java) S 8701 8704 7954 0 -1 1077944384 1137 12260 0 0 25 0 9 3 20 0 20 0 4096606 11175264256 35215 33554432000 4194304 4196468 140727953313232 140556679174128 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8776] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8776/stat : 8776 (java) S 8701 8704 7954 0 -1 1077944384 3 12260 0 0 0 0 9 3 20 0 20 0 4096606 11175264256 35215 33554432000 4194304 4196468 140727953313232 140556678122592 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8777] ppid=8701 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8777/stat : 8777 (java) S 8701 8704 7954 0 -1 1077944384 4 12260 0 0 0 0 9 3 20 0 20 0 4096607 11175264256 35215 33554432000 4194304 4196468 140727953313232 140556677069872 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 10913344
[startup+3.10092 s]
/proc/loadavg: 1.40 1.54 1.57 5/281 8777
/proc/meminfo: memFree=30101932/32770624 swapFree=5800/267908
[pid=8704] ppid=8701 vsize=10925820 CPUtime=7.26 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (java) S 8701 8704 7954 0 -1 1077944320 42219 12260 0 0 693 21 9 3 20 0 20 0 4096585 11188039680 56047 33554432000 4194304 4196468 140727953313232 140727953295776 140557212659447 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
/proc/8704/statm: 2731455 56047 3476 1 0 2719010 0
[pid=8704/tid=8759] ppid=8701 vsize=10925820 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8759/stat : 8759 (java) R 8701 8704 7954 0 -1 4202560 24544 12260 0 0 282 9 9 3 20 0 20 0 4096598 11188039680 56047 33554432000 4194304 4196468 140727953313232 140557216892384 140556849102210 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8760] ppid=8701 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8760/stat : 8760 (java) S 8701 8704 7954 0 -1 1077944384 33 12260 0 0 0 0 9 3 20 0 20 0 4096599 11188039680 56047 33554432000 4194304 4196468 140727953313232 140557169212560 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8761] ppid=8701 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8761/stat : 8761 (java) S 8701 8704 7954 0 -1 1077944384 22 12260 0 0 0 0 9 3 20 0 20 0 4096599 11188039680 56047 33554432000 4194304 4196468 140727953313232 140557168159760 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8762] ppid=8701 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8762/stat : 8762 (java) S 8701 8704 7954 0 -1 1077944384 51 12260 0 0 1 0 9 3 20 0 20 0 4096599 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556817587088 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8763] ppid=8701 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8763/stat : 8763 (java) S 8701 8704 7954 0 -1 1077944384 26 12260 0 0 1 0 9 3 20 0 20 0 4096599 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556816534288 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8764] ppid=8701 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8764/stat : 8764 (java) S 8701 8704 7954 0 -1 1077944384 139 12260 0 0 0 0 9 3 20 0 20 0 4096599 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556815481488 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8765] ppid=8701 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8765/stat : 8765 (java) S 8701 8704 7954 0 -1 1077944384 29 12260 0 0 0 0 9 3 20 0 20 0 4096599 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556814428688 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8766] ppid=8701 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8766/stat : 8766 (java) S 8701 8704 7954 0 -1 1077944384 15 12260 0 0 0 0 9 3 20 0 20 0 4096599 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556813375888 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8767] ppid=8701 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8767/stat : 8767 (java) S 8701 8704 7954 0 -1 1077944384 14 12260 0 0 0 0 9 3 20 0 20 0 4096599 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556812323088 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8768] ppid=8701 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8768/stat : 8768 (java) S 8701 8704 7954 0 -1 1077944384 1524 12260 0 0 1 0 9 3 20 0 20 0 4096601 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556686543728 140557212670594 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8769] ppid=8701 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8769/stat : 8769 (java) S 8701 8704 7954 0 -1 1077944384 55 12260 0 0 0 0 9 3 20 0 20 0 4096601 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556685489760 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8770] ppid=8701 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8770/stat : 8770 (java) S 8701 8704 7954 0 -1 1077944384 44 12260 0 0 0 0 9 3 20 0 20 0 4096602 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556684436864 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8771] ppid=8701 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8771/stat : 8771 (java) S 8701 8704 7954 0 -1 1077944384 1 12260 0 0 0 0 9 3 20 0 20 0 4096606 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556683385168 140557212678043 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8772] ppid=8701 vsize=10925820 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8772/stat : 8772 (java) R 8701 8704 7954 0 -1 4202560 4837 12260 0 0 102 2 9 3 20 0 20 0 4096606 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556682318080 140557192822720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8773] ppid=8701 vsize=10925820 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8773/stat : 8773 (java) S 8701 8704 7954 0 -1 1077944384 2453 12260 0 0 95 1 9 3 20 0 20 0 4096606 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556681279728 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8774] ppid=8701 vsize=10925820 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8774/stat : 8774 (java) S 8701 8704 7954 0 -1 1077944384 2094 12260 0 0 81 1 9 3 20 0 20 0 4096606 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556680226928 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8775] ppid=8701 vsize=10925820 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8775/stat : 8775 (java) S 8701 8704 7954 0 -1 1077944384 4195 12260 0 0 121 2 9 3 20 0 20 0 4096606 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556679174128 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8776] ppid=8701 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8776/stat : 8776 (java) S 8701 8704 7954 0 -1 1077944384 3 12260 0 0 0 0 9 3 20 0 20 0 4096606 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556678122592 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8777] ppid=8701 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8777/stat : 8777 (java) S 8701 8704 7954 0 -1 1077944384 7 12260 0 0 0 0 9 3 20 0 20 0 4096607 11188039680 56047 33554432000 4194304 4196468 140727953313232 140556677069872 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 10925820
[startup+6.3012 s]
/proc/loadavg: 1.45 1.54 1.58 6/281 8777
/proc/meminfo: memFree=29757300/32770624 swapFree=5800/267920
[pid=8704] ppid=8701 vsize=10927868 CPUtime=17.6 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (java) S 8701 8704 7954 0 -1 1077944320 52678 12260 0 0 1637 111 9 3 20 0 20 0 4096585 11190136832 160279 33554432000 4194304 4196468 140727953313232 140727953295776 140557212659447 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
/proc/8704/statm: 2731967 160279 3498 1 0 2719522 0
[pid=8704/tid=8759] ppid=8701 vsize=10927868 CPUtime=5.95 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8759/stat : 8759 (java) R 8701 8704 7954 0 -1 4202560 26060 12260 0 0 570 13 9 3 20 0 20 0 4096598 11190136832 160279 33554432000 4194304 4196468 140727953313232 140557216887056 140556861855910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8760] ppid=8701 vsize=10927868 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8760/stat : 8760 (java) S 8701 8704 7954 0 -1 1077944384 175 12260 0 0 14 10 9 3 20 0 20 0 4096599 11190136832 160279 33554432000 4194304 4196468 140727953313232 140557169212560 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8761] ppid=8701 vsize=10927868 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8761/stat : 8761 (java) S 8701 8704 7954 0 -1 1077944384 166 12260 0 0 15 11 9 3 20 0 20 0 4096599 11190136832 160279 33554432000 4194304 4196468 140727953313232 140557168159760 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8762] ppid=8701 vsize=10927868 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8762/stat : 8762 (java) S 8701 8704 7954 0 -1 1077944384 226 12260 0 0 13 11 9 3 20 0 20 0 4096599 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556817587088 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8763] ppid=8701 vsize=10927868 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8763/stat : 8763 (java) S 8701 8704 7954 0 -1 1077944384 175 12260 0 0 14 12 9 3 20 0 20 0 4096599 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556816534288 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8764] ppid=8701 vsize=10927868 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8764/stat : 8764 (java) S 8701 8704 7954 0 -1 1077944384 232 12260 0 0 13 8 9 3 20 0 20 0 4096599 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556815481488 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8765] ppid=8701 vsize=10927868 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8765/stat : 8765 (java) S 8701 8704 7954 0 -1 1077944384 194 12260 0 0 15 10 9 3 20 0 20 0 4096599 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556814428688 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8766] ppid=8701 vsize=10927868 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8766/stat : 8766 (java) S 8701 8704 7954 0 -1 1077944384 162 12260 0 0 13 11 9 3 20 0 20 0 4096599 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556813375888 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8767] ppid=8701 vsize=10927868 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8767/stat : 8767 (java) S 8701 8704 7954 0 -1 1077944384 165 12260 0 0 13 9 9 3 20 0 20 0 4096599 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556812323088 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8768] ppid=8701 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8768/stat : 8768 (java) S 8701 8704 7954 0 -1 1077944384 1720 12260 0 0 3 0 9 3 20 0 20 0 4096601 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556686543728 140557212670594 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8769] ppid=8701 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8769/stat : 8769 (java) S 8701 8704 7954 0 -1 1077944384 55 12260 0 0 0 0 9 3 20 0 20 0 4096601 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556685489760 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8770] ppid=8701 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8770/stat : 8770 (java) S 8701 8704 7954 0 -1 1077944384 44 12260 0 0 0 0 9 3 20 0 20 0 4096602 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556684436864 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8771] ppid=8701 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8771/stat : 8771 (java) S 8701 8704 7954 0 -1 1077944384 1 12260 0 0 0 0 9 3 20 0 20 0 4096606 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556683385168 140557212678043 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8772] ppid=8701 vsize=10927868 CPUtime=2.59 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8772/stat : 8772 (java) S 8701 8704 7954 0 -1 1077944384 5287 12260 0 0 244 3 9 3 20 0 20 0 4096606 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556682332528 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8773] ppid=8701 vsize=10927868 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8773/stat : 8773 (java) S 8701 8704 7954 0 -1 1077944384 3845 12260 0 0 247 2 9 3 20 0 20 0 4096606 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556681279728 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8774] ppid=8701 vsize=10927868 CPUtime=2.74 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8774/stat : 8774 (java) S 8701 8704 7954 0 -1 1077944384 5627 12260 0 0 261 1 9 3 20 0 20 0 4096606 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556680226928 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8775] ppid=8701 vsize=10927868 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8775/stat : 8775 (java) S 8701 8704 7954 0 -1 1077944384 6398 12260 0 0 194 3 9 3 20 0 20 0 4096606 11190136832 160279 33554432000 4194304 4196468 140727953313232 140556679174128 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8776] ppid=8701 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
/proc/meminfo: memFree=28379316/32770624 swapFree=5800/270360
[pid=8704] ppid=8701 vsize=10997500 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (java) S 8701 8704 7954 0 -1 1077944320 334862 12260 0 0 239353 635 9 3 20 0 20 0 4096585 11261440000 454660 33554432000 4194304 4196468 140727953313232 140727953295776 140557212659447 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
/proc/8704/statm: 2749375 454660 3519 1 0 2736930 0
[pid=8704/tid=8759] ppid=8701 vsize=10997500 CPUtime=2270.04 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8759/stat : 8759 (java) R 8701 8704 7954 0 -1 4202560 112783 12260 0 0 226935 57 9 3 20 0 20 0 4096598 11261440000 454660 33554432000 4194304 4196468 140727953313232 140557216893728 140556856375699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8760] ppid=8701 vsize=10997500 CPUtime=12.96 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8760/stat : 8760 (java) S 8701 8704 7954 0 -1 1077944384 9129 12260 0 0 1226 58 9 3 20 0 20 0 4096599 11261440000 454660 33554432000 4194304 4196468 140727953313232 140557169212560 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8761] ppid=8701 vsize=10997500 CPUtime=13.22 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8761/stat : 8761 (java) S 8701 8704 7954 0 -1 1077944384 16902 12260 0 0 1244 66 9 3 20 0 20 0 4096599 11261440000 454660 33554432000 4194304 4196468 140727953313232 140557168159760 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8762] ppid=8701 vsize=10997500 CPUtime=13.14 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8762/stat : 8762 (java) S 8701 8704 7954 0 -1 1077944384 15518 12260 0 0 1238 64 9 3 20 0 20 0 4096599 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556817587088 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8763] ppid=8701 vsize=10997500 CPUtime=13.16 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8763/stat : 8763 (java) S 8701 8704 7954 0 -1 1077944384 18416 12260 0 0 1243 61 9 3 20 0 20 0 4096599 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556816534288 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8764] ppid=8701 vsize=10997500 CPUtime=12.95 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8764/stat : 8764 (java) S 8701 8704 7954 0 -1 1077944384 16932 12260 0 0 1225 58 9 3 20 0 20 0 4096599 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556815481488 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8765] ppid=8701 vsize=10997500 CPUtime=13.04 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8765/stat : 8765 (java) S 8701 8704 7954 0 -1 1077944384 13134 12260 0 0 1228 64 9 3 20 0 20 0 4096599 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556814428688 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8766] ppid=8701 vsize=10997500 CPUtime=13.24 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8766/stat : 8766 (java) S 8701 8704 7954 0 -1 1077944384 12913 12260 0 0 1251 61 9 3 20 0 20 0 4096599 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556813375888 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8767] ppid=8701 vsize=10997500 CPUtime=13.21 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8767/stat : 8767 (java) S 8701 8704 7954 0 -1 1077944384 16491 12260 0 0 1250 59 9 3 20 0 20 0 4096599 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556812323088 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8768] ppid=8701 vsize=10997500 CPUtime=3.59 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8768/stat : 8768 (java) S 8701 8704 7954 0 -1 1077944384 30556 12260 0 0 312 35 9 3 20 0 20 0 4096601 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556686543728 140557212670594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8769] ppid=8701 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8769/stat : 8769 (java) S 8701 8704 7954 0 -1 1077944384 59 12260 0 0 0 0 9 3 20 0 20 0 4096601 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556685489760 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8770] ppid=8701 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8770/stat : 8770 (java) S 8701 8704 7954 0 -1 1077944384 49 12260 0 0 0 0 9 3 20 0 20 0 4096602 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556684436864 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8771] ppid=8701 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8771/stat : 8771 (java) S 8701 8704 7954 0 -1 1077944384 1 12260 0 0 0 0 9 3 20 0 20 0 4096606 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556683385168 140557212678043 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8772] ppid=8701 vsize=10997500 CPUtime=5.99 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8772/stat : 8772 (java) S 8701 8704 7954 0 -1 1077944384 16240 12260 0 0 582 5 9 3 20 0 20 0 4096606 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556682332528 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8773] ppid=8701 vsize=10997500 CPUtime=6.08 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8773/stat : 8773 (java) S 8701 8704 7954 0 -1 1077944384 12975 12260 0 0 592 4 9 3 20 0 20 0 4096606 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556681279728 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8774] ppid=8701 vsize=10997500 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8774/stat : 8774 (java) S 8701 8704 7954 0 -1 1077944384 21828 12260 0 0 627 4 9 3 20 0 20 0 4096606 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556680226928 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8775] ppid=8701 vsize=10997500 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8775/stat : 8775 (java) S 8701 8704 7954 0 -1 1077944384 17147 12260 0 0 291 5 9 3 20 0 20 0 4096606 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556679174128 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8776] ppid=8701 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8776/stat : 8776 (java) S 8701 8704 7954 0 -1 1077944384 3 12260 0 0 0 0 9 3 20 0 20 0 4096606 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556678122592 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8777] ppid=8701 vsize=10997500 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8777/stat : 8777 (java) S 8701 8704 7954 0 -1 1077944384 1653 12260 0 0 64 64 9 3 20 0 20 0 4096607 11261440000 454660 33554432000 4194304 4196468 140727953313232 140556677069872 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8704 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2290.4 s]
/proc/loadavg: 1.33 1.43 1.46 10/283 9006
/proc/meminfo: memFree=28374008/32770624 swapFree=5800/270360
[pid=8704] ppid=8701 vsize=11130628 CPUtime=2404.31 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (java) S 8701 8704 7954 0 -1 1077944320 341518 12260 0 0 239781 638 9 3 20 0 22 0 4096585 11397763072 456171 33554432000 4194304 4196468 140727953313232 140727953295776 140557212659447 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
/proc/8704/statm: 2782657 456171 3519 1 0 2770212 0
[pid=8704/tid=8759] ppid=8701 vsize=11130628 CPUtime=2270.06 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8759/stat : 8759 (java) S 8701 8704 7954 0 -1 1077944384 113116 12260 0 0 226937 57 9 3 20 0 22 0 4096598 11397763072 456171 33554432000 4194304 4196468 140727953313232 140557216896992 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8760] ppid=8701 vsize=11130628 CPUtime=13.49 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8760/stat : 8760 (java) R 8701 8704 7954 0 -1 4202560 9151 12260 0 0 1279 58 9 3 20 0 22 0 4096599 11397763072 456171 33554432000 4194304 4196468 140727953313232 140557169212680 140557197360010 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8761] ppid=8701 vsize=11130628 CPUtime=13.75 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8761/stat : 8761 (java) R 8701 8704 7954 0 -1 4202560 16916 12260 0 0 1296 67 9 3 20 0 22 0 4096599 11397763072 456171 33554432000 4194304 4196468 140727953313232 140557168159880 140557197360091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8762] ppid=8701 vsize=11130628 CPUtime=13.65 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8762/stat : 8762 (java) R 8701 8704 7954 0 -1 4202560 15554 12260 0 0 1289 64 9 3 20 0 22 0 4096599 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556817587208 140557197655836 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8763] ppid=8701 vsize=11130628 CPUtime=13.69 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8763/stat : 8763 (java) R 8701 8704 7954 0 -1 4202560 18432 12260 0 0 1296 61 9 3 20 0 22 0 4096599 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556816534408 140557197360070 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8764] ppid=8701 vsize=11130628 CPUtime=13.48 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8764/stat : 8764 (java) R 8701 8704 7954 0 -1 4202560 17048 12260 0 0 1278 58 9 3 20 0 22 0 4096599 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556815481608 140557197360091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8765] ppid=8701 vsize=11130628 CPUtime=13.57 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8765/stat : 8765 (java) R 8701 8704 7954 0 -1 4202560 13198 12260 0 0 1281 64 9 3 20 0 22 0 4096599 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556814428808 140557197360083 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8766] ppid=8701 vsize=11130628 CPUtime=13.77 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8766/stat : 8766 (java) R 8701 8704 7954 0 -1 4202560 12916 12260 0 0 1304 61 9 3 20 0 22 0 4096599 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556813376008 140557197360091 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8767] ppid=8701 vsize=11130628 CPUtime=13.75 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8767/stat : 8767 (java) R 8701 8704 7954 0 -1 4202560 16537 12260 0 0 1303 60 9 3 20 0 22 0 4096599 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556812323208 140557197360083 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8768] ppid=8701 vsize=11130628 CPUtime=3.64 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8768/stat : 8768 (java) S 8701 8704 7954 0 -1 1077944384 36324 12260 0 0 317 35 9 3 20 0 22 0 4096601 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556686542352 140557212669653 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8769] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8769/stat : 8769 (java) S 8701 8704 7954 0 -1 1077944384 59 12260 0 0 0 0 9 3 20 0 22 0 4096601 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556685489760 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8770] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8770/stat : 8770 (java) S 8701 8704 7954 0 -1 1077944384 49 12260 0 0 0 0 9 3 20 0 22 0 4096602 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556684436864 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8771] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8771/stat : 8771 (java) S 8701 8704 7954 0 -1 1077944384 94 12260 0 0 0 0 9 3 20 0 22 0 4096606 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556683385168 140557212678043 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8772] ppid=8701 vsize=11130628 CPUtime=5.99 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8772/stat : 8772 (java) S 8701 8704 7954 0 -1 1077944384 16242 12260 0 0 582 5 9 3 20 0 22 0 4096606 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556682332528 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8773] ppid=8701 vsize=11130628 CPUtime=6.08 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8773/stat : 8773 (java) S 8701 8704 7954 0 -1 1077944384 13001 12260 0 0 592 4 9 3 20 0 22 0 4096606 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556681270080 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8774] ppid=8701 vsize=11130628 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8774/stat : 8774 (java) S 8701 8704 7954 0 -1 1077944384 21830 12260 0 0 627 4 9 3 20 0 22 0 4096606 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556680226928 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8775] ppid=8701 vsize=11130628 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8775/stat : 8775 (java) S 8701 8704 7954 0 -1 1077944384 17149 12260 0 0 291 5 9 3 20 0 22 0 4096606 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556679174128 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8776] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8776/stat : 8776 (java) S 8701 8704 7954 0 -1 1077944384 3 12260 0 0 0 0 9 3 20 0 22 0 4096606 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556678122592 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8777] ppid=8701 vsize=11130628 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8777/stat : 8777 (java) S 8701 8704 7954 0 -1 1077944384 1653 12260 0 0 64 64 9 3 20 0 22 0 4096607 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556677069872 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=9005] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/9005/stat : 9005 (java) S 8701 8704 7954 0 -1 1077944384 87 12260 0 0 0 0 9 3 20 0 22 0 4325565 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556648247920 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=9006] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/9006/stat : 9006 (java) S 8701 8704 7954 0 -1 1077944384 25 12260 0 0 0 0 9 3 20 0 22 0 4325566 11397763072 456171 33554432000 4194304 4196468 140727953313232 140556647195840 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
Current children cumulated CPU time (s) 2404.31
Current children cumulated vsize (KiB) 11130628
[startup+2291.2 s]
/proc/loadavg: 1.33 1.43 1.46 10/283 9006
/proc/meminfo: memFree=28374008/32770624 swapFree=5800/270360
[pid=8704] ppid=8701 vsize=11130628 CPUtime=2409.86 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (java) S 8701 8704 7954 0 -1 1077944320 341643 12260 0 0 240335 639 9 3 20 0 22 0 4096585 11397763072 455961 33554432000 4194304 4196468 140727953313232 140727953295776 140557212659447 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
/proc/8704/statm: 2782657 455961 3519 1 0 2770212 0
[pid=8704/tid=8759] ppid=8701 vsize=11130628 CPUtime=2270.06 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8759/stat : 8759 (java) S 8701 8704 7954 0 -1 1077944384 113116 12260 0 0 226937 57 9 3 20 0 22 0 4096598 11397763072 455961 33554432000 4194304 4196468 140727953313232 140557216896992 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8760] ppid=8701 vsize=11130628 CPUtime=14.17 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8760/stat : 8760 (java) R 8701 8704 7954 0 -1 4202560 9151 12260 0 0 1347 58 9 3 20 0 22 0 4096599 11397763072 455961 33554432000 4194304 4196468 140727953313232 140557169212560 140557197357086 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8761] ppid=8701 vsize=11130628 CPUtime=14.44 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8761/stat : 8761 (java) R 8701 8704 7954 0 -1 4202560 16916 12260 0 0 1365 67 9 3 20 0 22 0 4096599 11397763072 455961 33554432000 4194304 4196468 140727953313232 140557168159760 140557197357026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8762] ppid=8701 vsize=11130628 CPUtime=14.33 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8762/stat : 8762 (java) R 8701 8704 7954 0 -1 4202560 15554 12260 0 0 1357 64 9 3 20 0 22 0 4096599 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556817587288 140557197357208 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8763] ppid=8701 vsize=11130628 CPUtime=14.38 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8763/stat : 8763 (java) R 8701 8704 7954 0 -1 4202560 18432 12260 0 0 1365 61 9 3 20 0 22 0 4096599 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556816534488 140557197610052 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8764] ppid=8701 vsize=11130628 CPUtime=14.14 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8764/stat : 8764 (java) R 8701 8704 7954 0 -1 4202560 17048 12260 0 0 1344 58 9 3 20 0 22 0 4096599 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556815481488 140557194256470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8765] ppid=8701 vsize=11130628 CPUtime=14.26 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8765/stat : 8765 (java) R 8701 8704 7954 0 -1 4202560 13198 12260 0 0 1350 64 9 3 20 0 22 0 4096599 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556814428688 140557197644484 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8766] ppid=8701 vsize=11130628 CPUtime=14.45 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8766/stat : 8766 (java) R 8701 8704 7954 0 -1 4202560 12916 12260 0 0 1372 61 9 3 20 0 22 0 4096599 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556813375888 140557194256458 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8767] ppid=8701 vsize=11130628 CPUtime=14.42 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8767/stat : 8767 (java) R 8701 8704 7954 0 -1 4202560 16583 12260 0 0 1370 60 9 3 20 0 22 0 4096599 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556812323088 140557197114204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8768] ppid=8701 vsize=11130628 CPUtime=3.74 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8768/stat : 8768 (java) S 8701 8704 7954 0 -1 1077944384 36399 12260 0 0 327 35 9 3 20 0 22 0 4096601 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556686542128 140557212669653 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8769] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8769/stat : 8769 (java) S 8701 8704 7954 0 -1 1077944384 60 12260 0 0 0 0 9 3 20 0 22 0 4096601 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556685489264 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8770] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8770/stat : 8770 (java) S 8701 8704 7954 0 -1 1077944384 49 12260 0 0 0 0 9 3 20 0 22 0 4096602 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556684436864 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8771] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8771/stat : 8771 (java) S 8701 8704 7954 0 -1 1077944384 94 12260 0 0 0 0 9 3 20 0 22 0 4096606 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556683385168 140557212678043 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8772] ppid=8701 vsize=11130628 CPUtime=5.99 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8772/stat : 8772 (java) S 8701 8704 7954 0 -1 1077944384 16242 12260 0 0 582 5 9 3 20 0 22 0 4096606 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556682332528 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8773] ppid=8701 vsize=11130628 CPUtime=6.08 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8773/stat : 8773 (java) S 8701 8704 7954 0 -1 1077944384 13001 12260 0 0 592 4 9 3 20 0 22 0 4096606 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556681269264 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8774] ppid=8701 vsize=11130628 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8774/stat : 8774 (java) S 8701 8704 7954 0 -1 1077944384 21830 12260 0 0 627 4 9 3 20 0 22 0 4096606 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556680226928 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8775] ppid=8701 vsize=11130628 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8775/stat : 8775 (java) S 8701 8704 7954 0 -1 1077944384 17149 12260 0 0 291 5 9 3 20 0 22 0 4096606 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556679174128 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8776] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8776/stat : 8776 (java) S 8701 8704 7954 0 -1 1077944384 3 12260 0 0 0 0 9 3 20 0 22 0 4096606 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556678122592 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=8777] ppid=8701 vsize=11130628 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8777/stat : 8777 (java) S 8701 8704 7954 0 -1 1077944384 1653 12260 0 0 64 64 9 3 20 0 22 0 4096607 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556677069872 140557212670594 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=9005] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/9005/stat : 9005 (java) S 8701 8704 7954 0 -1 1077944384 87 12260 0 0 0 0 9 3 20 0 22 0 4325565 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556648247920 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
[pid=8704/tid=9006] ppid=8701 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8704/task/9006/stat : 9006 (java) S 8701 8704 7954 0 -1 1077944384 28 12260 0 0 0 0 9 3 20 0 22 0 4325566 11397763072 455961 33554432000 4194304 4196468 140727953313232 140556647195840 140557212669653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727953320641 140727953323415 140727953323415 140727953326031 0
Current children cumulated CPU time (s) 2409.86
Current children cumulated vsize (KiB) 11130628
[startup+2291.41 s]
/proc/loadavg: 1.33 1.43 1.46 3/283 9006
/proc/meminfo: memFree=28374612/32770624 swapFree=5800/270360
[pid=8704] ppid=8701 vsize=0 CPUtime=2411.2 cores=0,2,4,6,8,10,12,14
/proc/8704/stat : 8704 (java) Z 8701 8704 7954 0 -1 4228108 341798 12260 0 0 240469 639 9 3 20 0 2 0 4096585 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/8704/statm: 0 0 0 0 0 0 0
[pid=8704/tid=8767] ppid=8701 vsize=0 CPUtime=14.58 cores=0,2,4,6,8,10,12,14
/proc/8704/task/8767/stat : 8767 (java) R 8701 8704 7954 0 -1 4203588 16589 12260 0 0 1386 60 9 3 20 0 2 0 4096599 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2411.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 2291.41
CPU time (s): 2411.22
CPU user time (s): 2404.78
CPU system time (s): 6.43581
CPU usage (%): 105.228
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2404.78
system time used= 6.43581
maximum resident set size= 3062420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354058
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161692
involuntary context switches= 149998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5799 second user time and 20.8814 second system time
The end