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 (6271 MiB free)
memory of node 1: 16384 MiB (10440 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304676-1534126596/watcher-4304676-1534126596 -o /tmp/evaluation-result-4304676-1534126596/solver-4304676-1534126596 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534095874-7007 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1075436807 -superng HOME/instance-4304676-1534126596.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=13750, runsolver pid=13747
[startup+0.10009 s]*
/proc/loadavg: 1.50 1.44 1.51 3/209 13807
/proc/meminfo: memFree=17104152/32770624 swapFree=67108860/67108860
[pid=13750] ppid=13747 vsize=10005480 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/13750/stat : 13750 (java) S 13747 13750 6975 0 -1 1077944320 4452 12887 0 0 1 1 5 2 20 0 6 0 230222805 10245611520 4269 33554432000 4194304 4196468 140729615903904 140729615886448 140487035346679 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
/proc/13750/statm: 2501370 4269 1934 1 0 2489808 0
[pid=13750/tid=13803] ppid=13747 vsize=10010620 memory=4279135704013962638 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13803/stat : 13803 (java) R 13747 13750 6975 0 -1 4202560 2281 12887 0 0 0 0 5 2 20 0 6 0 230222814 10250874880 4335 33554432000 4194304 4196468 140729615903904 140487007183440 140487027584478 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13804] ppid=13747 vsize=10016420 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13804/stat : 13804 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 6 0 230222815 10256814080 4335 33554432000 4194304 4196468 140729615903904 140487039588752 140487035356885 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13805] ppid=13747 vsize=10021560 memory=140401172678272 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13805/stat : 13805 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 6 0 230222815 10262077440 4335 33554432000 4194304 4196468 140729615903904 140486904924432 140487035356885 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13806] ppid=13747 vsize=10021560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13806/stat : 13806 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 6 0 230222815 10262077440 4335 33554432000 4194304 4196468 140729615903904 140486574467728 140487035356885 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13807] ppid=13747 vsize=10021560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13807/stat : 13807 (java) S 13747 13750 6975 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 6 0 230222815 10262077440 4335 33554432000 4194304 4196468 140729615903904 140486573414928 140487035356885 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209924 s]*
/proc/loadavg: 1.50 1.44 1.51 2/218 13816
/proc/meminfo: memFree=17080032/32770624 swapFree=67108860/67108860
[pid=13750] ppid=13747 vsize=10982696 memory=44420 CPUtime=0.25 cores=1,3,5,7
/proc/13750/stat : 13750 (java) S 13747 13750 6975 0 -1 1077944320 8496 12887 0 0 15 3 5 2 20 0 15 0 230222805 11246280704 11105 33554432000 4194304 4196468 140729615903904 140729615886448 140487035346679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
/proc/13750/statm: 2745674 11105 2942 1 0 2708109 0
[pid=13750/tid=13803] ppid=13747 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/13750/task/13803/stat : 13803 (java) R 13747 13750 6975 0 -1 4202560 5033 12887 0 0 9 2 5 2 20 0 15 0 230222814 11246280704 11105 33554432000 4194304 4196468 140729615903904 140487007144336 140487016910208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13804] ppid=13747 vsize=10982696 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13804/stat : 13804 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246280704 11105 33554432000 4194304 4196468 140729615903904 140487039588752 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13805] ppid=13747 vsize=10982696 memory=140401172692275 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13805/stat : 13805 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246280704 11105 33554432000 4194304 4196468 140729615903904 140486904924432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13806] ppid=13747 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13806/stat : 13806 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246280704 11105 33554432000 4194304 4196468 140729615903904 140486574467728 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13807] ppid=13747 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13807/stat : 13807 (java) S 13747 13750 6975 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246280704 11105 33554432000 4194304 4196468 140729615903904 140486573414928 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13808] ppid=13747 vsize=10982696 memory=140401172678272 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13808/stat : 13808 (java) S 13747 13750 6975 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 230222816 11246280704 11105 33554432000 4194304 4196468 140729615903904 140486003931760 140487035357826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13809] ppid=13747 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13809/stat : 13809 (java) S 13747 13750 6975 0 -1 1077944384 13 12887 0 0 0 0 5 2 20 0 15 0 230222816 11246280704 11105 33554432000 4194304 4196468 140729615903904 140485897217312 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13810] ppid=13747 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13810/stat : 13810 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222817 11246280704 11105 33554432000 4194304 4196468 140729615903904 140485695891056 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13811] ppid=13747 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13811/stat : 13811 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222819 11246280704 11105 33554432000 4194304 4196468 140729615903904 140485388491344 140487035365275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13812] ppid=13747 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13812/stat : 13812 (java) S 13747 13750 6975 0 -1 1077944384 421 12887 0 0 0 0 5 2 20 0 15 0 230222819 11246280704 11105 33554432000 4194304 4196468 140729615903904 140486002878576 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13813] ppid=13747 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13750/task/13813/stat : 13813 (java) S 13747 13750 6975 0 -1 1077944384 187 12887 0 0 1 0 5 2 20 0 15 0 230222819 11246280704 11105 33554432000 4194304 4196468 140729615903904 140486001825776 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13814] ppid=13747 vsize=10982696 memory=140401172678272 CPUtime=0.1 cores=1,3,5,7
/proc/13750/task/13814/stat : 13814 (java) S 13747 13750 6975 0 -1 1077944384 630 12887 0 0 3 0 5 2 20 0 15 0 230222819 11246280704 11105 33554432000 4194304 4196468 140729615903904 140486000773488 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13815] ppid=13747 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13815/stat : 13815 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222820 11246280704 11105 33554432000 4194304 4196468 140729615903904 140484957694432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13816] ppid=13747 vsize=10982696 memory=140401172678272 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13816/stat : 13816 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222820 11246280704 11105 33554432000 4194304 4196468 140729615903904 140485999721392 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44420 KiB
[startup+0.31059 s]*
/proc/loadavg: 1.50 1.44 1.51 3/218 13816
/proc/meminfo: memFree=17071968/32770624 swapFree=67108860/67108860
[pid=13750] ppid=13747 vsize=10983192 memory=55764 CPUtime=0.38 cores=1,3,5,7
/proc/13750/stat : 13750 (java) S 13747 13750 6975 0 -1 1077944320 10518 12887 0 0 27 4 5 2 20 0 15 0 230222805 11246788608 13941 33554432000 4194304 4196468 140729615903904 140729615886448 140487035346679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
/proc/13750/statm: 2745798 13941 3074 1 0 2708109 0
[pid=13750/tid=13803] ppid=13747 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/13750/task/13803/stat : 13803 (java) R 13747 13750 6975 0 -1 4202560 7048 12887 0 0 18 3 5 2 20 0 15 0 230222814 11246788608 13941 33554432000 4194304 4196468 140729615903904 140487007158688 140487035368605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13804] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13804/stat : 13804 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246788608 13941 33554432000 4194304 4196468 140729615903904 140487039588752 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13805] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13805/stat : 13805 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246788608 13941 33554432000 4194304 4196468 140729615903904 140486904924432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13806] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13806/stat : 13806 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246788608 13941 33554432000 4194304 4196468 140729615903904 140486574467728 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13807] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13807/stat : 13807 (java) S 13747 13750 6975 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246788608 13941 33554432000 4194304 4196468 140729615903904 140486573414928 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13808] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13808/stat : 13808 (java) S 13747 13750 6975 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 230222816 11246788608 13941 33554432000 4194304 4196468 140729615903904 140486003931760 140487035357826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13809] ppid=13747 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13809/stat : 13809 (java) S 13747 13750 6975 0 -1 1077944384 13 12887 0 0 0 0 5 2 20 0 15 0 230222816 11246788608 13941 33554432000 4194304 4196468 140729615903904 140485897217312 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13810] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13810/stat : 13810 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222817 11246788608 13941 33554432000 4194304 4196468 140729615903904 140485695891056 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13811] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13811/stat : 13811 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222819 11246788608 13941 33554432000 4194304 4196468 140729615903904 140485388491344 140487035365275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13812] ppid=13747 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13750/task/13812/stat : 13812 (java) S 13747 13750 6975 0 -1 1077944384 423 12887 0 0 1 0 5 2 20 0 15 0 230222819 11246788608 13941 33554432000 4194304 4196468 140729615903904 140486002878576 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13813] ppid=13747 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13750/task/13813/stat : 13813 (java) S 13747 13750 6975 0 -1 1077944384 187 12887 0 0 1 0 5 2 20 0 15 0 230222819 11246788608 13941 33554432000 4194304 4196468 140729615903904 140486001825776 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13814] ppid=13747 vsize=10983192 memory=140401172678272 CPUtime=0.11 cores=1,3,5,7
/proc/13750/task/13814/stat : 13814 (java) S 13747 13750 6975 0 -1 1077944384 635 12887 0 0 4 0 5 2 20 0 15 0 230222819 11246788608 13941 33554432000 4194304 4196468 140729615903904 140486000773488 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13815] ppid=13747 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13815/stat : 13815 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222820 11246788608 13941 33554432000 4194304 4196468 140729615903904 140484957694432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13816] ppid=13747 vsize=10983192 memory=140401172678272 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13816/stat : 13816 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222820 11246788608 13941 33554432000 4194304 4196468 140729615903904 140485999721392 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55764 KiB
[startup+0.700786 s]
/proc/loadavg: 1.50 1.44 1.51 3/218 13816
/proc/meminfo: memFree=17060184/32770624 swapFree=67108860/67108860
[pid=13750] ppid=13747 vsize=10983192 memory=88884 CPUtime=0.99 cores=1,3,5,7
/proc/13750/stat : 13750 (java) S 13747 13750 6975 0 -1 1077944320 16835 12887 0 0 86 6 5 2 20 0 15 0 230222805 11246788608 22221 33554432000 4194304 4196468 140729615903904 140729615886448 140487035346679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
/proc/13750/statm: 2745798 22221 3241 1 0 2708109 0
[pid=13750/tid=13803] ppid=13747 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/13750/task/13803/stat : 13803 (java) R 13747 13750 6975 0 -1 4202560 12412 12887 0 0 55 4 5 2 20 0 15 0 230222814 11246788608 22221 33554432000 4194304 4196468 140729615903904 140487007167504 140487018533488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13804] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13804/stat : 13804 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246788608 22221 33554432000 4194304 4196468 140729615903904 140487039588752 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13805] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13805/stat : 13805 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246788608 22221 33554432000 4194304 4196468 140729615903904 140486904924432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13806] ppid=13747 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13806/stat : 13806 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246788608 22221 33554432000 4194304 4196468 140729615903904 140486574467728 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13807] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13807/stat : 13807 (java) S 13747 13750 6975 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 230222815 11246788608 22221 33554432000 4194304 4196468 140729615903904 140486573414928 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13808] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13808/stat : 13808 (java) S 13747 13750 6975 0 -1 1077944384 5 12887 0 0 0 0 5 2 20 0 15 0 230222816 11246788608 22221 33554432000 4194304 4196468 140729615903904 140486003931760 140487035357826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13809] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13809/stat : 13809 (java) S 13747 13750 6975 0 -1 1077944384 13 12887 0 0 0 0 5 2 20 0 15 0 230222816 11246788608 22221 33554432000 4194304 4196468 140729615903904 140485897217312 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13810] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13810/stat : 13810 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222817 11246788608 22221 33554432000 4194304 4196468 140729615903904 140485695891056 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13811] ppid=13747 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13811/stat : 13811 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222819 11246788608 22221 33554432000 4194304 4196468 140729615903904 140485388491344 140487035365275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13812] ppid=13747 vsize=10983192 memory=140401071662064 CPUtime=0.17 cores=1,3,5,7
/proc/13750/task/13812/stat : 13812 (java) S 13747 13750 6975 0 -1 1077944384 1083 12887 0 0 10 0 5 2 20 0 15 0 230222819 11246788608 22221 33554432000 4194304 4196468 140729615903904 140486002878576 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13813] ppid=13747 vsize=10983192 memory=140402480906853 CPUtime=0.13 cores=1,3,5,7
/proc/13750/task/13813/stat : 13813 (java) S 13747 13750 6975 0 -1 1077944384 408 12887 0 0 6 0 5 2 20 0 15 0 230222819 11246788608 22221 33554432000 4194304 4196468 140729615903904 140486001825776 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13814] ppid=13747 vsize=10983192 memory=14888 CPUtime=0.19 cores=1,3,5,7
/proc/13750/task/13814/stat : 13814 (java) S 13747 13750 6975 0 -1 1077944384 704 12887 0 0 12 0 5 2 20 0 15 0 230222819 11246788608 22221 33554432000 4194304 4196468 140729615903904 140486000773488 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13815] ppid=13747 vsize=10983192 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13815/stat : 13815 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222820 11246788608 22221 33554432000 4194304 4196468 140729615903904 140484957694432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13816] ppid=13747 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13816/stat : 13816 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222820 11246788608 22221 33554432000 4194304 4196468 140729615903904 140485999721392 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88884 KiB
[startup+1.50078 s]
/proc/loadavg: 1.50 1.44 1.51 3/218 13816
/proc/meminfo: memFree=17013728/32770624 swapFree=67108860/67108860
[pid=13750] ppid=13747 vsize=10998092 memory=179476 CPUtime=2.22 cores=1,3,5,7
/proc/13750/stat : 13750 (java) S 13747 13750 6975 0 -1 1077944320 23980 12887 0 0 204 11 5 2 20 0 15 0 230222805 11262046208 44869 33554432000 4194304 4196468 140729615903904 140729615886448 140487035346679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
/proc/13750/statm: 2749523 44869 3469 1 0 2711181 0
[pid=13750/tid=13803] ppid=13747 vsize=10998092 memory=3303 CPUtime=1.42 cores=1,3,5,7
/proc/13750/task/13803/stat : 13803 (java) R 13747 13750 6975 0 -1 4202560 18087 12887 0 0 128 7 5 2 20 0 15 0 230222814 11262046208 44869 33554432000 4194304 4196468 140729615903904 140487007163536 140487019427196 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13804] ppid=13747 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/13750/task/13804/stat : 13804 (java) S 13747 13750 6975 0 -1 1077944384 44 12887 0 0 1 0 5 2 20 0 15 0 230222815 11262046208 44869 33554432000 4194304 4196468 140729615903904 140487039588752 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13805] ppid=13747 vsize=10998092 memory=1404 CPUtime=0.08 cores=1,3,5,7
/proc/13750/task/13805/stat : 13805 (java) S 13747 13750 6975 0 -1 1077944384 10 12887 0 0 1 0 5 2 20 0 15 0 230222815 11262046208 44869 33554432000 4194304 4196468 140729615903904 140486904924432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13806] ppid=13747 vsize=10998092 memory=3160 CPUtime=0.08 cores=1,3,5,7
/proc/13750/task/13806/stat : 13806 (java) S 13747 13750 6975 0 -1 1077944384 284 12887 0 0 1 0 5 2 20 0 15 0 230222815 11262046208 44869 33554432000 4194304 4196468 140729615903904 140486574467728 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13807] ppid=13747 vsize=10998092 memory=88884 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13807/stat : 13807 (java) S 13747 13750 6975 0 -1 1077944384 95 12887 0 0 0 0 5 2 20 0 15 0 230222815 11262046208 44869 33554432000 4194304 4196468 140729615903904 140486573414928 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13808] ppid=13747 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13750/task/13808/stat : 13808 (java) S 13747 13750 6975 0 -1 1077944384 53 12887 0 0 1 0 5 2 20 0 15 0 230222816 11262046208 44869 33554432000 4194304 4196468 140729615903904 140486003931760 140487035357826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13809] ppid=13747 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13809/stat : 13809 (java) S 13747 13750 6975 0 -1 1077944384 13 12887 0 0 0 0 5 2 20 0 15 0 230222816 11262046208 44869 33554432000 4194304 4196468 140729615903904 140485897217376 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13810] ppid=13747 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13810/stat : 13810 (java) S 13747 13750 6975 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 230222817 11262046208 44869 33554432000 4194304 4196468 140729615903904 140485695891072 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13811] ppid=13747 vsize=10998092 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13811/stat : 13811 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222819 11262046208 44869 33554432000 4194304 4196468 140729615903904 140485388491344 140487035365275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13812] ppid=13747 vsize=10998092 memory=6944656592455359580 CPUtime=0.29 cores=1,3,5,7
/proc/13750/task/13812/stat : 13812 (java) S 13747 13750 6975 0 -1 1077944384 1542 12887 0 0 22 0 5 2 20 0 15 0 230222819 11262046208 44869 33554432000 4194304 4196468 140729615903904 140486002878576 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13813] ppid=13747 vsize=10998092 memory=4206186544037388384 CPUtime=0.25 cores=1,3,5,7
/proc/13750/task/13813/stat : 13813 (java) S 13747 13750 6975 0 -1 1077944384 544 12887 0 0 18 0 5 2 20 0 15 0 230222819 11262046208 44869 33554432000 4194304 4196468 140729615903904 140486001825776 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13814] ppid=13747 vsize=10998092 memory=9023629670928638048 CPUtime=0.36 cores=1,3,5,7
/proc/13750/task/13814/stat : 13814 (java) R 13747 13750 6975 0 -1 1077944384 1102 12887 0 0 28 1 5 2 20 0 15 0 230222819 11262046208 44869 33554432000 4194304 4196468 140729615903904 140486000773488 140487035357826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13815] ppid=13747 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13815/stat : 13815 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222820 11262046208 44869 33554432000 4194304 4196468 140729615903904 140484957694432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13816] ppid=13747 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13816/stat : 13816 (java) S 13747 13750 6975 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 230222820 11262046208 44869 33554432000 4194304 4196468 140729615903904 140485999721392 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/13750/task/13803/stat : 13803 (java) R 13747 13750 6975 0 -1 4202560 79289 12887 0 0 235769 48 5 2 20 0 15 0 230222814 11343855616 183877 33554432000 4194304 4196468 140729615903904 140487007182080 140486596870553 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13804] ppid=13747 vsize=11077984 memory=735508 CPUtime=9.9 cores=1,3,5,7
/proc/13750/task/13804/stat : 13804 (java) S 13747 13750 6975 0 -1 1077944384 6188 12887 0 0 936 47 5 2 20 0 15 0 230222815 11343855616 183877 33554432000 4194304 4196468 140729615903904 140487039588752 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13805] ppid=13747 vsize=11077984 memory=735508 CPUtime=9.89 cores=1,3,5,7
/proc/13750/task/13805/stat : 13805 (java) S 13747 13750 6975 0 -1 1077944384 8375 12887 0 0 933 49 5 2 20 0 15 0 230222815 11343855616 183877 33554432000 4194304 4196468 140729615903904 140486904924432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13806] ppid=13747 vsize=11077984 memory=735508 CPUtime=9.84 cores=1,3,5,7
/proc/13750/task/13806/stat : 13806 (java) S 13747 13750 6975 0 -1 1077944384 12206 12887 0 0 928 49 5 2 20 0 15 0 230222815 11343855616 183877 33554432000 4194304 4196468 140729615903904 140486574467728 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13807] ppid=13747 vsize=11077984 memory=735508 CPUtime=9.87 cores=1,3,5,7
/proc/13750/task/13807/stat : 13807 (java) S 13747 13750 6975 0 -1 1077944384 12402 12887 0 0 932 48 5 2 20 0 15 0 230222815 11343855616 183877 33554432000 4194304 4196468 140729615903904 140486573414928 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13808] ppid=13747 vsize=11077984 memory=735508 CPUtime=10.11 cores=1,3,5,7
/proc/13750/task/13808/stat : 13808 (java) S 13747 13750 6975 0 -1 1077944384 10942 12887 0 0 953 51 5 2 20 0 15 0 230222816 11343855616 183877 33554432000 4194304 4196468 140729615903904 140486003931760 140487035357826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13809] ppid=13747 vsize=11077984 memory=735508 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13809/stat : 13809 (java) S 13747 13750 6975 0 -1 1077944384 14 12887 0 0 0 0 5 2 20 0 15 0 230222816 11343855616 183877 33554432000 4194304 4196468 140729615903904 140485897217376 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13810] ppid=13747 vsize=11077984 memory=735508 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13810/stat : 13810 (java) S 13747 13750 6975 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 230222817 11343855616 183877 33554432000 4194304 4196468 140729615903904 140485695891072 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13811] ppid=13747 vsize=11077984 memory=735508 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13811/stat : 13811 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222819 11343855616 183877 33554432000 4194304 4196468 140729615903904 140485388491344 140487035365275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13812] ppid=13747 vsize=11077984 memory=4132 CPUtime=6.5 cores=1,3,5,7
/proc/13750/task/13812/stat : 13812 (java) S 13747 13750 6975 0 -1 1077944384 20866 12887 0 0 638 5 5 2 20 0 15 0 230222819 11343855616 183877 33554432000 4194304 4196468 140729615903904 140486002878576 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13813] ppid=13747 vsize=11077984 memory=62656 CPUtime=6.55 cores=1,3,5,7
/proc/13750/task/13813/stat : 13813 (java) S 13747 13750 6975 0 -1 1077944384 21143 12887 0 0 644 4 5 2 20 0 15 0 230222819 11343855616 183877 33554432000 4194304 4196468 140729615903904 140486001825776 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13814] ppid=13747 vsize=11077984 memory=735508 CPUtime=3.14 cores=1,3,5,7
/proc/13750/task/13814/stat : 13814 (java) S 13747 13750 6975 0 -1 1077944384 22459 12887 0 0 300 7 5 2 20 0 15 0 230222819 11343855616 183877 33554432000 4194304 4196468 140729615903904 140486000773488 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13815] ppid=13747 vsize=11077984 memory=62656 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13815/stat : 13815 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222820 11343855616 183877 33554432000 4194304 4196468 140729615903904 140484957694432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13816] ppid=13747 vsize=11077984 memory=3332 CPUtime=1.43 cores=1,3,5,7
/proc/13750/task/13816/stat : 13816 (java) S 13747 13750 6975 0 -1 1077944384 1991 12887 0 0 60 76 5 2 20 0 15 0 230222820 11343855616 183877 33554432000 4194304 4196468 140729615903904 140485999721392 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
Current children cumulated CPU time: 2424.95 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 735508 KiB
[startup+2442.3 s]
/proc/loadavg: 0.53 0.96 1.23 2/197 13940
/proc/meminfo: memFree=17055860/32770624 swapFree=67108860/67108860
[pid=13750] ppid=13747 vsize=11077984 memory=735608 CPUtime=2485.68 cores=1,3,5,7
/proc/13750/stat : 13750 (java) S 13747 13750 6975 0 -1 1077944320 198859 12887 0 0 248229 332 5 2 20 0 15 0 230222805 11343855616 183902 33554432000 4194304 4196468 140729615903904 140729615886448 140487035346679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
/proc/13750/statm: 2769496 183902 3521 1 0 2731149 0
[pid=13750/tid=13803] ppid=13747 vsize=11077984 memory=735608 CPUtime=2417.67 cores=1,3,5,7
/proc/13750/task/13803/stat : 13803 (java) R 13747 13750 6975 0 -1 4202560 79734 12887 0 0 241711 49 5 2 20 0 15 0 230222814 11343855616 183902 33554432000 4194304 4196468 140729615903904 140487007182192 140486597672057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13804] ppid=13747 vsize=11077984 memory=735540 CPUtime=10.16 cores=1,3,5,7
/proc/13750/task/13804/stat : 13804 (java) S 13747 13750 6975 0 -1 1077944384 6199 12887 0 0 960 49 5 2 20 0 15 0 230222815 11343855616 183902 33554432000 4194304 4196468 140729615903904 140487039588752 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13805] ppid=13747 vsize=11077984 memory=735540 CPUtime=10.14 cores=1,3,5,7
/proc/13750/task/13805/stat : 13805 (java) S 13747 13750 6975 0 -1 1077944384 8387 12887 0 0 957 50 5 2 20 0 15 0 230222815 11343855616 183902 33554432000 4194304 4196468 140729615903904 140486904924432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13806] ppid=13747 vsize=11077984 memory=735540 CPUtime=10.09 cores=1,3,5,7
/proc/13750/task/13806/stat : 13806 (java) S 13747 13750 6975 0 -1 1077944384 12499 12887 0 0 951 51 5 2 20 0 15 0 230222815 11343855616 183902 33554432000 4194304 4196468 140729615903904 140486574467728 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13807] ppid=13747 vsize=11077984 memory=735540 CPUtime=10.13 cores=1,3,5,7
/proc/13750/task/13807/stat : 13807 (java) S 13747 13750 6975 0 -1 1077944384 12403 12887 0 0 957 49 5 2 20 0 15 0 230222815 11343855616 183902 33554432000 4194304 4196468 140729615903904 140486573414928 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13808] ppid=13747 vsize=11077984 memory=735540 CPUtime=10.37 cores=1,3,5,7
/proc/13750/task/13808/stat : 13808 (java) S 13747 13750 6975 0 -1 1077944384 10955 12887 0 0 978 52 5 2 20 0 15 0 230222816 11343855616 183902 33554432000 4194304 4196468 140729615903904 140486003931760 140487035357826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13809] ppid=13747 vsize=11077984 memory=735608 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13809/stat : 13809 (java) S 13747 13750 6975 0 -1 1077944384 14 12887 0 0 0 0 5 2 20 0 15 0 230222816 11343855616 183902 33554432000 4194304 4196468 140729615903904 140485897217376 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13810] ppid=13747 vsize=11077984 memory=735608 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13810/stat : 13810 (java) S 13747 13750 6975 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 230222817 11343855616 183902 33554432000 4194304 4196468 140729615903904 140485695891072 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13811] ppid=13747 vsize=11077984 memory=735608 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13811/stat : 13811 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222819 11343855616 183902 33554432000 4194304 4196468 140729615903904 140485388491344 140487035365275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13812] ppid=13747 vsize=11077984 memory=735608 CPUtime=6.5 cores=1,3,5,7
/proc/13750/task/13812/stat : 13812 (java) S 13747 13750 6975 0 -1 1077944384 20866 12887 0 0 638 5 5 2 20 0 15 0 230222819 11343855616 183902 33554432000 4194304 4196468 140729615903904 140486002878576 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13813] ppid=13747 vsize=11077984 memory=735608 CPUtime=6.55 cores=1,3,5,7
/proc/13750/task/13813/stat : 13813 (java) S 13747 13750 6975 0 -1 1077944384 21143 12887 0 0 644 4 5 2 20 0 15 0 230222819 11343855616 183902 33554432000 4194304 4196468 140729615903904 140486001825776 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13814] ppid=13747 vsize=11077984 memory=4132 CPUtime=3.14 cores=1,3,5,7
/proc/13750/task/13814/stat : 13814 (java) S 13747 13750 6975 0 -1 1077944384 22459 12887 0 0 300 7 5 2 20 0 15 0 230222819 11343855616 183902 33554432000 4194304 4196468 140729615903904 140486000773488 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13815] ppid=13747 vsize=11077984 memory=62656 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13815/stat : 13815 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222820 11343855616 183902 33554432000 4194304 4196468 140729615903904 140484957694432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13816] ppid=13747 vsize=11077984 memory=735608 CPUtime=1.47 cores=1,3,5,7
/proc/13750/task/13816/stat : 13816 (java) S 13747 13750 6975 0 -1 1077944384 1995 12887 0 0 61 79 5 2 20 0 15 0 230222820 11343855616 183902 33554432000 4194304 4196468 140729615903904 140485999721392 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
Current children cumulated CPU time: 2485.68 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 735608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.3 s]
/proc/loadavg: 0.60 0.93 1.21 2/197 13940
/proc/meminfo: memFree=17055860/32770624 swapFree=67108860/67108860
[pid=13750] ppid=13747 vsize=11077984 memory=735620 CPUtime=2520.08 cores=1,3,5,7
/proc/13750/stat : 13750 (java) S 13747 13750 6975 0 -1 1077944320 199487 12887 0 0 251665 336 5 2 20 0 15 0 230222805 11343855616 183905 33554432000 4194304 4196468 140729615903904 140729615886448 140487035346679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
/proc/13750/statm: 2769496 183905 3521 1 0 2731149 0
[pid=13750/tid=13803] ppid=13747 vsize=11077984 memory=735608 CPUtime=2451.35 cores=1,3,5,7
/proc/13750/task/13803/stat : 13803 (java) R 13747 13750 6975 0 -1 4202560 80057 12887 0 0 245079 49 5 2 20 0 15 0 230222814 11343855616 183905 33554432000 4194304 4196468 140729615903904 140487007182192 140486596870617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13804] ppid=13747 vsize=11077984 memory=735608 CPUtime=10.29 cores=1,3,5,7
/proc/13750/task/13804/stat : 13804 (java) S 13747 13750 6975 0 -1 1077944384 6224 12887 0 0 973 49 5 2 20 0 15 0 230222815 11343855616 183905 33554432000 4194304 4196468 140729615903904 140487039588752 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13805] ppid=13747 vsize=11077984 memory=735540 CPUtime=10.28 cores=1,3,5,7
/proc/13750/task/13805/stat : 13805 (java) S 13747 13750 6975 0 -1 1077944384 8412 12887 0 0 970 51 5 2 20 0 15 0 230222815 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486904924432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13806] ppid=13747 vsize=11077984 memory=735608 CPUtime=10.23 cores=1,3,5,7
/proc/13750/task/13806/stat : 13806 (java) S 13747 13750 6975 0 -1 1077944384 12543 12887 0 0 965 51 5 2 20 0 15 0 230222815 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486574467728 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13807] ppid=13747 vsize=11077984 memory=735608 CPUtime=10.27 cores=1,3,5,7
/proc/13750/task/13807/stat : 13807 (java) S 13747 13750 6975 0 -1 1077944384 12409 12887 0 0 970 50 5 2 20 0 15 0 230222815 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486573414928 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13808] ppid=13747 vsize=11077984 memory=735608 CPUtime=10.51 cores=1,3,5,7
/proc/13750/task/13808/stat : 13808 (java) S 13747 13750 6975 0 -1 1077944384 11138 12887 0 0 991 53 5 2 20 0 15 0 230222816 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486003931760 140487035357826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13809] ppid=13747 vsize=11077984 memory=735620 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13809/stat : 13809 (java) S 13747 13750 6975 0 -1 1077944384 14 12887 0 0 0 0 5 2 20 0 15 0 230222816 11343855616 183905 33554432000 4194304 4196468 140729615903904 140485897217376 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13810] ppid=13747 vsize=11077984 memory=735620 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13810/stat : 13810 (java) S 13747 13750 6975 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 230222817 11343855616 183905 33554432000 4194304 4196468 140729615903904 140485695891072 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13811] ppid=13747 vsize=11077984 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13811/stat : 13811 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222819 11343855616 183905 33554432000 4194304 4196468 140729615903904 140485388491344 140487035365275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13812] ppid=13747 vsize=11077984 memory=7 CPUtime=6.5 cores=1,3,5,7
/proc/13750/task/13812/stat : 13812 (java) S 13747 13750 6975 0 -1 1077944384 20868 12887 0 0 638 5 5 2 20 0 15 0 230222819 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486002878576 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13813] ppid=13747 vsize=11077984 memory=924 CPUtime=6.55 cores=1,3,5,7
/proc/13750/task/13813/stat : 13813 (java) S 13747 13750 6975 0 -1 1077944384 21146 12887 0 0 644 4 5 2 20 0 15 0 230222819 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486001825776 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13814] ppid=13747 vsize=11077984 memory=118618406809701 CPUtime=3.14 cores=1,3,5,7
/proc/13750/task/13814/stat : 13814 (java) S 13747 13750 6975 0 -1 1077944384 22461 12887 0 0 300 7 5 2 20 0 15 0 230222819 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486000773488 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13815] ppid=13747 vsize=11077984 memory=735608 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13815/stat : 13815 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222820 11343855616 183905 33554432000 4194304 4196468 140729615903904 140484957694432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13816] ppid=13747 vsize=11077984 memory=735608 CPUtime=1.49 cores=1,3,5,7
/proc/13750/task/13816/stat : 13816 (java) S 13747 13750 6975 0 -1 1077944384 2010 12887 0 0 62 80 5 2 20 0 15 0 230222820 11343855616 183905 33554432000 4194304 4196468 140729615903904 140485999721392 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 735620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.33 s]
# the end of solver process 13750 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.73 s, system=3.40466 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.3 s]
/proc/loadavg: 0.60 0.93 1.21 2/197 13940
/proc/meminfo: memFree=17055860/32770624 swapFree=67108860/67108860
[pid=13750] ppid=13747 vsize=11077984 memory=735620 CPUtime=2520.08 cores=1,3,5,7
/proc/13750/stat : 13750 (java) S 13747 13750 6975 0 -1 1077944320 199487 12887 0 0 251665 336 5 2 20 0 15 0 230222805 11343855616 183905 33554432000 4194304 4196468 140729615903904 140729615886448 140487035346679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
/proc/13750/statm: 2769496 183905 3521 1 0 2731149 0
[pid=13750/tid=13803] ppid=13747 vsize=11077984 memory=735608 CPUtime=2451.35 cores=1,3,5,7
/proc/13750/task/13803/stat : 13803 (java) R 13747 13750 6975 0 -1 4202560 80057 12887 0 0 245079 49 5 2 20 0 15 0 230222814 11343855616 183905 33554432000 4194304 4196468 140729615903904 140487007182192 140486596870617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13804] ppid=13747 vsize=11077984 memory=735608 CPUtime=10.29 cores=1,3,5,7
/proc/13750/task/13804/stat : 13804 (java) S 13747 13750 6975 0 -1 1077944384 6224 12887 0 0 973 49 5 2 20 0 15 0 230222815 11343855616 183905 33554432000 4194304 4196468 140729615903904 140487039588752 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13805] ppid=13747 vsize=11077984 memory=735540 CPUtime=10.28 cores=1,3,5,7
/proc/13750/task/13805/stat : 13805 (java) S 13747 13750 6975 0 -1 1077944384 8412 12887 0 0 970 51 5 2 20 0 15 0 230222815 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486904924432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13806] ppid=13747 vsize=11077984 memory=735608 CPUtime=10.23 cores=1,3,5,7
/proc/13750/task/13806/stat : 13806 (java) S 13747 13750 6975 0 -1 1077944384 12543 12887 0 0 965 51 5 2 20 0 15 0 230222815 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486574467728 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13807] ppid=13747 vsize=11077984 memory=735608 CPUtime=10.27 cores=1,3,5,7
/proc/13750/task/13807/stat : 13807 (java) S 13747 13750 6975 0 -1 1077944384 12409 12887 0 0 970 50 5 2 20 0 15 0 230222815 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486573414928 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13808] ppid=13747 vsize=11077984 memory=735608 CPUtime=10.51 cores=1,3,5,7
/proc/13750/task/13808/stat : 13808 (java) S 13747 13750 6975 0 -1 1077944384 11138 12887 0 0 991 53 5 2 20 0 15 0 230222816 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486003931760 140487035357826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13809] ppid=13747 vsize=11077984 memory=735620 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13809/stat : 13809 (java) S 13747 13750 6975 0 -1 1077944384 14 12887 0 0 0 0 5 2 20 0 15 0 230222816 11343855616 183905 33554432000 4194304 4196468 140729615903904 140485897217376 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13810] ppid=13747 vsize=11077984 memory=735620 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13810/stat : 13810 (java) S 13747 13750 6975 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 230222817 11343855616 183905 33554432000 4194304 4196468 140729615903904 140485695891072 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13811] ppid=13747 vsize=11077984 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13811/stat : 13811 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222819 11343855616 183905 33554432000 4194304 4196468 140729615903904 140485388491344 140487035365275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13812] ppid=13747 vsize=11077984 memory=7 CPUtime=6.5 cores=1,3,5,7
/proc/13750/task/13812/stat : 13812 (java) S 13747 13750 6975 0 -1 1077944384 20868 12887 0 0 638 5 5 2 20 0 15 0 230222819 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486002878576 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13813] ppid=13747 vsize=11077984 memory=924 CPUtime=6.55 cores=1,3,5,7
/proc/13750/task/13813/stat : 13813 (java) S 13747 13750 6975 0 -1 1077944384 21146 12887 0 0 644 4 5 2 20 0 15 0 230222819 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486001825776 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13814] ppid=13747 vsize=11077984 memory=118618406809701 CPUtime=3.14 cores=1,3,5,7
/proc/13750/task/13814/stat : 13814 (java) S 13747 13750 6975 0 -1 1077944384 22461 12887 0 0 300 7 5 2 20 0 15 0 230222819 11343855616 183905 33554432000 4194304 4196468 140729615903904 140486000773488 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13815] ppid=13747 vsize=11077984 memory=735608 CPUtime=0.07 cores=1,3,5,7
/proc/13750/task/13815/stat : 13815 (java) S 13747 13750 6975 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 230222820 11343855616 183905 33554432000 4194304 4196468 140729615903904 140484957694432 140487035356885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
[pid=13750/tid=13816] ppid=13747 vsize=11077984 memory=735608 CPUtime=1.49 cores=1,3,5,7
/proc/13750/task/13816/stat : 13816 (java) S 13747 13750 6975 0 -1 1077944384 2010 12887 0 0 62 80 5 2 20 0 15 0 230222820 11343855616 183905 33554432000 4194304 4196468 140729615903904 140485999721392 140487035357826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140729615907427 140729615910236 140729615910236 140729615912911 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 735620 KiB
Child status: 143
Real time (s): 2476.33
CPU time (s): 2520.13
CPU user time (s): 2516.73
CPU system time (s): 3.40466
CPU usage (%): 101.769
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 737228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.73
system time used= 3.40466
maximum resident set size= 739276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270002
involuntary context switches= 9924
# summary of solver processes directly reported to runsolver:
# pid: 13750
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.73
# total CPU system time (s): 3.40466
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7559 second user time and 23.1939 second system time
The end