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-4245719-1500706628/watcher-4245719-1500706628 -o /tmp/evaluation-result-4245719-1500706628/solver-4245719-1500706628 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13636 --watchdog 2560 bin/concrete HOME/instance-4245719-1500706628.xml
pid=19545
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.67 1.68 1.71 3/262 19548
/proc/meminfo: memFree=28868252/32770624 swapFree=5828/261420
[pid=19548] ppid=19545 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19548/stat : 19548 (bash) S 19545 19548 13605 0 -1 4202496 687 1536 0 0 0 0 0 0 20 0 1 0 5929641 9736192 351 33554432000 4194304 5098028 140726074501728 140726074499368 139743498107904 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 9678848 140726074508558 140726074508643 140726074508643 140726074511342 0
/proc/19548/statm: 2377 351 278 221 0 86 0
[startup+0.100126 s]
/proc/loadavg: 1.67 1.68 1.71 3/262 19548
/proc/meminfo: memFree=28868252/32770624 swapFree=5828/261420
[pid=19548] ppid=19545 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19548/stat : 19548 (bash) S 19545 19548 13605 0 -1 4202496 881 6426 0 0 0 0 0 1 20 0 1 0 5929641 9871360 378 33554432000 4194304 5098028 140726074501728 140726074495736 139743498107904 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 9678848 140726074508558 140726074508643 140726074508643 140726074511342 0
/proc/19548/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200254 s]
/proc/loadavg: 1.67 1.68 1.71 3/262 19548
/proc/meminfo: memFree=28868252/32770624 swapFree=5828/261420
[pid=19548] ppid=19545 vsize=10768680 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19548/stat : 19548 (java) S 19545 19548 13605 0 -1 1077944320 5072 12305 0 0 7 1 8 3 20 0 18 0 5929641 11027128320 5375 33554432000 4194304 4196468 140734254827440 140734254809984 140351763201783 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
/proc/19548/statm: 2692170 5375 2352 1 0 2680608 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10768680
[startup+0.300329 s]
/proc/loadavg: 1.67 1.68 1.71 3/262 19548
/proc/meminfo: memFree=28868252/32770624 swapFree=5828/261420
[pid=19548] ppid=19545 vsize=10902392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/19548/stat : 19548 (java) S 19545 19548 13605 0 -1 1077944320 9201 12305 0 0 24 2 8 3 20 0 20 0 5929641 11164049408 10825 33554432000 4194304 4196468 140734254827440 140734254809984 140351763201783 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
/proc/19548/statm: 2725598 10825 3002 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392
[startup+0.700199 s]
/proc/loadavg: 1.67 1.68 1.71 3/262 19548
/proc/meminfo: memFree=28868252/32770624 swapFree=5828/261420
[pid=19548] ppid=19545 vsize=10902720 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/19548/stat : 19548 (java) S 19545 19548 13605 0 -1 1077944320 12542 12305 0 0 84 4 8 3 20 0 20 0 5929641 11164385280 16335 33554432000 4194304 4196468 140734254827440 140734254809984 140351763201783 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
/proc/19548/statm: 2725680 16335 3229 1 0 2713890 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10902720
[startup+1.50121 s]
/proc/loadavg: 1.69 1.68 1.71 4/282 19621
/proc/meminfo: memFree=28763504/32770624 swapFree=5828/261236
[pid=19548] ppid=19545 vsize=10913344 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/19548/stat : 19548 (java) S 19545 19548 13605 0 -1 1077944320 25888 12305 0 0 209 13 8 3 20 0 20 0 5929641 11175264256 44147 33554432000 4194304 4196468 140734254827440 140734254809984 140351763201783 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
/proc/19548/statm: 2728336 44147 3408 1 0 2716450 0
[pid=19548/tid=19603] ppid=19545 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19603/stat : 19603 (java) R 19545 19548 13605 0 -1 4202560 18393 12305 0 0 126 6 8 3 20 0 20 0 5929653 11175264256 44147 33554432000 4194304 4196468 140734254827440 140351767430544 140351742926918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19604] ppid=19545 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 13605 0 -1 1077944384 134 12305 0 0 0 0 8 3 20 0 20 0 5929654 11175264256 44147 33554432000 4194304 4196468 140734254827440 140351689276048 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19605] ppid=19545 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 13605 0 -1 1077944384 14 12305 0 0 0 0 8 3 20 0 20 0 5929654 11175264256 44147 33554432000 4194304 4196468 140734254827440 140351688223248 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19606] ppid=19545 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 13605 0 -1 1077944384 32 12305 0 0 1 0 8 3 20 0 20 0 5929654 11175264256 44147 33554432000 4194304 4196468 140734254827440 140351687170448 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19607] ppid=19545 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 13605 0 -1 1077944384 39 12305 0 0 1 0 8 3 20 0 20 0 5929654 11175264256 44147 33554432000 4194304 4196468 140734254827440 140351686117648 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19608] ppid=19545 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 13605 0 -1 1077944384 17 12305 0 0 0 0 8 3 20 0 20 0 5929654 11175264256 44147 33554432000 4194304 4196468 140734254827440 140351685065872 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19609] ppid=19545 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 13605 0 -1 1077944384 26 12305 0 0 0 0 8 3 20 0 20 0 5929654 11175264256 44147 33554432000 4194304 4196468 140734254827440 140351684013072 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19610] ppid=19545 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19610/stat : 19610 (java) S 19545 19548 13605 0 -1 1077944384 45 12305 0 0 1 0 8 3 20 0 20 0 5929654 11175264256 44147 33554432000 4194304 4196468 140734254827440 140351682960272 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19611] ppid=19545 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 13605 0 -1 1077944384 21 12305 0 0 1 0 8 3 20 0 20 0 5929654 11175264256 44147 33554432000 4194304 4196468 140734254827440 140351681907472 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19612] ppid=19545 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 13605 0 -1 1077944384 1105 12305 0 0 1 0 8 3 20 0 20 0 5929656 11175264256 44147 33554432000 4194304 4196468 140734254827440 140350969383280 140351763212930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19613] ppid=19545 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 13605 0 -1 1077944384 56 12305 0 0 0 0 8 3 20 0 20 0 5929657 11175264256 44147 33554432000 4194304 4196468 140734254827440 140350968329312 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19614] ppid=19545 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 13605 0 -1 1077944384 44 12305 0 0 0 0 8 3 20 0 20 0 5929657 11175264256 44147 33554432000 4194304 4196468 140734254827440 140350967276416 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19615] ppid=19545 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19615/stat : 19615 (java) S 19545 19548 13605 0 -1 1077944384 1 12305 0 0 0 0 8 3 20 0 20 0 5929661 11175264256 44147 33554432000 4194304 4196468 140734254827440 140350966224720 140351763220379 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19616] ppid=19545 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19616/stat : 19616 (java) S 19545 19548 13605 0 -1 1077944384 1021 12305 0 0 14 0 8 3 20 0 20 0 5929661 11175264256 44147 33554432000 4194304 4196468 140734254827440 140350965173104 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19617] ppid=19545 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19617/stat : 19617 (java) S 19545 19548 13605 0 -1 1077944384 495 12305 0 0 13 0 8 3 20 0 20 0 5929661 11175264256 44147 33554432000 4194304 4196468 140734254827440 140350964120304 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19618] ppid=19545 vsize=10913344 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19618/stat : 19618 (java) S 19545 19548 13605 0 -1 1077944384 633 12305 0 0 17 0 8 3 20 0 20 0 5929661 11175264256 44147 33554432000 4194304 4196468 140734254827440 140350963067504 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19619] ppid=19545 vsize=10913344 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19619/stat : 19619 (java) R 19545 19548 13605 0 -1 4202560 1673 12305 0 0 27 0 8 3 20 0 20 0 5929661 11175264256 44147 33554432000 4194304 4196468 140734254827440 140350962014704 140351763223130 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19620] ppid=19545 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19620/stat : 19620 (java) S 19545 19548 13605 0 -1 1077944384 3 12305 0 0 0 0 8 3 20 0 20 0 5929661 11175264256 44147 33554432000 4194304 4196468 140734254827440 140350960962144 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19621] ppid=19545 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19621/stat : 19621 (java) S 19545 19548 13605 0 -1 1077944384 6 12305 0 0 0 0 8 3 20 0 20 0 5929661 11175264256 44147 33554432000 4194304 4196468 140734254827440 140350959909424 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 10913344
[startup+3.10112 s]
/proc/loadavg: 1.69 1.68 1.71 3/282 19621
/proc/meminfo: memFree=28690284/32770624 swapFree=5828/261252
[pid=19548] ppid=19545 vsize=10927868 CPUtime=5.83 cores=0,2,4,6,8,10,12,14
/proc/19548/stat : 19548 (java) S 19545 19548 13605 0 -1 1077944320 45694 12305 0 0 554 18 8 3 20 0 20 0 5929641 11190136832 57265 33554432000 4194304 4196468 140734254827440 140734254809984 140351763201783 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
/proc/19548/statm: 2731967 57265 3473 1 0 2719522 0
[pid=19548/tid=19603] ppid=19545 vsize=10927868 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19603/stat : 19603 (java) R 19545 19548 13605 0 -1 4202560 34182 12305 0 0 283 8 8 3 20 0 20 0 5929653 11190136832 57265 33554432000 4194304 4196468 140734254827440 140351767433920 140351361850318 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19604] ppid=19545 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 13605 0 -1 1077944384 134 12305 0 0 0 0 8 3 20 0 20 0 5929654 11190136832 57265 33554432000 4194304 4196468 140734254827440 140351689276048 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19605] ppid=19545 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 13605 0 -1 1077944384 14 12305 0 0 0 0 8 3 20 0 20 0 5929654 11190136832 57265 33554432000 4194304 4196468 140734254827440 140351688223248 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19606] ppid=19545 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 13605 0 -1 1077944384 32 12305 0 0 1 0 8 3 20 0 20 0 5929654 11190136832 57265 33554432000 4194304 4196468 140734254827440 140351687170448 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19607] ppid=19545 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 13605 0 -1 1077944384 39 12305 0 0 1 0 8 3 20 0 20 0 5929654 11190136832 57265 33554432000 4194304 4196468 140734254827440 140351686117648 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19608] ppid=19545 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 13605 0 -1 1077944384 17 12305 0 0 0 0 8 3 20 0 20 0 5929654 11190136832 57265 33554432000 4194304 4196468 140734254827440 140351685065872 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19609] ppid=19545 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 13605 0 -1 1077944384 26 12305 0 0 0 0 8 3 20 0 20 0 5929654 11190136832 57265 33554432000 4194304 4196468 140734254827440 140351684013072 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19610] ppid=19545 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19610/stat : 19610 (java) S 19545 19548 13605 0 -1 1077944384 45 12305 0 0 1 0 8 3 20 0 20 0 5929654 11190136832 57265 33554432000 4194304 4196468 140734254827440 140351682960272 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19611] ppid=19545 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 13605 0 -1 1077944384 21 12305 0 0 1 0 8 3 20 0 20 0 5929654 11190136832 57265 33554432000 4194304 4196468 140734254827440 140351681907472 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19612] ppid=19545 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 13605 0 -1 1077944384 1117 12305 0 0 2 0 8 3 20 0 20 0 5929656 11190136832 57265 33554432000 4194304 4196468 140734254827440 140350969383280 140351763212930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19613] ppid=19545 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 13605 0 -1 1077944384 56 12305 0 0 0 0 8 3 20 0 20 0 5929657 11190136832 57265 33554432000 4194304 4196468 140734254827440 140350968329312 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19614] ppid=19545 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 13605 0 -1 1077944384 44 12305 0 0 0 0 8 3 20 0 20 0 5929657 11190136832 57265 33554432000 4194304 4196468 140734254827440 140350967276416 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19615] ppid=19545 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19615/stat : 19615 (java) S 19545 19548 13605 0 -1 1077944384 1 12305 0 0 0 0 8 3 20 0 20 0 5929661 11190136832 57265 33554432000 4194304 4196468 140734254827440 140350966224720 140351763220379 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19616] ppid=19545 vsize=10927868 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19616/stat : 19616 (java) S 19545 19548 13605 0 -1 1077944384 1559 12305 0 0 49 0 8 3 20 0 20 0 5929661 11190136832 57265 33554432000 4194304 4196468 140734254827440 140350965173104 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19617] ppid=19545 vsize=10927868 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19617/stat : 19617 (java) S 19545 19548 13605 0 -1 1077944384 1380 12305 0 0 56 0 8 3 20 0 20 0 5929661 11190136832 57265 33554432000 4194304 4196468 140734254827440 140350964120304 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19618] ppid=19545 vsize=10927868 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19618/stat : 19618 (java) S 19545 19548 13605 0 -1 1077944384 1098 12305 0 0 50 1 8 3 20 0 20 0 5929661 11190136832 57265 33554432000 4194304 4196468 140734254827440 140350963067504 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19619] ppid=19545 vsize=10927868 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19619/stat : 19619 (java) S 19545 19548 13605 0 -1 1077944384 3789 12305 0 0 103 1 8 3 20 0 20 0 5929661 11190136832 57265 33554432000 4194304 4196468 140734254827440 140350962014704 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19620] ppid=19545 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19620/stat : 19620 (java) S 19545 19548 13605 0 -1 1077944384 3 12305 0 0 0 0 8 3 20 0 20 0 5929661 11190136832 57265 33554432000 4194304 4196468 140734254827440 140350960962144 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19621] ppid=19545 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19621/stat : 19621 (java) S 19545 19548 13605 0 -1 1077944384 7 12305 0 0 0 0 8 3 20 0 20 0 5929661 11190136832 57265 33554432000 4194304 4196468 140734254827440 140350959909424 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 10927868
[startup+6.30103 s]
/proc/loadavg: 1.80 1.71 1.72 7/282 19621
/proc/meminfo: memFree=28516400/32770624 swapFree=5828/261256
[pid=19548] ppid=19545 vsize=10997500 CPUtime=19.61 cores=0,2,4,6,8,10,12,14
/proc/19548/stat : 19548 (java) S 19545 19548 13605 0 -1 1077944320 75699 12305 0 0 1915 35 8 3 20 0 20 0 5929641 11261440000 105641 33554432000 4194304 4196468 140734254827440 140734254809984 140351763201783 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
/proc/19548/statm: 2749375 105641 3506 1 0 2736930 0
[pid=19548/tid=19603] ppid=19545 vsize=10997500 CPUtime=5.85 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19603/stat : 19603 (java) R 19545 19548 13605 0 -1 4202560 45194 12305 0 0 562 12 8 3 20 0 20 0 5929653 11261440000 105641 33554432000 4194304 4196468 140734254827440 140351767433040 140351375850570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19604] ppid=19545 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 13605 0 -1 1077944384 204 12305 0 0 15 1 8 3 20 0 20 0 5929654 11261440000 105641 33554432000 4194304 4196468 140734254827440 140351689276048 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19605] ppid=19545 vsize=10997500 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 13605 0 -1 1077944384 79 12305 0 0 19 1 8 3 20 0 20 0 5929654 11261440000 105641 33554432000 4194304 4196468 140734254827440 140351688223248 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19606] ppid=19545 vsize=10997500 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 13605 0 -1 1077944384 84 12305 0 0 18 1 8 3 20 0 20 0 5929654 11261440000 105641 33554432000 4194304 4196468 140734254827440 140351687170448 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19607] ppid=19545 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 13605 0 -1 1077944384 75 12305 0 0 16 1 8 3 20 0 20 0 5929654 11261440000 105641 33554432000 4194304 4196468 140734254827440 140351686117648 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19608] ppid=19545 vsize=10997500 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 13605 0 -1 1077944384 78 12305 0 0 21 1 8 3 20 0 20 0 5929654 11261440000 105641 33554432000 4194304 4196468 140734254827440 140351685065872 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19609] ppid=19545 vsize=10997500 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 13605 0 -1 1077944384 56 12305 0 0 21 1 8 3 20 0 20 0 5929654 11261440000 105641 33554432000 4194304 4196468 140734254827440 140351684013072 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19610] ppid=19545 vsize=10997500 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19610/stat : 19610 (java) S 19545 19548 13605 0 -1 1077944384 130 12305 0 0 19 1 8 3 20 0 20 0 5929654 11261440000 105641 33554432000 4194304 4196468 140734254827440 140351682960272 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19611] ppid=19545 vsize=10997500 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 13605 0 -1 1077944384 887 12305 0 0 20 1 8 3 20 0 20 0 5929654 11261440000 105641 33554432000 4194304 4196468 140734254827440 140351681907472 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19612] ppid=19545 vsize=10997500 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 13605 0 -1 1077944384 2068 12305 0 0 13 0 8 3 20 0 20 0 5929656 11261440000 105641 33554432000 4194304 4196468 140734254827440 140350969383280 140351763212930 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19613] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 13605 0 -1 1077944384 56 12305 0 0 0 0 8 3 20 0 20 0 5929657 11261440000 105641 33554432000 4194304 4196468 140734254827440 140350968329312 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19614] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 13605 0 -1 1077944384 45 12305 0 0 0 0 8 3 20 0 20 0 5929657 11261440000 105641 33554432000 4194304 4196468 140734254827440 140350967276416 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19615] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19615/stat : 19615 (java) S 19545 19548 13605 0 -1 1077944384 1 12305 0 0 0 0 8 3 20 0 20 0 5929661 11261440000 105641 33554432000 4194304 4196468 140734254827440 140350966224720 140351763220379 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19616] ppid=19545 vsize=10997500 CPUtime=3.2 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19616/stat : 19616 (java) R 19545 19548 13605 0 -1 4202560 4977 12305 0 0 308 1 8 3 20 0 20 0 5929661 11261440000 105641 33554432000 4194304 4196468 140734254827440 140350965173104 140351763213718 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19617] ppid=19545 vsize=10997500 CPUtime=3.69 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19617/stat : 19617 (java) R 19545 19548 13605 0 -1 4202560 7552 12305 0 0 357 1 8 3 20 0 20 0 5929661 11261440000 105641 33554432000 4194304 4196468 140734254827440 140350964106848 140351742448516 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19618] ppid=19545 vsize=10997500 CPUtime=3.44 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19618/stat : 19618 (java) S 19545 19548 13605 0 -1 1077944384 6102 12305 0 0 332 1 8 3 20 0 20 0 5929661 11261440000 105641 33554432000 4194304 4196468 140734254827440 140350963067504 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19619] ppid=19545 vsize=10997500 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19619/stat : 19619 (java) S 19545 19548 13605 0 -1 1077944384 5970 12305 0 0 184 2 8 3 20 0 20 0 5929661 11261440000 105641 33554432000 4194304 4196468 140734254827440 140350962014704 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19620] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
/proc/19548/task/19617/stat : 19617 (java) S 19545 19548 13605 0 -1 1077944384 20232 12305 0 0 508 4 8 3 20 0 20 0 5929661 11261440000 817477 33554432000 4194304 4196468 140734254827440 140350964120304 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19618] ppid=19545 vsize=10997500 CPUtime=5.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19618/stat : 19618 (java) S 19545 19548 13605 0 -1 1077944384 21994 12305 0 0 495 5 8 3 20 0 20 0 5929661 11261440000 817477 33554432000 4194304 4196468 140734254827440 140350963067504 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19619] ppid=19545 vsize=10997500 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19619/stat : 19619 (java) S 19545 19548 13605 0 -1 1077944384 29967 12305 0 0 291 5 8 3 20 0 20 0 5929661 11261440000 817477 33554432000 4194304 4196468 140734254827440 140350962014704 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19620] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19620/stat : 19620 (java) S 19545 19548 13605 0 -1 1077944384 3 12305 0 0 0 0 8 3 20 0 20 0 5929661 11261440000 817477 33554432000 4194304 4196468 140734254827440 140350960962144 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19621] ppid=19545 vsize=10997500 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19621/stat : 19621 (java) S 19545 19548 13605 0 -1 1077944384 1508 12305 0 0 63 61 8 3 20 0 20 0 5929661 11261440000 817477 33554432000 4194304 4196468 140734254827440 140350959909424 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
Current children cumulated CPU time (s) 2328.72
Current children cumulated vsize (KiB) 10997500
[startup+2322.3 s]
/proc/loadavg: 2.63 2.24 1.93 3/281 19862
/proc/meminfo: memFree=24705676/32770624 swapFree=5828/263728
[pid=19548] ppid=19545 vsize=10997500 CPUtime=2388.97 cores=0,2,4,6,8,10,12,14
/proc/19548/stat : 19548 (java) S 19545 19548 13605 0 -1 1077944320 722290 12305 0 0 237979 907 8 3 20 0 20 0 5929641 11261440000 817707 33554432000 4194304 4196468 140734254827440 140734254809984 140351763201783 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
/proc/19548/statm: 2749375 817707 3519 1 0 2736930 0
[pid=19548/tid=19603] ppid=19545 vsize=10997500 CPUtime=2309.82 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19603/stat : 19603 (java) R 19545 19548 13605 0 -1 4202560 496402 12305 0 0 230857 114 8 3 20 0 20 0 5929653 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351767435776 140351377166800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19604] ppid=19545 vsize=10997500 CPUtime=7.13 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 13605 0 -1 1077944384 11355 12305 0 0 615 87 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351689276048 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19605] ppid=19545 vsize=10997500 CPUtime=7.25 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 13605 0 -1 1077944384 17456 12305 0 0 624 90 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351688223248 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19606] ppid=19545 vsize=10997500 CPUtime=7.18 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 13605 0 -1 1077944384 7452 12305 0 0 619 88 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351687170448 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19607] ppid=19545 vsize=10997500 CPUtime=7.15 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 13605 0 -1 1077944384 9209 12305 0 0 615 89 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351686117648 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19608] ppid=19545 vsize=10997500 CPUtime=7.16 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 13605 0 -1 1077944384 16605 12305 0 0 615 90 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351685065872 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19609] ppid=19545 vsize=10997500 CPUtime=7.2 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 13605 0 -1 1077944384 8532 12305 0 0 620 89 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351684013072 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19610] ppid=19545 vsize=10997500 CPUtime=7.29 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19610/stat : 19610 (java) S 19545 19548 13605 0 -1 1077944384 11868 12305 0 0 632 86 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351682960272 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19611] ppid=19545 vsize=10997500 CPUtime=7.2 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 13605 0 -1 1077944384 17692 12305 0 0 616 93 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351681907472 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19612] ppid=19545 vsize=10997500 CPUtime=2.88 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 13605 0 -1 1077944384 29727 12305 0 0 232 45 8 3 20 0 20 0 5929656 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350969383280 140351763212930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19613] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 13605 0 -1 1077944384 62 12305 0 0 0 0 8 3 20 0 20 0 5929657 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350968329312 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19614] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 13605 0 -1 1077944384 45 12305 0 0 0 0 8 3 20 0 20 0 5929657 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350967276416 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19615] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19615/stat : 19615 (java) S 19545 19548 13605 0 -1 1077944384 1 12305 0 0 0 0 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350966224720 140351763220379 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19616] ppid=19545 vsize=10997500 CPUtime=5.31 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19616/stat : 19616 (java) S 19545 19548 13605 0 -1 1077944384 20018 12305 0 0 517 3 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350965173104 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19617] ppid=19545 vsize=10997500 CPUtime=5.23 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19617/stat : 19617 (java) S 19545 19548 13605 0 -1 1077944384 20234 12305 0 0 508 4 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350964120304 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19618] ppid=19545 vsize=10997500 CPUtime=5.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19618/stat : 19618 (java) S 19545 19548 13605 0 -1 1077944384 21996 12305 0 0 496 5 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350963067504 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19619] ppid=19545 vsize=10997500 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19619/stat : 19619 (java) S 19545 19548 13605 0 -1 1077944384 29969 12305 0 0 291 5 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350962014704 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19620] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19620/stat : 19620 (java) S 19545 19548 13605 0 -1 1077944384 3 12305 0 0 0 0 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350960962144 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19621] ppid=19545 vsize=10997500 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19621/stat : 19621 (java) S 19545 19548 13605 0 -1 1077944384 1534 12305 0 0 64 64 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350959909424 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
Current children cumulated CPU time (s) 2388.97
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2333.3 s]
/proc/loadavg: 2.46 2.22 1.92 3/281 19863
/proc/meminfo: memFree=24704760/32770624 swapFree=5828/263768
[pid=19548] ppid=19545 vsize=10997500 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/19548/stat : 19548 (java) S 19545 19548 13605 0 -1 1077944320 725119 12305 0 0 239084 908 8 3 20 0 20 0 5929641 11261440000 817707 33554432000 4194304 4196468 140734254827440 140734254809984 140351763201783 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
/proc/19548/statm: 2749375 817707 3519 1 0 2736930 0
[pid=19548/tid=19603] ppid=19545 vsize=10997500 CPUtime=2320.8 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19603/stat : 19603 (java) R 19545 19548 13605 0 -1 4202560 499218 12305 0 0 231955 114 8 3 20 0 20 0 5929653 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351767435952 140351375494871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19604] ppid=19545 vsize=10997500 CPUtime=7.13 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 13605 0 -1 1077944384 11356 12305 0 0 615 87 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351689276048 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19605] ppid=19545 vsize=10997500 CPUtime=7.26 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 13605 0 -1 1077944384 17457 12305 0 0 625 90 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351688223248 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19606] ppid=19545 vsize=10997500 CPUtime=7.19 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 13605 0 -1 1077944384 7454 12305 0 0 619 89 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351687170448 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19607] ppid=19545 vsize=10997500 CPUtime=7.16 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 13605 0 -1 1077944384 9210 12305 0 0 616 89 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351686117648 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19608] ppid=19545 vsize=10997500 CPUtime=7.17 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 13605 0 -1 1077944384 16605 12305 0 0 616 90 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351685065872 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19609] ppid=19545 vsize=10997500 CPUtime=7.21 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 13605 0 -1 1077944384 8533 12305 0 0 621 89 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351684013072 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19610] ppid=19545 vsize=10997500 CPUtime=7.29 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19610/stat : 19610 (java) S 19545 19548 13605 0 -1 1077944384 11868 12305 0 0 632 86 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351682960272 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19611] ppid=19545 vsize=10997500 CPUtime=7.21 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 13605 0 -1 1077944384 17693 12305 0 0 617 93 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351681907472 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19612] ppid=19545 vsize=10997500 CPUtime=2.88 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 13605 0 -1 1077944384 29731 12305 0 0 232 45 8 3 20 0 20 0 5929656 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350969383280 140351763212930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19613] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 13605 0 -1 1077944384 62 12305 0 0 0 0 8 3 20 0 20 0 5929657 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350968329312 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19614] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 13605 0 -1 1077944384 45 12305 0 0 0 0 8 3 20 0 20 0 5929657 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350967276416 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19615] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19615/stat : 19615 (java) S 19545 19548 13605 0 -1 1077944384 1 12305 0 0 0 0 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350966224720 140351763220379 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19616] ppid=19545 vsize=10997500 CPUtime=5.31 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19616/stat : 19616 (java) S 19545 19548 13605 0 -1 1077944384 20018 12305 0 0 517 3 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350965173104 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19617] ppid=19545 vsize=10997500 CPUtime=5.23 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19617/stat : 19617 (java) S 19545 19548 13605 0 -1 1077944384 20234 12305 0 0 508 4 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350964120304 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19618] ppid=19545 vsize=10997500 CPUtime=5.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19618/stat : 19618 (java) S 19545 19548 13605 0 -1 1077944384 21996 12305 0 0 496 5 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350963067504 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19619] ppid=19545 vsize=10997500 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19619/stat : 19619 (java) S 19545 19548 13605 0 -1 1077944384 29969 12305 0 0 291 5 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350962014704 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19620] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19620/stat : 19620 (java) S 19545 19548 13605 0 -1 1077944384 3 12305 0 0 0 0 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350960962144 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19621] ppid=19545 vsize=10997500 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19621/stat : 19621 (java) S 19545 19548 13605 0 -1 1077944384 1536 12305 0 0 64 64 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350959909424 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
Current children cumulated CPU time (s) 2400.03
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 19548 sig 9
??? kill -19548 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2333.3 s]
/proc/loadavg: 2.46 2.22 1.92 3/281 19863
/proc/meminfo: memFree=24704760/32770624 swapFree=5828/263768
[pid=19548] ppid=19545 vsize=10997500 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/19548/stat : 19548 (java) S 19545 19548 13605 0 -1 1077944320 725119 12305 0 0 239084 908 8 3 20 0 20 0 5929641 11261440000 817707 33554432000 4194304 4196468 140734254827440 140734254809984 140351763201783 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
/proc/19548/statm: 2749375 817707 3519 1 0 2736930 0
[pid=19548/tid=19603] ppid=19545 vsize=10997500 CPUtime=2320.8 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19603/stat : 19603 (java) R 19545 19548 13605 0 -1 4202560 499218 12305 0 0 231955 114 8 3 20 0 20 0 5929653 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351767435952 140351375494871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19604] ppid=19545 vsize=10997500 CPUtime=7.13 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 13605 0 -1 1077944384 11356 12305 0 0 615 87 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351689276048 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19605] ppid=19545 vsize=10997500 CPUtime=7.26 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 13605 0 -1 1077944384 17457 12305 0 0 625 90 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351688223248 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19606] ppid=19545 vsize=10997500 CPUtime=7.19 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 13605 0 -1 1077944384 7454 12305 0 0 619 89 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351687170448 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19607] ppid=19545 vsize=10997500 CPUtime=7.16 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 13605 0 -1 1077944384 9210 12305 0 0 616 89 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351686117648 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19608] ppid=19545 vsize=10997500 CPUtime=7.17 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 13605 0 -1 1077944384 16605 12305 0 0 616 90 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351685065872 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19609] ppid=19545 vsize=10997500 CPUtime=7.21 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 13605 0 -1 1077944384 8533 12305 0 0 621 89 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351684013072 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19610] ppid=19545 vsize=10997500 CPUtime=7.29 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19610/stat : 19610 (java) S 19545 19548 13605 0 -1 1077944384 11868 12305 0 0 632 86 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351682960272 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19611] ppid=19545 vsize=10997500 CPUtime=7.21 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 13605 0 -1 1077944384 17693 12305 0 0 617 93 8 3 20 0 20 0 5929654 11261440000 817707 33554432000 4194304 4196468 140734254827440 140351681907472 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19612] ppid=19545 vsize=10997500 CPUtime=2.88 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 13605 0 -1 1077944384 29731 12305 0 0 232 45 8 3 20 0 20 0 5929656 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350969383280 140351763212930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19613] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 13605 0 -1 1077944384 62 12305 0 0 0 0 8 3 20 0 20 0 5929657 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350968329312 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19614] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 13605 0 -1 1077944384 45 12305 0 0 0 0 8 3 20 0 20 0 5929657 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350967276416 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19615] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19615/stat : 19615 (java) S 19545 19548 13605 0 -1 1077944384 1 12305 0 0 0 0 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350966224720 140351763220379 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19616] ppid=19545 vsize=10997500 CPUtime=5.31 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19616/stat : 19616 (java) S 19545 19548 13605 0 -1 1077944384 20018 12305 0 0 517 3 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350965173104 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19617] ppid=19545 vsize=10997500 CPUtime=5.23 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19617/stat : 19617 (java) S 19545 19548 13605 0 -1 1077944384 20234 12305 0 0 508 4 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350964120304 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19618] ppid=19545 vsize=10997500 CPUtime=5.12 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19618/stat : 19618 (java) S 19545 19548 13605 0 -1 1077944384 21996 12305 0 0 496 5 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350963067504 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19619] ppid=19545 vsize=10997500 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19619/stat : 19619 (java) S 19545 19548 13605 0 -1 1077944384 29969 12305 0 0 291 5 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350962014704 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19620] ppid=19545 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19620/stat : 19620 (java) S 19545 19548 13605 0 -1 1077944384 3 12305 0 0 0 0 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350960962144 140351763211989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
[pid=19548/tid=19621] ppid=19545 vsize=10997500 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/19548/task/19621/stat : 19621 (java) S 19545 19548 13605 0 -1 1077944384 1536 12305 0 0 64 64 8 3 20 0 20 0 5929661 11261440000 817707 33554432000 4194304 4196468 140734254827440 140350959909424 140351763212930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27435008 140734254832321 140734254835095 140734254835095 140734254837711 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2333.36
CPU time (s): 2400.09
CPU user time (s): 2390.94
CPU system time (s): 9.15238
CPU usage (%): 102.86
Max. virtual memory (cumulated for all children) (KiB): 11000016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.94
system time used= 9.15238
maximum resident set size= 3271540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 741820
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143179
involuntary context switches= 143807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9187 second user time and 20.329 second system time
The end