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 (14620 MiB free)
memory of node 1: 16384 MiB (15716 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396631-1568393490/watcher-4396631-1568393490 -o /tmp/evaluation-result-4396631-1568393490/solver-4396631-1568393490 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568393448-7559 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1163816776 HOME/instance-4396631-1568393490.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7583, runsolver pid=7579
[startup+0.100175 s]*
/proc/loadavg: 1.00 1.01 1.16 3/221 7661
/proc/meminfo: memFree=31038688/32770624 swapFree=66945888/67108860
[pid=7583] ppid=7579 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/7583/stat : 7583 (bash) S 7579 7583 6494 0 -1 4202496 889 5699 0 0 0 0 0 1 20 0 1 0 415291015 115974144 404 33554432000 4194304 5098028 140730149890608 140730149884616 139944305552384 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 1 0 0 7196144 7232144 34594816 140730149893140 140730149893265 140730149893265 140730149896174 0
/proc/7583/statm: 28314 404 320 221 0 119 0
[pid=7640] ppid=7583 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/7640/stat : 7640 (bash) S 7583 7583 6494 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 415291020 115974144 178 33554432000 4194304 5098028 140730149890608 140730149883288 139944305377916 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34594816 140730149893140 140730149893265 140730149893265 140730149896174 0
/proc/7640/statm: 28314 178 94 221 0 119 0
[pid=7642] ppid=7640 vsize=10260324 memory=20920 CPUtime=0.03 cores=1,3,5,7
/proc/7642/stat : 7642 (java) S 7640 7583 6494 0 -1 1077944320 4103 0 0 0 3 0 0 0 20 0 9 0 415291020 10506571776 5230 33554432000 4194304 4196468 140724740080752 140724740063296 139723793452791 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28848128 140724740084876 140724740084890 140724740084890 140724740087759 0
/proc/7642/statm: 2565081 5230 2193 1 0 2527622 0
[pid=7642/tid=7647] ppid=7640 vsize=10260324 memory=8326441210107759528 CPUtime=0.03 cores=1,3,5,7
/proc/7642/task/7647/stat : 7647 (java) R 7640 7583 6494 0 -1 4202560 2765 0 0 0 3 0 0 0 20 0 9 0 415291021 10506571776 5230 33554432000 4194304 4196468 140724740080752 139723797688184 139723778620079 0 4 0 16800971 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28848128 140724740084876 140724740084890 140724740084890 140724740087759 0
[pid=7642/tid=7648] ppid=7640 vsize=10260324 memory=4210146916469654281 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7648/stat : 7648 (java) S 7640 7583 6494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 415291021 10506571776 5230 33554432000 4194304 4196468 140724740080752 139723746073488 139723793462997 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28848128 140724740084876 140724740084890 140724740084890 140724740087759 0
[pid=7642/tid=7650] ppid=7640 vsize=10260324 memory=139851984344704 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7650/stat : 7650 (java) S 7640 7583 6494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 415291021 10506571776 5230 33554432000 4194304 4196468 140724740080752 139723745020688 139723793462997 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28848128 140724740084876 140724740084890 140724740084890 140724740087759 0
[pid=7642/tid=7652] ppid=7640 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7652/stat : 7652 (java) S 7640 7583 6494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 415291021 10506571776 5230 33554432000 4194304 4196468 140724740080752 139723743968400 139723793462997 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28848128 140724740084876 140724740084890 140724740084890 140724740087759 0
[pid=7642/tid=7653] ppid=7640 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7653/stat : 7653 (java) S 7640 7583 6494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 415291021 10506571776 5230 33554432000 4194304 4196468 140724740080752 139723742915600 139723793462997 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28848128 140724740084876 140724740084890 140724740084890 140724740087759 0
[pid=7642/tid=7657] ppid=7640 vsize=10260324 memory=139851984344704 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7657/stat : 7657 (java) S 7640 7583 6494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 415291023 10506571776 5230 33554432000 4194304 4196468 140724740080752 139723352639600 139723793463938 0 0 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28848128 140724740084876 140724740084890 140724740084890 140724740087759 0
[pid=7642/tid=7659] ppid=7640 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7659/stat : 7659 (java) S 7640 7583 6494 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 415291023 10506571776 5230 33554432000 4194304 4196468 140724740080752 139723351585568 139723793462997 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28848128 140724740084876 140724740084890 140724740084890 140724740087759 0
[pid=7642/tid=7661] ppid=7640 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7661/stat : 7661 (java) S 7640 7583 6494 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 415291023 10506571776 5230 33554432000 4194304 4196468 140724740080752 139723350533232 139723793462997 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28848128 140724740084876 140724740084890 140724740084890 140724740087759 0
[pid=7643] ppid=7640 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/7643/stat : 7643 (awk) S 7640 7583 6494 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 415291020 116211712 243 33554432000 4194304 4609284 140736599995344 140736599994520 140077685505024 0 0 4096 1216 18446744071580971376 0 0 17 3 0 0 0 0 0 6708720 6711756 9682944 140736600003772 140736600003802 140736600003802 140736600006639 0
/proc/7643/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 24220 KiB
[startup+0.210865 s]*
/proc/loadavg: 1.00 1.01 1.16 3/227 7720
/proc/meminfo: memFree=31028220/32770624 swapFree=66945888/67108860
[pid=7583] ppid=7579 vsize=10818512 memory=28360 CPUtime=0.16 cores=1,3,5,7
/proc/7583/stat : 7583 (java) S 7579 7583 6494 0 -1 1077944320 5967 13147 0 0 7 1 5 3 20 0 15 0 415291015 11078156288 7090 33554432000 4194304 4196468 140723877135456 140723877118000 139761971158775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
/proc/7583/statm: 2704628 7090 2737 1 0 2667149 0
[pid=7583/tid=7692] ppid=7579 vsize=10818512 memory=7822038051842263955 CPUtime=0.13 cores=1,3,5,7
/proc/7583/task/7692/stat : 7692 (java) R 7579 7583 6494 0 -1 4202560 3053 13147 0 0 5 0 5 3 20 0 15 0 415291029 11078156288 7090 33554432000 4194304 4196468 140723877135456 139761942985104 139761971180701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7694] ppid=7579 vsize=10818512 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7694/stat : 7694 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291030 11078156288 7090 33554432000 4194304 4196468 140723877135456 139761975400720 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7695] ppid=7579 vsize=10818512 memory=139851984344704 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7695/stat : 7695 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291030 11078156288 7090 33554432000 4194304 4196468 140723877135456 139761863674256 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7696] ppid=7579 vsize=10818512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7696/stat : 7696 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291030 11078156288 7090 33554432000 4194304 4196468 140723877135456 139761862621712 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7697] ppid=7579 vsize=10818512 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7697/stat : 7697 (java) S 7579 7583 6494 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415291030 11078156288 7090 33554432000 4194304 4196468 140723877135456 139761861569168 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7703] ppid=7579 vsize=10818512 memory=139851984344704 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7703/stat : 7703 (java) S 7579 7583 6494 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415291031 11078156288 7090 33554432000 4194304 4196468 140723877135456 139760974514672 139761971169922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7705] ppid=7579 vsize=10818512 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7705/stat : 7705 (java) S 7579 7583 6494 0 -1 1077944384 33 13147 0 0 0 0 5 3 20 0 15 0 415291032 11078156288 7090 33554432000 4194304 4196468 140723877135456 139760973460896 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7708] ppid=7579 vsize=10818512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7708/stat : 7708 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291032 11078156288 7090 33554432000 4194304 4196468 140723877135456 139760853050864 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7710] ppid=7579 vsize=10818512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7710/stat : 7710 (java) S 7579 7583 6494 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415291035 11078156288 7090 33554432000 4194304 4196468 140723877135456 139760545651408 139761971177371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7712] ppid=7579 vsize=10818512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7712/stat : 7712 (java) S 7579 7583 6494 0 -1 1077944384 409 13147 0 0 0 0 5 3 20 0 15 0 415291035 11078156288 7090 33554432000 4194304 4196468 140723877135456 139760939902960 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7714] ppid=7579 vsize=10818512 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7714/stat : 7714 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291035 11078156288 7090 33554432000 4194304 4196468 140723877135456 139760938850416 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7716] ppid=7579 vsize=10818512 memory=139851984344704 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7716/stat : 7716 (java) S 7579 7583 6494 0 -1 1077944384 249 13147 0 0 0 0 5 3 20 0 15 0 415291035 11078156288 7090 33554432000 4194304 4196468 140723877135456 139760937797872 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7718] ppid=7579 vsize=10818512 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7718/stat : 7718 (java) S 7579 7583 6494 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415291035 11078156288 7090 33554432000 4194304 4196468 140723877135456 139760512092768 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7720] ppid=7579 vsize=10818512 memory=139851984344704 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7720/stat : 7720 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291035 11078156288 7090 33554432000 4194304 4196468 140723877135456 139760936745776 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 10818512 KiB
Current children cumulated memory: 28360 KiB
[startup+0.310381 s]*
/proc/loadavg: 1.16 1.05 1.17 5/227 7720
/proc/meminfo: memFree=30994192/32770624 swapFree=66945888/67108860
[pid=7583] ppid=7579 vsize=10820148 memory=45608 CPUtime=0.34 cores=1,3,5,7
/proc/7583/stat : 7583 (java) S 7579 7583 6494 0 -1 1077944320 10043 13147 0 0 23 3 5 3 20 0 15 0 415291015 11079831552 11402 33554432000 4194304 4196468 140723877135456 140723877118000 139761971158775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
/proc/7583/statm: 2705037 11402 3303 1 0 2667149 0
[pid=7583/tid=7692] ppid=7579 vsize=10820148 memory=2244 CPUtime=0.24 cores=1,3,5,7
/proc/7583/task/7692/stat : 7692 (java) R 7579 7583 6494 0 -1 4202560 6498 13147 0 0 14 2 5 3 20 0 15 0 415291029 11079831552 11402 33554432000 4194304 4196468 140723877135456 139761942976944 139761957404767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7694] ppid=7579 vsize=10820148 memory=139851852776879 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7694/stat : 7694 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291030 11079831552 11402 33554432000 4194304 4196468 140723877135456 139761975400720 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7695] ppid=7579 vsize=10820148 memory=139851984346912 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7695/stat : 7695 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291030 11079831552 11402 33554432000 4194304 4196468 140723877135456 139761863674256 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7696] ppid=7579 vsize=10820148 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7696/stat : 7696 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291030 11079831552 11402 33554432000 4194304 4196468 140723877135456 139761862621712 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7697] ppid=7579 vsize=10820148 memory=139851852783791 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7697/stat : 7697 (java) S 7579 7583 6494 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415291030 11079831552 11402 33554432000 4194304 4196468 140723877135456 139761861569168 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7703] ppid=7579 vsize=10820148 memory=139851984346912 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7703/stat : 7703 (java) S 7579 7583 6494 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415291031 11079831552 11402 33554432000 4194304 4196468 140723877135456 139760974514672 139761971169922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7705] ppid=7579 vsize=10820148 memory=139851852788399 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7705/stat : 7705 (java) S 7579 7583 6494 0 -1 1077944384 33 13147 0 0 0 0 5 3 20 0 15 0 415291032 11079831552 11402 33554432000 4194304 4196468 140723877135456 139760973460896 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7708] ppid=7579 vsize=10820148 memory=139851852790704 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7708/stat : 7708 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291032 11079831552 11402 33554432000 4194304 4196468 140723877135456 139760853050864 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7710] ppid=7579 vsize=10820148 memory=139851852793008 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7710/stat : 7710 (java) S 7579 7583 6494 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415291035 11079831552 11402 33554432000 4194304 4196468 140723877135456 139760545651408 139761971177371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7712] ppid=7579 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/7583/task/7712/stat : 7712 (java) S 7579 7583 6494 0 -1 1077944384 603 13147 0 0 2 0 5 3 20 0 15 0 415291035 11079831552 11402 33554432000 4194304 4196468 140723877135456 139760939902960 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7714] ppid=7579 vsize=10820148 memory=139851852677255 CPUtime=0.09 cores=1,3,5,7
/proc/7583/task/7714/stat : 7714 (java) R 7579 7583 6494 0 -1 1077944384 50 13147 0 0 1 0 5 3 20 0 15 0 415291035 11079831552 11402 33554432000 4194304 4196468 140723877135456 139760938850416 139761971169922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7716] ppid=7579 vsize=10820148 memory=279703837146912 CPUtime=0.12 cores=1,3,5,7
/proc/7583/task/7716/stat : 7716 (java) R 7579 7583 6494 0 -1 4202560 643 13147 0 0 4 0 5 3 20 0 15 0 415291035 11079831552 11402 33554432000 4194304 4196468 140723877135456 139760937797872 139761954531807 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7718] ppid=7579 vsize=10820148 memory=139851852799951 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7718/stat : 7718 (java) S 7579 7583 6494 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415291035 11079831552 11402 33554432000 4194304 4196468 140723877135456 139760512092768 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7720] ppid=7579 vsize=10820148 memory=279703837151552 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7720/stat : 7720 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291035 11079831552 11402 33554432000 4194304 4196468 140723877135456 139760936745776 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 45608 KiB
[startup+0.700746 s]
/proc/loadavg: 1.16 1.05 1.17 5/227 7720
/proc/meminfo: memFree=30966848/32770624 swapFree=66945888/67108860
[pid=7583] ppid=7579 vsize=10820264 memory=68996 CPUtime=0.84 cores=1,3,5,7
/proc/7583/stat : 7583 (java) S 7579 7583 6494 0 -1 1077944320 13892 13147 0 0 71 5 5 3 20 0 15 0 415291015 11079950336 17249 33554432000 4194304 4196468 140723877135456 140723877118000 139761971158775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
/proc/7583/statm: 2705066 17249 3457 1 0 2667149 0
[pid=7583/tid=7692] ppid=7579 vsize=10820264 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/7583/task/7692/stat : 7692 (java) D 7579 7583 6494 0 -1 4202560 9265 13147 0 0 42 3 5 3 20 0 15 0 415291029 11079950336 17249 33554432000 4194304 4196468 140723877135456 139761942991360 139761971180701 0 4 0 16800975 18446744071580419588 0 0 -1 3 0 0 8 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7694] ppid=7579 vsize=10820264 memory=279703705688352 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7694/stat : 7694 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291030 11079950336 17249 33554432000 4194304 4196468 140723877135456 139761975400720 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7695] ppid=7579 vsize=10820264 memory=16642998275760 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7695/stat : 7695 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291030 11079950336 17249 33554432000 4194304 4196468 140723877135456 139761863674256 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7696] ppid=7579 vsize=10820264 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7696/stat : 7696 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291030 11079950336 17249 33554432000 4194304 4196468 140723877135456 139761862621712 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7697] ppid=7579 vsize=10820264 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7697/stat : 7697 (java) S 7579 7583 6494 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415291030 11079950336 17249 33554432000 4194304 4196468 140723877135456 139761861569168 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7703] ppid=7579 vsize=10820264 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7703/stat : 7703 (java) S 7579 7583 6494 0 -1 1077944384 5 13147 0 0 0 0 5 3 20 0 15 0 415291031 11079950336 17249 33554432000 4194304 4196468 140723877135456 139760974514672 139761971169922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7705] ppid=7579 vsize=10820264 memory=3472328296227682513 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7705/stat : 7705 (java) S 7579 7583 6494 0 -1 1077944384 33 13147 0 0 0 0 5 3 20 0 15 0 415291032 11079950336 17249 33554432000 4194304 4196468 140723877135456 139760973460896 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7708] ppid=7579 vsize=10820264 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7708/stat : 7708 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291032 11079950336 17249 33554432000 4194304 4196468 140723877135456 139760853050864 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7710] ppid=7579 vsize=10820264 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7710/stat : 7710 (java) S 7579 7583 6494 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415291035 11079950336 17249 33554432000 4194304 4196468 140723877135456 139760545651408 139761971177371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7712] ppid=7579 vsize=10820264 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/7583/task/7712/stat : 7712 (java) S 7579 7583 6494 0 -1 1077944384 1065 13147 0 0 9 0 5 3 20 0 15 0 415291035 11079950336 17249 33554432000 4194304 4196468 140723877135456 139760939902960 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7714] ppid=7579 vsize=10820264 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/7583/task/7714/stat : 7714 (java) S 7579 7583 6494 0 -1 1077944384 480 13147 0 0 6 0 5 3 20 0 15 0 415291035 11079950336 17249 33554432000 4194304 4196468 140723877135456 139760938850416 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7716] ppid=7579 vsize=10820264 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/7583/task/7716/stat : 7716 (java) S 7579 7583 6494 0 -1 1077944384 823 13147 0 0 12 0 5 3 20 0 15 0 415291035 11079950336 17249 33554432000 4194304 4196468 140723877135456 139760937797872 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7718] ppid=7579 vsize=10820264 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7718/stat : 7718 (java) S 7579 7583 6494 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415291035 11079950336 17249 33554432000 4194304 4196468 140723877135456 139760512092768 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7720] ppid=7579 vsize=10820264 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7720/stat : 7720 (java) S 7579 7583 6494 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415291035 11079950336 17249 33554432000 4194304 4196468 140723877135456 139760936745776 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 10820264 KiB
Current children cumulated memory: 68996 KiB
[startup+1.50072 s]
/proc/loadavg: 1.16 1.05 1.17 7/227 7720
/proc/meminfo: memFree=30889968/32770624 swapFree=66945888/67108860
[pid=7583] ppid=7579 vsize=10832628 memory=192308 CPUtime=2.87 cores=1,3,5,7
/proc/7583/stat : 7583 (java) S 7579 7583 6494 0 -1 1077944320 25491 13147 0 0 268 11 5 3 20 0 15 0 415291015 11092611072 48077 33554432000 4194304 4196468 140723877135456 140723877118000 139761971158775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
/proc/7583/statm: 2708157 48077 3572 1 0 2670221 0
[pid=7583/tid=7692] ppid=7579 vsize=10832628 memory=3612 CPUtime=1.29 cores=1,3,5,7
/proc/7583/task/7692/stat : 7692 (java) S 7579 7583 6494 0 -1 1077944384 14229 13147 0 0 115 6 5 3 20 0 15 0 415291029 11092611072 48077 33554432000 4194304 4196468 140723877135456 139761942981360 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7694] ppid=7579 vsize=10832628 memory=3612 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7694/stat : 7694 (java) S 7579 7583 6494 0 -1 1077944384 252 13147 0 0 0 0 5 3 20 0 15 0 415291030 11092611072 48077 33554432000 4194304 4196468 140723877135456 139761975400720 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7695] ppid=7579 vsize=10832628 memory=6429566043341 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7695/stat : 7695 (java) S 7579 7583 6494 0 -1 1077944384 53 13147 0 0 0 0 5 3 20 0 15 0 415291030 11092611072 48077 33554432000 4194304 4196468 140723877135456 139761863674256 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7696] ppid=7579 vsize=10832628 memory=288230617509003574 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7696/stat : 7696 (java) S 7579 7583 6494 0 -1 1077944384 55 13147 0 0 0 0 5 3 20 0 15 0 415291030 11092611072 48077 33554432000 4194304 4196468 140723877135456 139761862621712 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7697] ppid=7579 vsize=10832628 memory=13854057802500511 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7697/stat : 7697 (java) S 7579 7583 6494 0 -1 1077944384 23 13147 0 0 0 0 5 3 20 0 15 0 415291030 11092611072 48077 33554432000 4194304 4196468 140723877135456 139761861569168 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7703] ppid=7579 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7703/stat : 7703 (java) R 7579 7583 6494 0 -1 4202560 98 13147 0 0 0 0 5 3 20 0 15 0 415291031 11092611072 48077 33554432000 4194304 4196468 140723877135456 139760974512960 139761956850471 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7705] ppid=7579 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7705/stat : 7705 (java) S 7579 7583 6494 0 -1 1077944384 33 13147 0 0 0 0 5 3 20 0 15 0 415291032 11092611072 48077 33554432000 4194304 4196468 140723877135456 139760973460896 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7708] ppid=7579 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
################
# More data... #
################
/proc/7583/task/7703/stat : 7703 (java) S 7579 7583 6494 0 -1 1077944384 18287 13147 0 0 127 4 5 3 20 0 15 0 415291031 11103117312 984399 33554432000 4194304 4196468 140723877135456 139760974514672 139761971169922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7705] ppid=7579 vsize=10842888 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7705/stat : 7705 (java) S 7579 7583 6494 0 -1 1077944384 53 13147 0 0 0 0 5 3 20 0 15 0 415291032 11103117312 984399 33554432000 4194304 4196468 140723877135456 139760973461024 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7708] ppid=7579 vsize=10842888 memory=1040 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7708/stat : 7708 (java) S 7579 7583 6494 0 -1 1077944384 19 13147 0 0 0 0 5 3 20 0 15 0 415291032 11103117312 984399 33554432000 4194304 4196468 140723877135456 139760853050880 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7710] ppid=7579 vsize=10842888 memory=4136 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7710/stat : 7710 (java) S 7579 7583 6494 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415291035 11103117312 984399 33554432000 4194304 4196468 140723877135456 139760545651408 139761971177371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7712] ppid=7579 vsize=10842888 memory=780 CPUtime=7.47 cores=1,3,5,7
/proc/7583/task/7712/stat : 7712 (java) S 7579 7583 6494 0 -1 1077944384 16146 13147 0 0 736 3 5 3 20 0 15 0 415291035 11103117312 984399 33554432000 4194304 4196468 140723877135456 139760939902960 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7714] ppid=7579 vsize=10842888 memory=2832 CPUtime=7.8 cores=1,3,5,7
/proc/7583/task/7714/stat : 7714 (java) S 7579 7583 6494 0 -1 1077944384 12082 13147 0 0 768 4 5 3 20 0 15 0 415291035 11103117312 984399 33554432000 4194304 4196468 140723877135456 139760938850416 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7716] ppid=7579 vsize=10842888 memory=1720 CPUtime=2.17 cores=1,3,5,7
/proc/7583/task/7716/stat : 7716 (java) S 7579 7583 6494 0 -1 1077944384 12078 13147 0 0 206 3 5 3 20 0 15 0 415291035 11103117312 984399 33554432000 4194304 4196468 140723877135456 139760937797872 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7718] ppid=7579 vsize=10842888 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7718/stat : 7718 (java) S 7579 7583 6494 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415291035 11103117312 984399 33554432000 4194304 4196468 140723877135456 139760512092768 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7720] ppid=7579 vsize=10842888 memory=279703706152592 CPUtime=1.56 cores=1,3,5,7
/proc/7583/task/7720/stat : 7720 (java) S 7579 7583 6494 0 -1 1077944384 1733 13147 0 0 71 77 5 3 20 0 15 0 415291035 11103117312 984399 33554432000 4194304 4196468 140723877135456 139760936745776 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10842888 KiB
Current children cumulated memory: 3937596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+2360.43 s]
# the end of solver process 7583 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.65 s, system=3.44314 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2359.2 s]
/proc/loadavg: 1.88 1.73 1.67 3/229 8092
/proc/meminfo: memFree=26567772/32770624 swapFree=66946016/67108860
[pid=7583] ppid=7579 vsize=11039504 memory=3941780 CPUtime=2400.85 cores=1,3,5,7
/proc/7583/stat : 7583 (java) S 7579 7583 6494 0 -1 1077944320 123494 13147 0 0 239738 339 5 3 20 0 17 0 415291015 11304452096 985445 33554432000 4194304 4196468 140723877135456 140723877118000 139761971158775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
/proc/7583/statm: 2759876 985445 3633 1 0 2721935 0
[pid=7583/tid=7692] ppid=7579 vsize=11039504 memory=3937596 CPUtime=2349.83 cores=1,3,5,7
/proc/7583/task/7692/stat : 7692 (java) R 7579 7583 6494 0 -1 4202560 45794 13147 0 0 234945 30 5 3 20 0 17 0 415291029 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761942992320 139761544432284 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7694] ppid=7579 vsize=11039504 memory=3937596 CPUtime=7.82 cores=1,3,5,7
/proc/7583/task/7694/stat : 7694 (java) S 7579 7583 6494 0 -1 1077944384 3821 13147 0 0 717 57 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761975400720 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7695] ppid=7579 vsize=11039504 memory=209 CPUtime=7.8 cores=1,3,5,7
/proc/7583/task/7695/stat : 7695 (java) S 7579 7583 6494 0 -1 1077944384 4067 13147 0 0 717 55 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761863674256 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7696] ppid=7579 vsize=11039504 memory=0 CPUtime=7.77 cores=1,3,5,7
/proc/7583/task/7696/stat : 7696 (java) S 7579 7583 6494 0 -1 1077944384 3618 13147 0 0 713 56 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761862621712 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7697] ppid=7579 vsize=11039504 memory=6791534058613427641 CPUtime=7.81 cores=1,3,5,7
/proc/7583/task/7697/stat : 7697 (java) S 7579 7583 6494 0 -1 1077944384 3327 13147 0 0 717 56 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761861569168 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7703] ppid=7579 vsize=11039504 memory=2832 CPUtime=1.39 cores=1,3,5,7
/proc/7583/task/7703/stat : 7703 (java) S 7579 7583 6494 0 -1 1077944384 18311 13147 0 0 127 4 5 3 20 0 17 0 415291031 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760974514672 139761971169922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7705] ppid=7579 vsize=11039504 memory=3937596 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7705/stat : 7705 (java) S 7579 7583 6494 0 -1 1077944384 53 13147 0 0 0 0 5 3 20 0 17 0 415291032 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760973461024 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7708] ppid=7579 vsize=11039504 memory=3937596 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7708/stat : 7708 (java) S 7579 7583 6494 0 -1 1077944384 19 13147 0 0 0 0 5 3 20 0 17 0 415291032 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760853050880 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7710] ppid=7579 vsize=11039504 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7710/stat : 7710 (java) S 7579 7583 6494 0 -1 1077944384 153 13147 0 0 0 0 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760545651408 139761971177371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7712] ppid=7579 vsize=11039504 memory=1552 CPUtime=7.47 cores=1,3,5,7
/proc/7583/task/7712/stat : 7712 (java) S 7579 7583 6494 0 -1 1077944384 16146 13147 0 0 736 3 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760939902960 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7714] ppid=7579 vsize=11039504 memory=1040 CPUtime=7.8 cores=1,3,5,7
/proc/7583/task/7714/stat : 7714 (java) S 7579 7583 6494 0 -1 1077944384 12082 13147 0 0 768 4 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760938850416 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7716] ppid=7579 vsize=11039504 memory=4136 CPUtime=2.17 cores=1,3,5,7
/proc/7583/task/7716/stat : 7716 (java) S 7579 7583 6494 0 -1 1077944384 12078 13147 0 0 206 3 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760937797872 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7718] ppid=7579 vsize=11039504 memory=780 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7718/stat : 7718 (java) S 7579 7583 6494 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760512092768 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7720] ppid=7579 vsize=11039504 memory=2832 CPUtime=1.56 cores=1,3,5,7
/proc/7583/task/7720/stat : 7720 (java) S 7579 7583 6494 0 -1 1077944384 1733 13147 0 0 71 77 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760936745776 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=8091] ppid=7579 vsize=11039504 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/8091/stat : 8091 (java) S 7579 7583 6494 0 -1 1077944384 31 13147 0 0 0 0 5 3 20 0 17 0 415526855 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760114852464 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=8092] ppid=7579 vsize=11039504 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/8092/stat : 8092 (java) S 7579 7583 6494 0 -1 1077944384 48 13147 0 0 0 0 5 3 20 0 17 0 415526855 11304452096 985445 33554432000 4194304 4196468 140723877135456 139759913527008 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
Current children cumulated CPU time: 2400.85 s
Current children cumulated vsize: 11039504 KiB
Current children cumulated memory: 3941780 KiB
[startup+2360 s]*
/proc/loadavg: 1.88 1.73 1.67 3/229 8092
/proc/meminfo: memFree=26563676/32770624 swapFree=66946016/67108860
[pid=7583] ppid=7579 vsize=11039504 memory=3941780 CPUtime=2401.66 cores=1,3,5,7
/proc/7583/stat : 7583 (java) S 7579 7583 6494 0 -1 1077944320 123494 13147 0 0 239819 339 5 3 20 0 17 0 415291015 11304452096 985445 33554432000 4194304 4196468 140723877135456 140723877118000 139761971158775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
/proc/7583/statm: 2759876 985445 3633 1 0 2721935 0
[pid=7583/tid=7692] ppid=7579 vsize=11039504 memory=8317482817917895235 CPUtime=2350.64 cores=1,3,5,7
/proc/7583/task/7692/stat : 7692 (java) R 7579 7583 6494 0 -1 4202560 45794 13147 0 0 235026 30 5 3 20 0 17 0 415291029 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761942992320 139761552030485 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7694] ppid=7579 vsize=11039504 memory=4872558044660077418 CPUtime=7.82 cores=1,3,5,7
/proc/7583/task/7694/stat : 7694 (java) S 7579 7583 6494 0 -1 1077944384 3821 13147 0 0 717 57 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761975400720 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7695] ppid=7579 vsize=11039504 memory=924 CPUtime=7.8 cores=1,3,5,7
/proc/7583/task/7695/stat : 7695 (java) S 7579 7583 6494 0 -1 1077944384 4067 13147 0 0 717 55 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761863674256 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7696] ppid=7579 vsize=11039504 memory=1672 CPUtime=7.77 cores=1,3,5,7
/proc/7583/task/7696/stat : 7696 (java) S 7579 7583 6494 0 -1 1077944384 3618 13147 0 0 713 56 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761862621712 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7697] ppid=7579 vsize=11039504 memory=796 CPUtime=7.81 cores=1,3,5,7
/proc/7583/task/7697/stat : 7697 (java) S 7579 7583 6494 0 -1 1077944384 3327 13147 0 0 717 56 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761861569168 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7703] ppid=7579 vsize=11039504 memory=6791534058613427641 CPUtime=1.39 cores=1,3,5,7
/proc/7583/task/7703/stat : 7703 (java) S 7579 7583 6494 0 -1 1077944384 18311 13147 0 0 127 4 5 3 20 0 17 0 415291031 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760974514672 139761971169922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7705] ppid=7579 vsize=11039504 memory=26816 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7705/stat : 7705 (java) S 7579 7583 6494 0 -1 1077944384 53 13147 0 0 0 0 5 3 20 0 17 0 415291032 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760973461024 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7708] ppid=7579 vsize=11039504 memory=1436 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7708/stat : 7708 (java) S 7579 7583 6494 0 -1 1077944384 19 13147 0 0 0 0 5 3 20 0 17 0 415291032 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760853050880 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7710] ppid=7579 vsize=11039504 memory=1984 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7710/stat : 7710 (java) S 7579 7583 6494 0 -1 1077944384 153 13147 0 0 0 0 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760545651408 139761971177371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7712] ppid=7579 vsize=11039504 memory=2424 CPUtime=7.47 cores=1,3,5,7
/proc/7583/task/7712/stat : 7712 (java) S 7579 7583 6494 0 -1 1077944384 16146 13147 0 0 736 3 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760939902960 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7714] ppid=7579 vsize=11039504 memory=1764 CPUtime=7.8 cores=1,3,5,7
/proc/7583/task/7714/stat : 7714 (java) S 7579 7583 6494 0 -1 1077944384 12082 13147 0 0 768 4 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760938850416 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7716] ppid=7579 vsize=11039504 memory=111636 CPUtime=2.17 cores=1,3,5,7
/proc/7583/task/7716/stat : 7716 (java) S 7579 7583 6494 0 -1 1077944384 12078 13147 0 0 206 3 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760937797872 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7718] ppid=7579 vsize=11039504 memory=804 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7718/stat : 7718 (java) S 7579 7583 6494 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760512092768 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7720] ppid=7579 vsize=11039504 memory=4104 CPUtime=1.56 cores=1,3,5,7
/proc/7583/task/7720/stat : 7720 (java) S 7579 7583 6494 0 -1 1077944384 1733 13147 0 0 71 77 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760936745776 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=8091] ppid=7579 vsize=11039504 memory=1808 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/8091/stat : 8091 (java) S 7579 7583 6494 0 -1 1077944384 31 13147 0 0 0 0 5 3 20 0 17 0 415526855 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760114852464 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=8092] ppid=7579 vsize=11039504 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/8092/stat : 8092 (java) S 7579 7583 6494 0 -1 1077944384 48 13147 0 0 0 0 5 3 20 0 17 0 415526855 11304452096 985445 33554432000 4194304 4196468 140723877135456 139759913527008 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
Current children cumulated CPU time: 2401.66 s
Current children cumulated vsize: 11039504 KiB
Current children cumulated memory: 3941780 KiB
[startup+2360.4 s]
/proc/loadavg: 1.88 1.73 1.67 3/229 8092
/proc/meminfo: memFree=26563676/32770624 swapFree=66946016/67108860
[pid=7583] ppid=7579 vsize=11039504 memory=3941780 CPUtime=2402.05 cores=1,3,5,7
/proc/7583/stat : 7583 (java) S 7579 7583 6494 0 -1 1077944320 123494 13147 0 0 239858 339 5 3 20 0 17 0 415291015 11304452096 985445 33554432000 4194304 4196468 140723877135456 140723877118000 139761971158775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
/proc/7583/statm: 2759876 985445 3633 1 0 2721935 0
[pid=7583/tid=7692] ppid=7579 vsize=11039504 memory=500 CPUtime=2351.03 cores=1,3,5,7
/proc/7583/task/7692/stat : 7692 (java) R 7579 7583 6494 0 -1 4202560 45794 13147 0 0 235065 30 5 3 20 0 17 0 415291029 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761942992320 139761551931027 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7694] ppid=7579 vsize=11039504 memory=1556 CPUtime=7.82 cores=1,3,5,7
/proc/7583/task/7694/stat : 7694 (java) S 7579 7583 6494 0 -1 1077944384 3821 13147 0 0 717 57 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761975400720 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7695] ppid=7579 vsize=11039504 memory=924 CPUtime=7.8 cores=1,3,5,7
/proc/7583/task/7695/stat : 7695 (java) S 7579 7583 6494 0 -1 1077944384 4067 13147 0 0 717 55 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761863674256 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7696] ppid=7579 vsize=11039504 memory=1672 CPUtime=7.77 cores=1,3,5,7
/proc/7583/task/7696/stat : 7696 (java) S 7579 7583 6494 0 -1 1077944384 3618 13147 0 0 713 56 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761862621712 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7697] ppid=7579 vsize=11039504 memory=6791534058613427641 CPUtime=7.81 cores=1,3,5,7
/proc/7583/task/7697/stat : 7697 (java) S 7579 7583 6494 0 -1 1077944384 3327 13147 0 0 717 56 5 3 20 0 17 0 415291030 11304452096 985445 33554432000 4194304 4196468 140723877135456 139761861569168 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7703] ppid=7579 vsize=11039504 memory=1408 CPUtime=1.39 cores=1,3,5,7
/proc/7583/task/7703/stat : 7703 (java) S 7579 7583 6494 0 -1 1077944384 18311 13147 0 0 127 4 5 3 20 0 17 0 415291031 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760974514672 139761971169922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7705] ppid=7579 vsize=11039504 memory=3296 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7705/stat : 7705 (java) S 7579 7583 6494 0 -1 1077944384 53 13147 0 0 0 0 5 3 20 0 17 0 415291032 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760973461024 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7708] ppid=7579 vsize=11039504 memory=3937596 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7708/stat : 7708 (java) S 7579 7583 6494 0 -1 1077944384 19 13147 0 0 0 0 5 3 20 0 17 0 415291032 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760853050880 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7710] ppid=7579 vsize=11039504 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7710/stat : 7710 (java) S 7579 7583 6494 0 -1 1077944384 153 13147 0 0 0 0 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760545651408 139761971177371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7712] ppid=7579 vsize=11039504 memory=2656 CPUtime=7.47 cores=1,3,5,7
/proc/7583/task/7712/stat : 7712 (java) S 7579 7583 6494 0 -1 1077944384 16146 13147 0 0 736 3 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760939902960 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7714] ppid=7579 vsize=11039504 memory=520480 CPUtime=7.8 cores=1,3,5,7
/proc/7583/task/7714/stat : 7714 (java) S 7579 7583 6494 0 -1 1077944384 12082 13147 0 0 768 4 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760938850416 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7716] ppid=7579 vsize=11039504 memory=1732 CPUtime=2.17 cores=1,3,5,7
/proc/7583/task/7716/stat : 7716 (java) S 7579 7583 6494 0 -1 1077944384 12078 13147 0 0 206 3 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760937797872 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7718] ppid=7579 vsize=11039504 memory=8317482817917895235 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/7718/stat : 7718 (java) S 7579 7583 6494 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760512092768 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=7720] ppid=7579 vsize=11039504 memory=4872558044660077418 CPUtime=1.56 cores=1,3,5,7
/proc/7583/task/7720/stat : 7720 (java) S 7579 7583 6494 0 -1 1077944384 1733 13147 0 0 71 77 5 3 20 0 17 0 415291035 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760936745776 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=8091] ppid=7579 vsize=11039504 memory=7157735280230618215 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/8091/stat : 8091 (java) S 7579 7583 6494 0 -1 1077944384 31 13147 0 0 0 0 5 3 20 0 17 0 415526855 11304452096 985445 33554432000 4194304 4196468 140723877135456 139760114852464 139761971168981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
[pid=7583/tid=8092] ppid=7579 vsize=11039504 memory=139851852724336 CPUtime=0.08 cores=1,3,5,7
/proc/7583/task/8092/stat : 8092 (java) S 7579 7583 6494 0 -1 1077944384 48 13147 0 0 0 0 5 3 20 0 17 0 415526855 11304452096 985445 33554432000 4194304 4196468 140723877135456 139759913527008 139761971169922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19374080 140723877141231 140723877143749 140723877143749 140723877146575 0
Current children cumulated CPU time: 2402.05 s
Current children cumulated vsize: 11039504 KiB
Current children cumulated memory: 3941780 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2360.43
CPU time (s): 2402.09
CPU user time (s): 2398.65
CPU system time (s): 3.44314
CPU usage (%): 101.765
Max. virtual memory (cumulated for all children) (KiB): 11039504
Max. memory (cumulated for all children) (KiB): 3941780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.65
system time used= 3.44314
maximum resident set size= 3942068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136648
page faults= 0
swaps= 0
block input operations= 23520
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60410
involuntary context switches= 1108
# summary of solver processes directly reported to runsolver:
# pid: 7583
# total CPU time (s): 2402.09
# total CPU user time (s): 2398.65
# total CPU system time (s): 3.44314
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0684 second user time and 22.3531 second system time
The end