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 (5740 MiB free)
memory of node 1: 16384 MiB (7583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305288-1534152690/watcher-4305288-1534152690 -o /tmp/evaluation-result-4305288-1534152690/solver-4305288-1534152690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534137835-2126 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=621060836 -superng HOME/instance-4305288-1534152690.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
Current StackSize limit: 8192 KiB
solver pid=4892, runsolver pid=4889
[startup+0.100132 s]*
/proc/loadavg: 1.94 1.92 1.87 2/212 4949
/proc/meminfo: memFree=13638364/32770624 swapFree=67108852/67108860
[pid=4892] ppid=4889 vsize=10005480 memory=15176 CPUtime=0.08 cores=1,3,5,7
/proc/4892/stat : 4892 (java) S 4889 4892 1500 0 -1 1077944320 4456 12967 0 0 1 0 5 2 20 0 6 0 232832212 10245611520 3794 33554432000 4194304 4196468 140727946483840 140727946466384 140343186185975 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
/proc/4892/statm: 2501370 3794 1934 1 0 2489808 0
[pid=4892/tid=4945] ppid=4889 vsize=10005480 memory=-8530227557020516289 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4945/stat : 4945 (java) R 4889 4892 1500 0 -1 4202560 2308 12967 0 0 0 0 5 2 20 0 6 0 232832221 10245611520 3860 33554432000 4194304 4196468 140727946483840 140343158022736 140343170266462 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4946] ppid=4889 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4946/stat : 4946 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 6 0 232832222 10245611520 3860 33554432000 4194304 4196468 140727946483840 140343190428304 140343186196181 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4947] ppid=4889 vsize=10005480 memory=140401803814528 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4947/stat : 4947 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 6 0 232832222 10245611520 3860 33554432000 4194304 4196468 140727946483840 140343090915856 140343186196181 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4948] ppid=4889 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4948/stat : 4948 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 6 0 232832222 10245611520 3860 33554432000 4194304 4196468 140727946483840 140342725020048 140343186196181 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4949] ppid=4889 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4949/stat : 4949 (java) S 4889 4892 1500 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 6 0 232832222 10245611520 3860 33554432000 4194304 4196468 140727946483840 140342723967248 140343186196181 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15176 KiB
[startup+0.210315 s]*
/proc/loadavg: 1.94 1.92 1.87 3/221 4958
/proc/meminfo: memFree=13613592/32770624 swapFree=67108852/67108860
[pid=4892] ppid=4889 vsize=10982696 memory=42716 CPUtime=0.25 cores=1,3,5,7
/proc/4892/stat : 4892 (java) S 4889 4892 1500 0 -1 1077944320 8597 12967 0 0 16 2 5 2 20 0 15 0 232832212 11246280704 10679 33554432000 4194304 4196468 140727946483840 140727946466384 140343186185975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
/proc/4892/statm: 2745674 10679 2936 1 0 2708109 0
[pid=4892/tid=4945] ppid=4889 vsize=10982696 memory=8514701219931451533 CPUtime=0.18 cores=1,3,5,7
/proc/4892/task/4945/stat : 4945 (java) R 4889 4892 1500 0 -1 4202560 5053 12967 0 0 10 1 5 2 20 0 15 0 232832221 11246280704 10679 33554432000 4194304 4196468 140727946483840 140343157983632 140343167750953 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4946] ppid=4889 vsize=10982696 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4946/stat : 4946 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246280704 10679 33554432000 4194304 4196468 140727946483840 140343190428304 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4947] ppid=4889 vsize=10982696 memory=140401803814528 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4947/stat : 4947 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246280704 10679 33554432000 4194304 4196468 140727946483840 140343090915856 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4948] ppid=4889 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4948/stat : 4948 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246280704 10679 33554432000 4194304 4196468 140727946483840 140342725020048 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4949] ppid=4889 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4949/stat : 4949 (java) S 4889 4892 1500 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246280704 10679 33554432000 4194304 4196468 140727946483840 140342723967248 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4950] ppid=4889 vsize=10982696 memory=140401803814528 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4950/stat : 4950 (java) S 4889 4892 1500 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 232832223 11246280704 10679 33554432000 4194304 4196468 140727946483840 140342612155248 140343186197122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4951] ppid=4889 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4951/stat : 4951 (java) S 4889 4892 1500 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 232832224 11246280704 10679 33554432000 4194304 4196468 140727946483840 140341962335776 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4952] ppid=4889 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4952/stat : 4952 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832224 11246280704 10679 33554432000 4194304 4196468 140727946483840 140341814486384 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4953] ppid=4889 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4953/stat : 4953 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11246280704 10679 33554432000 4194304 4196468 140727946483840 140341507086672 140343186204571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4954] ppid=4889 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4892/task/4954/stat : 4954 (java) S 4889 4892 1500 0 -1 1077944384 371 12967 0 0 1 0 5 2 20 0 15 0 232832227 11246280704 10679 33554432000 4194304 4196468 140727946483840 140342611102064 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4955] ppid=4889 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4955/stat : 4955 (java) S 4889 4892 1500 0 -1 1077944384 260 12967 0 0 0 0 5 2 20 0 15 0 232832227 11246280704 10679 33554432000 4194304 4196468 140727946483840 140342610049264 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4956] ppid=4889 vsize=10982696 memory=140401803814528 CPUtime=0.1 cores=1,3,5,7
/proc/4892/task/4956/stat : 4956 (java) S 4889 4892 1500 0 -1 1077944384 695 12967 0 0 3 0 5 2 20 0 15 0 232832227 11246280704 10679 33554432000 4194304 4196468 140727946483840 140342608996464 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4957] ppid=4889 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4957/stat : 4957 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11246280704 10679 33554432000 4194304 4196468 140727946483840 140341076289760 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4958] ppid=4889 vsize=10982696 memory=140401803814528 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4958/stat : 4958 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832227 11246280704 10679 33554432000 4194304 4196468 140727946483840 140342607944880 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 42716 KiB
[startup+0.310662 s]*
/proc/loadavg: 1.94 1.92 1.87 3/221 4958
/proc/meminfo: memFree=13604908/32770624 swapFree=67108852/67108860
[pid=4892] ppid=4889 vsize=10983192 memory=54352 CPUtime=0.38 cores=1,3,5,7
/proc/4892/stat : 4892 (java) S 4889 4892 1500 0 -1 1077944320 10651 12967 0 0 28 3 5 2 20 0 15 0 232832212 11246788608 13588 33554432000 4194304 4196468 140727946483840 140727946466384 140343186185975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
/proc/4892/statm: 2745798 13588 3094 1 0 2708109 0
[pid=4892/tid=4945] ppid=4889 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/4892/task/4945/stat : 4945 (java) R 4889 4892 1500 0 -1 4202560 7074 12967 0 0 19 2 5 2 20 0 15 0 232832221 11246788608 13588 33554432000 4194304 4196468 140727946483840 140343157997984 140343167749535 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4946] ppid=4889 vsize=10983192 memory=7230637312014700624 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4946/stat : 4946 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246788608 13588 33554432000 4194304 4196468 140727946483840 140343190428304 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4947] ppid=4889 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4947/stat : 4947 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246788608 13588 33554432000 4194304 4196468 140727946483840 140343090915856 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4948] ppid=4889 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4948/stat : 4948 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246788608 13588 33554432000 4194304 4196468 140727946483840 140342725020048 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4949] ppid=4889 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4949/stat : 4949 (java) S 4889 4892 1500 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246788608 13588 33554432000 4194304 4196468 140727946483840 140342723967248 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4950] ppid=4889 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4950/stat : 4950 (java) S 4889 4892 1500 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 232832223 11246788608 13588 33554432000 4194304 4196468 140727946483840 140342612155248 140343186197122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4951] ppid=4889 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4951/stat : 4951 (java) S 4889 4892 1500 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 232832224 11246788608 13588 33554432000 4194304 4196468 140727946483840 140341962335776 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4952] ppid=4889 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4952/stat : 4952 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832224 11246788608 13588 33554432000 4194304 4196468 140727946483840 140341814486384 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4953] ppid=4889 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4953/stat : 4953 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11246788608 13588 33554432000 4194304 4196468 140727946483840 140341507086672 140343186204571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4954] ppid=4889 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4892/task/4954/stat : 4954 (java) S 4889 4892 1500 0 -1 1077944384 372 12967 0 0 1 0 5 2 20 0 15 0 232832227 11246788608 13588 33554432000 4194304 4196468 140727946483840 140342611102064 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4955] ppid=4889 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4892/task/4955/stat : 4955 (java) S 4889 4892 1500 0 -1 1077944384 268 12967 0 0 1 0 5 2 20 0 15 0 232832227 11246788608 13588 33554432000 4194304 4196468 140727946483840 140342610049264 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4956] ppid=4889 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4892/task/4956/stat : 4956 (java) S 4889 4892 1500 0 -1 1077944384 719 12967 0 0 4 0 5 2 20 0 15 0 232832227 11246788608 13588 33554432000 4194304 4196468 140727946483840 140342608996464 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4957] ppid=4889 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4957/stat : 4957 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11246788608 13588 33554432000 4194304 4196468 140727946483840 140341076289760 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4958] ppid=4889 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4958/stat : 4958 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832227 11246788608 13588 33554432000 4194304 4196468 140727946483840 140342607944880 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54352 KiB
[startup+0.700757 s]
/proc/loadavg: 1.94 1.92 1.87 4/221 4958
/proc/meminfo: memFree=13593000/32770624 swapFree=67108852/67108860
[pid=4892] ppid=4889 vsize=10983192 memory=87664 CPUtime=0.98 cores=1,3,5,7
/proc/4892/stat : 4892 (java) S 4889 4892 1500 0 -1 1077944320 17147 12967 0 0 87 4 5 2 20 0 15 0 232832212 11246788608 21916 33554432000 4194304 4196468 140727946483840 140727946466384 140343186185975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
/proc/4892/statm: 2745798 21916 3237 1 0 2708109 0
[pid=4892/tid=4945] ppid=4889 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/4892/task/4945/stat : 4945 (java) R 4889 4892 1500 0 -1 4202560 12467 12967 0 0 55 3 5 2 20 0 15 0 232832221 11246788608 21916 33554432000 4194304 4196468 140727946483840 140343158006168 140343170266462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4946] ppid=4889 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4946/stat : 4946 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246788608 21916 33554432000 4194304 4196468 140727946483840 140343190428304 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4947] ppid=4889 vsize=10983192 memory=3560 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4947/stat : 4947 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246788608 21916 33554432000 4194304 4196468 140727946483840 140343090915856 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4948] ppid=4889 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4948/stat : 4948 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246788608 21916 33554432000 4194304 4196468 140727946483840 140342725020048 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4949] ppid=4889 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4949/stat : 4949 (java) S 4889 4892 1500 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 232832222 11246788608 21916 33554432000 4194304 4196468 140727946483840 140342723967248 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4950] ppid=4889 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4950/stat : 4950 (java) S 4889 4892 1500 0 -1 1077944384 5 12967 0 0 0 0 5 2 20 0 15 0 232832223 11246788608 21916 33554432000 4194304 4196468 140727946483840 140342612155248 140343186197122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4951] ppid=4889 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4951/stat : 4951 (java) S 4889 4892 1500 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 232832224 11246788608 21916 33554432000 4194304 4196468 140727946483840 140341962335776 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4952] ppid=4889 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4952/stat : 4952 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832224 11246788608 21916 33554432000 4194304 4196468 140727946483840 140341814486384 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4953] ppid=4889 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4953/stat : 4953 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11246788608 21916 33554432000 4194304 4196468 140727946483840 140341507086672 140343186204571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4954] ppid=4889 vsize=10983192 memory=13252 CPUtime=0.14 cores=1,3,5,7
/proc/4892/task/4954/stat : 4954 (java) S 4889 4892 1500 0 -1 1077944384 633 12967 0 0 7 0 5 2 20 0 15 0 232832227 11246788608 21916 33554432000 4194304 4196468 140727946483840 140342611102064 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4955] ppid=4889 vsize=10983192 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/4892/task/4955/stat : 4955 (java) S 4889 4892 1500 0 -1 1077944384 907 12967 0 0 9 0 5 2 20 0 15 0 232832227 11246788608 21916 33554432000 4194304 4196468 140727946483840 140342610049264 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4956] ppid=4889 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/4892/task/4956/stat : 4956 (java) S 4889 4892 1500 0 -1 1077944384 920 12967 0 0 13 0 5 2 20 0 15 0 232832227 11246788608 21916 33554432000 4194304 4196468 140727946483840 140342608996464 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4957] ppid=4889 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4957/stat : 4957 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11246788608 21916 33554432000 4194304 4196468 140727946483840 140341076289760 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4958] ppid=4889 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4958/stat : 4958 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832227 11246788608 21916 33554432000 4194304 4196468 140727946483840 140342607944880 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87664 KiB
[startup+1.50074 s]
/proc/loadavg: 1.94 1.92 1.87 3/221 4958
/proc/meminfo: memFree=13548072/32770624 swapFree=67108852/67108860
[pid=4892] ppid=4889 vsize=10996044 memory=174948 CPUtime=2.89 cores=1,3,5,7
/proc/4892/stat : 4892 (java) S 4889 4892 1500 0 -1 1077944320 25507 12967 0 0 270 12 5 2 20 0 15 0 232832212 11259949056 43737 33554432000 4194304 4196468 140727946483840 140727946466384 140343186185975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
/proc/4892/statm: 2749011 43737 3444 1 0 2710669 0
[pid=4892/tid=4945] ppid=4889 vsize=10996044 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/4892/task/4945/stat : 4945 (java) R 4889 4892 1500 0 -1 4202560 16948 12967 0 0 131 8 5 2 20 0 15 0 232832221 11259949056 43737 33554432000 4194304 4196468 140727946483840 140343157978824 140343170266462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4946] ppid=4889 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4946/stat : 4946 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11259949056 43737 33554432000 4194304 4196468 140727946483840 140343190428304 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4947] ppid=4889 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4947/stat : 4947 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11259949056 43737 33554432000 4194304 4196468 140727946483840 140343090915856 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4948] ppid=4889 vsize=10996044 memory=3683998604062831409 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4948/stat : 4948 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832222 11259949056 43737 33554432000 4194304 4196468 140727946483840 140342725020048 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4949] ppid=4889 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4949/stat : 4949 (java) S 4889 4892 1500 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 232832222 11259949056 43737 33554432000 4194304 4196468 140727946483840 140342723967248 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4950] ppid=4889 vsize=10996044 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4950/stat : 4950 (java) S 4889 4892 1500 0 -1 1077944384 15 12967 0 0 0 0 5 2 20 0 15 0 232832223 11259949056 43737 33554432000 4194304 4196468 140727946483840 140342612155248 140343186197122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4951] ppid=4889 vsize=10996044 memory=280803351275776 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4951/stat : 4951 (java) S 4889 4892 1500 0 -1 1077944384 13 12967 0 0 0 0 5 2 20 0 15 0 232832224 11259949056 43737 33554432000 4194304 4196468 140727946483840 140341962335776 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4952] ppid=4889 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4952/stat : 4952 (java) S 4889 4892 1500 0 -1 1077944384 1 12967 0 0 0 0 5 2 20 0 15 0 232832224 11259949056 43737 33554432000 4194304 4196468 140727946483840 140341814486384 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4953] ppid=4889 vsize=10996044 memory=1944 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4953/stat : 4953 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11259949056 43737 33554432000 4194304 4196468 140727946483840 140341507086672 140343186204571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4954] ppid=4889 vsize=10996044 memory=5772 CPUtime=0.55 cores=1,3,5,7
/proc/4892/task/4954/stat : 4954 (java) S 4889 4892 1500 0 -1 1077944384 2564 12967 0 0 47 1 5 2 20 0 15 0 232832227 11259949056 43737 33554432000 4194304 4196468 140727946483840 140342611102064 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4955] ppid=4889 vsize=10996044 memory=1444 CPUtime=0.62 cores=1,3,5,7
/proc/4892/task/4955/stat : 4955 (java) S 4889 4892 1500 0 -1 1077944384 1975 12967 0 0 53 2 5 2 20 0 15 0 232832227 11259949056 43737 33554432000 4194304 4196468 140727946483840 140342610049264 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4956] ppid=4889 vsize=10996044 memory=1160 CPUtime=0.45 cores=1,3,5,7
/proc/4892/task/4956/stat : 4956 (java) S 4889 4892 1500 0 -1 1077944384 1792 12967 0 0 38 0 5 2 20 0 15 0 232832227 11259949056 43737 33554432000 4194304 4196468 140727946483840 140342608996464 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4957] ppid=4889 vsize=10996044 memory=968 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4957/stat : 4957 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11259949056 43737 33554432000 4194304 4196468 140727946483840 140341076289760 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4958] ppid=4889 vsize=10996044 memory=12144 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4958/stat : 4958 (java) S 4889 4892 1500 0 -1 1077944384 2 12967 0 0 0 0 5 2 20 0 15 0 232832227 11259949056 43737 33554432000 4194304 4196468 140727946483840 140342607944880 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/4892/task/4945/stat : 4945 (java) R 4889 4892 1500 0 -1 4202560 82224 12967 0 0 237183 40 5 2 20 0 15 0 232832221 11345952768 182289 33554432000 4194304 4196468 140727946483840 140343158019984 140342772563056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4946] ppid=4889 vsize=11080032 memory=729156 CPUtime=4.95 cores=1,3,5,7
/proc/4892/task/4946/stat : 4946 (java) S 4889 4892 1500 0 -1 1077944384 8278 12967 0 0 460 28 5 2 20 0 15 0 232832222 11345952768 182289 33554432000 4194304 4196468 140727946483840 140343190428304 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4947] ppid=4889 vsize=11080032 memory=729156 CPUtime=4.97 cores=1,3,5,7
/proc/4892/task/4947/stat : 4947 (java) S 4889 4892 1500 0 -1 1077944384 10525 12967 0 0 461 29 5 2 20 0 15 0 232832222 11345952768 182289 33554432000 4194304 4196468 140727946483840 140343090915856 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4948] ppid=4889 vsize=11080032 memory=729156 CPUtime=4.91 cores=1,3,5,7
/proc/4892/task/4948/stat : 4948 (java) S 4889 4892 1500 0 -1 1077944384 7815 12967 0 0 456 28 5 2 20 0 15 0 232832222 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342725020048 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4949] ppid=4889 vsize=11080032 memory=729156 CPUtime=4.93 cores=1,3,5,7
/proc/4892/task/4949/stat : 4949 (java) S 4889 4892 1500 0 -1 1077944384 6718 12967 0 0 458 28 5 2 20 0 15 0 232832222 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342723967248 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4950] ppid=4889 vsize=11080032 memory=729156 CPUtime=4.23 cores=1,3,5,7
/proc/4892/task/4950/stat : 4950 (java) S 4889 4892 1500 0 -1 1077944384 10599 12967 0 0 391 25 5 2 20 0 15 0 232832223 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342612155248 140343186197122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4951] ppid=4889 vsize=11080032 memory=729156 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4951/stat : 4951 (java) S 4889 4892 1500 0 -1 1077944384 16 12967 0 0 0 0 5 2 20 0 15 0 232832224 11345952768 182289 33554432000 4194304 4196468 140727946483840 140341962335840 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4952] ppid=4889 vsize=11080032 memory=729156 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4952/stat : 4952 (java) S 4889 4892 1500 0 -1 1077944384 8 12967 0 0 0 0 5 2 20 0 15 0 232832224 11345952768 182289 33554432000 4194304 4196468 140727946483840 140341814486400 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4953] ppid=4889 vsize=11080032 memory=729156 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4953/stat : 4953 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140341507086672 140343186204571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4954] ppid=4889 vsize=11080032 memory=729156 CPUtime=5.31 cores=1,3,5,7
/proc/4892/task/4954/stat : 4954 (java) S 4889 4892 1500 0 -1 1077944384 26478 12967 0 0 519 5 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342611102064 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4955] ppid=4889 vsize=11080032 memory=729156 CPUtime=5.35 cores=1,3,5,7
/proc/4892/task/4955/stat : 4955 (java) S 4889 4892 1500 0 -1 1077944384 31577 12967 0 0 523 5 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342610049264 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4956] ppid=4889 vsize=11080032 memory=729156 CPUtime=2.06 cores=1,3,5,7
/proc/4892/task/4956/stat : 4956 (java) S 4889 4892 1500 0 -1 1077944384 24420 12967 0 0 194 5 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342608996464 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4957] ppid=4889 vsize=11080032 memory=3560 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4957/stat : 4957 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140341076289760 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4958] ppid=4889 vsize=11080032 memory=63288 CPUtime=1.39 cores=1,3,5,7
/proc/4892/task/4958/stat : 4958 (java) S 4889 4892 1500 0 -1 1077944384 1061 12967 0 0 60 72 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342607944880 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
Current children cumulated CPU time: 2409.9 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 729156 KiB
[startup+2442.3 s]
/proc/loadavg: 1.35 1.37 1.40 3/219 5314
/proc/meminfo: memFree=15437984/32770624 swapFree=67108852/67108860
[pid=4892] ppid=4889 vsize=11080032 memory=729156 CPUtime=2470.26 cores=1,3,5,7
/proc/4892/stat : 4892 (java) S 4889 4892 1500 0 -1 1077944320 212569 12967 0 0 246785 234 5 2 20 0 15 0 232832212 11345952768 182289 33554432000 4194304 4196468 140727946483840 140727946466384 140343186185975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
/proc/4892/statm: 2770008 182289 3526 1 0 2731661 0
[pid=4892/tid=4945] ppid=4889 vsize=11080032 memory=729156 CPUtime=2432.07 cores=1,3,5,7
/proc/4892/task/4945/stat : 4945 (java) R 4889 4892 1500 0 -1 4202560 82502 12967 0 0 243159 41 5 2 20 0 15 0 232832221 11345952768 182289 33554432000 4194304 4196468 140727946483840 140343158020864 140342771124794 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4946] ppid=4889 vsize=11080032 memory=729156 CPUtime=5.08 cores=1,3,5,7
/proc/4892/task/4946/stat : 4946 (java) S 4889 4892 1500 0 -1 1077944384 8306 12967 0 0 472 29 5 2 20 0 15 0 232832222 11345952768 182289 33554432000 4194304 4196468 140727946483840 140343190428304 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4947] ppid=4889 vsize=11080032 memory=729156 CPUtime=5.09 cores=1,3,5,7
/proc/4892/task/4947/stat : 4947 (java) S 4889 4892 1500 0 -1 1077944384 10830 12967 0 0 472 30 5 2 20 0 15 0 232832222 11345952768 182289 33554432000 4194304 4196468 140727946483840 140343090915856 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4948] ppid=4889 vsize=11080032 memory=729156 CPUtime=5.03 cores=1,3,5,7
/proc/4892/task/4948/stat : 4948 (java) S 4889 4892 1500 0 -1 1077944384 7824 12967 0 0 467 29 5 2 20 0 15 0 232832222 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342725020048 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4949] ppid=4889 vsize=11080032 memory=729156 CPUtime=5.05 cores=1,3,5,7
/proc/4892/task/4949/stat : 4949 (java) S 4889 4892 1500 0 -1 1077944384 6722 12967 0 0 469 29 5 2 20 0 15 0 232832222 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342723967248 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4950] ppid=4889 vsize=11080032 memory=729156 CPUtime=4.34 cores=1,3,5,7
/proc/4892/task/4950/stat : 4950 (java) S 4889 4892 1500 0 -1 1077944384 10625 12967 0 0 400 27 5 2 20 0 15 0 232832223 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342612155248 140343186197122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4951] ppid=4889 vsize=11080032 memory=729156 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4951/stat : 4951 (java) S 4889 4892 1500 0 -1 1077944384 16 12967 0 0 0 0 5 2 20 0 15 0 232832224 11345952768 182289 33554432000 4194304 4196468 140727946483840 140341962335840 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4952] ppid=4889 vsize=11080032 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4952/stat : 4952 (java) S 4889 4892 1500 0 -1 1077944384 8 12967 0 0 0 0 5 2 20 0 15 0 232832224 11345952768 182289 33554432000 4194304 4196468 140727946483840 140341814486400 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4953] ppid=4889 vsize=11080032 memory=729156 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4953/stat : 4953 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140341507086672 140343186204571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4954] ppid=4889 vsize=11080032 memory=729156 CPUtime=5.31 cores=1,3,5,7
/proc/4892/task/4954/stat : 4954 (java) S 4889 4892 1500 0 -1 1077944384 26478 12967 0 0 519 5 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342611102064 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4955] ppid=4889 vsize=11080032 memory=729156 CPUtime=5.35 cores=1,3,5,7
/proc/4892/task/4955/stat : 4955 (java) S 4889 4892 1500 0 -1 1077944384 31577 12967 0 0 523 5 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342610049264 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4956] ppid=4889 vsize=11080032 memory=729156 CPUtime=2.06 cores=1,3,5,7
/proc/4892/task/4956/stat : 4956 (java) S 4889 4892 1500 0 -1 1077944384 24420 12967 0 0 194 5 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342608996464 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4957] ppid=4889 vsize=11080032 memory=729156 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4957/stat : 4957 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140341076289760 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4958] ppid=4889 vsize=11080032 memory=729156 CPUtime=1.43 cores=1,3,5,7
/proc/4892/task/4958/stat : 4958 (java) S 4889 4892 1500 0 -1 1077944384 1065 12967 0 0 61 75 5 2 20 0 15 0 232832227 11345952768 182289 33554432000 4194304 4196468 140727946483840 140342607944880 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
Current children cumulated CPU time: 2470.26 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 729156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.7 s]
/proc/loadavg: 1.27 1.34 1.39 3/219 5314
/proc/meminfo: memFree=15443624/32770624 swapFree=67108852/67108860
[pid=4892] ppid=4889 vsize=11080032 memory=724536 CPUtime=2520.01 cores=1,3,5,7
/proc/4892/stat : 4892 (java) S 4889 4892 1500 0 -1 1077944320 213837 12967 0 0 251756 238 5 2 20 0 15 0 232832212 11345952768 181134 33554432000 4194304 4196468 140727946483840 140727946466384 140343186185975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
/proc/4892/statm: 2770008 181134 3526 1 0 2731661 0
[pid=4892/tid=4945] ppid=4889 vsize=11080032 memory=724536 CPUtime=2481.25 cores=1,3,5,7
/proc/4892/task/4945/stat : 4945 (java) S 4889 4892 1500 0 -1 1077944384 83188 12967 0 0 248077 41 5 2 20 0 15 0 232832221 11345952768 181134 33554432000 4194304 4196468 140727946483840 140343158020736 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4946] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.19 cores=1,3,5,7
/proc/4892/task/4946/stat : 4946 (java) S 4889 4892 1500 0 -1 1077944384 8403 12967 0 0 483 29 5 2 20 0 15 0 232832222 11345952768 181134 33554432000 4194304 4196468 140727946483840 140343190428304 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4947] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.2 cores=1,3,5,7
/proc/4892/task/4947/stat : 4947 (java) S 4889 4892 1500 0 -1 1077944384 10909 12967 0 0 482 31 5 2 20 0 15 0 232832222 11345952768 181134 33554432000 4194304 4196468 140727946483840 140343090915856 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4948] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.14 cores=1,3,5,7
/proc/4892/task/4948/stat : 4948 (java) S 4889 4892 1500 0 -1 1077944384 7955 12967 0 0 478 29 5 2 20 0 15 0 232832222 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342725020048 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4949] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.16 cores=1,3,5,7
/proc/4892/task/4949/stat : 4949 (java) S 4889 4892 1500 0 -1 1077944384 6791 12967 0 0 480 29 5 2 20 0 15 0 232832222 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342723967248 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4950] ppid=4889 vsize=11080032 memory=724536 CPUtime=4.43 cores=1,3,5,7
/proc/4892/task/4950/stat : 4950 (java) R 4889 4892 1500 0 -1 4202560 10809 12967 0 0 409 27 5 2 20 0 15 0 232832223 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342612153760 140343186207322 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4951] ppid=4889 vsize=11080032 memory=724536 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4951/stat : 4951 (java) S 4889 4892 1500 0 -1 1077944384 16 12967 0 0 0 0 5 2 20 0 15 0 232832224 11345952768 181134 33554432000 4194304 4196468 140727946483840 140341962335840 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4952] ppid=4889 vsize=11080032 memory=724536 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4952/stat : 4952 (java) S 4889 4892 1500 0 -1 1077944384 8 12967 0 0 0 0 5 2 20 0 15 0 232832224 11345952768 181134 33554432000 4194304 4196468 140727946483840 140341814486400 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4953] ppid=4889 vsize=11080032 memory=724536 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4953/stat : 4953 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140341507086672 140343186204571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4954] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.31 cores=1,3,5,7
/proc/4892/task/4954/stat : 4954 (java) S 4889 4892 1500 0 -1 1077944384 26480 12967 0 0 519 5 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342611102064 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4955] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.35 cores=1,3,5,7
/proc/4892/task/4955/stat : 4955 (java) S 4889 4892 1500 0 -1 1077944384 31579 12967 0 0 523 5 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342610049264 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4956] ppid=4889 vsize=11080032 memory=724536 CPUtime=2.07 cores=1,3,5,7
/proc/4892/task/4956/stat : 4956 (java) S 4889 4892 1500 0 -1 1077944384 24422 12967 0 0 195 5 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342608996464 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4957] ppid=4889 vsize=11080032 memory=126 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4957/stat : 4957 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140341076289760 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4958] ppid=4889 vsize=11080032 memory=724536 CPUtime=1.46 cores=1,3,5,7
/proc/4892/task/4958/stat : 4958 (java) S 4889 4892 1500 0 -1 1077944384 1081 12967 0 0 63 76 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342607944880 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 724536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.73 s]
# the end of solver process 4892 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.64 s, system=2.41794 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2491.7 s]
/proc/loadavg: 1.27 1.34 1.39 3/219 5314
/proc/meminfo: memFree=15443624/32770624 swapFree=67108852/67108860
[pid=4892] ppid=4889 vsize=11080032 memory=724536 CPUtime=2520.01 cores=1,3,5,7
/proc/4892/stat : 4892 (java) S 4889 4892 1500 0 -1 1077944320 213837 12967 0 0 251756 238 5 2 20 0 15 0 232832212 11345952768 181134 33554432000 4194304 4196468 140727946483840 140727946466384 140343186185975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
/proc/4892/statm: 2770008 181134 3526 1 0 2731661 0
[pid=4892/tid=4945] ppid=4889 vsize=11080032 memory=724536 CPUtime=2481.25 cores=1,3,5,7
/proc/4892/task/4945/stat : 4945 (java) S 4889 4892 1500 0 -1 1077944384 83188 12967 0 0 248077 41 5 2 20 0 15 0 232832221 11345952768 181134 33554432000 4194304 4196468 140727946483840 140343158020736 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4946] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.19 cores=1,3,5,7
/proc/4892/task/4946/stat : 4946 (java) S 4889 4892 1500 0 -1 1077944384 8403 12967 0 0 483 29 5 2 20 0 15 0 232832222 11345952768 181134 33554432000 4194304 4196468 140727946483840 140343190428304 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4947] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.2 cores=1,3,5,7
/proc/4892/task/4947/stat : 4947 (java) S 4889 4892 1500 0 -1 1077944384 10909 12967 0 0 482 31 5 2 20 0 15 0 232832222 11345952768 181134 33554432000 4194304 4196468 140727946483840 140343090915856 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4948] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.14 cores=1,3,5,7
/proc/4892/task/4948/stat : 4948 (java) S 4889 4892 1500 0 -1 1077944384 7955 12967 0 0 478 29 5 2 20 0 15 0 232832222 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342725020048 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4949] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.16 cores=1,3,5,7
/proc/4892/task/4949/stat : 4949 (java) S 4889 4892 1500 0 -1 1077944384 6791 12967 0 0 480 29 5 2 20 0 15 0 232832222 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342723967248 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4950] ppid=4889 vsize=11080032 memory=724536 CPUtime=4.43 cores=1,3,5,7
/proc/4892/task/4950/stat : 4950 (java) R 4889 4892 1500 0 -1 4202560 10809 12967 0 0 409 27 5 2 20 0 15 0 232832223 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342612153760 140343186207322 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4951] ppid=4889 vsize=11080032 memory=724536 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4951/stat : 4951 (java) S 4889 4892 1500 0 -1 1077944384 16 12967 0 0 0 0 5 2 20 0 15 0 232832224 11345952768 181134 33554432000 4194304 4196468 140727946483840 140341962335840 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4952] ppid=4889 vsize=11080032 memory=724536 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4952/stat : 4952 (java) S 4889 4892 1500 0 -1 1077944384 8 12967 0 0 0 0 5 2 20 0 15 0 232832224 11345952768 181134 33554432000 4194304 4196468 140727946483840 140341814486400 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4953] ppid=4889 vsize=11080032 memory=724536 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4953/stat : 4953 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140341507086672 140343186204571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4954] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.31 cores=1,3,5,7
/proc/4892/task/4954/stat : 4954 (java) S 4889 4892 1500 0 -1 1077944384 26480 12967 0 0 519 5 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342611102064 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4955] ppid=4889 vsize=11080032 memory=724536 CPUtime=5.35 cores=1,3,5,7
/proc/4892/task/4955/stat : 4955 (java) S 4889 4892 1500 0 -1 1077944384 31579 12967 0 0 523 5 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342610049264 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4956] ppid=4889 vsize=11080032 memory=724536 CPUtime=2.07 cores=1,3,5,7
/proc/4892/task/4956/stat : 4956 (java) S 4889 4892 1500 0 -1 1077944384 24422 12967 0 0 195 5 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342608996464 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4957] ppid=4889 vsize=11080032 memory=126 CPUtime=0.07 cores=1,3,5,7
/proc/4892/task/4957/stat : 4957 (java) S 4889 4892 1500 0 -1 1077944384 3 12967 0 0 0 0 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140341076289760 140343186196181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
[pid=4892/tid=4958] ppid=4889 vsize=11080032 memory=724536 CPUtime=1.46 cores=1,3,5,7
/proc/4892/task/4958/stat : 4958 (java) S 4889 4892 1500 0 -1 1077944384 1081 12967 0 0 63 76 5 2 20 0 15 0 232832227 11345952768 181134 33554432000 4194304 4196468 140727946483840 140342607944880 140343186197122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140727946488420 140727946491228 140727946491228 140727946493903 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 724536 KiB
Child status: 143
Real time (s): 2491.73
CPU time (s): 2520.06
CPU user time (s): 2517.64
CPU system time (s): 2.41794
CPU usage (%): 101.137
Max. virtual memory (cumulated for all children) (KiB): 11081648
Max. memory (cumulated for all children) (KiB): 1008696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.64
system time used= 2.41795
maximum resident set size= 1012812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147790
involuntary context switches= 4226
# summary of solver processes directly reported to runsolver:
# pid: 4892
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.64
# total CPU system time (s): 2.41794
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1704 second user time and 22.5103 second system time
The end