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-4250093-1500776120/watcher-4250093-1500776120 -o /tmp/evaluation-result-4250093-1500776120/solver-4250093-1500776120 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500775267-32564 --watchdog 2560 bin/concrete HOME/instance-4250093-1500776120.xml
pid=1872
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.30 1.93 1.58 2/261 1875
/proc/meminfo: memFree=26732732/32770624 swapFree=5932/356636
[pid=1875] ppid=1872 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1875/stat : 1875 (bash) S 1872 1875 27482 0 -1 4202496 687 1532 0 0 0 0 0 0 20 0 1 0 12882097 9736192 351 33554432000 4194304 5098028 140724899510096 140724899507736 140525764541440 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 23400448 140724899513614 140724899513699 140724899513699 140724899516398 0
/proc/1875/statm: 2377 351 278 221 0 86 0
[startup+0.100136 s]
/proc/loadavg: 2.30 1.93 1.58 2/261 1875
/proc/meminfo: memFree=26732732/32770624 swapFree=5932/356636
[pid=1875] ppid=1872 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/1875/stat : 1875 (bash) S 1872 1875 27482 0 -1 4202496 886 6414 0 0 0 0 0 1 20 0 1 0 12882097 9871360 378 33554432000 4194304 5098028 140724899510096 140724899504104 140525764541440 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 23400448 140724899513614 140724899513699 140724899513699 140724899516398 0
/proc/1875/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200333 s]
/proc/loadavg: 2.30 1.93 1.58 2/261 1875
/proc/meminfo: memFree=26732732/32770624 swapFree=5932/356636
[pid=1875] ppid=1872 vsize=10901872 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/1875/stat : 1875 (java) S 1872 1875 27482 0 -1 1077944320 5577 12648 0 0 8 1 7 4 20 0 20 0 12882097 11163516928 6790 33554432000 4194304 4196468 140726884065200 140726884047744 140058968747767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
/proc/1875/statm: 2725468 6790 2678 1 0 2713890 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10901872
[startup+0.300306 s]
/proc/loadavg: 2.30 1.93 1.58 2/261 1875
/proc/meminfo: memFree=26732732/32770624 swapFree=5932/356636
[pid=1875] ppid=1872 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/1875/stat : 1875 (java) S 1872 1875 27482 0 -1 1077944320 9281 12648 0 0 23 2 7 4 20 0 20 0 12882097 11164049408 10910 33554432000 4194304 4196468 140726884065200 140726884047744 140058968747767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
/proc/1875/statm: 2725598 10910 3006 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700297 s]
/proc/loadavg: 2.30 1.93 1.58 2/261 1875
/proc/meminfo: memFree=26732732/32770624 swapFree=5932/356636
[pid=1875] ppid=1872 vsize=10902720 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/1875/stat : 1875 (java) S 1872 1875 27482 0 -1 1077944320 12758 12648 0 0 89 4 7 4 20 0 20 0 12882097 11164385280 16532 33554432000 4194304 4196468 140726884065200 140726884047744 140058968747767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
/proc/1875/statm: 2725680 16532 3227 1 0 2713890 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10902720
[startup+1.50079 s]
/proc/loadavg: 2.30 1.93 1.58 3/281 1948
/proc/meminfo: memFree=26625020/32770624 swapFree=5932/356692
[pid=1875] ppid=1872 vsize=10915392 CPUtime=2.36 cores=1,3,5,7,9,11,13,15
/proc/1875/stat : 1875 (java) S 1872 1875 27482 0 -1 1077944320 26263 12648 0 0 211 14 7 4 20 0 20 0 12882097 11177361408 44084 33554432000 4194304 4196468 140726884065200 140726884047744 140058968747767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
/proc/1875/statm: 2728848 44084 3409 1 0 2716962 0
[pid=1875/tid=1930] ppid=1872 vsize=10915392 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1930/stat : 1930 (java) R 1872 1875 27482 0 -1 4202560 18510 12648 0 0 127 4 7 4 20 0 20 0 12882109 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058972973616 140058952859808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1931] ppid=1872 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1931/stat : 1931 (java) S 1872 1875 27482 0 -1 1077944384 136 12648 0 0 0 1 7 4 20 0 20 0 12882110 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058894822160 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1932] ppid=1872 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1932/stat : 1932 (java) S 1872 1875 27482 0 -1 1077944384 28 12648 0 0 0 0 7 4 20 0 20 0 12882110 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058893769616 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1933] ppid=1872 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1933/stat : 1933 (java) S 1872 1875 27482 0 -1 1077944384 25 12648 0 0 1 0 7 4 20 0 20 0 12882110 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058892717072 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1934] ppid=1872 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1934/stat : 1934 (java) S 1872 1875 27482 0 -1 1077944384 33 12648 0 0 0 0 7 4 20 0 20 0 12882110 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058891664528 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1935] ppid=1872 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1935/stat : 1935 (java) S 1872 1875 27482 0 -1 1077944384 40 12648 0 0 1 0 7 4 20 0 20 0 12882110 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058890610960 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1936] ppid=1872 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1936/stat : 1936 (java) S 1872 1875 27482 0 -1 1077944384 25 12648 0 0 1 0 7 4 20 0 20 0 12882110 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058889558416 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1937] ppid=1872 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1937/stat : 1937 (java) S 1872 1875 27482 0 -1 1077944384 41 12648 0 0 1 0 7 4 20 0 20 0 12882110 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058888505872 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1938] ppid=1872 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1938/stat : 1938 (java) S 1872 1875 27482 0 -1 1077944384 17 12648 0 0 1 0 7 4 20 0 20 0 12882110 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058887453328 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1939] ppid=1872 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1939/stat : 1939 (java) S 1872 1875 27482 0 -1 1077944384 1144 12648 0 0 1 0 7 4 20 0 20 0 12882112 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058443241968 140058968758914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1940] ppid=1872 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1940/stat : 1940 (java) S 1872 1875 27482 0 -1 1077944384 56 12648 0 0 0 0 7 4 20 0 20 0 12882112 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058442188256 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1941] ppid=1872 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1941/stat : 1941 (java) S 1872 1875 27482 0 -1 1077944384 43 12648 0 0 0 0 7 4 20 0 20 0 12882112 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058441135616 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1942] ppid=1872 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1942/stat : 1942 (java) S 1872 1875 27482 0 -1 1077944384 1 12648 0 0 0 0 7 4 20 0 20 0 12882116 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058440084176 140058968766363 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1943] ppid=1872 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1943/stat : 1943 (java) S 1872 1875 27482 0 -1 1077944384 947 12648 0 0 14 0 7 4 20 0 20 0 12882116 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058439030768 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1944] ppid=1872 vsize=10915392 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1944/stat : 1944 (java) S 1872 1875 27482 0 -1 1077944384 593 12648 0 0 15 0 7 4 20 0 20 0 12882116 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058437978224 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1945] ppid=1872 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1945/stat : 1945 (java) S 1872 1875 27482 0 -1 1077944384 1151 12648 0 0 14 0 7 4 20 0 20 0 12882116 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058436925680 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1946] ppid=1872 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1946/stat : 1946 (java) R 1872 1875 27482 0 -1 4202560 1329 12648 0 0 28 0 7 4 20 0 20 0 12882116 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058435873136 140058948936322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1947] ppid=1872 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1947/stat : 1947 (java) S 1872 1875 27482 0 -1 1077944384 3 12648 0 0 0 0 7 4 20 0 20 0 12882116 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058434820832 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1948] ppid=1872 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1948/stat : 1948 (java) S 1872 1875 27482 0 -1 1077944384 8 12648 0 0 0 0 7 4 20 0 20 0 12882116 11177361408 44084 33554432000 4194304 4196468 140726884065200 140058433768368 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 10915392
[startup+3.10116 s]
/proc/loadavg: 2.30 1.93 1.58 5/281 1948
/proc/meminfo: memFree=26551700/32770624 swapFree=5932/356696
[pid=1875] ppid=1872 vsize=10925820 CPUtime=6.88 cores=1,3,5,7,9,11,13,15
/proc/1875/stat : 1875 (java) S 1872 1875 27482 0 -1 1077944320 43528 12648 0 0 657 20 7 4 20 0 20 0 12882097 11188039680 57026 33554432000 4194304 4196468 140726884065200 140726884047744 140058968747767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
/proc/1875/statm: 2731455 57026 3479 1 0 2719010 0
[pid=1875/tid=1930] ppid=1872 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1930/stat : 1930 (java) R 1872 1875 27482 0 -1 4202560 25403 12648 0 0 283 7 7 4 20 0 20 0 12882109 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058972979232 140058953063004 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1931] ppid=1872 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1931/stat : 1931 (java) S 1872 1875 27482 0 -1 1077944384 136 12648 0 0 0 1 7 4 20 0 20 0 12882110 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058894822160 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1932] ppid=1872 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1932/stat : 1932 (java) S 1872 1875 27482 0 -1 1077944384 28 12648 0 0 0 0 7 4 20 0 20 0 12882110 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058893769616 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1933] ppid=1872 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1933/stat : 1933 (java) S 1872 1875 27482 0 -1 1077944384 25 12648 0 0 1 0 7 4 20 0 20 0 12882110 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058892717072 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1934] ppid=1872 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1934/stat : 1934 (java) S 1872 1875 27482 0 -1 1077944384 33 12648 0 0 0 0 7 4 20 0 20 0 12882110 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058891664528 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1935] ppid=1872 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1935/stat : 1935 (java) S 1872 1875 27482 0 -1 1077944384 40 12648 0 0 1 0 7 4 20 0 20 0 12882110 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058890610960 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1936] ppid=1872 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1936/stat : 1936 (java) S 1872 1875 27482 0 -1 1077944384 25 12648 0 0 1 0 7 4 20 0 20 0 12882110 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058889558416 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1937] ppid=1872 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1937/stat : 1937 (java) S 1872 1875 27482 0 -1 1077944384 41 12648 0 0 1 0 7 4 20 0 20 0 12882110 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058888505872 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1938] ppid=1872 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1938/stat : 1938 (java) S 1872 1875 27482 0 -1 1077944384 17 12648 0 0 1 0 7 4 20 0 20 0 12882110 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058887453328 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1939] ppid=1872 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1939/stat : 1939 (java) S 1872 1875 27482 0 -1 1077944384 1178 12648 0 0 1 0 7 4 20 0 20 0 12882112 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058443241968 140058968758914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1940] ppid=1872 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1940/stat : 1940 (java) S 1872 1875 27482 0 -1 1077944384 56 12648 0 0 0 0 7 4 20 0 20 0 12882112 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058442188256 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1941] ppid=1872 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1941/stat : 1941 (java) S 1872 1875 27482 0 -1 1077944384 43 12648 0 0 0 0 7 4 20 0 20 0 12882112 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058441135616 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1942] ppid=1872 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1942/stat : 1942 (java) S 1872 1875 27482 0 -1 1077944384 1 12648 0 0 0 0 7 4 20 0 20 0 12882116 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058440084176 140058968766363 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1943] ppid=1872 vsize=10925820 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1943/stat : 1943 (java) R 1872 1875 27482 0 -1 4202560 4499 12648 0 0 104 1 7 4 20 0 20 0 12882116 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058439019392 140058952717377 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1944] ppid=1872 vsize=10925820 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1944/stat : 1944 (java) R 1872 1875 27482 0 -1 4202560 2068 12648 0 0 73 1 7 4 20 0 20 0 12882116 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058437971416 140058952304177 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1945] ppid=1872 vsize=10925820 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1945/stat : 1945 (java) S 1872 1875 27482 0 -1 1077944384 2368 12648 0 0 68 1 7 4 20 0 20 0 12882116 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058436925680 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1946] ppid=1872 vsize=10925820 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1946/stat : 1946 (java) R 1872 1875 27482 0 -1 4202560 5420 12648 0 0 115 1 7 4 20 0 20 0 12882116 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058435873432 140058948137001 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1947] ppid=1872 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1947/stat : 1947 (java) S 1872 1875 27482 0 -1 1077944384 3 12648 0 0 0 0 7 4 20 0 20 0 12882116 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058434820832 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1948] ppid=1872 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1948/stat : 1948 (java) S 1872 1875 27482 0 -1 1077944384 11 12648 0 0 0 0 7 4 20 0 20 0 12882116 11188039680 57026 33554432000 4194304 4196468 140726884065200 140058433768368 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 10925820
[startup+6.30081 s]
/proc/loadavg: 2.51 1.98 1.60 3/281 1948
/proc/meminfo: memFree=26375444/32770624 swapFree=5932/356688
[pid=1875] ppid=1872 vsize=10929916 CPUtime=16.07 cores=1,3,5,7,9,11,13,15
/proc/1875/stat : 1875 (java) S 1872 1875 27482 0 -1 1077944320 77911 12648 0 0 1566 30 7 4 20 0 20 0 12882097 11192233984 93569 33554432000 4194304 4196468 140726884065200 140726884047744 140058968747767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
/proc/1875/statm: 2732479 93569 3502 1 0 2720034 0
[pid=1875/tid=1930] ppid=1872 vsize=10929916 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1930/stat : 1930 (java) R 1872 1875 27482 0 -1 4202560 33527 12648 0 0 592 11 7 4 20 0 20 0 12882109 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058972982192 140058581041494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1931] ppid=1872 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1931/stat : 1931 (java) S 1872 1875 27482 0 -1 1077944384 173 12648 0 0 3 1 7 4 20 0 20 0 12882110 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058894822160 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1932] ppid=1872 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1932/stat : 1932 (java) S 1872 1875 27482 0 -1 1077944384 895 12648 0 0 3 1 7 4 20 0 20 0 12882110 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058893769616 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1933] ppid=1872 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1933/stat : 1933 (java) S 1872 1875 27482 0 -1 1077944384 494 12648 0 0 4 1 7 4 20 0 20 0 12882110 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058892717072 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1934] ppid=1872 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1934/stat : 1934 (java) S 1872 1875 27482 0 -1 1077944384 83 12648 0 0 4 1 7 4 20 0 20 0 12882110 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058891664528 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1935] ppid=1872 vsize=10929916 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1935/stat : 1935 (java) S 1872 1875 27482 0 -1 1077944384 106 12648 0 0 3 0 7 4 20 0 20 0 12882110 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058890610960 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1936] ppid=1872 vsize=10929916 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1936/stat : 1936 (java) S 1872 1875 27482 0 -1 1077944384 49 12648 0 0 3 0 7 4 20 0 20 0 12882110 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058889558416 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1937] ppid=1872 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1937/stat : 1937 (java) S 1872 1875 27482 0 -1 1077944384 61 12648 0 0 4 0 7 4 20 0 20 0 12882110 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058888505872 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1938] ppid=1872 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1938/stat : 1938 (java) S 1872 1875 27482 0 -1 1077944384 42 12648 0 0 3 1 7 4 20 0 20 0 12882110 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058887453328 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1939] ppid=1872 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1939/stat : 1939 (java) S 1872 1875 27482 0 -1 1077944384 2245 12648 0 0 4 0 7 4 20 0 20 0 12882112 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058443241968 140058968758914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1940] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1940/stat : 1940 (java) S 1872 1875 27482 0 -1 1077944384 60 12648 0 0 0 0 7 4 20 0 20 0 12882112 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058442188320 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1941] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1941/stat : 1941 (java) S 1872 1875 27482 0 -1 1077944384 51 12648 0 0 0 0 7 4 20 0 20 0 12882112 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058441135616 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1942] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1942/stat : 1942 (java) S 1872 1875 27482 0 -1 1077944384 1 12648 0 0 0 0 7 4 20 0 20 0 12882116 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058440084176 140058968766363 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1943] ppid=1872 vsize=10929916 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1943/stat : 1943 (java) S 1872 1875 27482 0 -1 1077944384 11437 12648 0 0 257 1 7 4 20 0 20 0 12882116 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058439030768 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1944] ppid=1872 vsize=10929916 CPUtime=2.81 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1944/stat : 1944 (java) S 1872 1875 27482 0 -1 1077944384 10370 12648 0 0 269 1 7 4 20 0 20 0 12882116 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058437978224 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1945] ppid=1872 vsize=10929916 CPUtime=2.43 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1945/stat : 1945 (java) S 1872 1875 27482 0 -1 1077944384 8573 12648 0 0 230 2 7 4 20 0 20 0 12882116 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058436925680 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1946] ppid=1872 vsize=10929916 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1946/stat : 1946 (java) S 1872 1875 27482 0 -1 1077944384 7125 12648 0 0 177 3 7 4 20 0 20 0 12882116 11192233984 93569 33554432000 4194304 4196468 140726884065200 140058435873136 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1947] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=1875/tid=1944] ppid=1872 vsize=10929916 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1944/stat : 1944 (java) S 1872 1875 27482 0 -1 1077944384 13798 12648 0 0 284 2 7 4 20 0 20 0 12882116 11192233984 153328 33554432000 4194304 4196468 140726884065200 140058437978224 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1945] ppid=1872 vsize=10929916 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1945/stat : 1945 (java) S 1872 1875 27482 0 -1 1077944384 12770 12648 0 0 265 3 7 4 20 0 20 0 12882116 11192233984 153328 33554432000 4194304 4196468 140726884065200 140058436925680 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1946] ppid=1872 vsize=10929916 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1946/stat : 1946 (java) S 1872 1875 27482 0 -1 1077944384 15576 12648 0 0 182 3 7 4 20 0 20 0 12882116 11192233984 153328 33554432000 4194304 4196468 140726884065200 140058435873136 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1947] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1947/stat : 1947 (java) S 1872 1875 27482 0 -1 1077944384 3 12648 0 0 0 0 7 4 20 0 20 0 12882116 11192233984 153328 33554432000 4194304 4196468 140726884065200 140058434820832 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1948] ppid=1872 vsize=10929916 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1948/stat : 1948 (java) S 1872 1875 27482 0 -1 1077944384 1460 12648 0 0 52 50 7 4 20 0 20 0 12882116 11192233984 153328 33554432000 4194304 4196468 140726884065200 140058433768368 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
Current children cumulated CPU time (s) 2315.36
Current children cumulated vsize (KiB) 10929916
[startup+2322.3 s]
/proc/loadavg: 0.64 0.77 1.03 2/256 2072
/proc/meminfo: memFree=30959952/32770624 swapFree=5932/358028
[pid=1875] ppid=1872 vsize=10929916 CPUtime=2376.51 cores=1,3,5,7,9,11,13,15
/proc/1875/stat : 1875 (java) S 1872 1875 27482 0 -1 1077944320 175377 12648 0 0 237300 340 7 4 20 0 20 0 12882097 11192233984 153399 33554432000 4194304 4196468 140726884065200 140726884047744 140058968747767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
/proc/1875/statm: 2732479 153399 3505 1 0 2720034 0
[pid=1875/tid=1930] ppid=1872 vsize=10929916 CPUtime=2307.44 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1930/stat : 1930 (java) R 1872 1875 27482 0 -1 4202560 56026 12648 0 0 230706 27 7 4 20 0 20 0 12882109 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058972981776 140058581278987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1931] ppid=1872 vsize=10929916 CPUtime=6.73 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1931/stat : 1931 (java) S 1872 1875 27482 0 -1 1077944384 7033 12648 0 0 632 30 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058894822160 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1932] ppid=1872 vsize=10929916 CPUtime=6.59 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1932/stat : 1932 (java) S 1872 1875 27482 0 -1 1077944384 9572 12648 0 0 618 30 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058893769616 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1933] ppid=1872 vsize=10929916 CPUtime=6.69 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1933/stat : 1933 (java) S 1872 1875 27482 0 -1 1077944384 5720 12648 0 0 628 30 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058892717072 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1934] ppid=1872 vsize=10929916 CPUtime=6.62 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1934/stat : 1934 (java) S 1872 1875 27482 0 -1 1077944384 1908 12648 0 0 622 29 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058891664528 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1935] ppid=1872 vsize=10929916 CPUtime=6.62 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1935/stat : 1935 (java) S 1872 1875 27482 0 -1 1077944384 4621 12648 0 0 620 31 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058890610960 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1936] ppid=1872 vsize=10929916 CPUtime=6.65 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1936/stat : 1936 (java) S 1872 1875 27482 0 -1 1077944384 5838 12648 0 0 621 33 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058889558416 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1937] ppid=1872 vsize=10929916 CPUtime=6.67 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1937/stat : 1937 (java) S 1872 1875 27482 0 -1 1077944384 6744 12648 0 0 626 30 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058888505872 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1938] ppid=1872 vsize=10929916 CPUtime=6.56 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1938/stat : 1938 (java) S 1872 1875 27482 0 -1 1077944384 6313 12648 0 0 614 31 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058887453328 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1939] ppid=1872 vsize=10929916 CPUtime=5.66 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1939/stat : 1939 (java) S 1872 1875 27482 0 -1 1077944384 11548 12648 0 0 520 35 7 4 20 0 20 0 12882112 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058443241968 140058968758914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1940] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1940/stat : 1940 (java) S 1872 1875 27482 0 -1 1077944384 60 12648 0 0 0 0 7 4 20 0 20 0 12882112 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058442188320 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1941] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1941/stat : 1941 (java) S 1872 1875 27482 0 -1 1077944384 51 12648 0 0 0 0 7 4 20 0 20 0 12882112 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058441135616 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1942] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1942/stat : 1942 (java) S 1872 1875 27482 0 -1 1077944384 1 12648 0 0 0 0 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058440084176 140058968766363 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1943] ppid=1872 vsize=10929916 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1943/stat : 1943 (java) S 1872 1875 27482 0 -1 1077944384 14167 12648 0 0 264 2 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058439030768 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1944] ppid=1872 vsize=10929916 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1944/stat : 1944 (java) S 1872 1875 27482 0 -1 1077944384 13800 12648 0 0 284 2 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058437978224 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1945] ppid=1872 vsize=10929916 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1945/stat : 1945 (java) S 1872 1875 27482 0 -1 1077944384 12772 12648 0 0 265 3 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058436925680 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1946] ppid=1872 vsize=10929916 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1946/stat : 1946 (java) S 1872 1875 27482 0 -1 1077944384 15578 12648 0 0 182 3 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058435873136 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1947] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1947/stat : 1947 (java) S 1872 1875 27482 0 -1 1077944384 3 12648 0 0 0 0 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058434820832 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1948] ppid=1872 vsize=10929916 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1948/stat : 1948 (java) S 1872 1875 27482 0 -1 1077944384 1489 12648 0 0 53 51 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058433768368 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
Current children cumulated CPU time (s) 2376.51
Current children cumulated vsize (KiB) 10929916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2345.4 s]
/proc/loadavg: 0.54 0.74 1.01 2/256 2072
/proc/meminfo: memFree=30960076/32770624 swapFree=5932/358020
[pid=1875] ppid=1872 vsize=10929916 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/1875/stat : 1875 (java) S 1872 1875 27482 0 -1 1077944320 175496 12648 0 0 239651 343 7 4 20 0 20 0 12882097 11192233984 153399 33554432000 4194304 4196468 140726884065200 140726884047744 140058968747767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
/proc/1875/statm: 2732479 153399 3505 1 0 2720034 0
[pid=1875/tid=1930] ppid=1872 vsize=10929916 CPUtime=2330.39 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1930/stat : 1930 (java) R 1872 1875 27482 0 -1 4202560 56123 12648 0 0 233001 27 7 4 20 0 20 0 12882109 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058972981952 140058580724599 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1931] ppid=1872 vsize=10929916 CPUtime=6.81 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1931/stat : 1931 (java) S 1872 1875 27482 0 -1 1077944384 7035 12648 0 0 639 31 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058894822160 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1932] ppid=1872 vsize=10929916 CPUtime=6.64 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1932/stat : 1932 (java) S 1872 1875 27482 0 -1 1077944384 9574 12648 0 0 623 30 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058893769616 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1933] ppid=1872 vsize=10929916 CPUtime=6.76 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1933/stat : 1933 (java) S 1872 1875 27482 0 -1 1077944384 5722 12648 0 0 635 30 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058892717072 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1934] ppid=1872 vsize=10929916 CPUtime=6.7 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1934/stat : 1934 (java) S 1872 1875 27482 0 -1 1077944384 1910 12648 0 0 629 30 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058891664528 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1935] ppid=1872 vsize=10929916 CPUtime=6.68 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1935/stat : 1935 (java) S 1872 1875 27482 0 -1 1077944384 4623 12648 0 0 626 31 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058890610960 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1936] ppid=1872 vsize=10929916 CPUtime=6.71 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1936/stat : 1936 (java) S 1872 1875 27482 0 -1 1077944384 5840 12648 0 0 627 33 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058889558416 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1937] ppid=1872 vsize=10929916 CPUtime=6.73 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1937/stat : 1937 (java) S 1872 1875 27482 0 -1 1077944384 6747 12648 0 0 631 31 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058888505872 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1938] ppid=1872 vsize=10929916 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1938/stat : 1938 (java) S 1872 1875 27482 0 -1 1077944384 6315 12648 0 0 621 31 7 4 20 0 20 0 12882110 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058887453328 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1939] ppid=1872 vsize=10929916 CPUtime=5.72 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1939/stat : 1939 (java) S 1872 1875 27482 0 -1 1077944384 11551 12648 0 0 526 35 7 4 20 0 20 0 12882112 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058443241968 140058968758914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1940] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1940/stat : 1940 (java) S 1872 1875 27482 0 -1 1077944384 60 12648 0 0 0 0 7 4 20 0 20 0 12882112 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058442188320 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1941] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1941/stat : 1941 (java) S 1872 1875 27482 0 -1 1077944384 51 12648 0 0 0 0 7 4 20 0 20 0 12882112 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058441135616 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1942] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1942/stat : 1942 (java) S 1872 1875 27482 0 -1 1077944384 1 12648 0 0 0 0 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058440084176 140058968766363 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1943] ppid=1872 vsize=10929916 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1943/stat : 1943 (java) S 1872 1875 27482 0 -1 1077944384 14167 12648 0 0 264 2 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058439030768 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1944] ppid=1872 vsize=10929916 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1944/stat : 1944 (java) S 1872 1875 27482 0 -1 1077944384 13800 12648 0 0 284 2 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058437978224 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1945] ppid=1872 vsize=10929916 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1945/stat : 1945 (java) S 1872 1875 27482 0 -1 1077944384 12772 12648 0 0 265 3 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058436925680 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1946] ppid=1872 vsize=10929916 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1946/stat : 1946 (java) S 1872 1875 27482 0 -1 1077944384 15578 12648 0 0 182 3 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058435873136 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1947] ppid=1872 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1947/stat : 1947 (java) S 1872 1875 27482 0 -1 1077944384 3 12648 0 0 0 0 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058434820832 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1948] ppid=1872 vsize=10929916 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1948/stat : 1948 (java) S 1872 1875 27482 0 -1 1077944384 1491 12648 0 0 54 51 7 4 20 0 20 0 12882116 11192233984 153399 33554432000 4194304 4196468 140726884065200 140058433768368 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10929916
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 1875 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2345.6 s]
/proc/loadavg: 0.54 0.74 1.01 2/256 2072
/proc/meminfo: memFree=30960076/32770624 swapFree=5932/358020
[pid=1875] ppid=1872 vsize=11063044 CPUtime=2400.86 cores=1,3,5,7,9,11,13,15
/proc/1875/stat : 1875 (java) S 1872 1875 27482 0 -1 1077944320 181783 12648 0 0 239729 346 7 4 20 0 22 0 12882097 11328557056 154640 33554432000 4194304 4196468 140726884065200 140726884047744 140058968747767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
/proc/1875/statm: 2765761 154640 3505 1 0 2753316 0
[pid=1875/tid=1930] ppid=1872 vsize=11063044 CPUtime=2330.4 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1930/stat : 1930 (java) S 1872 1875 27482 0 -1 1077944384 56435 12648 0 0 233002 27 7 4 20 0 22 0 12882109 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058972985312 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1931] ppid=1872 vsize=11063044 CPUtime=6.9 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1931/stat : 1931 (java) R 1872 1875 27482 0 -1 4202560 7061 12648 0 0 648 31 7 4 20 0 22 0 12882110 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058894822048 140058961375975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1932] ppid=1872 vsize=11063044 CPUtime=6.73 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1932/stat : 1932 (java) R 1872 1875 27482 0 -1 4202560 9585 12648 0 0 632 30 7 4 20 0 22 0 12882110 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058893769816 140058961375975 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1933] ppid=1872 vsize=11063044 CPUtime=6.86 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1933/stat : 1933 (java) R 1872 1875 27482 0 -1 4202560 5744 12648 0 0 644 31 7 4 20 0 22 0 12882110 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058892717072 140058961375975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1934] ppid=1872 vsize=11063044 CPUtime=6.78 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1934/stat : 1934 (java) R 1872 1875 27482 0 -1 4202560 1910 12648 0 0 637 30 7 4 20 0 22 0 12882110 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058891664728 140058961375975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1935] ppid=1872 vsize=11063044 CPUtime=6.76 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1935/stat : 1935 (java) R 1872 1875 27482 0 -1 4202560 4629 12648 0 0 634 31 7 4 20 0 22 0 12882110 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058890611160 140058961375975 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1936] ppid=1872 vsize=11063044 CPUtime=6.79 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1936/stat : 1936 (java) R 1872 1875 27482 0 -1 4202560 5851 12648 0 0 635 33 7 4 20 0 22 0 12882110 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058889558616 140058953448403 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1937] ppid=1872 vsize=11063044 CPUtime=6.83 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1937/stat : 1937 (java) R 1872 1875 27482 0 -1 4202560 6754 12648 0 0 641 31 7 4 20 0 22 0 12882110 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058888505992 140058952130802 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1938] ppid=1872 vsize=11063044 CPUtime=6.73 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1938/stat : 1938 (java) R 1872 1875 27482 0 -1 4202560 6325 12648 0 0 630 32 7 4 20 0 22 0 12882110 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058887453528 140058961375975 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1939] ppid=1872 vsize=11063044 CPUtime=5.81 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1939/stat : 1939 (java) S 1872 1875 27482 0 -1 1077944384 16956 12648 0 0 534 36 7 4 20 0 22 0 12882112 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058443240592 140058968757973 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1940] ppid=1872 vsize=11063044 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1940/stat : 1940 (java) S 1872 1875 27482 0 -1 1077944384 63 12648 0 0 0 0 7 4 20 0 22 0 12882112 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058442188304 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1941] ppid=1872 vsize=11063044 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1941/stat : 1941 (java) S 1872 1875 27482 0 -1 1077944384 51 12648 0 0 0 0 7 4 20 0 22 0 12882112 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058441135616 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1942] ppid=1872 vsize=11063044 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1942/stat : 1942 (java) S 1872 1875 27482 0 -1 1077944384 79 12648 0 0 0 0 7 4 20 0 22 0 12882116 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058440084176 140058968766363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1943] ppid=1872 vsize=11063044 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1943/stat : 1943 (java) S 1872 1875 27482 0 -1 1077944384 14167 12648 0 0 264 2 7 4 20 0 22 0 12882116 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058439030768 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1944] ppid=1872 vsize=11063044 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1944/stat : 1944 (java) S 1872 1875 27482 0 -1 1077944384 13800 12648 0 0 284 2 7 4 20 0 22 0 12882116 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058437978224 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1945] ppid=1872 vsize=11063044 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1945/stat : 1945 (java) S 1872 1875 27482 0 -1 1077944384 12772 12648 0 0 265 3 7 4 20 0 22 0 12882116 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058436925680 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1946] ppid=1872 vsize=11063044 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1946/stat : 1946 (java) S 1872 1875 27482 0 -1 1077944384 15859 12648 0 0 182 3 7 4 20 0 22 0 12882116 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058435866448 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1947] ppid=1872 vsize=11063044 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1947/stat : 1947 (java) S 1872 1875 27482 0 -1 1077944384 3 12648 0 0 0 0 7 4 20 0 22 0 12882116 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058434820832 140058968757973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
[pid=1875/tid=1948] ppid=1872 vsize=11063044 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/1875/task/1948/stat : 1948 (java) S 1872 1875 27482 0 -1 1077944384 1491 12648 0 0 54 51 7 4 20 0 22 0 12882116 11328557056 154640 33554432000 4194304 4196468 140726884065200 140058433768368 140058968758914 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21852160 140726884068033 140726884070807 140726884070807 140726884073423 0
Current children cumulated CPU time (s) 2400.86
Current children cumulated vsize (KiB) 11063044
Child status: 143
Real time (s): 2345.65
CPU time (s): 2401.02
CPU user time (s): 2397.51
CPU system time (s): 3.51199
CPU usage (%): 102.36
Max. virtual memory (cumulated for all children) (KiB): 11063044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.51
system time used= 3.51199
maximum resident set size= 666864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253706
involuntary context switches= 168511
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8034 second user time and 20.9219 second system time
The end