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-4245502-1500704128/watcher-4245502-1500704128 -o /tmp/evaluation-result-4245502-1500704128/solver-4245502-1500704128 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500697238-13813 --watchdog 2560 bin/concrete HOME/instance-4245502-1500704128.xml
pid=15882
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.97 1.72 1.57 3/261 15885
/proc/meminfo: memFree=29341716/32770624 swapFree=5784/144720
[pid=15885] ppid=15882 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15885/stat : 15885 (bash) S 15882 15885 15196 0 -1 4202496 684 1534 0 0 0 0 0 0 20 0 1 0 5677916 9736192 350 33554432000 4194304 5098028 140729899847328 140729899844968 140416490929152 0 0 4100 65536 18446744071580971376 0 0 17 12 0 0 0 0 0 7196144 7232144 25411584 140729899848974 140729899849059 140729899849059 140729899851758 0
/proc/15885/statm: 2377 350 278 221 0 86 0
[startup+0.10006 s]
/proc/loadavg: 1.97 1.72 1.57 3/261 15885
/proc/meminfo: memFree=29341716/32770624 swapFree=5784/144720
[pid=15885] ppid=15882 vsize=9640 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15885/stat : 15885 (bash) S 15882 15885 15196 0 -1 4202496 878 6423 0 0 0 0 0 2 20 0 1 0 5677916 9871360 377 33554432000 4194304 5098028 140729899847328 140729899841336 140416490929152 0 0 4100 65536 18446744071580971376 0 0 17 12 0 0 0 0 0 7196144 7232144 25411584 140729899848974 140729899849059 140729899849059 140729899851758 0
/proc/15885/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640
[startup+0.200251 s]
/proc/loadavg: 1.97 1.72 1.57 3/261 15885
/proc/meminfo: memFree=29341716/32770624 swapFree=5784/144720
[pid=15885] ppid=15882 vsize=10901808 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/15885/stat : 15885 (java) S 15882 15885 15196 0 -1 1077944320 5636 12539 0 0 8 1 7 3 20 0 20 0 5677916 11163451392 6373 33554432000 4194304 4196468 140726409356496 140726409339040 140687330328311 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
/proc/15885/statm: 2725452 6373 2640 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901808
[startup+0.300318 s]
/proc/loadavg: 1.97 1.72 1.57 3/261 15885
/proc/meminfo: memFree=29341716/32770624 swapFree=5784/144720
[pid=15885] ppid=15882 vsize=10902292 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/15885/stat : 15885 (java) S 15882 15885 15196 0 -1 1077944320 9087 12539 0 0 24 2 7 3 20 0 20 0 5677916 11163947008 10166 33554432000 4194304 4196468 140726409356496 140726409339040 140687330328311 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
/proc/15885/statm: 2725573 10166 2972 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292
[startup+0.700211 s]
/proc/loadavg: 1.97 1.72 1.57 3/261 15885
/proc/meminfo: memFree=29341716/32770624 swapFree=5784/144720
[pid=15885] ppid=15882 vsize=10902720 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/15885/stat : 15885 (java) S 15882 15885 15196 0 -1 1077944320 13089 12539 0 0 86 4 7 3 20 0 20 0 5677916 11164385280 16459 33554432000 4194304 4196468 140726409356496 140726409339040 140687330328311 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
/proc/15885/statm: 2725680 16459 3231 1 0 2713890 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10902720
[startup+1.50101 s]
/proc/loadavg: 1.97 1.72 1.57 3/281 15958
/proc/meminfo: memFree=29233104/32770624 swapFree=5784/144744
[pid=15885] ppid=15882 vsize=10915392 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/15885/stat : 15885 (java) S 15882 15885 15196 0 -1 1077944320 27812 12539 0 0 209 12 7 3 20 0 20 0 5677916 11177361408 44674 33554432000 4194304 4196468 140726409356496 140726409339040 140687330328311 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
/proc/15885/statm: 2728848 44674 3405 1 0 2716962 0
[pid=15885/tid=15940] ppid=15882 vsize=10915392 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15940/stat : 15940 (java) R 15882 15885 15196 0 -1 4202560 19953 12539 0 0 127 4 7 3 20 0 20 0 5677927 11177361408 44674 33554432000 4194304 4196468 140726409356496 140687334545904 140687308345557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15941] ppid=15882 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15941/stat : 15941 (java) S 15882 15885 15196 0 -1 1077944384 11 12539 0 0 0 0 7 3 20 0 20 0 5677928 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686937266704 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15942] ppid=15882 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15942/stat : 15942 (java) S 15882 15885 15196 0 -1 1077944384 15 12539 0 0 0 0 7 3 20 0 20 0 5677928 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686936214160 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15943] ppid=15882 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15943/stat : 15943 (java) S 15882 15885 15196 0 -1 1077944384 24 12539 0 0 1 0 7 3 20 0 20 0 5677928 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686935161104 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15944] ppid=15882 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15944/stat : 15944 (java) S 15882 15885 15196 0 -1 1077944384 28 12539 0 0 1 0 7 3 20 0 20 0 5677928 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686934108560 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15945] ppid=15882 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15945/stat : 15945 (java) S 15882 15885 15196 0 -1 1077944384 62 12539 0 0 1 0 7 3 20 0 20 0 5677928 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686933056528 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15946] ppid=15882 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15946/stat : 15946 (java) S 15882 15885 15196 0 -1 1077944384 134 12539 0 0 1 0 7 3 20 0 20 0 5677928 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686932003984 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15947] ppid=15882 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15947/stat : 15947 (java) S 15882 15885 15196 0 -1 1077944384 20 12539 0 0 0 0 7 3 20 0 20 0 5677928 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686930950928 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15948] ppid=15882 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15948/stat : 15948 (java) S 15882 15885 15196 0 -1 1077944384 32 12539 0 0 1 0 7 3 20 0 20 0 5677928 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686929898384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15949] ppid=15882 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15949/stat : 15949 (java) S 15882 15885 15196 0 -1 1077944384 1230 12539 0 0 1 0 7 3 20 0 20 0 5677931 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686804961520 140687330339458 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15950] ppid=15882 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15950/stat : 15950 (java) S 15882 15885 15196 0 -1 1077944384 56 12539 0 0 0 0 7 3 20 0 20 0 5677931 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686803907808 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15951] ppid=15882 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15951/stat : 15951 (java) S 15882 15885 15196 0 -1 1077944384 44 12539 0 0 0 0 7 3 20 0 20 0 5677931 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686802854656 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15952] ppid=15882 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15952/stat : 15952 (java) S 15882 15885 15196 0 -1 1077944384 1 12539 0 0 0 0 7 3 20 0 20 0 5677935 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686801803216 140687330346907 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15953] ppid=15882 vsize=10915392 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15953/stat : 15953 (java) S 15882 15885 15196 0 -1 1077944384 934 12539 0 0 18 0 7 3 20 0 20 0 5677935 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686800751344 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15954] ppid=15882 vsize=10915392 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15954/stat : 15954 (java) S 15882 15885 15196 0 -1 1077944384 1183 12539 0 0 13 0 7 3 20 0 20 0 5677935 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686799698800 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15955] ppid=15882 vsize=10915392 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15955/stat : 15955 (java) S 15882 15885 15196 0 -1 1077944384 578 12539 0 0 9 0 7 3 20 0 20 0 5677935 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686798645744 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15956] ppid=15882 vsize=10915392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15956/stat : 15956 (java) S 15882 15885 15196 0 -1 1077944384 1374 12539 0 0 27 0 7 3 20 0 20 0 5677935 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686797593200 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15957] ppid=15882 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15957/stat : 15957 (java) S 15882 15885 15196 0 -1 1077944384 3 12539 0 0 0 0 7 3 20 0 20 0 5677935 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686796540384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15958] ppid=15882 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15958/stat : 15958 (java) S 15882 15885 15196 0 -1 1077944384 3 12539 0 0 0 0 7 3 20 0 20 0 5677936 11177361408 44674 33554432000 4194304 4196468 140726409356496 140686795487920 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10915392
[startup+3.1011 s]
/proc/loadavg: 2.05 1.75 1.58 6/281 15958
/proc/meminfo: memFree=29162004/32770624 swapFree=5784/144744
[pid=15885] ppid=15882 vsize=10927868 CPUtime=6.99 cores=0,2,4,6,8,10,12,14
/proc/15885/stat : 15885 (java) S 15882 15885 15196 0 -1 1077944320 45783 12539 0 0 670 19 7 3 20 0 20 0 5677916 11190136832 57816 33554432000 4194304 4196468 140726409356496 140726409339040 140687330328311 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
/proc/15885/statm: 2731967 57816 3473 1 0 2719522 0
[pid=15885/tid=15940] ppid=15882 vsize=10927868 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15940/stat : 15940 (java) R 15882 15885 15196 0 -1 4202560 26704 12539 0 0 284 7 7 3 20 0 20 0 5677927 11190136832 57816 33554432000 4194304 4196468 140726409356496 140687334553784 140686975222880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15941] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15941/stat : 15941 (java) S 15882 15885 15196 0 -1 1077944384 11 12539 0 0 0 0 7 3 20 0 20 0 5677928 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686937266704 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15942] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15942/stat : 15942 (java) S 15882 15885 15196 0 -1 1077944384 15 12539 0 0 0 0 7 3 20 0 20 0 5677928 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686936214160 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15943] ppid=15882 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15943/stat : 15943 (java) S 15882 15885 15196 0 -1 1077944384 24 12539 0 0 1 0 7 3 20 0 20 0 5677928 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686935161104 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15944] ppid=15882 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15944/stat : 15944 (java) S 15882 15885 15196 0 -1 1077944384 28 12539 0 0 1 0 7 3 20 0 20 0 5677928 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686934108560 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15945] ppid=15882 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15945/stat : 15945 (java) S 15882 15885 15196 0 -1 1077944384 62 12539 0 0 1 0 7 3 20 0 20 0 5677928 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686933056528 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15946] ppid=15882 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15946/stat : 15946 (java) S 15882 15885 15196 0 -1 1077944384 134 12539 0 0 1 0 7 3 20 0 20 0 5677928 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686932003984 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15947] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15947/stat : 15947 (java) S 15882 15885 15196 0 -1 1077944384 20 12539 0 0 0 0 7 3 20 0 20 0 5677928 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686930950928 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15948] ppid=15882 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15948/stat : 15948 (java) S 15882 15885 15196 0 -1 1077944384 32 12539 0 0 1 0 7 3 20 0 20 0 5677928 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686929898384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15949] ppid=15882 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15949/stat : 15949 (java) S 15882 15885 15196 0 -1 1077944384 1248 12539 0 0 1 0 7 3 20 0 20 0 5677931 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686804961520 140687330339458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15950] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15950/stat : 15950 (java) S 15882 15885 15196 0 -1 1077944384 56 12539 0 0 0 0 7 3 20 0 20 0 5677931 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686803907808 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15951] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15951/stat : 15951 (java) S 15882 15885 15196 0 -1 1077944384 44 12539 0 0 0 0 7 3 20 0 20 0 5677931 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686802854656 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15952] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15952/stat : 15952 (java) S 15882 15885 15196 0 -1 1077944384 1 12539 0 0 0 0 7 3 20 0 20 0 5677935 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686801803216 140687330346907 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15953] ppid=15882 vsize=10927868 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15953/stat : 15953 (java) S 15882 15885 15196 0 -1 1077944384 1985 12539 0 0 71 1 7 3 20 0 20 0 5677935 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686800751344 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15954] ppid=15882 vsize=10927868 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15954/stat : 15954 (java) R 15882 15885 15196 0 -1 4202560 2425 12539 0 0 74 1 7 3 20 0 20 0 5677935 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686799699096 140687309656601 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15955] ppid=15882 vsize=10927868 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15955/stat : 15955 (java) R 15882 15885 15196 0 -1 4202560 4825 12539 0 0 105 1 7 3 20 0 20 0 5677935 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686798627312 140687313825099 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15956] ppid=15882 vsize=10927868 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15956/stat : 15956 (java) R 15882 15885 15196 0 -1 4202560 6033 12539 0 0 121 1 7 3 20 0 20 0 5677935 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686797593496 140687308819568 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15957] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15957/stat : 15957 (java) S 15882 15885 15196 0 -1 1077944384 3 12539 0 0 0 0 7 3 20 0 20 0 5677935 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686796540384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15958] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15958/stat : 15958 (java) S 15882 15885 15196 0 -1 1077944384 5 12539 0 0 0 0 7 3 20 0 20 0 5677936 11190136832 57816 33554432000 4194304 4196468 140726409356496 140686795487920 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 10927868
[startup+6.30079 s]
/proc/loadavg: 2.05 1.75 1.58 3/281 15958
/proc/meminfo: memFree=28999404/32770624 swapFree=5784/144752
[pid=15885] ppid=15882 vsize=10927868 CPUtime=13.88 cores=0,2,4,6,8,10,12,14
/proc/15885/stat : 15885 (java) S 15882 15885 15196 0 -1 1077944320 55113 12539 0 0 1348 30 7 3 20 0 20 0 5677916 11190136832 81701 33554432000 4194304 4196468 140726409356496 140726409339040 140687330328311 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
/proc/15885/statm: 2731967 81701 3492 1 0 2719522 0
[pid=15885/tid=15940] ppid=15882 vsize=10927868 CPUtime=6.15 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15940/stat : 15940 (java) R 15882 15885 15196 0 -1 4202560 27185 12539 0 0 597 8 7 3 20 0 20 0 5677927 11190136832 81701 33554432000 4194304 4196468 140726409356496 140687334559544 140686981540854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15941] ppid=15882 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15941/stat : 15941 (java) S 15882 15885 15196 0 -1 1077944384 29 12539 0 0 2 2 7 3 20 0 20 0 5677928 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686937266704 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15942] ppid=15882 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15942/stat : 15942 (java) S 15882 15885 15196 0 -1 1077944384 510 12539 0 0 2 2 7 3 20 0 20 0 5677928 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686936214160 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15943] ppid=15882 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15943/stat : 15943 (java) S 15882 15885 15196 0 -1 1077944384 74 12539 0 0 2 1 7 3 20 0 20 0 5677928 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686935161104 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15944] ppid=15882 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15944/stat : 15944 (java) S 15882 15885 15196 0 -1 1077944384 108 12539 0 0 2 1 7 3 20 0 20 0 5677928 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686934108560 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15945] ppid=15882 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15945/stat : 15945 (java) S 15882 15885 15196 0 -1 1077944384 152 12539 0 0 3 1 7 3 20 0 20 0 5677928 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686933056528 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15946] ppid=15882 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15946/stat : 15946 (java) S 15882 15885 15196 0 -1 1077944384 153 12539 0 0 2 1 7 3 20 0 20 0 5677928 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686932003984 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15947] ppid=15882 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15947/stat : 15947 (java) S 15882 15885 15196 0 -1 1077944384 57 12539 0 0 3 1 7 3 20 0 20 0 5677928 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686930950928 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15948] ppid=15882 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15948/stat : 15948 (java) S 15882 15885 15196 0 -1 1077944384 205 12539 0 0 3 1 7 3 20 0 20 0 5677928 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686929898384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15949] ppid=15882 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15949/stat : 15949 (java) S 15882 15885 15196 0 -1 1077944384 1322 12539 0 0 3 0 7 3 20 0 20 0 5677931 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686804961520 140687330339458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15950] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15950/stat : 15950 (java) S 15882 15885 15196 0 -1 1077944384 57 12539 0 0 0 0 7 3 20 0 20 0 5677931 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686803907808 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15951] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15951/stat : 15951 (java) S 15882 15885 15196 0 -1 1077944384 44 12539 0 0 0 0 7 3 20 0 20 0 5677931 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686802854656 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15952] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15952/stat : 15952 (java) S 15882 15885 15196 0 -1 1077944384 1 12539 0 0 0 0 7 3 20 0 20 0 5677935 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686801803216 140687330346907 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15953] ppid=15882 vsize=10927868 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15953/stat : 15953 (java) S 15882 15885 15196 0 -1 1077944384 5339 12539 0 0 167 2 7 3 20 0 20 0 5677935 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686800751344 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15954] ppid=15882 vsize=10927868 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15954/stat : 15954 (java) S 15882 15885 15196 0 -1 1077944384 4904 12539 0 0 196 1 7 3 20 0 20 0 5677935 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686799698800 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15955] ppid=15882 vsize=10927868 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15955/stat : 15955 (java) S 15882 15885 15196 0 -1 1077944384 5930 12539 0 0 200 1 7 3 20 0 20 0 5677935 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686798645744 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15956] ppid=15882 vsize=10927868 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15956/stat : 15956 (java) S 15882 15885 15196 0 -1 1077944384 6743 12539 0 0 156 2 7 3 20 0 20 0 5677935 11190136832 81701 33554432000 4194304 4196468 140726409356496 140686797593200 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15957] ppid=15882 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=15885/tid=15954] ppid=15882 vsize=10997500 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15954/stat : 15954 (java) S 15882 15885 15196 0 -1 1077944384 13127 12539 0 0 753 5 7 3 20 0 20 0 5677935 11261440000 280187 33554432000 4194304 4196468 140726409356496 140686799698800 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15955] ppid=15882 vsize=10997500 CPUtime=7.6 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15955/stat : 15955 (java) S 15882 15885 15196 0 -1 1077944384 15911 12539 0 0 745 5 7 3 20 0 20 0 5677935 11261440000 280187 33554432000 4194304 4196468 140726409356496 140686798645744 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15956] ppid=15882 vsize=10997500 CPUtime=4.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15956/stat : 15956 (java) S 15882 15885 15196 0 -1 1077944384 29708 12539 0 0 392 8 7 3 20 0 20 0 5677935 11261440000 280187 33554432000 4194304 4196468 140726409356496 140686797593200 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15957] ppid=15882 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15957/stat : 15957 (java) S 15882 15885 15196 0 -1 1077944384 3 12539 0 0 0 0 7 3 20 0 20 0 5677935 11261440000 280187 33554432000 4194304 4196468 140726409356496 140686796540384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15958] ppid=15882 vsize=10997500 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15958/stat : 15958 (java) S 15882 15885 15196 0 -1 1077944384 1430 12539 0 0 66 56 7 3 20 0 20 0 5677936 11261440000 280187 33554432000 4194304 4196468 140726409356496 140686795487920 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
Current children cumulated CPU time (s) 2338.14
Current children cumulated vsize (KiB) 10997500
[startup+2322.3 s]
/proc/loadavg: 1.44 1.45 1.47 3/281 16168
/proc/meminfo: memFree=28005136/32770624 swapFree=5784/146932
[pid=15885] ppid=15882 vsize=10997500 CPUtime=2399.54 cores=0,2,4,6,8,10,12,14
/proc/15885/stat : 15885 (java) S 15882 15885 15196 0 -1 1077944320 241022 12539 0 0 239526 418 7 3 20 0 20 0 5677916 11261440000 280212 33554432000 4194304 4196468 140726409356496 140726409339040 140687330328311 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
/proc/15885/statm: 2749375 280212 3513 1 0 2736930 0
[pid=15885/tid=15940] ppid=15882 vsize=10997500 CPUtime=2304.84 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15940/stat : 15940 (java) R 15882 15885 15196 0 -1 4202560 84152 12539 0 0 230433 41 7 3 20 0 20 0 5677927 11261440000 280212 33554432000 4194304 4196468 140726409356496 140687334562416 140686971072711 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15941] ppid=15882 vsize=10997500 CPUtime=7.49 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15941/stat : 15941 (java) S 15882 15885 15196 0 -1 1077944384 6302 12539 0 0 702 37 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686937266704 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15942] ppid=15882 vsize=10997500 CPUtime=7.56 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15942/stat : 15942 (java) S 15882 15885 15196 0 -1 1077944384 5430 12539 0 0 710 36 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686936214160 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15943] ppid=15882 vsize=10997500 CPUtime=7.6 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15943/stat : 15943 (java) S 15882 15885 15196 0 -1 1077944384 6692 12539 0 0 709 41 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686935161104 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15944] ppid=15882 vsize=10997500 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15944/stat : 15944 (java) S 15882 15885 15196 0 -1 1077944384 4706 12539 0 0 707 37 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686934108560 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15945] ppid=15882 vsize=10997500 CPUtime=7.7 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15945/stat : 15945 (java) S 15882 15885 15196 0 -1 1077944384 11339 12539 0 0 721 39 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686933056528 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15946] ppid=15882 vsize=10997500 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15946/stat : 15946 (java) S 15882 15885 15196 0 -1 1077944384 5021 12539 0 0 708 36 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686932003984 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15947] ppid=15882 vsize=10997500 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15947/stat : 15947 (java) S 15882 15885 15196 0 -1 1077944384 6335 12539 0 0 705 39 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686930950928 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15948] ppid=15882 vsize=10997500 CPUtime=7.61 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15948/stat : 15948 (java) S 15882 15885 15196 0 -1 1077944384 8705 12539 0 0 714 37 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686929898384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15949] ppid=15882 vsize=10997500 CPUtime=6.49 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15949/stat : 15949 (java) S 15882 15885 15196 0 -1 1077944384 19808 12539 0 0 602 37 7 3 20 0 20 0 5677931 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686804961520 140687330339458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15950] ppid=15882 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15950/stat : 15950 (java) S 15882 15885 15196 0 -1 1077944384 62 12539 0 0 0 0 7 3 20 0 20 0 5677931 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686803907872 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15951] ppid=15882 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15951/stat : 15951 (java) S 15882 15885 15196 0 -1 1077944384 47 12539 0 0 0 0 7 3 20 0 20 0 5677931 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686802854656 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15952] ppid=15882 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15952/stat : 15952 (java) S 15882 15885 15196 0 -1 1077944384 1 12539 0 0 0 0 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686801803216 140687330346907 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15953] ppid=15882 vsize=10997500 CPUtime=8.15 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15953/stat : 15953 (java) S 15882 15885 15196 0 -1 1077944384 20091 12539 0 0 801 4 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686800751344 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15954] ppid=15882 vsize=10997500 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15954/stat : 15954 (java) S 15882 15885 15196 0 -1 1077944384 13129 12539 0 0 753 5 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686799698800 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15955] ppid=15882 vsize=10997500 CPUtime=7.6 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15955/stat : 15955 (java) S 15882 15885 15196 0 -1 1077944384 15913 12539 0 0 745 5 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686798645744 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15956] ppid=15882 vsize=10997500 CPUtime=4.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15956/stat : 15956 (java) S 15882 15885 15196 0 -1 1077944384 29710 12539 0 0 392 8 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686797593200 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15957] ppid=15882 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15957/stat : 15957 (java) S 15882 15885 15196 0 -1 1077944384 3 12539 0 0 0 0 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686796540384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15958] ppid=15882 vsize=10997500 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15958/stat : 15958 (java) S 15882 15885 15196 0 -1 1077944384 1448 12539 0 0 68 57 7 3 20 0 20 0 5677936 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686795487920 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
Current children cumulated CPU time (s) 2399.54
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2322.8 s]
/proc/loadavg: 1.44 1.45 1.47 3/281 16168
/proc/meminfo: memFree=28005136/32770624 swapFree=5784/146932
[pid=15885] ppid=15882 vsize=10997500 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/15885/stat : 15885 (java) S 15882 15885 15196 0 -1 1077944320 241024 12539 0 0 239577 418 7 3 20 0 20 0 5677916 11261440000 280212 33554432000 4194304 4196468 140726409356496 140726409339040 140687330328311 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
/proc/15885/statm: 2749375 280212 3513 1 0 2736930 0
[pid=15885/tid=15940] ppid=15882 vsize=10997500 CPUtime=2305.33 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15940/stat : 15940 (java) R 15882 15885 15196 0 -1 4202560 84154 12539 0 0 230482 41 7 3 20 0 20 0 5677927 11261440000 280212 33554432000 4194304 4196468 140726409356496 140687334562400 140686987432589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15941] ppid=15882 vsize=10997500 CPUtime=7.49 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15941/stat : 15941 (java) S 15882 15885 15196 0 -1 1077944384 6302 12539 0 0 702 37 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686937266704 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15942] ppid=15882 vsize=10997500 CPUtime=7.56 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15942/stat : 15942 (java) S 15882 15885 15196 0 -1 1077944384 5430 12539 0 0 710 36 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686936214160 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15943] ppid=15882 vsize=10997500 CPUtime=7.6 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15943/stat : 15943 (java) S 15882 15885 15196 0 -1 1077944384 6692 12539 0 0 709 41 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686935161104 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15944] ppid=15882 vsize=10997500 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15944/stat : 15944 (java) S 15882 15885 15196 0 -1 1077944384 4706 12539 0 0 707 37 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686934108560 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15945] ppid=15882 vsize=10997500 CPUtime=7.7 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15945/stat : 15945 (java) S 15882 15885 15196 0 -1 1077944384 11339 12539 0 0 721 39 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686933056528 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15946] ppid=15882 vsize=10997500 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15946/stat : 15946 (java) S 15882 15885 15196 0 -1 1077944384 5021 12539 0 0 708 36 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686932003984 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15947] ppid=15882 vsize=10997500 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15947/stat : 15947 (java) S 15882 15885 15196 0 -1 1077944384 6335 12539 0 0 705 39 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686930950928 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15948] ppid=15882 vsize=10997500 CPUtime=7.61 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15948/stat : 15948 (java) S 15882 15885 15196 0 -1 1077944384 8705 12539 0 0 714 37 7 3 20 0 20 0 5677928 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686929898384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15949] ppid=15882 vsize=10997500 CPUtime=6.49 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15949/stat : 15949 (java) S 15882 15885 15196 0 -1 1077944384 19808 12539 0 0 602 37 7 3 20 0 20 0 5677931 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686804961520 140687330339458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15950] ppid=15882 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15950/stat : 15950 (java) S 15882 15885 15196 0 -1 1077944384 62 12539 0 0 0 0 7 3 20 0 20 0 5677931 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686803907872 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15951] ppid=15882 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15951/stat : 15951 (java) S 15882 15885 15196 0 -1 1077944384 47 12539 0 0 0 0 7 3 20 0 20 0 5677931 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686802854656 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15952] ppid=15882 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15952/stat : 15952 (java) S 15882 15885 15196 0 -1 1077944384 1 12539 0 0 0 0 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686801803216 140687330346907 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15953] ppid=15882 vsize=10997500 CPUtime=8.15 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15953/stat : 15953 (java) S 15882 15885 15196 0 -1 1077944384 20091 12539 0 0 801 4 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686800751344 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15954] ppid=15882 vsize=10997500 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15954/stat : 15954 (java) S 15882 15885 15196 0 -1 1077944384 13129 12539 0 0 753 5 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686799698800 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15955] ppid=15882 vsize=10997500 CPUtime=7.6 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15955/stat : 15955 (java) S 15882 15885 15196 0 -1 1077944384 15913 12539 0 0 745 5 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686798645744 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15956] ppid=15882 vsize=10997500 CPUtime=4.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15956/stat : 15956 (java) S 15882 15885 15196 0 -1 1077944384 29710 12539 0 0 392 8 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686797593200 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15957] ppid=15882 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15957/stat : 15957 (java) S 15882 15885 15196 0 -1 1077944384 3 12539 0 0 0 0 7 3 20 0 20 0 5677935 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686796540384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15958] ppid=15882 vsize=10997500 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15958/stat : 15958 (java) S 15882 15885 15196 0 -1 1077944384 1448 12539 0 0 68 57 7 3 20 0 20 0 5677936 11261440000 280212 33554432000 4194304 4196468 140726409356496 140686795487920 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
Current children cumulated CPU time (s) 2400.05
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 15885 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2323 s]
/proc/loadavg: 1.44 1.45 1.47 3/281 16168
/proc/meminfo: memFree=28005136/32770624 swapFree=5784/146932
[pid=15885] ppid=15882 vsize=11130628 CPUtime=2400.99 cores=0,2,4,6,8,10,12,14
/proc/15885/stat : 15885 (java) S 15882 15885 15196 0 -1 1077944320 247763 12539 0 0 239668 421 7 3 20 0 22 0 5677916 11397763072 281536 33554432000 4194304 4196468 140726409356496 140726409339040 140687330328311 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
/proc/15885/statm: 2782657 281536 3513 1 0 2770212 0
[pid=15885/tid=15940] ppid=15882 vsize=11130628 CPUtime=2305.34 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15940/stat : 15940 (java) S 15882 15885 15196 0 -1 1077944384 84490 12539 0 0 230483 41 7 3 20 0 22 0 5677927 11397763072 281536 33554432000 4194304 4196468 140726409356496 140687334565856 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15941] ppid=15882 vsize=11130628 CPUtime=7.59 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15941/stat : 15941 (java) S 15882 15885 15196 0 -1 1077944384 6318 12539 0 0 712 37 7 3 20 0 22 0 5677928 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686937266704 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15942] ppid=15882 vsize=11130628 CPUtime=7.67 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15942/stat : 15942 (java) S 15882 15885 15196 0 -1 1077944384 5451 12539 0 0 721 36 7 3 20 0 22 0 5677928 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686936214160 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15943] ppid=15882 vsize=11130628 CPUtime=7.71 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15943/stat : 15943 (java) S 15882 15885 15196 0 -1 1077944384 6714 12539 0 0 720 41 7 3 20 0 22 0 5677928 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686935161104 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15944] ppid=15882 vsize=11130628 CPUtime=7.64 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15944/stat : 15944 (java) S 15882 15885 15196 0 -1 1077944384 4715 12539 0 0 717 37 7 3 20 0 22 0 5677928 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686934108560 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15945] ppid=15882 vsize=11130628 CPUtime=7.81 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15945/stat : 15945 (java) S 15882 15885 15196 0 -1 1077944384 11386 12539 0 0 731 40 7 3 20 0 22 0 5677928 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686933056528 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15946] ppid=15882 vsize=11130628 CPUtime=7.64 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15946/stat : 15946 (java) S 15882 15885 15196 0 -1 1077944384 5037 12539 0 0 718 36 7 3 20 0 22 0 5677928 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686932003984 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15947] ppid=15882 vsize=11130628 CPUtime=7.65 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15947/stat : 15947 (java) S 15882 15885 15196 0 -1 1077944384 6360 12539 0 0 716 39 7 3 20 0 22 0 5677928 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686930950928 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15948] ppid=15882 vsize=11130628 CPUtime=7.71 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15948/stat : 15948 (java) S 15882 15885 15196 0 -1 1077944384 8707 12539 0 0 724 37 7 3 20 0 22 0 5677928 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686929898384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15949] ppid=15882 vsize=11130628 CPUtime=6.57 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15949/stat : 15949 (java) R 15882 15885 15196 0 -1 4202560 25657 12539 0 0 609 38 7 3 20 0 22 0 5677931 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686804960112 140687315385696 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15950] ppid=15882 vsize=11130628 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15950/stat : 15950 (java) S 15882 15885 15196 0 -1 1077944384 64 12539 0 0 0 0 7 3 20 0 22 0 5677931 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686803907472 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15951] ppid=15882 vsize=11130628 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15951/stat : 15951 (java) S 15882 15885 15196 0 -1 1077944384 47 12539 0 0 0 0 7 3 20 0 22 0 5677931 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686802854656 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15952] ppid=15882 vsize=11130628 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15952/stat : 15952 (java) S 15882 15885 15196 0 -1 1077944384 119 12539 0 0 0 0 7 3 20 0 22 0 5677935 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686801803216 140687330346907 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15953] ppid=15882 vsize=11130628 CPUtime=8.15 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15953/stat : 15953 (java) S 15882 15885 15196 0 -1 1077944384 20091 12539 0 0 801 4 7 3 20 0 22 0 5677935 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686800751344 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15954] ppid=15882 vsize=11130628 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15954/stat : 15954 (java) S 15882 15885 15196 0 -1 1077944384 13129 12539 0 0 753 5 7 3 20 0 22 0 5677935 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686799698800 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15955] ppid=15882 vsize=11130628 CPUtime=7.6 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15955/stat : 15955 (java) S 15882 15885 15196 0 -1 1077944384 15934 12539 0 0 745 5 7 3 20 0 22 0 5677935 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686798633824 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15956] ppid=15882 vsize=11130628 CPUtime=4.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15956/stat : 15956 (java) S 15882 15885 15196 0 -1 1077944384 29849 12539 0 0 392 8 7 3 20 0 22 0 5677935 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686797590704 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15957] ppid=15882 vsize=11130628 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15957/stat : 15957 (java) S 15882 15885 15196 0 -1 1077944384 3 12539 0 0 0 0 7 3 20 0 22 0 5677935 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686796540384 140687330338517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
[pid=15885/tid=15958] ppid=15882 vsize=11130628 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/15885/task/15958/stat : 15958 (java) S 15882 15885 15196 0 -1 1077944384 1448 12539 0 0 68 57 7 3 20 0 22 0 5677936 11397763072 281536 33554432000 4194304 4196468 140726409356496 140686795487920 140687330339458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140726409362113 140726409364887 140726409364887 140726409367503 0
Current children cumulated CPU time (s) 2400.99
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2323.09
CPU time (s): 2401.22
CPU user time (s): 2396.95
CPU system time (s): 4.26721
CPU usage (%): 103.363
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.95
system time used= 4.26721
maximum resident set size= 1126812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 294864
involuntary context switches= 177442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2997 second user time and 19.3607 second system time
The end