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 (9755 MiB free)
memory of node 1: 16384 MiB (7001 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304744-1534148267/watcher-4304744-1534148267 -o /tmp/evaluation-result-4304744-1534148267/solver-4304744-1534148267 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534138334-16508 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1139935390 -superng HOME/instance-4304744-1534148267.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=18153, runsolver pid=18150
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.79 1.59 1.51 3/209 18210
/proc/meminfo: memFree=17154276/32770624 swapFree=67108688/67108860
[pid=18153] ppid=18150 vsize=10005480 memory=16812 CPUtime=0.08 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15790 0 -1 1077944320 4361 13210 0 0 1 0 5 2 20 0 6 0 232389900 10245611520 4203 33554432000 4194304 4196468 140733135665280 140733135647824 140635338264311 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
/proc/18153/statm: 2501370 4203 1934 1 0 2489808 0
[pid=18153/tid=18206] ppid=18150 vsize=10005480 memory=4279135703946462605 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15790 0 -1 4202560 2183 13210 0 0 0 0 5 2 20 0 6 0 232389908 10245611520 4715 33554432000 4194304 4196468 140733135665280 140635310101072 140635323946837 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18207] ppid=18150 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 6 0 232389909 10245611520 4715 33554432000 4194304 4196468 140733135665280 140635342507024 140635338274517 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18208] ppid=18150 vsize=10005480 memory=139876443944576 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 6 0 232389909 10245611520 4715 33554432000 4194304 4196468 140733135665280 140635223772304 140635338274517 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18209] ppid=18150 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 6 0 232389909 10245611520 4715 33554432000 4194304 4196468 140733135665280 140635222719248 140635338274517 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18210] ppid=18150 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15790 0 -1 1077944384 2 13210 0 0 0 0 5 2 20 0 6 0 232389909 10245611520 4715 33554432000 4194304 4196468 140733135665280 140635221666704 140635338274517 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210883 s]*
/proc/loadavg: 1.79 1.59 1.51 3/218 18219
/proc/meminfo: memFree=17130368/32770624 swapFree=67108688/67108860
[pid=18153] ppid=18150 vsize=10982744 memory=44464 CPUtime=0.25 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15790 0 -1 1077944320 7791 13210 0 0 16 2 5 2 20 0 15 0 232389900 11246329856 11116 33554432000 4194304 4196468 140733135665280 140733135647824 140635338264311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
/proc/18153/statm: 2745686 11116 2958 1 0 2708109 0
[pid=18153/tid=18206] ppid=18150 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15790 0 -1 4202560 4477 13210 0 0 10 1 5 2 20 0 15 0 232389908 11246329856 11182 33554432000 4194304 4196468 140733135665280 140635310081424 140635338286237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18207] ppid=18150 vsize=10982744 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246329856 11182 33554432000 4194304 4196468 140733135665280 140635342507024 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18208] ppid=18150 vsize=10982744 memory=3760698583196956320 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246329856 11182 33554432000 4194304 4196468 140733135665280 140635223772304 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18209] ppid=18150 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246329856 11182 33554432000 4194304 4196468 140733135665280 140635222719248 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18210] ppid=18150 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15790 0 -1 1077944384 2 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246329856 11182 33554432000 4194304 4196468 140733135665280 140635221666704 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18211] ppid=18150 vsize=10982744 memory=139876443944576 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15790 0 -1 1077944384 2 13210 0 0 0 0 5 2 20 0 15 0 232389911 11246329856 11182 33554432000 4194304 4196468 140733135665280 140634831128816 140635338275458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18212] ppid=18150 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15790 0 -1 1077944384 13 13210 0 0 0 0 5 2 20 0 15 0 232389911 11246329856 11182 33554432000 4194304 4196468 140733135665280 140634140697760 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18213] ppid=18150 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389911 11246329856 11182 33554432000 4194304 4196468 140733135665280 140633939370736 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18214] ppid=18150 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11246329856 11182 33554432000 4194304 4196468 140733135665280 140633631971280 140635338282907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18215] ppid=18150 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15790 0 -1 1077944384 370 13210 0 0 1 0 5 2 20 0 15 0 232389914 11246329856 11182 33554432000 4194304 4196468 140733135665280 140634830076656 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18216] ppid=18150 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15790 0 -1 1077944384 252 13210 0 0 0 0 5 2 20 0 15 0 232389914 11246329856 11182 33554432000 4194304 4196468 140733135665280 140634829024112 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18217] ppid=18150 vsize=10982744 memory=139876443944576 CPUtime=0.1 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) R 18150 18153 15790 0 -1 4202560 596 13210 0 0 3 0 5 2 20 0 15 0 232389914 11246329856 11182 33554432000 4194304 4196468 140733135665280 140634827971056 140635338285658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18218] ppid=18150 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11246329856 11182 33554432000 4194304 4196468 140733135665280 140633201175392 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18219] ppid=18150 vsize=10982744 memory=139876443944576 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389915 11246329856 11182 33554432000 4194304 4196468 140733135665280 140634826918448 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44464 KiB
[startup+0.310306 s]*
/proc/loadavg: 1.79 1.59 1.51 3/218 18219
/proc/meminfo: memFree=17119288/32770624 swapFree=67108688/67108860
[pid=18153] ppid=18150 vsize=10983192 memory=55440 CPUtime=0.38 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15790 0 -1 1077944320 10410 13210 0 0 28 3 5 2 20 0 15 0 232389900 11246788608 13860 33554432000 4194304 4196468 140733135665280 140733135647824 140635338264311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
/proc/18153/statm: 2745798 13860 3077 1 0 2708109 0
[pid=18153/tid=18206] ppid=18150 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15790 0 -1 4202560 6962 13210 0 0 19 2 5 2 20 0 15 0 232389908 11246788608 13860 33554432000 4194304 4196468 140733135665280 140635310076320 140635319829281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18207] ppid=18150 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246788608 13860 33554432000 4194304 4196468 140733135665280 140635342507024 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18208] ppid=18150 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246788608 13860 33554432000 4194304 4196468 140733135665280 140635223772304 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18209] ppid=18150 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246788608 13860 33554432000 4194304 4196468 140733135665280 140635222719248 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18210] ppid=18150 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15790 0 -1 1077944384 2 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246788608 13860 33554432000 4194304 4196468 140733135665280 140635221666704 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18211] ppid=18150 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15790 0 -1 1077944384 2 13210 0 0 0 0 5 2 20 0 15 0 232389911 11246788608 13860 33554432000 4194304 4196468 140733135665280 140634831128816 140635338275458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18212] ppid=18150 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15790 0 -1 1077944384 13 13210 0 0 0 0 5 2 20 0 15 0 232389911 11246788608 13860 33554432000 4194304 4196468 140733135665280 140634140697760 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18213] ppid=18150 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389911 11246788608 13860 33554432000 4194304 4196468 140733135665280 140633939370736 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18214] ppid=18150 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11246788608 13860 33554432000 4194304 4196468 140733135665280 140633631971280 140635338282907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18215] ppid=18150 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15790 0 -1 1077944384 375 13210 0 0 1 0 5 2 20 0 15 0 232389914 11246788608 13860 33554432000 4194304 4196468 140733135665280 140634830076656 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18216] ppid=18150 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15790 0 -1 1077944384 252 13210 0 0 1 0 5 2 20 0 15 0 232389914 11246788608 13860 33554432000 4194304 4196468 140733135665280 140634829024112 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18217] ppid=18150 vsize=10983192 memory=139876443944576 CPUtime=0.11 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15790 0 -1 1077944384 602 13210 0 0 4 0 5 2 20 0 15 0 232389914 11246788608 13860 33554432000 4194304 4196468 140733135665280 140634827971056 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18218] ppid=18150 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11246788608 13860 33554432000 4194304 4196468 140733135665280 140633201175392 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18219] ppid=18150 vsize=10983192 memory=139876443944576 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389915 11246788608 13860 33554432000 4194304 4196468 140733135665280 140634826918448 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55440 KiB
[startup+0.700782 s]
/proc/loadavg: 1.79 1.59 1.51 3/218 18219
/proc/meminfo: memFree=17107256/32770624 swapFree=67108688/67108860
[pid=18153] ppid=18150 vsize=10983192 memory=88888 CPUtime=0.99 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15790 0 -1 1077944320 16771 13210 0 0 88 4 5 2 20 0 15 0 232389900 11246788608 22222 33554432000 4194304 4196468 140733135665280 140733135647824 140635338264311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
/proc/18153/statm: 2745798 22222 3247 1 0 2708109 0
[pid=18153/tid=18206] ppid=18150 vsize=10983192 memory=279752695107520 CPUtime=0.65 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15790 0 -1 4202560 12186 13210 0 0 56 2 5 2 20 0 15 0 232389908 11246788608 22222 33554432000 4194304 4196468 140733135665280 140635310085136 140635321451120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18207] ppid=18150 vsize=10983192 memory=279752695107712 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246788608 22222 33554432000 4194304 4196468 140733135665280 140635342507024 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18208] ppid=18150 vsize=10983192 memory=279752694908944 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246788608 22222 33554432000 4194304 4196468 140733135665280 140635223772304 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18209] ppid=18150 vsize=10983192 memory=279752695391392 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246788608 22222 33554432000 4194304 4196468 140733135665280 140635222719248 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18210] ppid=18150 vsize=10983192 memory=139876347554032 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15790 0 -1 1077944384 2 13210 0 0 0 0 5 2 20 0 15 0 232389909 11246788608 22222 33554432000 4194304 4196468 140733135665280 140635221666704 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18211] ppid=18150 vsize=10983192 memory=139878494896726 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15790 0 -1 1077944384 5 13210 0 0 0 0 5 2 20 0 15 0 232389911 11246788608 22222 33554432000 4194304 4196468 140733135665280 140634831128816 140635338275458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18212] ppid=18150 vsize=10983192 memory=1136 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15790 0 -1 1077944384 13 13210 0 0 0 0 5 2 20 0 15 0 232389911 11246788608 22222 33554432000 4194304 4196468 140733135665280 140634140697760 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18213] ppid=18150 vsize=10983192 memory=7014751519616751185 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389911 11246788608 22222 33554432000 4194304 4196468 140733135665280 140633939370736 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18214] ppid=18150 vsize=10983192 memory=7523098613374281554 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11246788608 22222 33554432000 4194304 4196468 140733135665280 140633631971280 140635338282907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18215] ppid=18150 vsize=10983192 memory=6154282490091891024 CPUtime=0.14 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15790 0 -1 1077944384 733 13210 0 0 7 0 5 2 20 0 15 0 232389914 11246788608 22222 33554432000 4194304 4196468 140733135665280 140634830076656 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18216] ppid=18150 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15790 0 -1 1077944384 933 13210 0 0 9 0 5 2 20 0 15 0 232389914 11246788608 22222 33554432000 4194304 4196468 140733135665280 140634829024112 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18217] ppid=18150 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15790 0 -1 1077944384 697 13210 0 0 13 0 5 2 20 0 15 0 232389914 11246788608 22222 33554432000 4194304 4196468 140733135665280 140634827971056 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18218] ppid=18150 vsize=10983192 memory=3824 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11246788608 22222 33554432000 4194304 4196468 140733135665280 140633201175392 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18219] ppid=18150 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389915 11246788608 22222 33554432000 4194304 4196468 140733135665280 140634826918448 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88888 KiB
[startup+1.50088 s]
/proc/loadavg: 1.73 1.58 1.51 4/218 18219
/proc/meminfo: memFree=17061132/32770624 swapFree=67108688/67108860
[pid=18153] ppid=18150 vsize=10998092 memory=182540 CPUtime=2.36 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15790 0 -1 1077944320 24224 13210 0 0 220 9 5 2 20 0 15 0 232389900 11262046208 45635 33554432000 4194304 4196468 140733135665280 140733135647824 140635338264311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
/proc/18153/statm: 2749523 45635 3477 1 0 2711181 0
[pid=18153/tid=18206] ppid=18150 vsize=10998092 memory=4872558044660077418 CPUtime=1.42 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15790 0 -1 4202560 17632 13210 0 0 130 5 5 2 20 0 15 0 232389908 11262046208 45635 33554432000 4194304 4196468 140733135665280 140635310075920 140635330503459 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18207] ppid=18150 vsize=10998092 memory=142348 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15790 0 -1 1077944384 187 13210 0 0 0 0 5 2 20 0 15 0 232389909 11262046208 45635 33554432000 4194304 4196468 140733135665280 140635342507024 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18208] ppid=18150 vsize=10998092 memory=13884 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15790 0 -1 1077944384 21 13210 0 0 0 0 5 2 20 0 15 0 232389909 11262046208 45635 33554432000 4194304 4196468 140733135665280 140635223772304 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18209] ppid=18150 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15790 0 -1 1077944384 17 13210 0 0 1 0 5 2 20 0 15 0 232389909 11262046208 45635 33554432000 4194304 4196468 140733135665280 140635222719248 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18210] ppid=18150 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15790 0 -1 1077944384 74 13210 0 0 0 0 5 2 20 0 15 0 232389909 11262046208 45635 33554432000 4194304 4196468 140733135665280 140635221666704 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18211] ppid=18150 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15790 0 -1 1077944384 48 13210 0 0 1 0 5 2 20 0 15 0 232389911 11262046208 45635 33554432000 4194304 4196468 140733135665280 140634831128816 140635338275458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18212] ppid=18150 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15790 0 -1 1077944384 14 13210 0 0 0 0 5 2 20 0 15 0 232389911 11262046208 45635 33554432000 4194304 4196468 140733135665280 140634140697824 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18213] ppid=18150 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389911 11262046208 45635 33554432000 4194304 4196468 140733135665280 140633939370752 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18214] ppid=18150 vsize=10998092 memory=279752695379808 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11262046208 45635 33554432000 4194304 4196468 140733135665280 140633631971280 140635338282907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18215] ppid=18150 vsize=10998092 memory=-7522837583129502606 CPUtime=0.26 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15790 0 -1 1077944384 1093 13210 0 0 19 0 5 2 20 0 15 0 232389914 11262046208 45635 33554432000 4194304 4196468 140733135665280 140634830076656 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18216] ppid=18150 vsize=10998092 memory=6944656592452807323 CPUtime=0.35 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15790 0 -1 1077944384 1608 13210 0 0 28 0 5 2 20 0 15 0 232389914 11262046208 45635 33554432000 4194304 4196468 140733135665280 140634829024112 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18217] ppid=18150 vsize=10998092 memory=6944656591801719708 CPUtime=0.41 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15790 0 -1 1077944384 1331 13210 0 0 34 0 5 2 20 0 15 0 232389914 11262046208 45635 33554432000 4194304 4196468 140733135665280 140634827971056 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18218] ppid=18150 vsize=10998092 memory=-7233780906022716832 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11262046208 45635 33554432000 4194304 4196468 140733135665280 140633201175392 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18219] ppid=18150 vsize=10998092 memory=-7384994985145249693 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389915 11262046208 45635 33554432000 4194304 4196468 140733135665280 140634826918448 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15790 0 -1 4202560 71463 13210 0 0 237216 29 5 2 20 0 15 0 232389908 11345952768 119300 33554432000 4194304 4196468 140733135665280 140635310099008 140634909230632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18207] ppid=18150 vsize=11080032 memory=477200 CPUtime=4.91 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15790 0 -1 1077944384 8514 13210 0 0 454 30 5 2 20 0 15 0 232389909 11345952768 119300 33554432000 4194304 4196468 140733135665280 140635342507024 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18208] ppid=18150 vsize=11080032 memory=477200 CPUtime=4.91 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15790 0 -1 1077944384 9379 13210 0 0 453 31 5 2 20 0 15 0 232389909 11345952768 119300 33554432000 4194304 4196468 140733135665280 140635223772304 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18209] ppid=18150 vsize=11080032 memory=477200 CPUtime=4.87 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15790 0 -1 1077944384 4617 13210 0 0 446 34 5 2 20 0 15 0 232389909 11345952768 119300 33554432000 4194304 4196468 140733135665280 140635222719248 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18210] ppid=18150 vsize=11080032 memory=477200 CPUtime=4.88 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15790 0 -1 1077944384 8098 13210 0 0 452 29 5 2 20 0 15 0 232389909 11345952768 119300 33554432000 4194304 4196468 140733135665280 140635221666704 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18211] ppid=18150 vsize=11080032 memory=477200 CPUtime=3.32 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15790 0 -1 1077944384 15004 13210 0 0 305 20 5 2 20 0 15 0 232389911 11345952768 119300 33554432000 4194304 4196468 140733135665280 140634831128816 140635338275458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18212] ppid=18150 vsize=11080032 memory=7306062783016687469 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15790 0 -1 1077944384 14 13210 0 0 0 0 5 2 20 0 15 0 232389911 11345952768 119300 33554432000 4194304 4196468 140733135665280 140634140697888 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18213] ppid=18150 vsize=11080032 memory=477200 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389911 11345952768 119300 33554432000 4194304 4196468 140733135665280 140633939370752 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18214] ppid=18150 vsize=11080032 memory=477200 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11345952768 119300 33554432000 4194304 4196468 140733135665280 140633631971280 140635338282907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18215] ppid=18150 vsize=11080032 memory=477180 CPUtime=6.44 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15790 0 -1 1077944384 37011 13210 0 0 632 5 5 2 20 0 15 0 232389914 11345952768 119300 33554432000 4194304 4196468 140733135665280 140634830076656 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18216] ppid=18150 vsize=11080032 memory=477200 CPUtime=6.62 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15790 0 -1 1077944384 37446 13210 0 0 650 5 5 2 20 0 15 0 232389914 11345952768 119300 33554432000 4194304 4196468 140733135665280 140634829024112 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18217] ppid=18150 vsize=11080032 memory=3824 CPUtime=3.2 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15790 0 -1 1077944384 33093 13210 0 0 308 5 5 2 20 0 15 0 232389914 11345952768 119300 33554432000 4194304 4196468 140733135665280 140634827971056 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18218] ppid=18150 vsize=11080032 memory=477200 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11345952768 119300 33554432000 4194304 4196468 140733135665280 140633201175392 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18219] ppid=18150 vsize=11080032 memory=1616 CPUtime=1.2 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15790 0 -1 1077944384 776 13210 0 0 52 61 5 2 20 0 15 0 232389915 11345952768 119300 33554432000 4194304 4196468 140733135665280 140634826918448 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
Current children cumulated CPU time: 2412.36 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 477200 KiB
[startup+2442.3 s]
/proc/loadavg: 1.54 1.44 1.38 3/219 18427
/proc/meminfo: memFree=17150756/32770624 swapFree=67108688/67108860
[pid=18153] ppid=18150 vsize=11080032 memory=477248 CPUtime=2472.86 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15790 0 -1 1077944320 229708 13210 0 0 247054 225 5 2 20 0 15 0 232389900 11345952768 119312 33554432000 4194304 4196468 140733135665280 140733135647824 140635338264311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
/proc/18153/statm: 2770008 119312 3530 1 0 2731661 0
[pid=18153/tid=18206] ppid=18150 vsize=11080032 memory=477248 CPUtime=2432.28 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15790 0 -1 4202560 71924 13210 0 0 243192 29 5 2 20 0 15 0 232389908 11345952768 119312 33554432000 4194304 4196468 140733135665280 140635310098360 140634911690998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18207] ppid=18150 vsize=11080032 memory=477248 CPUtime=5.03 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15790 0 -1 1077944384 8547 13210 0 0 465 31 5 2 20 0 15 0 232389909 11345952768 119312 33554432000 4194304 4196468 140733135665280 140635342507024 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18208] ppid=18150 vsize=11080032 memory=477212 CPUtime=5.03 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15790 0 -1 1077944384 9757 13210 0 0 464 32 5 2 20 0 15 0 232389909 11345952768 119312 33554432000 4194304 4196468 140733135665280 140635223772304 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18209] ppid=18150 vsize=11080032 memory=477248 CPUtime=4.99 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15790 0 -1 1077944384 4640 13210 0 0 458 34 5 2 20 0 15 0 232389909 11345952768 119312 33554432000 4194304 4196468 140733135665280 140635222719248 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18210] ppid=18150 vsize=11080032 memory=477248 CPUtime=5 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15790 0 -1 1077944384 8166 13210 0 0 464 29 5 2 20 0 15 0 232389909 11345952768 119312 33554432000 4194304 4196468 140733135665280 140635221666704 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18211] ppid=18150 vsize=11080032 memory=477248 CPUtime=3.4 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15790 0 -1 1077944384 15196 13210 0 0 312 21 5 2 20 0 15 0 232389911 11345952768 119312 33554432000 4194304 4196468 140733135665280 140634831128816 140635338275458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18212] ppid=18150 vsize=11080032 memory=477248 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15790 0 -1 1077944384 14 13210 0 0 0 0 5 2 20 0 15 0 232389911 11345952768 119312 33554432000 4194304 4196468 140733135665280 140634140697888 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18213] ppid=18150 vsize=11080032 memory=477248 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389911 11345952768 119312 33554432000 4194304 4196468 140733135665280 140633939370752 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18214] ppid=18150 vsize=11080032 memory=477248 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11345952768 119312 33554432000 4194304 4196468 140733135665280 140633631971280 140635338282907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18215] ppid=18150 vsize=11080032 memory=477200 CPUtime=6.5 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15790 0 -1 1077944384 37425 13210 0 0 638 5 5 2 20 0 15 0 232389914 11345952768 119312 33554432000 4194304 4196468 140733135665280 140634830076656 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18216] ppid=18150 vsize=11080032 memory=477248 CPUtime=6.68 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15790 0 -1 1077944384 37554 13210 0 0 656 5 5 2 20 0 15 0 232389914 11345952768 119312 33554432000 4194304 4196468 140733135665280 140634829024112 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18217] ppid=18150 vsize=11080032 memory=5344 CPUtime=3.24 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15790 0 -1 1077944384 33493 13210 0 0 312 5 5 2 20 0 15 0 232389914 11345952768 119312 33554432000 4194304 4196468 140733135665280 140634827971056 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18218] ppid=18150 vsize=11080032 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11345952768 119312 33554432000 4194304 4196468 140733135665280 140633201175392 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18219] ppid=18150 vsize=11080032 memory=288230596050944315 CPUtime=1.23 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15790 0 -1 1077944384 794 13210 0 0 54 62 5 2 20 0 15 0 232389915 11345952768 119312 33554432000 4194304 4196468 140733135665280 140634826918448 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
Current children cumulated CPU time: 2472.86 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 477248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2489.11 s]
/proc/loadavg: 1.26 1.38 1.37 3/218 18428
/proc/meminfo: memFree=17151204/32770624 swapFree=67108688/67108860
[pid=18153] ppid=18150 vsize=11080032 memory=477268 CPUtime=2520.05 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15790 0 -1 1077944320 230416 13210 0 0 251770 228 5 2 20 0 15 0 232389900 11345952768 119317 33554432000 4194304 4196468 140733135665280 140733135647824 140635338264311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
/proc/18153/statm: 2770008 119317 3530 1 0 2731661 0
[pid=18153/tid=18206] ppid=18150 vsize=11080032 memory=477248 CPUtime=2478.9 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15790 0 -1 4202560 72165 13210 0 0 247854 29 5 2 20 0 15 0 232389908 11345952768 119317 33554432000 4194304 4196468 140733135665280 140635310099712 140634904379206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18207] ppid=18150 vsize=11080032 memory=477248 CPUtime=5.12 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15790 0 -1 1077944384 8554 13210 0 0 474 31 5 2 20 0 15 0 232389909 11345952768 119317 33554432000 4194304 4196468 140733135665280 140635342507024 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18208] ppid=18150 vsize=11080032 memory=477248 CPUtime=5.11 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15790 0 -1 1077944384 9764 13210 0 0 472 32 5 2 20 0 15 0 232389909 11345952768 119317 33554432000 4194304 4196468 140733135665280 140635223772304 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18209] ppid=18150 vsize=11080032 memory=477248 CPUtime=5.09 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15790 0 -1 1077944384 4988 13210 0 0 467 35 5 2 20 0 15 0 232389909 11345952768 119317 33554432000 4194304 4196468 140733135665280 140635222719248 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18210] ppid=18150 vsize=11080032 memory=477268 CPUtime=5.1 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15790 0 -1 1077944384 8192 13210 0 0 473 30 5 2 20 0 15 0 232389909 11345952768 119317 33554432000 4194304 4196468 140733135665280 140635221666704 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18211] ppid=18150 vsize=11080032 memory=477268 CPUtime=3.47 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15790 0 -1 1077944384 15225 13210 0 0 319 21 5 2 20 0 15 0 232389911 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634831128816 140635338275458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18212] ppid=18150 vsize=11080032 memory=477268 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15790 0 -1 1077944384 14 13210 0 0 0 0 5 2 20 0 15 0 232389911 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634140697888 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18213] ppid=18150 vsize=11080032 memory=477268 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389911 11345952768 119317 33554432000 4194304 4196468 140733135665280 140633939370752 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18214] ppid=18150 vsize=11080032 memory=3824 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11345952768 119317 33554432000 4194304 4196468 140733135665280 140633631971280 140635338282907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18215] ppid=18150 vsize=11080032 memory=477268 CPUtime=6.54 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15790 0 -1 1077944384 37431 13210 0 0 642 5 5 2 20 0 15 0 232389914 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634830076656 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18216] ppid=18150 vsize=11080032 memory=477268 CPUtime=6.72 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15790 0 -1 1077944384 37564 13210 0 0 660 5 5 2 20 0 15 0 232389914 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634829024112 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18217] ppid=18150 vsize=11080032 memory=477248 CPUtime=3.27 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15790 0 -1 1077944384 33524 13210 0 0 315 5 5 2 20 0 15 0 232389914 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634827971056 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18218] ppid=18150 vsize=11080032 memory=477268 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11345952768 119317 33554432000 4194304 4196468 140733135665280 140633201175392 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18219] ppid=18150 vsize=11080032 memory=477268 CPUtime=1.26 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15790 0 -1 1077944384 797 13210 0 0 55 64 5 2 20 0 15 0 232389915 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634826918448 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 477268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2489.13 s]
# the end of solver process 18153 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.78 s, system=2.31617 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2489.11 s]
/proc/loadavg: 1.26 1.38 1.37 3/218 18428
/proc/meminfo: memFree=17151204/32770624 swapFree=67108688/67108860
[pid=18153] ppid=18150 vsize=11080032 memory=477268 CPUtime=2520.05 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18150 18153 15790 0 -1 1077944320 230416 13210 0 0 251770 228 5 2 20 0 15 0 232389900 11345952768 119317 33554432000 4194304 4196468 140733135665280 140733135647824 140635338264311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
/proc/18153/statm: 2770008 119317 3530 1 0 2731661 0
[pid=18153/tid=18206] ppid=18150 vsize=11080032 memory=477248 CPUtime=2478.9 cores=1,3,5,7
/proc/18153/task/18206/stat : 18206 (java) R 18150 18153 15790 0 -1 4202560 72165 13210 0 0 247854 29 5 2 20 0 15 0 232389908 11345952768 119317 33554432000 4194304 4196468 140733135665280 140635310099712 140634904379206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18207] ppid=18150 vsize=11080032 memory=477248 CPUtime=5.12 cores=1,3,5,7
/proc/18153/task/18207/stat : 18207 (java) S 18150 18153 15790 0 -1 1077944384 8554 13210 0 0 474 31 5 2 20 0 15 0 232389909 11345952768 119317 33554432000 4194304 4196468 140733135665280 140635342507024 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18208] ppid=18150 vsize=11080032 memory=477248 CPUtime=5.11 cores=1,3,5,7
/proc/18153/task/18208/stat : 18208 (java) S 18150 18153 15790 0 -1 1077944384 9764 13210 0 0 472 32 5 2 20 0 15 0 232389909 11345952768 119317 33554432000 4194304 4196468 140733135665280 140635223772304 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18209] ppid=18150 vsize=11080032 memory=477248 CPUtime=5.09 cores=1,3,5,7
/proc/18153/task/18209/stat : 18209 (java) S 18150 18153 15790 0 -1 1077944384 4988 13210 0 0 467 35 5 2 20 0 15 0 232389909 11345952768 119317 33554432000 4194304 4196468 140733135665280 140635222719248 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18210] ppid=18150 vsize=11080032 memory=477268 CPUtime=5.1 cores=1,3,5,7
/proc/18153/task/18210/stat : 18210 (java) S 18150 18153 15790 0 -1 1077944384 8192 13210 0 0 473 30 5 2 20 0 15 0 232389909 11345952768 119317 33554432000 4194304 4196468 140733135665280 140635221666704 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18211] ppid=18150 vsize=11080032 memory=477268 CPUtime=3.47 cores=1,3,5,7
/proc/18153/task/18211/stat : 18211 (java) S 18150 18153 15790 0 -1 1077944384 15225 13210 0 0 319 21 5 2 20 0 15 0 232389911 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634831128816 140635338275458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18212] ppid=18150 vsize=11080032 memory=477268 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18212/stat : 18212 (java) S 18150 18153 15790 0 -1 1077944384 14 13210 0 0 0 0 5 2 20 0 15 0 232389911 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634140697888 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18213] ppid=18150 vsize=11080032 memory=477268 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18213/stat : 18213 (java) S 18150 18153 15790 0 -1 1077944384 1 13210 0 0 0 0 5 2 20 0 15 0 232389911 11345952768 119317 33554432000 4194304 4196468 140733135665280 140633939370752 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18214] ppid=18150 vsize=11080032 memory=3824 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18214/stat : 18214 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11345952768 119317 33554432000 4194304 4196468 140733135665280 140633631971280 140635338282907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18215] ppid=18150 vsize=11080032 memory=477268 CPUtime=6.54 cores=1,3,5,7
/proc/18153/task/18215/stat : 18215 (java) S 18150 18153 15790 0 -1 1077944384 37431 13210 0 0 642 5 5 2 20 0 15 0 232389914 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634830076656 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18216] ppid=18150 vsize=11080032 memory=477268 CPUtime=6.72 cores=1,3,5,7
/proc/18153/task/18216/stat : 18216 (java) S 18150 18153 15790 0 -1 1077944384 37564 13210 0 0 660 5 5 2 20 0 15 0 232389914 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634829024112 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18217] ppid=18150 vsize=11080032 memory=477248 CPUtime=3.27 cores=1,3,5,7
/proc/18153/task/18217/stat : 18217 (java) S 18150 18153 15790 0 -1 1077944384 33524 13210 0 0 315 5 5 2 20 0 15 0 232389914 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634827971056 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18218] ppid=18150 vsize=11080032 memory=477268 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18218/stat : 18218 (java) S 18150 18153 15790 0 -1 1077944384 3 13210 0 0 0 0 5 2 20 0 15 0 232389914 11345952768 119317 33554432000 4194304 4196468 140733135665280 140633201175392 140635338274517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
[pid=18153/tid=18219] ppid=18150 vsize=11080032 memory=477268 CPUtime=1.26 cores=1,3,5,7
/proc/18153/task/18219/stat : 18219 (java) S 18150 18153 15790 0 -1 1077944384 797 13210 0 0 55 64 5 2 20 0 15 0 232389915 11345952768 119317 33554432000 4194304 4196468 140733135665280 140634826918448 140635338275458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140733135669859 140733135672668 140733135672668 140733135675343 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 477268 KiB
Child status: 143
Real time (s): 2489.13
CPU time (s): 2520.09
CPU user time (s): 2517.78
CPU system time (s): 2.31617
CPU usage (%): 101.244
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 928392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.78
system time used= 2.31617
maximum resident set size= 936020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243936
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133860
involuntary context switches= 5189
# summary of solver processes directly reported to runsolver:
# pid: 18153
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.78
# total CPU system time (s): 2.31617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5773 second user time and 27.8882 second system time
The end