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 (1317 MiB free)
memory of node 1: 16384 MiB (5495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305138-1534119105/watcher-4305138-1534119105 -o /tmp/evaluation-result-4305138-1534119105/solver-4305138-1534119105 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534099857-27320 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=365378390 -superng HOME/instance-4305138-1534119105.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32017, runsolver pid=32014
Current StackSize limit: 8192 KiB
[startup+0.108974 s]*
/proc/loadavg: 1.77 1.75 1.73 3/208 32075
/proc/meminfo: memFree=6964756/32770624 swapFree=67108496/67108860
[pid=32017] ppid=32014 vsize=10453864 memory=24000 CPUtime=0.1 cores=1,3,5,7
/proc/32017/stat : 32017 (java) S 32014 32017 27288 0 -1 1077944320 4648 12887 0 0 2 1 4 3 20 0 9 0 229473674 10704756736 6000 33554432000 4194304 4196468 140727666378112 140727666360656 140328840621815 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
/proc/32017/statm: 2613466 6000 2101 1 0 2576007 0
[pid=32017/tid=32070] ppid=32014 vsize=10453864 memory=4351193297950768523 CPUtime=0.09 cores=1,3,5,7
/proc/32017/task/32070/stat : 32070 (java) R 32014 32017 27288 0 -1 4202560 2435 12887 0 0 2 0 4 3 20 0 9 0 229473683 10704756736 6000 33554432000 4194304 4196468 140727666378112 140328812457840 140328824702302 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32071] ppid=32014 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32071/stat : 32071 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 9 0 229473683 10704756736 6000 33554432000 4194304 4196468 140727666378112 140328844864528 140328840632021 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32072] ppid=32014 vsize=10453864 memory=140251432609408 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32072/stat : 32072 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 9 0 229473683 10704756736 6000 33554432000 4194304 4196468 140727666378112 140328730061968 140328840632021 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32073] ppid=32014 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32073/stat : 32073 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 9 0 229473683 10704756736 6000 33554432000 4194304 4196468 140727666378112 140328379013904 140328840632021 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32074] ppid=32014 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32074/stat : 32074 (java) S 32014 32017 27288 0 -1 1077944384 2 12887 0 0 0 0 4 3 20 0 9 0 229473683 10704756736 6000 33554432000 4194304 4196468 140727666378112 140328377961360 140328840632021 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32075] ppid=32014 vsize=10453864 memory=140251432609408 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32075/stat : 32075 (java) S 32014 32017 27288 0 -1 1077944384 2 12887 0 0 0 0 4 3 20 0 9 0 229473685 10704756736 6000 33554432000 4194304 4196468 140727666378112 140328333707504 140328840632962 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32076] ppid=32014 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32076/stat : 32076 (java) S 32014 32017 27288 0 -1 1077944384 13 12887 0 0 0 0 4 3 20 0 9 0 229473685 10704756736 6000 33554432000 4194304 4196468 140727666378112 140327721624736 140328840632021 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32077] ppid=32014 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32077/stat : 32077 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 9 0 229473685 10704756736 6000 33554432000 4194304 4196468 140727666378112 140327520297776 140328840632021 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 24000 KiB
[startup+0.21044 s]*
/proc/loadavg: 1.77 1.75 1.73 3/216 32083
/proc/meminfo: memFree=6946624/32770624 swapFree=67108496/67108860
[pid=32017] ppid=32014 vsize=10982776 memory=48392 CPUtime=0.26 cores=1,3,5,7
/proc/32017/stat : 32017 (java) S 32014 32017 27288 0 -1 1077944320 8978 12887 0 0 17 2 4 3 20 0 15 0 229473674 11246362624 12098 33554432000 4194304 4196468 140727666378112 140727666360656 140328840621815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
/proc/32017/statm: 2745694 12098 2942 1 0 2708117 0
[pid=32017/tid=32070] ppid=32014 vsize=10982776 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/32017/task/32070/stat : 32070 (java) R 32014 32017 27288 0 -1 4202560 5506 12887 0 0 11 1 4 3 20 0 15 0 229473683 11246362624 12098 33554432000 4194304 4196468 140727666378112 140328812446624 140328833301533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32071] ppid=32014 vsize=10982744 memory=288292155783643526 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32071/stat : 32071 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246329856 12098 33554432000 4194304 4196468 140727666378112 140328844864528 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32072] ppid=32014 vsize=10982744 memory=4121131446176055328 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32072/stat : 32072 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246329856 12098 33554432000 4194304 4196468 140727666378112 140328730061968 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32073] ppid=32014 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32073/stat : 32073 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246329856 12098 33554432000 4194304 4196468 140727666378112 140328379013904 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32074] ppid=32014 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32074/stat : 32074 (java) S 32014 32017 27288 0 -1 1077944384 2 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246329856 12098 33554432000 4194304 4196468 140727666378112 140328377961360 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32075] ppid=32014 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32075/stat : 32075 (java) S 32014 32017 27288 0 -1 1077944384 2 12887 0 0 0 0 4 3 20 0 15 0 229473685 11246329856 12098 33554432000 4194304 4196468 140727666378112 140328333707504 140328840632962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32076] ppid=32014 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32076/stat : 32076 (java) S 32014 32017 27288 0 -1 1077944384 13 12887 0 0 0 0 4 3 20 0 15 0 229473685 11246329856 12098 33554432000 4194304 4196468 140727666378112 140327721624736 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32077] ppid=32014 vsize=10982744 memory=140251432609408 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32077/stat : 32077 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473685 11246329856 12098 33554432000 4194304 4196468 140727666378112 140327520297712 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32078] ppid=32014 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32078/stat : 32078 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11246329856 12098 33554432000 4194304 4196468 140727666378112 140327212898256 140328840640411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32079] ppid=32014 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32017/task/32079/stat : 32079 (java) S 32014 32017 27288 0 -1 1077944384 428 12887 0 0 1 0 4 3 20 0 15 0 229473688 11246329856 12098 33554432000 4194304 4196468 140727666378112 140328332655344 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32080] ppid=32014 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32017/task/32080/stat : 32080 (java) R 32014 32017 27288 0 -1 1077944384 188 12887 0 0 1 0 4 3 20 0 15 0 229473688 11246329856 12098 33554432000 4194304 4196468 140727666378112 140328331602800 140328840632962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32081] ppid=32014 vsize=10982744 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/32017/task/32081/stat : 32081 (java) R 32014 32017 27288 0 -1 1077944384 636 12887 0 0 3 0 4 3 20 0 15 0 229473688 11246329856 12098 33554432000 4194304 4196468 140727666378112 140328330549744 140328840632962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32082] ppid=32014 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32082/stat : 32082 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11246329856 12098 33554432000 4194304 4196468 140727666378112 140326782102368 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32083] ppid=32014 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32083/stat : 32083 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473688 11246329856 12098 33554432000 4194304 4196468 140727666378112 140328329497136 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982776 KiB
Current children cumulated memory: 48392 KiB
[startup+0.310736 s]*
/proc/loadavg: 1.77 1.75 1.73 3/216 32083
/proc/meminfo: memFree=6931908/32770624 swapFree=67108496/67108860
[pid=32017] ppid=32014 vsize=10983192 memory=56272 CPUtime=0.38 cores=1,3,5,7
/proc/32017/stat : 32017 (java) S 32014 32017 27288 0 -1 1077944320 10191 12887 0 0 28 3 4 3 20 0 15 0 229473674 11246788608 14068 33554432000 4194304 4196468 140727666378112 140727666360656 140328840621815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
/proc/32017/statm: 2745798 14068 3061 1 0 2708109 0
[pid=32017/tid=32070] ppid=32014 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/32017/task/32070/stat : 32070 (java) R 32014 32017 27288 0 -1 4202560 6700 12887 0 0 20 2 4 3 20 0 15 0 229473683 11246788608 14068 33554432000 4194304 4196468 140727666378112 140328812433824 140328823808624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32071] ppid=32014 vsize=10983192 memory=6935054825532540783 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32071/stat : 32071 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246788608 14068 33554432000 4194304 4196468 140727666378112 140328844864528 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32072] ppid=32014 vsize=10983192 memory=140251432616401 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32072/stat : 32072 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246788608 14068 33554432000 4194304 4196468 140727666378112 140328730061968 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32073] ppid=32014 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32073/stat : 32073 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246788608 14068 33554432000 4194304 4196468 140727666378112 140328379013904 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32074] ppid=32014 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32074/stat : 32074 (java) S 32014 32017 27288 0 -1 1077944384 2 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246788608 14068 33554432000 4194304 4196468 140727666378112 140328377961360 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32075] ppid=32014 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32075/stat : 32075 (java) S 32014 32017 27288 0 -1 1077944384 2 12887 0 0 0 0 4 3 20 0 15 0 229473685 11246788608 14068 33554432000 4194304 4196468 140727666378112 140328333707504 140328840632962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32076] ppid=32014 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32076/stat : 32076 (java) S 32014 32017 27288 0 -1 1077944384 13 12887 0 0 0 0 4 3 20 0 15 0 229473685 11246788608 14068 33554432000 4194304 4196468 140727666378112 140327721624736 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32077] ppid=32014 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32077/stat : 32077 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473685 11246788608 14068 33554432000 4194304 4196468 140727666378112 140327520297712 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32078] ppid=32014 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32078/stat : 32078 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11246788608 14068 33554432000 4194304 4196468 140727666378112 140327212898256 140328840640411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32079] ppid=32014 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32017/task/32079/stat : 32079 (java) S 32014 32017 27288 0 -1 1077944384 428 12887 0 0 1 0 4 3 20 0 15 0 229473688 11246788608 14068 33554432000 4194304 4196468 140727666378112 140328332655344 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32080] ppid=32014 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32017/task/32080/stat : 32080 (java) S 32014 32017 27288 0 -1 1077944384 189 12887 0 0 1 0 4 3 20 0 15 0 229473688 11246788608 14068 33554432000 4194304 4196468 140727666378112 140328331602800 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32081] ppid=32014 vsize=10983192 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/32017/task/32081/stat : 32081 (java) S 32014 32017 27288 0 -1 1077944384 654 12887 0 0 5 0 4 3 20 0 15 0 229473688 11246788608 14068 33554432000 4194304 4196468 140727666378112 140328330549744 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32082] ppid=32014 vsize=10983192 memory=140251432609408 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32082/stat : 32082 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11246788608 14068 33554432000 4194304 4196468 140727666378112 140326782102368 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32083] ppid=32014 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32083/stat : 32083 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473688 11246788608 14068 33554432000 4194304 4196468 140727666378112 140328329497136 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56272 KiB
[startup+0.700769 s]
/proc/loadavg: 1.77 1.75 1.73 3/216 32083
/proc/meminfo: memFree=6921984/32770624 swapFree=67108496/67108860
[pid=32017] ppid=32014 vsize=10983192 memory=89676 CPUtime=0.98 cores=1,3,5,7
/proc/32017/stat : 32017 (java) S 32014 32017 27288 0 -1 1077944320 16528 12887 0 0 87 4 4 3 20 0 15 0 229473674 11246788608 22419 33554432000 4194304 4196468 140727666378112 140727666360656 140328840621815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
/proc/32017/statm: 2745798 22419 3238 1 0 2708109 0
[pid=32017/tid=32070] ppid=32014 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/32017/task/32070/stat : 32070 (java) R 32014 32017 27288 0 -1 4202560 11973 12887 0 0 57 3 4 3 20 0 15 0 229473683 11246788608 22419 33554432000 4194304 4196468 140727666378112 140328812442640 140328822185375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32071] ppid=32014 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32071/stat : 32071 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246788608 22419 33554432000 4194304 4196468 140727666378112 140328844864528 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32072] ppid=32014 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32072/stat : 32072 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246788608 22419 33554432000 4194304 4196468 140727666378112 140328730061968 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32073] ppid=32014 vsize=10983192 memory=2460143846913 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32073/stat : 32073 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246788608 22419 33554432000 4194304 4196468 140727666378112 140328379013904 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32074] ppid=32014 vsize=10983192 memory=24774524 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32074/stat : 32074 (java) S 32014 32017 27288 0 -1 1077944384 2 12887 0 0 0 0 4 3 20 0 15 0 229473683 11246788608 22419 33554432000 4194304 4196468 140727666378112 140328377961360 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32075] ppid=32014 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32075/stat : 32075 (java) S 32014 32017 27288 0 -1 1077944384 5 12887 0 0 0 0 4 3 20 0 15 0 229473685 11246788608 22419 33554432000 4194304 4196468 140727666378112 140328333707504 140328840632962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32076] ppid=32014 vsize=10983192 memory=14204 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32076/stat : 32076 (java) S 32014 32017 27288 0 -1 1077944384 13 12887 0 0 0 0 4 3 20 0 15 0 229473685 11246788608 22419 33554432000 4194304 4196468 140727666378112 140327721624736 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32077] ppid=32014 vsize=10983192 memory=34904 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32077/stat : 32077 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473685 11246788608 22419 33554432000 4194304 4196468 140727666378112 140327520297712 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32078] ppid=32014 vsize=10983192 memory=1180 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32078/stat : 32078 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11246788608 22419 33554432000 4194304 4196468 140727666378112 140327212898256 140328840640411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32079] ppid=32014 vsize=10983192 memory=504 CPUtime=0.16 cores=1,3,5,7
/proc/32017/task/32079/stat : 32079 (java) S 32014 32017 27288 0 -1 1077944384 1039 12887 0 0 9 0 4 3 20 0 15 0 229473688 11246788608 22419 33554432000 4194304 4196468 140727666378112 140328332655344 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32080] ppid=32014 vsize=10983192 memory=1720 CPUtime=0.14 cores=1,3,5,7
/proc/32017/task/32080/stat : 32080 (java) S 32014 32017 27288 0 -1 1077944384 554 12887 0 0 7 0 4 3 20 0 15 0 229473688 11246788608 22419 33554432000 4194304 4196468 140727666378112 140328331602800 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32081] ppid=32014 vsize=10983192 memory=6296139276938465376 CPUtime=0.2 cores=1,3,5,7
/proc/32017/task/32081/stat : 32081 (java) S 32014 32017 27288 0 -1 1077944384 739 12887 0 0 13 0 4 3 20 0 15 0 229473688 11246788608 22419 33554432000 4194304 4196468 140727666378112 140328330549744 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32082] ppid=32014 vsize=10983192 memory=6081669754067251557 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32082/stat : 32082 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11246788608 22419 33554432000 4194304 4196468 140727666378112 140326782102368 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32083] ppid=32014 vsize=10983192 memory=6935651454918152272 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32083/stat : 32083 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473688 11246788608 22419 33554432000 4194304 4196468 140727666378112 140328329497136 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89676 KiB
[startup+1.5007 s]
/proc/loadavg: 1.77 1.75 1.73 3/216 32083
/proc/meminfo: memFree=6875660/32770624 swapFree=67108496/67108860
[pid=32017] ppid=32014 vsize=10998916 memory=223148 CPUtime=3.1 cores=1,3,5,7
/proc/32017/stat : 32017 (java) S 32014 32017 27288 0 -1 1077944320 31940 12887 0 0 293 10 4 3 20 0 15 0 229473674 11262889984 55787 33554432000 4194304 4196468 140727666378112 140727666360656 140328840621815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
/proc/32017/statm: 2749729 55787 3465 1 0 2711387 0
[pid=32017/tid=32070] ppid=32014 vsize=10998916 memory=7668594873733244753 CPUtime=1.42 cores=1,3,5,7
/proc/32017/task/32070/stat : 32070 (java) S 32014 32017 27288 0 -1 1077944384 18530 12887 0 0 129 6 4 3 20 0 15 0 229473683 11262889984 55787 33554432000 4194304 4196468 140727666378112 140328812453488 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32071] ppid=32014 vsize=10998916 memory=7597408011419740753 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32071/stat : 32071 (java) R 32014 32017 27288 0 -1 1077944384 189 12887 0 0 0 0 4 3 20 0 15 0 229473683 11262889984 55787 33554432000 4194304 4196468 140727666378112 140328844864528 140328840632021 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32072] ppid=32014 vsize=10998916 memory=7013071564784821860 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32072/stat : 32072 (java) R 32014 32017 27288 0 -1 4202560 13 12887 0 0 0 0 4 3 20 0 15 0 229473683 11262889984 55787 33554432000 4194304 4196468 140727666378112 140328730061968 140328833718516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32073] ppid=32014 vsize=10998916 memory=5571041044932679781 CPUtime=0.08 cores=1,3,5,7
/proc/32017/task/32073/stat : 32073 (java) R 32014 32017 27288 0 -1 4202560 47 12887 0 0 1 0 4 3 20 0 15 0 229473683 11262889984 55787 33554432000 4194304 4196468 140727666378112 140328379013904 140328833718516 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32074] ppid=32014 vsize=10998916 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32017/task/32074/stat : 32074 (java) R 32014 32017 27288 0 -1 4202560 23 12887 0 0 1 0 4 3 20 0 15 0 229473683 11262889984 55787 33554432000 4194304 4196468 140727666378112 140328377961560 140328833721475 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32075] ppid=32014 vsize=10998916 memory=7518026630507422564 CPUtime=0.08 cores=1,3,5,7
/proc/32017/task/32075/stat : 32075 (java) S 32014 32017 27288 0 -1 1077944384 99 12887 0 0 1 0 4 3 20 0 15 0 229473685 11262889984 55787 33554432000 4194304 4196468 140727666378112 140328333706016 140328840632021 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32076] ppid=32014 vsize=10998916 memory=7812166817403334487 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32076/stat : 32076 (java) S 32014 32017 27288 0 -1 1077944384 13 12887 0 0 0 0 4 3 20 0 15 0 229473685 11262889984 55787 33554432000 4194304 4196468 140727666378112 140327721624736 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32077] ppid=32014 vsize=10998916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32077/stat : 32077 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473685 11262889984 55787 33554432000 4194304 4196468 140727666378112 140327520297712 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32078] ppid=32014 vsize=10998916 memory=12 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32078/stat : 32078 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11262889984 55787 33554432000 4194304 4196468 140727666378112 140327212898256 140328840640411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32079] ppid=32014 vsize=10998916 memory=140251284952817 CPUtime=0.65 cores=1,3,5,7
/proc/32017/task/32079/stat : 32079 (java) R 32014 32017 27288 0 -1 4202560 5160 12887 0 0 57 1 4 3 20 0 15 0 229473688 11262889984 55787 33554432000 4194304 4196468 140727666378112 140328332641080 140328825502031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32080] ppid=32014 vsize=10998916 memory=280502569851536 CPUtime=0.63 cores=1,3,5,7
/proc/32017/task/32080/stat : 32080 (java) S 32014 32017 27288 0 -1 1077944384 3748 12887 0 0 56 0 4 3 20 0 15 0 229473688 11262889984 55787 33554432000 4194304 4196468 140727666378112 140328331587792 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32081] ppid=32014 vsize=10998916 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/32017/task/32081/stat : 32081 (java) S 32014 32017 27288 0 -1 1077944384 1918 12887 0 0 42 0 4 3 20 0 15 0 229473688 11262889984 55787 33554432000 4194304 4196468 140727666378112 140328330549744 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
################
# More data... #
################
/proc/32017/task/32070/stat : 32070 (java) R 32014 32017 27288 0 -1 4202560 209225 12887 0 0 213020 61 4 3 20 0 15 0 229473683 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140328812455184 140328432056523 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32071] ppid=32014 vsize=11080032 memory=5926328 CPUtime=67.42 cores=1,3,5,7
/proc/32017/task/32071/stat : 32071 (java) S 32014 32017 27288 0 -1 1077944384 72791 12887 0 0 6619 116 4 3 20 0 15 0 229473683 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140328844864528 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32072] ppid=32014 vsize=11080032 memory=5926328 CPUtime=67.58 cores=1,3,5,7
/proc/32017/task/32072/stat : 32072 (java) S 32014 32017 27288 0 -1 1077944384 77866 12887 0 0 6634 117 4 3 20 0 15 0 229473683 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140328730061968 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32073] ppid=32014 vsize=11080032 memory=5926328 CPUtime=67.45 cores=1,3,5,7
/proc/32017/task/32073/stat : 32073 (java) S 32014 32017 27288 0 -1 1077944384 78409 12887 0 0 6620 118 4 3 20 0 15 0 229473683 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140328379013904 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32074] ppid=32014 vsize=11080032 memory=5926316 CPUtime=67.45 cores=1,3,5,7
/proc/32017/task/32074/stat : 32074 (java) S 32014 32017 27288 0 -1 1077944384 73598 12887 0 0 6619 119 4 3 20 0 15 0 229473683 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140328377961360 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32075] ppid=32014 vsize=11080032 memory=5926316 CPUtime=2.97 cores=1,3,5,7
/proc/32017/task/32075/stat : 32075 (java) S 32014 32017 27288 0 -1 1077944384 67396 12887 0 0 281 9 4 3 20 0 15 0 229473685 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140328333707504 140328840632962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 52 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32076] ppid=32014 vsize=11080032 memory=5926328 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32076/stat : 32076 (java) S 32014 32017 27288 0 -1 1077944384 20 12887 0 0 0 0 4 3 20 0 15 0 229473685 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140327721624800 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32077] ppid=32014 vsize=11080032 memory=5926316 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32077/stat : 32077 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473685 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140327520297728 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32078] ppid=32014 vsize=11080032 memory=65 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32078/stat : 32078 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140327212898256 140328840640411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32079] ppid=32014 vsize=11080032 memory=5926328 CPUtime=14.54 cores=1,3,5,7
/proc/32017/task/32079/stat : 32079 (java) S 32014 32017 27288 0 -1 1077944384 100905 12887 0 0 1435 12 4 3 20 0 15 0 229473688 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140328332655344 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32080] ppid=32014 vsize=11080032 memory=5926328 CPUtime=13.45 cores=1,3,5,7
/proc/32017/task/32080/stat : 32080 (java) S 32014 32017 27288 0 -1 1077944384 96431 12887 0 0 1329 9 4 3 20 0 15 0 229473688 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140328331602800 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32081] ppid=32014 vsize=11080032 memory=5926316 CPUtime=3.83 cores=1,3,5,7
/proc/32017/task/32081/stat : 32081 (java) S 32014 32017 27288 0 -1 1077944384 84831 12887 0 0 365 11 4 3 20 0 15 0 229473688 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140328330549744 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32082] ppid=32014 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32082/stat : 32082 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140326782102368 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32083] ppid=32014 vsize=11080032 memory=1224 CPUtime=1.37 cores=1,3,5,7
/proc/32017/task/32083/stat : 32083 (java) S 32014 32017 27288 0 -1 1077944384 2757 12887 0 0 53 77 4 3 20 0 15 0 229473688 11345952768 1481579 33554432000 4194304 4196468 140727666378112 140328329497136 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 57 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
Current children cumulated CPU time: 2436.41 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 5926316 KiB
[startup+2262.3 s]
/proc/loadavg: 1.71 1.74 1.79 3/215 32403
/proc/meminfo: memFree=2467544/32770624 swapFree=67108496/67108860
[pid=32017] ppid=32014 vsize=11080032 memory=5926328 CPUtime=2497.95 cores=1,3,5,7
/proc/32017/stat : 32017 (java) S 32014 32017 27288 0 -1 1077944320 888338 12887 0 0 249155 633 4 3 20 0 15 0 229473674 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140727666360656 140328840621815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
/proc/32017/statm: 2770008 1481582 3540 1 0 2731661 0
[pid=32017/tid=32070] ppid=32014 vsize=11080032 memory=5926328 CPUtime=2190.41 cores=1,3,5,7
/proc/32017/task/32070/stat : 32070 (java) R 32014 32017 27288 0 -1 4202560 213351 12887 0 0 218972 62 4 3 20 0 15 0 229473683 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140328812455616 140328433570471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32071] ppid=32014 vsize=11080032 memory=5926328 CPUtime=67.87 cores=1,3,5,7
/proc/32017/task/32071/stat : 32071 (java) S 32014 32017 27288 0 -1 1077944384 74626 12887 0 0 6664 116 4 3 20 0 15 0 229473683 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140328844864528 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32072] ppid=32014 vsize=11080032 memory=5926328 CPUtime=68.04 cores=1,3,5,7
/proc/32017/task/32072/stat : 32072 (java) S 32014 32017 27288 0 -1 1077944384 81648 12887 0 0 6680 117 4 3 20 0 15 0 229473683 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140328730061968 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32073] ppid=32014 vsize=11080032 memory=5926328 CPUtime=67.9 cores=1,3,5,7
/proc/32017/task/32073/stat : 32073 (java) S 32014 32017 27288 0 -1 1077944384 80136 12887 0 0 6665 118 4 3 20 0 15 0 229473683 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140328379013904 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32074] ppid=32014 vsize=11080032 memory=280502571220016 CPUtime=67.92 cores=1,3,5,7
/proc/32017/task/32074/stat : 32074 (java) S 32014 32017 27288 0 -1 1077944384 75561 12887 0 0 6665 120 4 3 20 0 15 0 229473683 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140328377961360 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32075] ppid=32014 vsize=11080032 memory=275530742037142 CPUtime=2.99 cores=1,3,5,7
/proc/32017/task/32075/stat : 32075 (java) S 32014 32017 27288 0 -1 1077944384 67672 12887 0 0 282 10 4 3 20 0 15 0 229473685 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140328333707504 140328840632962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32076] ppid=32014 vsize=11080032 memory=275530742037142 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32076/stat : 32076 (java) S 32014 32017 27288 0 -1 1077944384 20 12887 0 0 0 0 4 3 20 0 15 0 229473685 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140327721624800 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32077] ppid=32014 vsize=11080032 memory=5926328 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32077/stat : 32077 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473685 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140327520297728 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32078] ppid=32014 vsize=11080032 memory=5926324 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32078/stat : 32078 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140327212898256 140328840640411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32079] ppid=32014 vsize=11080032 memory=5926324 CPUtime=14.58 cores=1,3,5,7
/proc/32017/task/32079/stat : 32079 (java) S 32014 32017 27288 0 -1 1077944384 103707 12887 0 0 1439 12 4 3 20 0 15 0 229473688 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140328332655344 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32080] ppid=32014 vsize=11080032 memory=5926324 CPUtime=13.49 cores=1,3,5,7
/proc/32017/task/32080/stat : 32080 (java) S 32014 32017 27288 0 -1 1077944384 98307 12887 0 0 1333 9 4 3 20 0 15 0 229473688 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140328331602800 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32081] ppid=32014 vsize=11080032 memory=5926324 CPUtime=3.86 cores=1,3,5,7
/proc/32017/task/32081/stat : 32081 (java) S 32014 32017 27288 0 -1 1077944384 88252 12887 0 0 368 11 4 3 20 0 15 0 229473688 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140328330549744 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32082] ppid=32014 vsize=11080032 memory=5926324 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32082/stat : 32082 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140326782102368 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32083] ppid=32014 vsize=11080032 memory=3872 CPUtime=1.41 cores=1,3,5,7
/proc/32017/task/32083/stat : 32083 (java) S 32014 32017 27288 0 -1 1077944384 2859 12887 0 0 55 79 4 3 20 0 15 0 229473688 11345952768 1481582 33554432000 4194304 4196468 140727666378112 140328329497136 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
Current children cumulated CPU time: 2497.95 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 5926328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2283.9 s]
/proc/loadavg: 1.66 1.73 1.78 3/215 32403
/proc/meminfo: memFree=2465556/32770624 swapFree=67108496/67108860
[pid=32017] ppid=32014 vsize=11080032 memory=5928384 CPUtime=2520.07 cores=1,3,5,7
/proc/32017/stat : 32017 (java) S 32014 32017 27288 0 -1 1077944320 901282 12887 0 0 251366 634 4 3 20 0 15 0 229473674 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140727666360656 140328840621815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
/proc/32017/statm: 2770008 1482096 3540 1 0 2731661 0
[pid=32017/tid=32070] ppid=32014 vsize=11080032 memory=5928384 CPUtime=2211.84 cores=1,3,5,7
/proc/32017/task/32070/stat : 32070 (java) R 32014 32017 27288 0 -1 4202560 216452 12887 0 0 221115 62 4 3 20 0 15 0 229473683 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328812454856 140328432056377 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32071] ppid=32014 vsize=11080032 memory=5928380 CPUtime=68.02 cores=1,3,5,7
/proc/32017/task/32071/stat : 32071 (java) S 32014 32017 27288 0 -1 1077944384 76586 12887 0 0 6679 116 4 3 20 0 15 0 229473683 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328844864528 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32072] ppid=32014 vsize=11080032 memory=5928380 CPUtime=68.19 cores=1,3,5,7
/proc/32017/task/32072/stat : 32072 (java) S 32014 32017 27288 0 -1 1077944384 82907 12887 0 0 6695 117 4 3 20 0 15 0 229473683 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328730061968 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32073] ppid=32014 vsize=11080032 memory=5928384 CPUtime=68.05 cores=1,3,5,7
/proc/32017/task/32073/stat : 32073 (java) S 32014 32017 27288 0 -1 1077944384 81660 12887 0 0 6680 118 4 3 20 0 15 0 229473683 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328379013904 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32074] ppid=32014 vsize=11080032 memory=5928384 CPUtime=68.07 cores=1,3,5,7
/proc/32017/task/32074/stat : 32074 (java) S 32014 32017 27288 0 -1 1077944384 78504 12887 0 0 6680 120 4 3 20 0 15 0 229473683 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328377961360 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32075] ppid=32014 vsize=11080032 memory=280502571220016 CPUtime=3 cores=1,3,5,7
/proc/32017/task/32075/stat : 32075 (java) S 32014 32017 27288 0 -1 1077944384 67953 12887 0 0 283 10 4 3 20 0 15 0 229473685 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328333707504 140328840632962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32076] ppid=32014 vsize=11080032 memory=5928380 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32076/stat : 32076 (java) S 32014 32017 27288 0 -1 1077944384 20 12887 0 0 0 0 4 3 20 0 15 0 229473685 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140327721624800 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32077] ppid=32014 vsize=11080032 memory=5928380 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32077/stat : 32077 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473685 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140327520297728 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32078] ppid=32014 vsize=11080032 memory=5928380 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32078/stat : 32078 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140327212898256 140328840640411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32079] ppid=32014 vsize=11080032 memory=1380 CPUtime=14.6 cores=1,3,5,7
/proc/32017/task/32079/stat : 32079 (java) S 32014 32017 27288 0 -1 1077944384 105301 12887 0 0 1441 12 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328332655344 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32080] ppid=32014 vsize=11080032 memory=5928384 CPUtime=13.51 cores=1,3,5,7
/proc/32017/task/32080/stat : 32080 (java) S 32014 32017 27288 0 -1 1077944384 98379 12887 0 0 1335 9 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328331602800 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32081] ppid=32014 vsize=11080032 memory=3872 CPUtime=3.88 cores=1,3,5,7
/proc/32017/task/32081/stat : 32081 (java) S 32014 32017 27288 0 -1 1077944384 88429 12887 0 0 370 11 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328330549744 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32082] ppid=32014 vsize=11080032 memory=5928384 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32082/stat : 32082 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140326782102368 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32083] ppid=32014 vsize=11080032 memory=5928384 CPUtime=1.42 cores=1,3,5,7
/proc/32017/task/32083/stat : 32083 (java) S 32014 32017 27288 0 -1 1077944384 2892 12887 0 0 55 80 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328329497136 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 57 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 5928384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2283.96 s]
# the end of solver process 32017 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.73 s, system=6.42221 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2283.9 s]
/proc/loadavg: 1.66 1.73 1.78 3/215 32403
/proc/meminfo: memFree=2465556/32770624 swapFree=67108496/67108860
[pid=32017] ppid=32014 vsize=11080032 memory=5928384 CPUtime=2520.07 cores=1,3,5,7
/proc/32017/stat : 32017 (java) S 32014 32017 27288 0 -1 1077944320 901282 12887 0 0 251366 634 4 3 20 0 15 0 229473674 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140727666360656 140328840621815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
/proc/32017/statm: 2770008 1482096 3540 1 0 2731661 0
[pid=32017/tid=32070] ppid=32014 vsize=11080032 memory=5928384 CPUtime=2211.84 cores=1,3,5,7
/proc/32017/task/32070/stat : 32070 (java) R 32014 32017 27288 0 -1 4202560 216452 12887 0 0 221115 62 4 3 20 0 15 0 229473683 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328812454856 140328432056377 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32071] ppid=32014 vsize=11080032 memory=5928380 CPUtime=68.02 cores=1,3,5,7
/proc/32017/task/32071/stat : 32071 (java) S 32014 32017 27288 0 -1 1077944384 76586 12887 0 0 6679 116 4 3 20 0 15 0 229473683 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328844864528 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32072] ppid=32014 vsize=11080032 memory=5928380 CPUtime=68.19 cores=1,3,5,7
/proc/32017/task/32072/stat : 32072 (java) S 32014 32017 27288 0 -1 1077944384 82907 12887 0 0 6695 117 4 3 20 0 15 0 229473683 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328730061968 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32073] ppid=32014 vsize=11080032 memory=5928384 CPUtime=68.05 cores=1,3,5,7
/proc/32017/task/32073/stat : 32073 (java) S 32014 32017 27288 0 -1 1077944384 81660 12887 0 0 6680 118 4 3 20 0 15 0 229473683 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328379013904 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32074] ppid=32014 vsize=11080032 memory=5928384 CPUtime=68.07 cores=1,3,5,7
/proc/32017/task/32074/stat : 32074 (java) S 32014 32017 27288 0 -1 1077944384 78504 12887 0 0 6680 120 4 3 20 0 15 0 229473683 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328377961360 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32075] ppid=32014 vsize=11080032 memory=280502571220016 CPUtime=3 cores=1,3,5,7
/proc/32017/task/32075/stat : 32075 (java) S 32014 32017 27288 0 -1 1077944384 67953 12887 0 0 283 10 4 3 20 0 15 0 229473685 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328333707504 140328840632962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32076] ppid=32014 vsize=11080032 memory=5928380 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32076/stat : 32076 (java) S 32014 32017 27288 0 -1 1077944384 20 12887 0 0 0 0 4 3 20 0 15 0 229473685 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140327721624800 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32077] ppid=32014 vsize=11080032 memory=5928380 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32077/stat : 32077 (java) S 32014 32017 27288 0 -1 1077944384 1 12887 0 0 0 0 4 3 20 0 15 0 229473685 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140327520297728 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32078] ppid=32014 vsize=11080032 memory=5928380 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32078/stat : 32078 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140327212898256 140328840640411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32079] ppid=32014 vsize=11080032 memory=1380 CPUtime=14.6 cores=1,3,5,7
/proc/32017/task/32079/stat : 32079 (java) S 32014 32017 27288 0 -1 1077944384 105301 12887 0 0 1441 12 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328332655344 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32080] ppid=32014 vsize=11080032 memory=5928384 CPUtime=13.51 cores=1,3,5,7
/proc/32017/task/32080/stat : 32080 (java) S 32014 32017 27288 0 -1 1077944384 98379 12887 0 0 1335 9 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328331602800 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32081] ppid=32014 vsize=11080032 memory=3872 CPUtime=3.88 cores=1,3,5,7
/proc/32017/task/32081/stat : 32081 (java) S 32014 32017 27288 0 -1 1077944384 88429 12887 0 0 370 11 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328330549744 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32082] ppid=32014 vsize=11080032 memory=5928384 CPUtime=0.07 cores=1,3,5,7
/proc/32017/task/32082/stat : 32082 (java) S 32014 32017 27288 0 -1 1077944384 3 12887 0 0 0 0 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140326782102368 140328840632021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
[pid=32017/tid=32083] ppid=32014 vsize=11080032 memory=5928384 CPUtime=1.42 cores=1,3,5,7
/proc/32017/task/32083/stat : 32083 (java) S 32014 32017 27288 0 -1 1077944384 2892 12887 0 0 55 80 4 3 20 0 15 0 229473688 11345952768 1482096 33554432000 4194304 4196468 140727666378112 140328329497136 140328840632962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 57 0 0 6293624 6294260 23343104 140727666379364 140727666382172 140727666382172 140727666384847 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 5928384 KiB
Child status: 143
Real time (s): 2283.96
CPU time (s): 2520.16
CPU user time (s): 2513.73
CPU system time (s): 6.42221
CPU usage (%): 110.342
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 5940668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.73
system time used= 6.42221
maximum resident set size= 5940668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 915728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73772
involuntary context switches= 4028
# summary of solver processes directly reported to runsolver:
# pid: 32017
# total CPU time (s): 2520.16
# total CPU user time (s): 2513.73
# total CPU system time (s): 6.42221
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7306 second user time and 22.3253 second system time
The end