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-4244905-1500699171/watcher-4244905-1500699171 -o /tmp/evaluation-result-4244905-1500699171/solver-4244905-1500699171 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12413 --watchdog 2560 bin/concrete HOME/instance-4244905-1500699171.xml
pid=12879
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.63 1.64 2.51 10/261 12882
/proc/meminfo: memFree=30899484/32770624 swapFree=5720/271988
[pid=12882] ppid=12879 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12882/stat : 12882 (bash) S 12879 12882 16473 0 -1 4202496 684 1532 0 0 0 0 0 0 20 0 1 0 5186270 9736192 350 33554432000 4194304 5098028 140733755978032 140733755975672 139784907324416 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 24928256 140733755979022 140733755979107 140733755979107 140733755981806 0
/proc/12882/statm: 2377 350 278 221 0 86 0
[startup+0.100129 s]
/proc/loadavg: 1.63 1.64 2.51 10/261 12882
/proc/meminfo: memFree=30899484/32770624 swapFree=5720/271988
[pid=12882] ppid=12879 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12882/stat : 12882 (bash) S 12879 12882 16473 0 -1 4202496 878 6420 0 0 0 0 0 1 20 0 1 0 5186270 9871360 377 33554432000 4194304 5098028 140733755978032 140733755972040 139784907324416 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 24928256 140733755979022 140733755979107 140733755979107 140733755981806 0
/proc/12882/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.20033 s]
/proc/loadavg: 1.63 1.64 2.51 10/261 12882
/proc/meminfo: memFree=30899484/32770624 swapFree=5720/271988
[pid=12882] ppid=12879 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12882/stat : 12882 (java) S 12879 12882 16473 0 -1 1077944320 4884 12547 0 0 6 1 9 3 20 0 13 0 5186270 10686320640 5244 33554432000 4194304 4196468 140727040846368 140727040828912 139796336783095 0 0 0 16800971 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
/proc/12882/statm: 2608965 5244 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300254 s]
/proc/loadavg: 1.63 1.64 2.51 10/261 12882
/proc/meminfo: memFree=30899484/32770624 swapFree=5720/271988
[pid=12882] ppid=12879 vsize=10902392 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/12882/stat : 12882 (java) S 12879 12882 16473 0 -1 1077944320 9401 12547 0 0 22 2 9 3 20 0 20 0 5186270 11164049408 10471 33554432000 4194304 4196468 140727040846368 140727040828912 139796336783095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
/proc/12882/statm: 2725598 10471 2990 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700163 s]
/proc/loadavg: 1.63 1.64 2.51 10/261 12882
/proc/meminfo: memFree=30899484/32770624 swapFree=5720/271988
[pid=12882] ppid=12879 vsize=10902720 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/12882/stat : 12882 (java) S 12879 12882 16473 0 -1 1077944320 13017 12547 0 0 82 4 9 3 20 0 20 0 5186270 11164385280 16294 33554432000 4194304 4196468 140727040846368 140727040828912 139796336783095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
/proc/12882/statm: 2725680 16294 3230 1 0 2713890 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10902720
[startup+1.50072 s]
/proc/loadavg: 1.63 1.64 2.51 3/281 12955
/proc/meminfo: memFree=30794180/32770624 swapFree=5720/272088
[pid=12882] ppid=12879 vsize=10913344 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/12882/stat : 12882 (java) S 12879 12882 16473 0 -1 1077944320 27331 12547 0 0 207 13 9 3 20 0 20 0 5186270 11175264256 44001 33554432000 4194304 4196468 140727040846368 140727040828912 139796336783095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
/proc/12882/statm: 2728336 44001 3395 1 0 2716450 0
[pid=12882/tid=12937] ppid=12879 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12937/stat : 12937 (java) R 12879 12882 16473 0 -1 4202560 19211 12547 0 0 124 6 9 3 20 0 20 0 5186283 11175264256 44001 33554432000 4194304 4196468 140727040846368 139796341010864 139796336795030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12938] ppid=12879 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12938/stat : 12938 (java) S 12879 12882 16473 0 -1 1077944384 56 12547 0 0 0 0 9 3 20 0 20 0 5186283 11175264256 44001 33554432000 4194304 4196468 140727040846368 139796289403792 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12939] ppid=12879 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12939/stat : 12939 (java) S 12879 12882 16473 0 -1 1077944384 12 12547 0 0 0 0 9 3 20 0 20 0 5186283 11175264256 44001 33554432000 4194304 4196468 140727040846368 139796288350992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12940] ppid=12879 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12940/stat : 12940 (java) S 12879 12882 16473 0 -1 1077944384 21 12547 0 0 0 0 9 3 20 0 20 0 5186284 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795941219472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12941] ppid=12879 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12941/stat : 12941 (java) S 12879 12882 16473 0 -1 1077944384 19 12547 0 0 1 0 9 3 20 0 20 0 5186284 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795940166672 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12942] ppid=12879 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12942/stat : 12942 (java) S 12879 12882 16473 0 -1 1077944384 18 12547 0 0 1 0 9 3 20 0 20 0 5186284 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795939113360 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12943] ppid=12879 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12943/stat : 12943 (java) S 12879 12882 16473 0 -1 1077944384 25 12547 0 0 0 0 9 3 20 0 20 0 5186284 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795938060560 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12944] ppid=12879 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12944/stat : 12944 (java) S 12879 12882 16473 0 -1 1077944384 128 12547 0 0 0 0 9 3 20 0 20 0 5186284 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795937008272 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12945] ppid=12879 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12945/stat : 12945 (java) S 12879 12882 16473 0 -1 1077944384 35 12547 0 0 1 0 9 3 20 0 20 0 5186284 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795935955472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12946] ppid=12879 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12946/stat : 12946 (java) S 12879 12882 16473 0 -1 1077944384 1549 12547 0 0 1 0 9 3 20 0 20 0 5186286 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795810454128 139796336794242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12947] ppid=12879 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12947/stat : 12947 (java) S 12879 12882 16473 0 -1 1077944384 55 12547 0 0 0 0 9 3 20 0 20 0 5186287 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795809400160 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12948] ppid=12879 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12948/stat : 12948 (java) S 12879 12882 16473 0 -1 1077944384 43 12547 0 0 0 0 9 3 20 0 20 0 5186287 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795808347776 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12949] ppid=12879 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12949/stat : 12949 (java) S 12879 12882 16473 0 -1 1077944384 1 12547 0 0 0 0 9 3 20 0 20 0 5186290 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795807296080 139796336801691 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12950] ppid=12879 vsize=10913344 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12950/stat : 12950 (java) S 12879 12882 16473 0 -1 1077944384 858 12547 0 0 9 0 9 3 20 0 20 0 5186290 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795806242928 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12951] ppid=12879 vsize=10913344 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12951/stat : 12951 (java) S 12879 12882 16473 0 -1 1077944384 567 12547 0 0 15 0 9 3 20 0 20 0 5186290 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795805190128 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12952] ppid=12879 vsize=10913344 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12952/stat : 12952 (java) S 12879 12882 16473 0 -1 1077944384 1174 12547 0 0 18 0 9 3 20 0 20 0 5186290 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795804137840 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12953] ppid=12879 vsize=10913344 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12953/stat : 12953 (java) R 12879 12882 16473 0 -1 4202560 1425 12547 0 0 28 0 9 3 20 0 20 0 5186290 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795803085336 139796315801465 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12954] ppid=12879 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12954/stat : 12954 (java) S 12879 12882 16473 0 -1 1077944384 3 12547 0 0 0 0 9 3 20 0 20 0 5186290 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795802032992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12955] ppid=12879 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12955/stat : 12955 (java) S 12879 12882 16473 0 -1 1077944384 3 12547 0 0 0 0 9 3 20 0 20 0 5186291 11175264256 44001 33554432000 4194304 4196468 140727040846368 139795800980272 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10913344
[startup+3.10119 s]
/proc/loadavg: 1.63 1.64 2.51 4/281 12955
/proc/meminfo: memFree=30726020/32770624 swapFree=5720/272088
[pid=12882] ppid=12879 vsize=10927868 CPUtime=5.99 cores=0,2,4,6,8,10,12,14
/proc/12882/stat : 12882 (java) S 12879 12882 16473 0 -1 1077944320 48635 12547 0 0 569 18 9 3 20 0 20 0 5186270 11190136832 55735 33554432000 4194304 4196468 140727040846368 140727040828912 139796336783095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
/proc/12882/statm: 2731967 55735 3473 1 0 2719522 0
[pid=12882/tid=12937] ppid=12879 vsize=10927868 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12937/stat : 12937 (java) R 12879 12882 16473 0 -1 4202560 33152 12547 0 0 281 9 9 3 20 0 20 0 5186283 11190136832 55735 33554432000 4194304 4196468 140727040846368 139796341007576 139796320826725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12938] ppid=12879 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12938/stat : 12938 (java) S 12879 12882 16473 0 -1 1077944384 56 12547 0 0 0 0 9 3 20 0 20 0 5186283 11190136832 55735 33554432000 4194304 4196468 140727040846368 139796289403792 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12939] ppid=12879 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12939/stat : 12939 (java) S 12879 12882 16473 0 -1 1077944384 12 12547 0 0 0 0 9 3 20 0 20 0 5186283 11190136832 55735 33554432000 4194304 4196468 140727040846368 139796288350992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12940] ppid=12879 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12940/stat : 12940 (java) S 12879 12882 16473 0 -1 1077944384 21 12547 0 0 0 0 9 3 20 0 20 0 5186284 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795941219472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12941] ppid=12879 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12941/stat : 12941 (java) S 12879 12882 16473 0 -1 1077944384 19 12547 0 0 1 0 9 3 20 0 20 0 5186284 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795940166672 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12942] ppid=12879 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12942/stat : 12942 (java) S 12879 12882 16473 0 -1 1077944384 18 12547 0 0 1 0 9 3 20 0 20 0 5186284 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795939113360 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12943] ppid=12879 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12943/stat : 12943 (java) S 12879 12882 16473 0 -1 1077944384 25 12547 0 0 0 0 9 3 20 0 20 0 5186284 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795938060560 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12944] ppid=12879 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12944/stat : 12944 (java) S 12879 12882 16473 0 -1 1077944384 128 12547 0 0 0 0 9 3 20 0 20 0 5186284 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795937008272 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12945] ppid=12879 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12945/stat : 12945 (java) S 12879 12882 16473 0 -1 1077944384 35 12547 0 0 1 0 9 3 20 0 20 0 5186284 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795935955472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12946] ppid=12879 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12946/stat : 12946 (java) S 12879 12882 16473 0 -1 1077944384 1768 12547 0 0 2 0 9 3 20 0 20 0 5186286 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795810454128 139796336794242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12947] ppid=12879 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12947/stat : 12947 (java) S 12879 12882 16473 0 -1 1077944384 55 12547 0 0 0 0 9 3 20 0 20 0 5186287 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795809400160 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12948] ppid=12879 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12948/stat : 12948 (java) S 12879 12882 16473 0 -1 1077944384 43 12547 0 0 0 0 9 3 20 0 20 0 5186287 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795808347776 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12949] ppid=12879 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12949/stat : 12949 (java) S 12879 12882 16473 0 -1 1077944384 1 12547 0 0 0 0 9 3 20 0 20 0 5186290 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795807296080 139796336801691 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12950] ppid=12879 vsize=10927868 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12950/stat : 12950 (java) S 12879 12882 16473 0 -1 1077944384 4475 12547 0 0 73 1 9 3 20 0 20 0 5186290 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795806242928 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12951] ppid=12879 vsize=10927868 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12951/stat : 12951 (java) S 12879 12882 16473 0 -1 1077944384 1086 12547 0 0 46 0 9 3 20 0 20 0 5186290 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795805190128 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12952] ppid=12879 vsize=10927868 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12952/stat : 12952 (java) S 12879 12882 16473 0 -1 1077944384 1915 12547 0 0 57 0 9 3 20 0 20 0 5186290 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795804137840 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12953] ppid=12879 vsize=10927868 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12953/stat : 12953 (java) S 12879 12882 16473 0 -1 1077944384 3688 12547 0 0 100 0 9 3 20 0 20 0 5186290 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795803085040 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12954] ppid=12879 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12954/stat : 12954 (java) S 12879 12882 16473 0 -1 1077944384 3 12547 0 0 0 0 9 3 20 0 20 0 5186290 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795802032992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12955] ppid=12879 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12955/stat : 12955 (java) S 12879 12882 16473 0 -1 1077944384 7 12547 0 0 0 0 9 3 20 0 20 0 5186291 11190136832 55735 33554432000 4194304 4196468 140727040846368 139795800980272 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 10927868
[startup+6.30091 s]
/proc/loadavg: 1.66 1.65 2.51 6/281 12955
/proc/meminfo: memFree=30542184/32770624 swapFree=5720/272096
[pid=12882] ppid=12879 vsize=10997500 CPUtime=16.02 cores=0,2,4,6,8,10,12,14
/proc/12882/stat : 12882 (java) S 12879 12882 16473 0 -1 1077944320 67400 12547 0 0 1558 32 9 3 20 0 20 0 5186270 11261440000 105354 33554432000 4194304 4196468 140727040846368 140727040828912 139796336783095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
/proc/12882/statm: 2749375 105354 3503 1 0 2736930 0
[pid=12882/tid=12937] ppid=12879 vsize=10997500 CPUtime=5.94 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12937/stat : 12937 (java) R 12879 12882 16473 0 -1 4202560 42341 12547 0 0 569 13 9 3 20 0 20 0 5186283 11261440000 105354 33554432000 4194304 4196468 140727040846368 139796341017232 139795983385470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12938] ppid=12879 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12938/stat : 12938 (java) S 12879 12882 16473 0 -1 1077944384 94 12547 0 0 14 1 9 3 20 0 20 0 5186283 11261440000 105354 33554432000 4194304 4196468 140727040846368 139796289403792 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12939] ppid=12879 vsize=10997500 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12939/stat : 12939 (java) S 12879 12882 16473 0 -1 1077944384 1005 12547 0 0 10 1 9 3 20 0 20 0 5186283 11261440000 105354 33554432000 4194304 4196468 140727040846368 139796288350992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12940] ppid=12879 vsize=10997500 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12940/stat : 12940 (java) S 12879 12882 16473 0 -1 1077944384 40 12547 0 0 12 0 9 3 20 0 20 0 5186284 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795941219472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12941] ppid=12879 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12941/stat : 12941 (java) S 12879 12882 16473 0 -1 1077944384 45 12547 0 0 13 1 9 3 20 0 20 0 5186284 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795940166672 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12942] ppid=12879 vsize=10997500 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12942/stat : 12942 (java) S 12879 12882 16473 0 -1 1077944384 55 12547 0 0 11 1 9 3 20 0 20 0 5186284 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795939113360 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12943] ppid=12879 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12943/stat : 12943 (java) S 12879 12882 16473 0 -1 1077944384 94 12547 0 0 13 1 9 3 20 0 20 0 5186284 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795938060560 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12944] ppid=12879 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12944/stat : 12944 (java) S 12879 12882 16473 0 -1 1077944384 173 12547 0 0 13 1 9 3 20 0 20 0 5186284 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795937008272 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12945] ppid=12879 vsize=10997500 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12945/stat : 12945 (java) S 12879 12882 16473 0 -1 1077944384 76 12547 0 0 9 0 9 3 20 0 20 0 5186284 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795935955472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12946] ppid=12879 vsize=10997500 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12946/stat : 12946 (java) S 12879 12882 16473 0 -1 1077944384 2453 12547 0 0 13 0 9 3 20 0 20 0 5186286 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795810454128 139796336794242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12947] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12947/stat : 12947 (java) S 12879 12882 16473 0 -1 1077944384 57 12547 0 0 0 0 9 3 20 0 20 0 5186287 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795809400160 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12948] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12948/stat : 12948 (java) S 12879 12882 16473 0 -1 1077944384 44 12547 0 0 0 0 9 3 20 0 20 0 5186287 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795808347776 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12949] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12949/stat : 12949 (java) S 12879 12882 16473 0 -1 1077944384 1 12547 0 0 0 0 9 3 20 0 20 0 5186290 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795807296080 139796336801691 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12950] ppid=12879 vsize=10997500 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12950/stat : 12950 (java) S 12879 12882 16473 0 -1 1077944384 8714 12547 0 0 281 2 9 3 20 0 20 0 5186290 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795806242928 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12951] ppid=12879 vsize=10997500 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12951/stat : 12951 (java) S 12879 12882 16473 0 -1 1077944384 2398 12547 0 0 206 1 9 3 20 0 20 0 5186290 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795805190128 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12952] ppid=12879 vsize=10997500 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12952/stat : 12952 (java) S 12879 12882 16473 0 -1 1077944384 2542 12547 0 0 209 1 9 3 20 0 20 0 5186290 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795804137840 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12953] ppid=12879 vsize=10997500 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12953/stat : 12953 (java) S 12879 12882 16473 0 -1 1077944384 5128 12547 0 0 178 2 9 3 20 0 20 0 5186290 11261440000 105354 33554432000 4194304 4196468 140727040846368 139795803085040 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12954] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=12882/tid=12951] ppid=12879 vsize=10997500 CPUtime=5.98 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12951/stat : 12951 (java) S 12879 12882 16473 0 -1 1077944384 16304 12547 0 0 581 5 9 3 20 0 20 0 5186290 11261440000 283472 33554432000 4194304 4196468 140727040846368 139795805190128 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12952] ppid=12879 vsize=10997500 CPUtime=5.91 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12952/stat : 12952 (java) S 12879 12882 16473 0 -1 1077944384 15312 12547 0 0 575 4 9 3 20 0 20 0 5186290 11261440000 283472 33554432000 4194304 4196468 140727040846368 139795804137840 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12953] ppid=12879 vsize=10997500 CPUtime=3.64 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12953/stat : 12953 (java) S 12879 12882 16473 0 -1 1077944384 25690 12547 0 0 346 6 9 3 20 0 20 0 5186290 11261440000 283472 33554432000 4194304 4196468 140727040846368 139795803085040 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12954] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12954/stat : 12954 (java) S 12879 12882 16473 0 -1 1077944384 3 12547 0 0 0 0 9 3 20 0 20 0 5186290 11261440000 283472 33554432000 4194304 4196468 140727040846368 139795802032992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12955] ppid=12879 vsize=10997500 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12955/stat : 12955 (java) S 12879 12882 16473 0 -1 1077944384 1575 12547 0 0 63 59 9 3 20 0 20 0 5186291 11261440000 283472 33554432000 4194304 4196468 140727040846368 139795800980272 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
Current children cumulated CPU time (s) 2277.69
Current children cumulated vsize (KiB) 10997500
[startup+2262.3 s]
/proc/loadavg: 1.25 1.32 1.48 3/282 13486
/proc/meminfo: memFree=29549240/32770624 swapFree=5720/274632
[pid=12882] ppid=12879 vsize=10997500 CPUtime=2339.15 cores=0,2,4,6,8,10,12,14
/proc/12882/stat : 12882 (java) S 12879 12882 16473 0 -1 1077944320 236126 12547 0 0 233489 414 9 3 20 0 20 0 5186270 11261440000 283485 33554432000 4194304 4196468 140727040846368 140727040828912 139796336783095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
/proc/12882/statm: 2749375 283485 3521 1 0 2736930 0
[pid=12882/tid=12937] ppid=12879 vsize=10997500 CPUtime=2242.35 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12937/stat : 12937 (java) R 12879 12882 16473 0 -1 4202560 89829 12547 0 0 224179 44 9 3 20 0 20 0 5186283 11261440000 283485 33554432000 4194304 4196468 140727040846368 139796341017232 139795982347609 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12938] ppid=12879 vsize=10997500 CPUtime=8.38 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12938/stat : 12938 (java) S 12879 12882 16473 0 -1 1077944384 4484 12547 0 0 789 37 9 3 20 0 20 0 5186283 11261440000 283485 33554432000 4194304 4196468 140727040846368 139796289403792 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12939] ppid=12879 vsize=10997500 CPUtime=8.2 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12939/stat : 12939 (java) S 12879 12882 16473 0 -1 1077944384 6007 12547 0 0 774 34 9 3 20 0 20 0 5186283 11261440000 283485 33554432000 4194304 4196468 140727040846368 139796288350992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12940] ppid=12879 vsize=10997500 CPUtime=8.38 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12940/stat : 12940 (java) S 12879 12882 16473 0 -1 1077944384 4630 12547 0 0 790 36 9 3 20 0 20 0 5186284 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795941219472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12941] ppid=12879 vsize=10997500 CPUtime=8.4 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12941/stat : 12941 (java) S 12879 12882 16473 0 -1 1077944384 5516 12547 0 0 789 39 9 3 20 0 20 0 5186284 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795940166672 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12942] ppid=12879 vsize=10997500 CPUtime=8.36 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12942/stat : 12942 (java) S 12879 12882 16473 0 -1 1077944384 7911 12547 0 0 788 36 9 3 20 0 20 0 5186284 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795939113360 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12943] ppid=12879 vsize=10997500 CPUtime=8.41 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12943/stat : 12943 (java) S 12879 12882 16473 0 -1 1077944384 10694 12547 0 0 793 36 9 3 20 0 20 0 5186284 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795938060560 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12944] ppid=12879 vsize=10997500 CPUtime=8.45 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12944/stat : 12944 (java) S 12879 12882 16473 0 -1 1077944384 4879 12547 0 0 798 35 9 3 20 0 20 0 5186284 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795937008272 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12945] ppid=12879 vsize=10997500 CPUtime=8.4 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12945/stat : 12945 (java) S 12879 12882 16473 0 -1 1077944384 6336 12547 0 0 790 38 9 3 20 0 20 0 5186284 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795935955472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12946] ppid=12879 vsize=10997500 CPUtime=7.74 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12946/stat : 12946 (java) S 12879 12882 16473 0 -1 1077944384 13825 12547 0 0 728 34 9 3 20 0 20 0 5186286 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795810454128 139796336794242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12947] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12947/stat : 12947 (java) S 12879 12882 16473 0 -1 1077944384 74 12547 0 0 0 0 9 3 20 0 20 0 5186287 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795809400160 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12948] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12948/stat : 12948 (java) S 12879 12882 16473 0 -1 1077944384 44 12547 0 0 0 0 9 3 20 0 20 0 5186287 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795808347776 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12949] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12949/stat : 12949 (java) S 12879 12882 16473 0 -1 1077944384 1 12547 0 0 0 0 9 3 20 0 20 0 5186290 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795807296080 139796336801691 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12950] ppid=12879 vsize=10997500 CPUtime=6.68 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12950/stat : 12950 (java) S 12879 12882 16473 0 -1 1077944384 20863 12547 0 0 651 5 9 3 20 0 20 0 5186290 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795806242928 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12951] ppid=12879 vsize=10997500 CPUtime=5.98 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12951/stat : 12951 (java) S 12879 12882 16473 0 -1 1077944384 16306 12547 0 0 581 5 9 3 20 0 20 0 5186290 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795805190128 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12952] ppid=12879 vsize=10997500 CPUtime=5.91 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12952/stat : 12952 (java) S 12879 12882 16473 0 -1 1077944384 15314 12547 0 0 575 4 9 3 20 0 20 0 5186290 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795804137840 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12953] ppid=12879 vsize=10997500 CPUtime=3.64 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12953/stat : 12953 (java) S 12879 12882 16473 0 -1 1077944384 25692 12547 0 0 346 6 9 3 20 0 20 0 5186290 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795803085040 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12954] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12954/stat : 12954 (java) S 12879 12882 16473 0 -1 1077944384 3 12547 0 0 0 0 9 3 20 0 20 0 5186290 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795802032992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12955] ppid=12879 vsize=10997500 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12955/stat : 12955 (java) S 12879 12882 16473 0 -1 1077944384 1590 12547 0 0 65 61 9 3 20 0 20 0 5186291 11261440000 283485 33554432000 4194304 4196468 140727040846368 139795800980272 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
Current children cumulated CPU time (s) 2339.15
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2321.7 s]
/proc/loadavg: 1.51 1.38 1.50 3/282 13487
/proc/meminfo: memFree=29547672/32770624 swapFree=5720/274704
[pid=12882] ppid=12879 vsize=10997500 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/12882/stat : 12882 (java) S 12879 12882 16473 0 -1 1077944320 237652 12547 0 0 239566 424 9 3 20 0 20 0 5186270 11261440000 283997 33554432000 4194304 4196468 140727040846368 140727040828912 139796336783095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
/proc/12882/statm: 2749375 283997 3521 1 0 2736930 0
[pid=12882/tid=12937] ppid=12879 vsize=10997500 CPUtime=2301.21 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12937/stat : 12937 (java) R 12879 12882 16473 0 -1 4202560 90558 12547 0 0 230065 44 9 3 20 0 20 0 5186283 11261440000 283997 33554432000 4194304 4196468 140727040846368 139796341017088 139795982155349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12938] ppid=12879 vsize=10997500 CPUtime=8.61 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12938/stat : 12938 (java) S 12879 12882 16473 0 -1 1077944384 4612 12547 0 0 811 38 9 3 20 0 20 0 5186283 11261440000 283997 33554432000 4194304 4196468 140727040846368 139796289403792 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12939] ppid=12879 vsize=10997500 CPUtime=8.41 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12939/stat : 12939 (java) S 12879 12882 16473 0 -1 1077944384 6036 12547 0 0 794 35 9 3 20 0 20 0 5186283 11261440000 283997 33554432000 4194304 4196468 140727040846368 139796288350992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12940] ppid=12879 vsize=10997500 CPUtime=8.6 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12940/stat : 12940 (java) S 12879 12882 16473 0 -1 1077944384 4661 12547 0 0 810 38 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795941219472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12941] ppid=12879 vsize=10997500 CPUtime=8.62 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12941/stat : 12941 (java) S 12879 12882 16473 0 -1 1077944384 5805 12547 0 0 810 40 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795940166672 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12942] ppid=12879 vsize=10997500 CPUtime=8.59 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12942/stat : 12942 (java) S 12879 12882 16473 0 -1 1077944384 7930 12547 0 0 810 37 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795939113360 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12943] ppid=12879 vsize=10997500 CPUtime=8.65 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12943/stat : 12943 (java) S 12879 12882 16473 0 -1 1077944384 10719 12547 0 0 815 38 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795938060560 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12944] ppid=12879 vsize=10997500 CPUtime=8.66 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12944/stat : 12944 (java) S 12879 12882 16473 0 -1 1077944384 4901 12547 0 0 817 37 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795937008272 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12945] ppid=12879 vsize=10997500 CPUtime=8.64 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12945/stat : 12945 (java) S 12879 12882 16473 0 -1 1077944384 6365 12547 0 0 812 40 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795935955472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12946] ppid=12879 vsize=10997500 CPUtime=7.95 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12946/stat : 12946 (java) S 12879 12882 16473 0 -1 1077944384 14034 12547 0 0 748 35 9 3 20 0 20 0 5186286 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795810454128 139796336794242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12947] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12947/stat : 12947 (java) S 12879 12882 16473 0 -1 1077944384 74 12547 0 0 0 0 9 3 20 0 20 0 5186287 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795809400160 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12948] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12948/stat : 12948 (java) S 12879 12882 16473 0 -1 1077944384 44 12547 0 0 0 0 9 3 20 0 20 0 5186287 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795808347776 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12949] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12949/stat : 12949 (java) S 12879 12882 16473 0 -1 1077944384 1 12547 0 0 0 0 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795807296080 139796336801691 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12950] ppid=12879 vsize=10997500 CPUtime=6.68 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12950/stat : 12950 (java) S 12879 12882 16473 0 -1 1077944384 20865 12547 0 0 651 5 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795806242928 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12951] ppid=12879 vsize=10997500 CPUtime=5.98 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12951/stat : 12951 (java) S 12879 12882 16473 0 -1 1077944384 16308 12547 0 0 581 5 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795805190128 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12952] ppid=12879 vsize=10997500 CPUtime=5.92 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12952/stat : 12952 (java) S 12879 12882 16473 0 -1 1077944384 15317 12547 0 0 576 4 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795804137840 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12953] ppid=12879 vsize=10997500 CPUtime=3.64 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12953/stat : 12953 (java) S 12879 12882 16473 0 -1 1077944384 25694 12547 0 0 346 6 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795803085040 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12954] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12954/stat : 12954 (java) S 12879 12882 16473 0 -1 1077944384 3 12547 0 0 0 0 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795802032992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12955] ppid=12879 vsize=10997500 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12955/stat : 12955 (java) S 12879 12882 16473 0 -1 1077944384 1597 12547 0 0 67 63 9 3 20 0 20 0 5186291 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795800980272 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
Current children cumulated CPU time (s) 2400.02
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 12882 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2321.7 s]
/proc/loadavg: 1.51 1.38 1.50 3/282 13487
/proc/meminfo: memFree=29547672/32770624 swapFree=5720/274704
[pid=12882] ppid=12879 vsize=10997500 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/12882/stat : 12882 (java) S 12879 12882 16473 0 -1 1077944320 237652 12547 0 0 239566 424 9 3 20 0 20 0 5186270 11261440000 283997 33554432000 4194304 4196468 140727040846368 140727040828912 139796336783095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
/proc/12882/statm: 2749375 283997 3521 1 0 2736930 0
[pid=12882/tid=12937] ppid=12879 vsize=10997500 CPUtime=2301.21 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12937/stat : 12937 (java) R 12879 12882 16473 0 -1 4202560 90558 12547 0 0 230065 44 9 3 20 0 20 0 5186283 11261440000 283997 33554432000 4194304 4196468 140727040846368 139796341017088 139795982155349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12938] ppid=12879 vsize=10997500 CPUtime=8.61 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12938/stat : 12938 (java) S 12879 12882 16473 0 -1 1077944384 4612 12547 0 0 811 38 9 3 20 0 20 0 5186283 11261440000 283997 33554432000 4194304 4196468 140727040846368 139796289403792 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12939] ppid=12879 vsize=10997500 CPUtime=8.41 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12939/stat : 12939 (java) S 12879 12882 16473 0 -1 1077944384 6036 12547 0 0 794 35 9 3 20 0 20 0 5186283 11261440000 283997 33554432000 4194304 4196468 140727040846368 139796288350992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12940] ppid=12879 vsize=10997500 CPUtime=8.6 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12940/stat : 12940 (java) S 12879 12882 16473 0 -1 1077944384 4661 12547 0 0 810 38 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795941219472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12941] ppid=12879 vsize=10997500 CPUtime=8.62 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12941/stat : 12941 (java) S 12879 12882 16473 0 -1 1077944384 5805 12547 0 0 810 40 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795940166672 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12942] ppid=12879 vsize=10997500 CPUtime=8.59 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12942/stat : 12942 (java) S 12879 12882 16473 0 -1 1077944384 7930 12547 0 0 810 37 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795939113360 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12943] ppid=12879 vsize=10997500 CPUtime=8.65 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12943/stat : 12943 (java) S 12879 12882 16473 0 -1 1077944384 10719 12547 0 0 815 38 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795938060560 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12944] ppid=12879 vsize=10997500 CPUtime=8.66 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12944/stat : 12944 (java) S 12879 12882 16473 0 -1 1077944384 4901 12547 0 0 817 37 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795937008272 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12945] ppid=12879 vsize=10997500 CPUtime=8.64 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12945/stat : 12945 (java) S 12879 12882 16473 0 -1 1077944384 6365 12547 0 0 812 40 9 3 20 0 20 0 5186284 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795935955472 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12946] ppid=12879 vsize=10997500 CPUtime=7.95 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12946/stat : 12946 (java) S 12879 12882 16473 0 -1 1077944384 14034 12547 0 0 748 35 9 3 20 0 20 0 5186286 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795810454128 139796336794242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12947] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12947/stat : 12947 (java) S 12879 12882 16473 0 -1 1077944384 74 12547 0 0 0 0 9 3 20 0 20 0 5186287 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795809400160 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12948] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12948/stat : 12948 (java) S 12879 12882 16473 0 -1 1077944384 44 12547 0 0 0 0 9 3 20 0 20 0 5186287 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795808347776 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12949] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12949/stat : 12949 (java) S 12879 12882 16473 0 -1 1077944384 1 12547 0 0 0 0 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795807296080 139796336801691 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12950] ppid=12879 vsize=10997500 CPUtime=6.68 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12950/stat : 12950 (java) S 12879 12882 16473 0 -1 1077944384 20865 12547 0 0 651 5 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795806242928 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12951] ppid=12879 vsize=10997500 CPUtime=5.98 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12951/stat : 12951 (java) S 12879 12882 16473 0 -1 1077944384 16308 12547 0 0 581 5 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795805190128 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12952] ppid=12879 vsize=10997500 CPUtime=5.92 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12952/stat : 12952 (java) S 12879 12882 16473 0 -1 1077944384 15317 12547 0 0 576 4 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795804137840 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12953] ppid=12879 vsize=10997500 CPUtime=3.64 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12953/stat : 12953 (java) S 12879 12882 16473 0 -1 1077944384 25694 12547 0 0 346 6 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795803085040 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12954] ppid=12879 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12954/stat : 12954 (java) S 12879 12882 16473 0 -1 1077944384 3 12547 0 0 0 0 9 3 20 0 20 0 5186290 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795802032992 139796336793301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
[pid=12882/tid=12955] ppid=12879 vsize=10997500 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/12882/task/12955/stat : 12955 (java) S 12879 12882 16473 0 -1 1077944384 1597 12547 0 0 67 63 9 3 20 0 20 0 5186291 11261440000 283997 33554432000 4194304 4196468 140727040846368 139795800980272 139796336794242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31977472 140727040854721 140727040857495 140727040857495 140727040860111 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2321.73
CPU time (s): 2400.07
CPU user time (s): 2395.78
CPU system time (s): 4.2905
CPU usage (%): 103.374
Max. virtual memory (cumulated for all children) (KiB): 10999616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.78
system time used= 4.2905
maximum resident set size= 1158564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 303093
involuntary context switches= 180864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.302 second user time and 19.8215 second system time
The end