runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14639 MiB free)
memory of node 1: 16384 MiB (15391 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263431-1502616509/watcher-4263431-1502616509 -o /tmp/evaluation-result-4263431-1502616509/solver-4263431-1502616509 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8033 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263431-1502616509.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17514, runsolver pid=17511
Current StackSize limit: 8192 KiB
[startup+0.100118 s]*
/proc/loadavg: 1.98 1.97 2.13 3/204 17520
/proc/meminfo: memFree=30742888/32770624 swapFree=67108860/67108860
[pid=17514] ppid=17511 vsize=10085108 memory=18068 CPUtime=0.01 cores=1,3,5,7
/proc/17514/stat : 17514 (java) S 17511 17514 7968 0 -1 1077944320 3890 0 0 0 1 0 0 0 20 0 8 0 15533581 10327150592 4517 18446744073709551615 4194304 4196468 140735119773280 140735119755824 140292731502327 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
/proc/17514/statm: 2521277 4517 2049 1 0 2510774 0
[pid=17514/tid=17516] ppid=17511 vsize=10085108 memory=-6439968830534014599 CPUtime=0.01 cores=1,3,5,7
/proc/17514/task/17516/stat : 17516 (java) R 17511 17514 7968 0 -1 4202560 2557 0 0 0 1 0 0 0 20 0 8 0 15533589 10327150592 4517 18446744073709551615 4194304 4196468 140735119773280 140292735735464 140292712896058 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17517] ppid=17511 vsize=10085108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17517/stat : 17517 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 15533590 10327150592 4517 18446744073709551615 4194304 4196468 140735119773280 140292692401040 140292731512533 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17518] ppid=17511 vsize=10085108 memory=139702023292544 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17518/stat : 17518 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 15533590 10327150592 4517 18446744073709551615 4194304 4196468 140735119773280 140292341553936 140292731512533 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17519] ppid=17511 vsize=10085108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17519/stat : 17519 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 15533590 10327150592 4583 18446744073709551615 4194304 4196468 140735119773280 140292340501648 140292731512533 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17520] ppid=17511 vsize=10085108 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17520/stat : 17520 (java) S 17511 17514 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 15533590 10327150592 4583 18446744073709551615 4194304 4196468 140735119773280 140292339448848 140292731512533 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17521] ppid=17511 vsize=10085108 memory=139702023292544 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17521/stat : 17521 (java) S 17511 17514 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 15533591 10327150592 4583 18446744073709551615 4194304 4196468 140735119773280 140292295546992 140292731513474 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17522] ppid=17511 vsize=10085108 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17522/stat : 17522 (java) S 17511 17514 7968 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 15533592 10327150592 4583 18446744073709551615 4194304 4196468 140735119773280 140292294491856 140292731512533 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 10085108 KiB
Current children cumulated memory: 18068 KiB
[startup+0.209891 s]*
/proc/loadavg: 1.98 1.97 2.13 3/213 17529
/proc/meminfo: memFree=30736076/32770624 swapFree=67108860/67108860
[pid=17514] ppid=17511 vsize=10551156 memory=27312 CPUtime=0.09 cores=1,3,5,7
/proc/17514/stat : 17514 (java) S 17511 17514 7968 0 -1 1077944320 5237 0 0 0 8 1 0 0 20 0 15 0 15533581 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140735119755824 140292731502327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
/proc/17514/statm: 2637789 6828 2792 1 0 2627261 0
[pid=17514/tid=17516] ppid=17511 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/17514/task/17516/stat : 17516 (java) R 17511 17514 7968 0 -1 4202560 3183 0 0 0 6 1 0 0 20 0 15 0 15533589 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292735737296 140292724180341 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17517] ppid=17511 vsize=10551156 memory=326 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17517/stat : 17517 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15533590 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292692401040 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17518] ppid=17511 vsize=10551156 memory=288370078175004288 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17518/stat : 17518 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15533590 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292341553936 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17519] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17519/stat : 17519 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15533590 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292340501648 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17520] ppid=17511 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17520/stat : 17520 (java) S 17511 17514 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15533590 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292339448848 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17521] ppid=17511 vsize=10551156 memory=139702023292544 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17521/stat : 17521 (java) S 17511 17514 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15533591 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292295546992 140292731513474 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17522] ppid=17511 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17522/stat : 17522 (java) S 17511 17514 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 15533592 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292294492960 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17523] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17523/stat : 17523 (java) S 17511 17514 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 15533592 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292293440624 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17524] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17524/stat : 17524 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15533594 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292292388944 140292731520923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17525] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17525/stat : 17525 (java) S 17511 17514 7968 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 15533594 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292291336816 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17526] ppid=17511 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17526/stat : 17526 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15533594 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292290284016 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17527] ppid=17511 vsize=10551156 memory=139702023292544 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17527/stat : 17527 (java) R 17511 17514 7968 0 -1 4202560 283 0 0 0 0 0 0 0 20 0 15 0 15533594 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292289231728 140292711469446 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17528] ppid=17511 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17528/stat : 17528 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15533594 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292221037536 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17529] ppid=17511 vsize=10551156 memory=139702023292544 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17529/stat : 17529 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15533600 10804383744 6828 18446744073709551615 4194304 4196468 140735119773280 140292219984304 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27312 KiB
[startup+0.31025 s]*
/proc/loadavg: 1.98 1.97 2.13 3/213 17529
/proc/meminfo: memFree=30725188/32770624 swapFree=67108860/67108860
[pid=17514] ppid=17511 vsize=10551156 memory=36996 CPUtime=0.25 cores=1,3,5,7
/proc/17514/stat : 17514 (java) S 17511 17514 7968 0 -1 1077944320 8470 0 0 0 22 3 0 0 20 0 15 0 15533581 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140735119755824 140292731502327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
/proc/17514/statm: 2637789 9249 2872 1 0 2627261 0
[pid=17514/tid=17516] ppid=17511 vsize=10551156 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/17514/task/17516/stat : 17516 (java) R 17511 17514 7968 0 -1 4202560 6121 0 0 0 15 2 0 0 20 0 15 0 15533589 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292735736352 140292715582814 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17517] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17517/stat : 17517 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15533590 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292692401040 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17518] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17518/stat : 17518 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15533590 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292341553936 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17519] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17519/stat : 17519 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15533590 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292340501648 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17520] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17520/stat : 17520 (java) S 17511 17514 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15533590 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292339448848 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17521] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17521/stat : 17521 (java) S 17511 17514 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15533591 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292295546992 140292731513474 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17522] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17522/stat : 17522 (java) S 17511 17514 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 15533592 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292294492960 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17523] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17523/stat : 17523 (java) S 17511 17514 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 15533592 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292293440624 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17524] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17524/stat : 17524 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15533594 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292292388944 140292731520923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17525] ppid=17511 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17525/stat : 17525 (java) S 17511 17514 7968 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 15 0 15533594 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292291336816 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17526] ppid=17511 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17514/task/17526/stat : 17526 (java) S 17511 17514 7968 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 15533594 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292290284016 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17527] ppid=17511 vsize=10551156 memory=139702023292544 CPUtime=0.04 cores=1,3,5,7
/proc/17514/task/17527/stat : 17527 (java) S 17511 17514 7968 0 -1 1077944384 413 0 0 0 4 0 0 0 20 0 15 0 15533594 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292289231728 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17528] ppid=17511 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17528/stat : 17528 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15533594 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292221037536 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17529] ppid=17511 vsize=10551156 memory=139702023292544 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17529/stat : 17529 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15533600 10804383744 9249 18446744073709551615 4194304 4196468 140735119773280 140292219984304 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36996 KiB
[startup+0.702743 s]
/proc/loadavg: 1.98 1.97 2.13 5/213 17529
/proc/meminfo: memFree=30703340/32770624 swapFree=67108860/67108860
[pid=17514] ppid=17511 vsize=10551232 memory=200904 CPUtime=1.28 cores=1,3,5,7
/proc/17514/stat : 17514 (java) S 17511 17514 7968 0 -1 1077944320 13196 0 0 0 118 10 0 0 20 0 15 0 15533581 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140735119755824 140292731502327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
/proc/17514/statm: 2637808 50226 3050 1 0 2627261 0
[pid=17514/tid=17516] ppid=17511 vsize=10551232 memory=224 CPUtime=0.52 cores=1,3,5,7
/proc/17514/task/17516/stat : 17516 (java) S 17511 17514 7968 0 -1 1077944384 7812 0 0 0 47 5 0 0 20 0 15 0 15533589 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292735736976 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17517] ppid=17511 vsize=10551232 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17514/task/17517/stat : 17517 (java) R 17511 17514 7968 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 15 0 15533590 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292692401040 140292716530210 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17518] ppid=17511 vsize=10551232 memory=5 CPUtime=0.01 cores=1,3,5,7
/proc/17514/task/17518/stat : 17518 (java) R 17511 17514 7968 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 15 0 15533590 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292341551632 140292716530210 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17519] ppid=17511 vsize=10551232 memory=19 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17519/stat : 17519 (java) R 17511 17514 7968 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 15 0 15533590 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292340501648 140292716530201 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17520] ppid=17511 vsize=10551232 memory=69 CPUtime=0.01 cores=1,3,5,7
/proc/17514/task/17520/stat : 17520 (java) R 17511 17514 7968 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 15 0 15533590 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292339448848 140292716530210 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17521] ppid=17511 vsize=10551232 memory=279403728996048 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17521/stat : 17521 (java) S 17511 17514 7968 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 15533591 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292295545504 140292731512533 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17522] ppid=17511 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17522/stat : 17522 (java) S 17511 17514 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 15533592 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292294492960 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17523] ppid=17511 vsize=10551232 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17523/stat : 17523 (java) S 17511 17514 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 15533592 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292293440624 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17524] ppid=17511 vsize=10551232 memory=8772 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17524/stat : 17524 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15533594 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292292388944 140292731520923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17525] ppid=17511 vsize=10551232 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/17514/task/17525/stat : 17525 (java) S 17511 17514 7968 0 -1 1077944384 1687 0 0 0 24 0 0 0 20 0 15 0 15533594 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292291316880 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17526] ppid=17511 vsize=10551232 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/17514/task/17526/stat : 17526 (java) S 17511 17514 7968 0 -1 1077944384 1331 0 0 0 25 0 0 0 20 0 15 0 15533594 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292290275296 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17527] ppid=17511 vsize=10551232 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/17514/task/17527/stat : 17527 (java) S 17511 17514 7968 0 -1 1077944384 922 0 0 0 16 0 0 0 20 0 15 0 15533594 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292289231728 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17528] ppid=17511 vsize=10551232 memory=6463925781705 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17528/stat : 17528 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15533594 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292221037536 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17529] ppid=17511 vsize=10551232 memory=288230613214036277 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17529/stat : 17529 (java) S 17511 17514 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15533600 10804461568 50226 18446744073709551615 4194304 4196468 140735119773280 140292219984304 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 200904 KiB
[startup+1.50073 s]
/proc/loadavg: 1.98 1.97 2.13 3/213 17529
/proc/meminfo: memFree=30421284/32770624 swapFree=67108860/67108860
[pid=17514] ppid=17511 vsize=10617796 memory=342624 CPUtime=3.36 cores=1,3,5,7
/proc/17514/stat : 17514 (java) S 17511 17514 7968 0 -1 1077944320 14189 0 0 0 309 27 0 0 20 0 16 0 15533581 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140735119755824 140292731502327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
/proc/17514/statm: 2654449 85656 3091 1 0 2643902 0
[pid=17514/tid=17516] ppid=17511 vsize=10617796 memory=279988 CPUtime=1.15 cores=1,3,5,7
/proc/17514/task/17516/stat : 17516 (java) R 17511 17514 7968 0 -1 4202560 7897 0 0 0 110 5 0 0 20 0 16 0 15533589 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292735740968 140292373168343 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17517] ppid=17511 vsize=10617796 memory=307 CPUtime=0.17 cores=1,3,5,7
/proc/17514/task/17517/stat : 17517 (java) S 17511 17514 7968 0 -1 1077944384 180 0 0 0 13 4 0 0 20 0 16 0 15533590 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292692401040 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17518] ppid=17511 vsize=10617796 memory=128 CPUtime=0.18 cores=1,3,5,7
/proc/17514/task/17518/stat : 17518 (java) S 17511 17514 7968 0 -1 1077944384 188 0 0 0 13 5 0 0 20 0 16 0 15533590 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292341553936 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17519] ppid=17511 vsize=10617796 memory=111 CPUtime=0.17 cores=1,3,5,7
/proc/17514/task/17519/stat : 17519 (java) S 17511 17514 7968 0 -1 1077944384 148 0 0 0 13 4 0 0 20 0 16 0 15533590 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292340501648 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17520] ppid=17511 vsize=10617796 memory=279403728737120 CPUtime=0.17 cores=1,3,5,7
/proc/17514/task/17520/stat : 17520 (java) S 17511 17514 7968 0 -1 1077944384 100 0 0 0 13 4 0 0 20 0 16 0 15533590 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292339448848 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17521] ppid=17511 vsize=10617796 memory=288230613214036277 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17521/stat : 17521 (java) S 17511 17514 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 15533591 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292295546992 140292731513474 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17522] ppid=17511 vsize=10617796 memory=15816711811106768 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17522/stat : 17522 (java) S 17511 17514 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 15533592 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292294492960 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17523] ppid=17511 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17523/stat : 17523 (java) S 17511 17514 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 15533592 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292293440624 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17524] ppid=17511 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17524/stat : 17524 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15533594 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292292388944 140292731520923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17525] ppid=17511 vsize=10617796 memory=11820 CPUtime=0.63 cores=1,3,5,7
/proc/17514/task/17525/stat : 17525 (java) S 17511 17514 7968 0 -1 1077944384 1759 0 0 0 63 0 0 0 20 0 16 0 15533594 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292291336816 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17526] ppid=17511 vsize=10617796 memory=17422 CPUtime=0.58 cores=1,3,5,7
/proc/17514/task/17526/stat : 17526 (java) S 17511 17514 7968 0 -1 1077944384 1406 0 0 0 58 0 0 0 20 0 16 0 15533594 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292290284016 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17527] ppid=17511 vsize=10617796 memory=-8774313645642428999 CPUtime=0.22 cores=1,3,5,7
/proc/17514/task/17527/stat : 17527 (java) S 17511 17514 7968 0 -1 1077944384 1046 0 0 0 22 0 0 0 20 0 16 0 15533594 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292289231728 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17528] ppid=17511 vsize=10617796 memory=6225489096523343969 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17528/stat : 17528 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15533594 10872623104 85656 18446744073709551615 4194304 4196468 140735119773280 140292221037536 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
################
# More data... #
################
/proc/17514/task/17519/stat : 17519 (java) S 17511 17514 7968 0 -1 1077944384 4957 0 0 0 228 77 0 0 20 0 16 0 15533590 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292340501648 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17520] ppid=17511 vsize=10617796 memory=3448912 CPUtime=3.08 cores=1,3,5,7
/proc/17514/task/17520/stat : 17520 (java) S 17511 17514 7968 0 -1 1077944384 2782 0 0 0 230 78 0 0 20 0 16 0 15533590 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292339448848 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17521] ppid=17511 vsize=10617796 memory=3448912 CPUtime=0.53 cores=1,3,5,7
/proc/17514/task/17521/stat : 17521 (java) S 17511 17514 7968 0 -1 1077944384 10731 0 0 0 49 4 0 0 20 0 16 0 15533591 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292295546992 140292731513474 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17522] ppid=17511 vsize=10617796 memory=3448912 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17522/stat : 17522 (java) S 17511 17514 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 15533592 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292294493024 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17523] ppid=17511 vsize=10617796 memory=3448912 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17523/stat : 17523 (java) S 17511 17514 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 15533592 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292293440640 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17524] ppid=17511 vsize=10617796 memory=3448912 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17524/stat : 17524 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15533594 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292292388944 140292731520923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17525] ppid=17511 vsize=10617796 memory=3448912 CPUtime=1.32 cores=1,3,5,7
/proc/17514/task/17525/stat : 17525 (java) S 17511 17514 7968 0 -1 1077944384 9089 0 0 0 130 2 0 0 20 0 16 0 15533594 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292291336816 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17526] ppid=17511 vsize=10617796 memory=1200 CPUtime=0.9 cores=1,3,5,7
/proc/17514/task/17526/stat : 17526 (java) S 17511 17514 7968 0 -1 1077944384 8985 0 0 0 89 1 0 0 20 0 16 0 15533594 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292290284016 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17527] ppid=17511 vsize=10617796 memory=3448912 CPUtime=0.27 cores=1,3,5,7
/proc/17514/task/17527/stat : 17527 (java) S 17511 17514 7968 0 -1 1077944384 4124 0 0 0 26 1 0 0 20 0 16 0 15533594 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292289231728 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17528] ppid=17511 vsize=10617796 memory=3448912 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17528/stat : 17528 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15533594 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292221037536 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17529] ppid=17511 vsize=10617796 memory=279403729709696 CPUtime=1.5 cores=1,3,5,7
/proc/17514/task/17529/stat : 17529 (java) S 17511 17514 7968 0 -1 1077944384 2163 0 0 0 65 85 0 0 20 0 16 0 15533600 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292219984304 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17530] ppid=17511 vsize=10617796 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17530/stat : 17530 (java) S 17511 17514 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 15533686 10872623104 862228 18446744073709551615 4194304 4196468 140735119773280 140292218929840 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
Current children cumulated CPU time: 2455.26 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3448912 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/213 17918
/proc/meminfo: memFree=27004976/32770624 swapFree=67108860/67108860
[pid=17514] ppid=17511 vsize=10617796 memory=3717480 CPUtime=2517.29 cores=1,3,5,7
/proc/17514/stat : 17514 (java) S 17511 17514 7968 0 -1 1077944320 123525 0 0 0 251277 452 0 0 20 0 16 0 15533581 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140735119755824 140292731502327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
/proc/17514/statm: 2654449 929370 3128 1 0 2643902 0
[pid=17514/tid=17516] ppid=17511 vsize=10617796 memory=3717480 CPUtime=2497.7 cores=1,3,5,7
/proc/17514/task/17516/stat : 17516 (java) R 17511 17514 7968 0 -1 4202560 65549 0 0 0 249747 23 0 0 20 0 16 0 15533589 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292735741328 140292375156272 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17517] ppid=17511 vsize=10617796 memory=3717480 CPUtime=3.74 cores=1,3,5,7
/proc/17514/task/17517/stat : 17517 (java) S 17511 17514 7968 0 -1 1077944384 4419 0 0 0 288 86 0 0 20 0 16 0 15533590 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292692401040 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17518] ppid=17511 vsize=10617796 memory=3717480 CPUtime=3.74 cores=1,3,5,7
/proc/17514/task/17518/stat : 17518 (java) S 17511 17514 7968 0 -1 1077944384 4884 0 0 0 288 86 0 0 20 0 16 0 15533590 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292341553936 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17519] ppid=17511 vsize=10617796 memory=3717480 CPUtime=3.7 cores=1,3,5,7
/proc/17514/task/17519/stat : 17519 (java) S 17511 17514 7968 0 -1 1077944384 5571 0 0 0 285 85 0 0 20 0 16 0 15533590 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292340501648 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17520] ppid=17511 vsize=10617796 memory=3717480 CPUtime=3.75 cores=1,3,5,7
/proc/17514/task/17520/stat : 17520 (java) S 17511 17514 7968 0 -1 1077944384 3624 0 0 0 289 86 0 0 20 0 16 0 15533590 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292339448848 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17521] ppid=17511 vsize=10617796 memory=3717480 CPUtime=0.55 cores=1,3,5,7
/proc/17514/task/17521/stat : 17521 (java) S 17511 17514 7968 0 -1 1077944384 13648 0 0 0 50 5 0 0 20 0 16 0 15533591 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292295546992 140292731513474 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17522] ppid=17511 vsize=10617796 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17522/stat : 17522 (java) S 17511 17514 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 15533592 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292294493024 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17523] ppid=17511 vsize=10617796 memory=3717480 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17523/stat : 17523 (java) S 17511 17514 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 15533592 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292293440640 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17524] ppid=17511 vsize=10617796 memory=3717480 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17524/stat : 17524 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15533594 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292292388944 140292731520923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17525] ppid=17511 vsize=10617796 memory=3717480 CPUtime=1.32 cores=1,3,5,7
/proc/17514/task/17525/stat : 17525 (java) S 17511 17514 7968 0 -1 1077944384 9092 0 0 0 130 2 0 0 20 0 16 0 15533594 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292291336816 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17526] ppid=17511 vsize=10617796 memory=2248 CPUtime=0.9 cores=1,3,5,7
/proc/17514/task/17526/stat : 17526 (java) S 17511 17514 7968 0 -1 1077944384 8998 0 0 0 89 1 0 0 20 0 16 0 15533594 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292290284016 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17527] ppid=17511 vsize=10617796 memory=4124 CPUtime=0.27 cores=1,3,5,7
/proc/17514/task/17527/stat : 17527 (java) S 17511 17514 7968 0 -1 1077944384 4128 0 0 0 26 1 0 0 20 0 16 0 15533594 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292289231728 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17528] ppid=17511 vsize=10617796 memory=12456 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17528/stat : 17528 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15533594 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292221037536 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17529] ppid=17511 vsize=10617796 memory=2424 CPUtime=1.53 cores=1,3,5,7
/proc/17514/task/17529/stat : 17529 (java) S 17511 17514 7968 0 -1 1077944384 2204 0 0 0 66 87 0 0 20 0 16 0 15533600 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292219984304 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17530] ppid=17511 vsize=10617796 memory=3717480 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17530/stat : 17530 (java) S 17511 17514 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 15533686 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292218929840 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
Current children cumulated CPU time: 2517.29 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3717480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505 s]*
/proc/loadavg: 2.00 2.02 2.04 3/213 17918
/proc/meminfo: memFree=27004984/32770624 swapFree=67108860/67108860
[pid=17514] ppid=17511 vsize=10617796 memory=3717480 CPUtime=2520.01 cores=1,3,5,7
/proc/17514/stat : 17514 (java) S 17511 17514 7968 0 -1 1077944320 123531 0 0 0 251548 453 0 0 20 0 16 0 15533581 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140735119755824 140292731502327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
/proc/17514/statm: 2654449 929370 3128 1 0 2643902 0
[pid=17514/tid=17516] ppid=17511 vsize=10617796 memory=-8774313645642428999 CPUtime=2500.41 cores=1,3,5,7
/proc/17514/task/17516/stat : 17516 (java) R 17511 17514 7968 0 -1 4202560 65555 0 0 0 250018 23 0 0 20 0 16 0 15533589 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292735741328 140292375299050 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17517] ppid=17511 vsize=10617796 memory=4126316290023845779 CPUtime=3.74 cores=1,3,5,7
/proc/17514/task/17517/stat : 17517 (java) S 17511 17514 7968 0 -1 1077944384 4419 0 0 0 288 86 0 0 20 0 16 0 15533590 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292692401040 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17518] ppid=17511 vsize=10617796 memory=302022848351043610 CPUtime=3.74 cores=1,3,5,7
/proc/17514/task/17518/stat : 17518 (java) S 17511 17514 7968 0 -1 1077944384 4884 0 0 0 288 86 0 0 20 0 16 0 15533590 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292341553936 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17519] ppid=17511 vsize=10617796 memory=2424 CPUtime=3.7 cores=1,3,5,7
/proc/17514/task/17519/stat : 17519 (java) S 17511 17514 7968 0 -1 1077944384 5571 0 0 0 285 85 0 0 20 0 16 0 15533590 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292340501648 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17520] ppid=17511 vsize=10617796 memory=1296 CPUtime=3.75 cores=1,3,5,7
/proc/17514/task/17520/stat : 17520 (java) S 17511 17514 7968 0 -1 1077944384 3624 0 0 0 289 86 0 0 20 0 16 0 15533590 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292339448848 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17521] ppid=17511 vsize=10617796 memory=1732 CPUtime=0.55 cores=1,3,5,7
/proc/17514/task/17521/stat : 17521 (java) S 17511 17514 7968 0 -1 1077944384 13648 0 0 0 50 5 0 0 20 0 16 0 15533591 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292295546992 140292731513474 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17522] ppid=17511 vsize=10617796 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17522/stat : 17522 (java) S 17511 17514 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 15533592 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292294493024 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17523] ppid=17511 vsize=10617796 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17523/stat : 17523 (java) S 17511 17514 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 15533592 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292293440640 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17524] ppid=17511 vsize=10617796 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17524/stat : 17524 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15533594 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292292388944 140292731520923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17525] ppid=17511 vsize=10617796 memory=2012 CPUtime=1.32 cores=1,3,5,7
/proc/17514/task/17525/stat : 17525 (java) S 17511 17514 7968 0 -1 1077944384 9092 0 0 0 130 2 0 0 20 0 16 0 15533594 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292291336816 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17526] ppid=17511 vsize=10617796 memory=5520 CPUtime=0.9 cores=1,3,5,7
/proc/17514/task/17526/stat : 17526 (java) S 17511 17514 7968 0 -1 1077944384 8998 0 0 0 89 1 0 0 20 0 16 0 15533594 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292290284016 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17527] ppid=17511 vsize=10617796 memory=4612 CPUtime=0.27 cores=1,3,5,7
/proc/17514/task/17527/stat : 17527 (java) S 17511 17514 7968 0 -1 1077944384 4128 0 0 0 26 1 0 0 20 0 16 0 15533594 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292289231728 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17528] ppid=17511 vsize=10617796 memory=792 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17528/stat : 17528 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 15533594 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292221037536 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17529] ppid=17511 vsize=10617796 memory=8684 CPUtime=1.54 cores=1,3,5,7
/proc/17514/task/17529/stat : 17529 (java) S 17511 17514 7968 0 -1 1077944384 2204 0 0 0 66 88 0 0 20 0 16 0 15533600 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292219984304 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17530] ppid=17511 vsize=10617796 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17530/stat : 17530 (java) S 17511 17514 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 15533686 10872623104 929370 18446744073709551615 4194304 4196468 140735119773280 140292218929840 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3717480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.25 s]
# the end of solver process 17514 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.52 s, system=4.54923 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.2 s]
/proc/loadavg: 2.00 2.02 2.04 3/213 17918
/proc/meminfo: memFree=27004984/32770624 swapFree=67108860/67108860
[pid=17514] ppid=17511 vsize=10751952 memory=3717788 CPUtime=2520.03 cores=1,3,5,7
/proc/17514/stat : 17514 (java) S 17511 17514 7968 0 -1 1077944320 124366 0 0 0 251550 453 0 0 20 0 17 0 15533581 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140735119755824 140292731502327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
/proc/17514/statm: 2687988 929447 3132 1 0 2677441 0
[pid=17514/tid=17516] ppid=17511 vsize=10751952 memory=4040 CPUtime=2500.42 cores=1,3,5,7
/proc/17514/task/17516/stat : 17516 (java) S 17511 17514 7968 0 -1 1077944384 65654 0 0 0 250019 23 0 0 20 0 17 0 15533589 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292735745200 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17517] ppid=17511 vsize=10751952 memory=304274648164728858 CPUtime=3.74 cores=1,3,5,7
/proc/17514/task/17517/stat : 17517 (java) S 17511 17514 7968 0 -1 1077944384 4419 0 0 0 288 86 0 0 20 0 17 0 15533590 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292692401040 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17518] ppid=17511 vsize=10751952 memory=302304362049569077 CPUtime=3.74 cores=1,3,5,7
/proc/17514/task/17518/stat : 17518 (java) S 17511 17514 7968 0 -1 1077944384 4884 0 0 0 288 86 0 0 20 0 17 0 15533590 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292341553936 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17519] ppid=17511 vsize=10751952 memory=15816711811106768 CPUtime=3.7 cores=1,3,5,7
/proc/17514/task/17519/stat : 17519 (java) S 17511 17514 7968 0 -1 1077944384 5571 0 0 0 285 85 0 0 20 0 17 0 15533590 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292340501648 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17520] ppid=17511 vsize=10751952 memory=8691514255285633087 CPUtime=3.75 cores=1,3,5,7
/proc/17514/task/17520/stat : 17520 (java) S 17511 17514 7968 0 -1 1077944384 3624 0 0 0 289 86 0 0 20 0 17 0 15533590 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292339448848 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17521] ppid=17511 vsize=10751952 memory=7591215643621352804 CPUtime=0.55 cores=1,3,5,7
/proc/17514/task/17521/stat : 17521 (java) S 17511 17514 7968 0 -1 1077944384 13648 0 0 0 50 5 0 0 20 0 17 0 15533591 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292295546992 140292731513474 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17522] ppid=17511 vsize=10751952 memory=7597124423417622119 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17522/stat : 17522 (java) S 17511 17514 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 15533592 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292294493024 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17523] ppid=17511 vsize=10751952 memory=7454130749351154278 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17523/stat : 17523 (java) S 17511 17514 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 15533592 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292293440640 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17524] ppid=17511 vsize=10751952 memory=7661020351168537703 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17524/stat : 17524 (java) S 17511 17514 7968 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 17 0 15533594 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292292388944 140292731520923 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17525] ppid=17511 vsize=10751952 memory=4639948313719891052 CPUtime=1.32 cores=1,3,5,7
/proc/17514/task/17525/stat : 17525 (java) S 17511 17514 7968 0 -1 1077944384 9092 0 0 0 130 2 0 0 20 0 17 0 15533594 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292291336816 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17526] ppid=17511 vsize=10751952 memory=4639948313719891052 CPUtime=0.9 cores=1,3,5,7
/proc/17514/task/17526/stat : 17526 (java) S 17511 17514 7968 0 -1 1077944384 8998 0 0 0 89 1 0 0 20 0 17 0 15533594 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292290284016 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17527] ppid=17511 vsize=10751952 memory=4639948313719891052 CPUtime=0.27 cores=1,3,5,7
/proc/17514/task/17527/stat : 17527 (java) S 17511 17514 7968 0 -1 1077944384 4273 0 0 0 26 1 0 0 20 0 17 0 15533594 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292289231728 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17528] ppid=17511 vsize=10751952 memory=4639948313719891052 CPUtime=0 cores=1,3,5,7
/proc/17514/task/17528/stat : 17528 (java) S 17511 17514 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 15533594 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292221037536 140292731512533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
[pid=17514/tid=17529] ppid=17511 vsize=10751952 memory=7512114578044973668 CPUtime=1.54 cores=1,3,5,7
/proc/17514/task/17529/stat : 17529 (java) S 17511 17514 7968 0 -1 1077944384 2204 0 0 0 66 88 0 0 20 0 17 0 15533600 11009998848 929447 18446744073709551615 4194304 4196468 140735119773280 140292219984304 140292731513474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140735119778193 140735119778346 140735119778346 140735119781839 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10751952 KiB
Current children cumulated memory: 3717788 KiB
Child status: 143
Real time (s): 2505.25
CPU time (s): 2520.07
CPU user time (s): 2515.52
CPU system time (s): 4.54923
CPU usage (%): 100.592
Max. virtual memory (cumulated for all children) (KiB): 10751952
Max. memory (cumulated for all children) (KiB): 3717788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.52
system time used= 4.54923
maximum resident set size= 3718188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56381
involuntary context switches= 1130
# summary of solver processes directly reported to runsolver:
# pid: 17514
# total CPU time (s): 2520.07
# total CPU user time (s): 2515.52
# total CPU system time (s): 4.54923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5627 second user time and 25.3228 second system time
The end