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 (9101 MiB free)
memory of node 1: 16384 MiB (10244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298181-1532748464/watcher-4298181-1532748464 -o /tmp/evaluation-result-4298181-1532748464/solver-4298181-1532748464 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20128 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298181-1532748464.xml --timelimit 2520
running on 4 cores: 0,2,4,6
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=21151, runsolver pid=21148
Current StackSize limit: 8192 KiB
[startup+0.102265 s]*
/proc/loadavg: 1.42 1.58 1.60 4/215 21166
/proc/meminfo: memFree=19794664/32770624 swapFree=67108796/67108860
[pid=21151] ppid=21148 vsize=10658972 memory=27524 CPUtime=0.13 cores=0,2,4,6
/proc/21151/stat : 21151 (java) S 21148 21151 25017 0 -1 1077944320 5298 0 0 0 12 1 0 0 20 0 15 0 92409538 10914787328 6881 33554432000 4194304 4196468 140720907900192 140720907882736 139643928620791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
/proc/21151/statm: 2664743 6881 2837 1 0 2627263 0
[pid=21151/tid=21153] ppid=21148 vsize=10658972 memory=8326441112148417179 CPUtime=0.1 cores=0,2,4,6
/proc/21151/task/21153/stat : 21153 (java) R 21148 21151 25017 0 -1 4202560 3118 0 0 0 9 1 0 0 20 0 15 0 92409538 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643932841952 139643920857918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21154] ppid=21148 vsize=10658972 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21154/stat : 21154 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643885173008 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21155] ppid=21148 vsize=10658972 memory=140653044790912 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21155/stat : 21155 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643884120464 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21156] ppid=21148 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21156/stat : 21156 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643533056528 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21157] ppid=21148 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21157/stat : 21157 (java) S 21148 21151 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409539 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643532003984 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21158] ppid=21148 vsize=10658972 memory=140653044790912 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21158/stat : 21158 (java) S 21148 21151 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409540 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643488426480 139643928631938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21159] ppid=21148 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21159/stat : 21159 (java) S 21148 21151 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92409541 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643487372704 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21160] ppid=21148 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21160/stat : 21160 (java) S 21148 21151 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409541 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643486320112 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21161] ppid=21148 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21161/stat : 21161 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409543 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643485268688 139643928639387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21162] ppid=21148 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21162/stat : 21162 (java) R 21148 21151 25017 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 92409543 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643484215280 139643928631938 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21163] ppid=21148 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21163/stat : 21163 (java) S 21148 21151 25017 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 92409543 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643483162736 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21164] ppid=21148 vsize=10658972 memory=140653044790912 CPUtime=0.02 cores=0,2,4,6
/proc/21151/task/21164/stat : 21164 (java) R 21148 21151 25017 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 92409543 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643482110192 139643912701278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21165] ppid=21148 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21165/stat : 21165 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409544 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643481057888 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21166] ppid=21148 vsize=10658972 memory=140653044790912 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21166/stat : 21166 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409544 10914787328 6881 33554432000 4194304 4196468 140720907900192 139643412540208 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27524 KiB
[startup+0.218794 s]*
/proc/loadavg: 1.42 1.58 1.60 5/215 21166
/proc/meminfo: memFree=19783204/32770624 swapFree=67108796/67108860
[pid=21151] ppid=21148 vsize=10661056 memory=40740 CPUtime=0.36 cores=0,2,4,6
/proc/21151/stat : 21151 (java) S 21148 21151 25017 0 -1 1077944320 8225 0 0 0 34 2 0 0 20 0 15 0 92409538 10916921344 10185 33554432000 4194304 4196468 140720907900192 140720907882736 139643928620791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
/proc/21151/statm: 2665264 10185 3015 1 0 2627263 0
[pid=21151/tid=21153] ppid=21148 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/21151/task/21153/stat : 21153 (java) R 21148 21151 25017 0 -1 4202560 5123 0 0 0 19 1 0 0 20 0 15 0 92409538 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643932858960 139643928642717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21154] ppid=21148 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21154/stat : 21154 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643885173008 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21155] ppid=21148 vsize=10661056 memory=140653045362133 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21155/stat : 21155 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643884120464 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21156] ppid=21148 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21156/stat : 21156 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643533056528 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21157] ppid=21148 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21157/stat : 21157 (java) S 21148 21151 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409539 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643532003984 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21158] ppid=21148 vsize=10661056 memory=140653044790912 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21158/stat : 21158 (java) S 21148 21151 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409540 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643488426480 139643928631938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21159] ppid=21148 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21159/stat : 21159 (java) S 21148 21151 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92409541 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643487372704 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21160] ppid=21148 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21160/stat : 21160 (java) S 21148 21151 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409541 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643486320112 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21161] ppid=21148 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21161/stat : 21161 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409543 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643485268688 139643928639387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21162] ppid=21148 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21151/task/21162/stat : 21162 (java) R 21148 21151 25017 0 -1 1077944384 600 0 0 0 3 0 0 0 20 0 15 0 92409543 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643484215280 139643928631938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21163] ppid=21148 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21151/task/21163/stat : 21163 (java) R 21148 21151 25017 0 -1 4202560 290 0 0 0 2 0 0 0 20 0 15 0 92409543 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643483162736 139643908314913 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21164] ppid=21148 vsize=10661056 memory=140653044790912 CPUtime=0.09 cores=0,2,4,6
/proc/21151/task/21164/stat : 21164 (java) R 21148 21151 25017 0 -1 4202560 847 0 0 0 9 0 0 0 20 0 15 0 92409543 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643482105920 139643907622210 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21165] ppid=21148 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21165/stat : 21165 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409544 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643481057888 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21166] ppid=21148 vsize=10661056 memory=140653044790912 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21166/stat : 21166 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409544 10916921344 10185 33554432000 4194304 4196468 140720907900192 139643412540208 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40740 KiB
[startup+0.313162 s]*
/proc/loadavg: 1.42 1.58 1.60 6/215 21166
/proc/meminfo: memFree=19770312/32770624 swapFree=67108796/67108860
[pid=21151] ppid=21148 vsize=10661132 memory=52716 CPUtime=0.68 cores=0,2,4,6
/proc/21151/stat : 21151 (java) S 21148 21151 25017 0 -1 1077944320 10300 0 0 0 65 3 0 0 20 0 15 0 92409538 10916999168 13179 33554432000 4194304 4196468 140720907900192 140720907882736 139643928620791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
/proc/21151/statm: 2665283 13179 3064 1 0 2627263 0
[pid=21151/tid=21153] ppid=21148 vsize=10661132 memory=53476 CPUtime=0.29 cores=0,2,4,6
/proc/21151/task/21153/stat : 21153 (java) R 21148 21151 25017 0 -1 4202560 5422 0 0 0 27 2 0 0 20 0 15 0 92409538 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643932855088 139643563652167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21154] ppid=21148 vsize=10661132 memory=35 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21154/stat : 21154 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643885173008 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21155] ppid=21148 vsize=10661132 memory=140653044848928 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21155/stat : 21155 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643884120464 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21156] ppid=21148 vsize=10661132 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21156/stat : 21156 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643533056528 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21157] ppid=21148 vsize=10661132 memory=35 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21157/stat : 21157 (java) S 21148 21151 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409539 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643532003984 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21158] ppid=21148 vsize=10661132 memory=140653044855840 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21158/stat : 21158 (java) S 21148 21151 25017 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92409540 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643488426480 139643928631938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21159] ppid=21148 vsize=10661132 memory=35 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21159/stat : 21159 (java) S 21148 21151 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643487372704 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21160] ppid=21148 vsize=10661132 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21160/stat : 21160 (java) S 21148 21151 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643486320112 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21161] ppid=21148 vsize=10661132 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21161/stat : 21161 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409543 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643485268688 139643928639387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21162] ppid=21148 vsize=10661132 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/21151/task/21162/stat : 21162 (java) S 21148 21151 25017 0 -1 1077944384 1048 0 0 0 11 0 0 0 20 0 15 0 92409543 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643484215280 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21163] ppid=21148 vsize=10661132 memory=140652931304975 CPUtime=0.11 cores=0,2,4,6
/proc/21151/task/21163/stat : 21163 (java) S 21148 21151 25017 0 -1 1077944384 1078 0 0 0 11 0 0 0 20 0 15 0 92409543 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643483162736 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21164] ppid=21148 vsize=10661132 memory=140653044811962 CPUtime=0.14 cores=0,2,4,6
/proc/21151/task/21164/stat : 21164 (java) S 21148 21151 25017 0 -1 1077944384 1387 0 0 0 14 0 0 0 20 0 15 0 92409543 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643482110192 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21165] ppid=21148 vsize=10661132 memory=140652931309519 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21165/stat : 21165 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643481057888 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21166] ppid=21148 vsize=10661132 memory=281305976117184 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21166/stat : 21166 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 13179 33554432000 4194304 4196468 140720907900192 139643412540208 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 52716 KiB
[startup+0.700937 s]
/proc/loadavg: 1.42 1.58 1.60 5/215 21166
/proc/meminfo: memFree=19745080/32770624 swapFree=67108796/67108860
[pid=21151] ppid=21148 vsize=10661132 memory=122444 CPUtime=1.87 cores=0,2,4,6
/proc/21151/stat : 21151 (java) S 21148 21151 25017 0 -1 1077944320 11823 0 0 0 182 5 0 0 20 0 15 0 92409538 10916999168 30611 33554432000 4194304 4196468 140720907900192 140720907882736 139643928620791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
/proc/21151/statm: 2665283 30611 3111 1 0 2627263 0
[pid=21151/tid=21153] ppid=21148 vsize=10661132 memory=2372 CPUtime=0.66 cores=0,2,4,6
/proc/21151/task/21153/stat : 21153 (java) R 21148 21151 25017 0 -1 4202560 5606 0 0 0 63 3 0 0 20 0 15 0 92409538 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643932855488 139643912664421 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21154] ppid=21148 vsize=10661132 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21154/stat : 21154 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643885173008 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21155] ppid=21148 vsize=10661132 memory=7024 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21155/stat : 21155 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643884120464 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21156] ppid=21148 vsize=10661132 memory=15044 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21156/stat : 21156 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409539 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643533056528 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21157] ppid=21148 vsize=10661132 memory=20176 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21157/stat : 21157 (java) S 21148 21151 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409539 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643532003984 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21158] ppid=21148 vsize=10661132 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21158/stat : 21158 (java) S 21148 21151 25017 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92409540 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643488426480 139643928631938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21159] ppid=21148 vsize=10661132 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21159/stat : 21159 (java) S 21148 21151 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643487372704 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21160] ppid=21148 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21160/stat : 21160 (java) S 21148 21151 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643486320112 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21161] ppid=21148 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21161/stat : 21161 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409543 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643485268688 139643928639387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21162] ppid=21148 vsize=10661132 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/21151/task/21162/stat : 21162 (java) R 21148 21151 25017 0 -1 4202560 1791 0 0 0 43 0 0 0 20 0 15 0 92409543 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643484215280 139643910141985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21163] ppid=21148 vsize=10661132 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/21151/task/21163/stat : 21163 (java) S 21148 21151 25017 0 -1 1077944384 1233 0 0 0 43 0 0 0 20 0 15 0 92409543 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643483162736 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21164] ppid=21148 vsize=10661132 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/21151/task/21164/stat : 21164 (java) R 21148 21151 25017 0 -1 4202560 1824 0 0 0 31 0 0 0 20 0 15 0 92409543 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643482107728 139643928632726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21165] ppid=21148 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21165/stat : 21165 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643481057888 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21166] ppid=21148 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21166/stat : 21166 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 30611 33554432000 4194304 4196468 140720907900192 139643412540208 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 122444 KiB
[startup+1.50178 s]
/proc/loadavg: 1.42 1.58 1.60 5/215 21166
/proc/meminfo: memFree=19580012/32770624 swapFree=67108796/67108860
[pid=21151] ppid=21148 vsize=10661132 memory=348776 CPUtime=3.95 cores=0,2,4,6
/proc/21151/stat : 21151 (java) S 21148 21151 25017 0 -1 1077944320 13513 0 0 0 367 28 0 0 20 0 15 0 92409538 10916999168 86682 33554432000 4194304 4196468 140720907900192 140720907882736 139643928620791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
/proc/21151/statm: 2665283 87194 3161 1 0 2627263 0
[pid=21151/tid=21153] ppid=21148 vsize=10661132 memory=3544668469371293810 CPUtime=1.28 cores=0,2,4,6
/proc/21151/task/21153/stat : 21153 (java) S 21148 21151 25017 0 -1 1077944384 5743 0 0 0 125 3 0 0 20 0 15 0 92409538 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643932858672 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21154] ppid=21148 vsize=10661132 memory=229924 CPUtime=0.16 cores=0,2,4,6
/proc/21151/task/21154/stat : 21154 (java) R 21148 21151 25017 0 -1 4202560 161 0 0 0 11 5 0 0 20 0 15 0 92409539 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643885173008 139643913648629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21155] ppid=21148 vsize=10661132 memory=2241 CPUtime=0.16 cores=0,2,4,6
/proc/21151/task/21155/stat : 21155 (java) R 21148 21151 25017 0 -1 4202560 140 0 0 0 11 5 0 0 20 0 15 0 92409539 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643884120464 139643913648674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21156] ppid=21148 vsize=10661132 memory=7024 CPUtime=0.16 cores=0,2,4,6
/proc/21151/task/21156/stat : 21156 (java) R 21148 21151 25017 0 -1 4202560 152 0 0 0 11 5 0 0 20 0 15 0 92409539 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643533056528 139643913648674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21157] ppid=21148 vsize=10661132 memory=15044 CPUtime=0.16 cores=0,2,4,6
/proc/21151/task/21157/stat : 21157 (java) R 21148 21151 25017 0 -1 4202560 158 0 0 0 11 5 0 0 20 0 15 0 92409539 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643532003872 139643913648674 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21158] ppid=21148 vsize=10661132 memory=20176 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21158/stat : 21158 (java) S 21148 21151 25017 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 92409540 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643488424992 139643928630997 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21159] ppid=21148 vsize=10661132 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21159/stat : 21159 (java) S 21148 21151 25017 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643487372704 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21160] ppid=21148 vsize=10661132 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21160/stat : 21160 (java) S 21148 21151 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643486320112 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21161] ppid=21148 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21161/stat : 21161 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409543 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643485268688 139643928639387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21162] ppid=21148 vsize=10661132 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/21151/task/21162/stat : 21162 (java) S 21148 21151 25017 0 -1 1077944384 1978 0 0 0 75 0 0 0 20 0 15 0 92409543 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643484215280 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21163] ppid=21148 vsize=10661132 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/21151/task/21163/stat : 21163 (java) S 21148 21151 25017 0 -1 1077944384 1755 0 0 0 82 0 0 0 20 0 15 0 92409543 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643483162736 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21164] ppid=21148 vsize=10661132 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/21151/task/21164/stat : 21164 (java) S 21148 21151 25017 0 -1 1077944384 1985 0 0 0 38 1 0 0 20 0 15 0 92409543 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643482110192 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21165] ppid=21148 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21165/stat : 21165 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643481057888 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21166] ppid=21148 vsize=10661132 memory=371059 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21166/stat : 21166 (java) S 21148 21151 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 87194 33554432000 4194304 4196468 140720907900192 139643412540208 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
Current children cumulated CPU time: 3.95 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 348776 KiB
[startup+3.11077 s]
/proc/loadavg: 1.42 1.58 1.60 6/215 21166
/proc/meminfo: memFree=19036976/32770624 swapFree=67108796/67108860
[pid=21151] ppid=21148 vsize=10661132 memory=786488 CPUtime=9.1 cores=0,2,4,6
/proc/21151/stat : 21151 (java) S 21148 21151 25017 0 -1 1077944320 31978 0 0 0 844 66 0 0 20 0 15 0 92409538 10916999168 196622 33554432000 4194304 4196468 140720907900192 140720907882736 139643928620791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
/proc/21151/statm: 2665283 196622 3174 1 0 2627263 0
[pid=21151/tid=21153] ppid=21148 vsize=10661132 memory=56 CPUtime=1.73 cores=0,2,4,6
/proc/21151/task/21153/stat : 21153 (java) S 21148 21151 25017 0 -1 1077944384 5798 0 0 0 168 5 0 0 20 0 15 0 92409538 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643932858768 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21154] ppid=21148 vsize=10661132 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/21151/task/21154/stat : 21154 (java) R 21148 21151 25017 0 -1 4202560 5096 0 0 0 114 14 0 0 20 0 15 0 92409539 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643885173128 139643913321482 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21155] ppid=21148 vsize=10661132 memory=281305862573920 CPUtime=1.3 cores=0,2,4,6
/proc/21151/task/21155/stat : 21155 (java) R 21148 21151 25017 0 -1 4202560 4532 0 0 0 116 14 0 0 20 0 15 0 92409539 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643884120272 139643913321536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21156] ppid=21148 vsize=10661132 memory=3977153603908520293 CPUtime=1.28 cores=0,2,4,6
/proc/21151/task/21156/stat : 21156 (java) R 21148 21151 25017 0 -1 4202560 4490 0 0 0 114 14 0 0 20 0 15 0 92409539 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643533056336 139643913321257 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21157] ppid=21148 vsize=10661132 memory=140652931291216 CPUtime=1.3 cores=0,2,4,6
/proc/21151/task/21157/stat : 21157 (java) R 21148 21151 25017 0 -1 4202560 4728 0 0 0 116 14 0 0 20 0 15 0 92409539 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643532003984 139643913321409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21158] ppid=21148 vsize=10661132 memory=2111003538397700 CPUtime=0.01 cores=0,2,4,6
/proc/21151/task/21158/stat : 21158 (java) S 21148 21151 25017 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 15 0 92409540 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643488425024 139643928630997 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21159] ppid=21148 vsize=10661132 memory=11009408707 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21159/stat : 21159 (java) S 21148 21151 25017 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643487372704 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21160] ppid=21148 vsize=10661132 memory=11009408707 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21160/stat : 21160 (java) S 21148 21151 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643486320112 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21161] ppid=21148 vsize=10661132 memory=88206288 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21161/stat : 21161 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409543 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643485268688 139643928639387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21162] ppid=21148 vsize=10661132 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/21151/task/21162/stat : 21162 (java) S 21148 21151 25017 0 -1 1077944384 1992 0 0 0 84 0 0 0 20 0 15 0 92409543 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643484215280 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21163] ppid=21148 vsize=10661132 memory=55 CPUtime=0.88 cores=0,2,4,6
/proc/21151/task/21163/stat : 21163 (java) S 21148 21151 25017 0 -1 1077944384 1770 0 0 0 88 0 0 0 20 0 15 0 92409543 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643483162736 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21164] ppid=21148 vsize=10661132 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/21151/task/21164/stat : 21164 (java) S 21148 21151 25017 0 -1 1077944384 1988 0 0 0 39 1 0 0 20 0 15 0 92409543 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643482110192 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21165] ppid=21148 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21165/stat : 21165 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643481057888 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21166] ppid=21148 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21166/stat : 21166 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 196622 33554432000 4194304 4196468 140720907900192 139643412540208 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
Current children cumulated CPU time: 9.1 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 786488 KiB
[startup+3.62984 s]
# the end of solver process 21151 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.5733 s, system=0.694576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20573 s]
/proc/loadavg: 1.42 1.58 1.60 6/215 21166
/proc/meminfo: memFree=19036976/32770624 swapFree=67108796/67108860
[pid=21151] ppid=21148 vsize=10661132 memory=786644 CPUtime=9.48 cores=0,2,4,6
/proc/21151/stat : 21151 (java) S 21148 21151 25017 0 -1 1077944320 44809 0 0 0 881 67 0 0 20 0 15 0 92409538 10916999168 196661 33554432000 4194304 4196468 140720907900192 140720907882736 139643928620791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
/proc/21151/statm: 2665283 196661 3174 1 0 2627263 0
[pid=21151/tid=21153] ppid=21148 vsize=10661132 memory=0 CPUtime=1.73 cores=0,2,4,6
/proc/21151/task/21153/stat : 21153 (java) S 21148 21151 25017 0 -1 1077944384 5798 0 0 0 168 5 0 0 20 0 15 0 92409538 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643932858768 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21154] ppid=21148 vsize=10661132 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/21151/task/21154/stat : 21154 (java) R 21148 21151 25017 0 -1 4202560 8234 0 0 0 123 14 0 0 20 0 15 0 92409539 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643885173128 139643913321427 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21155] ppid=21148 vsize=10661132 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/21151/task/21155/stat : 21155 (java) R 21148 21151 25017 0 -1 4202560 8257 0 0 0 125 14 0 0 20 0 15 0 92409539 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643884120272 139643921720463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21156] ppid=21148 vsize=10661132 memory=22244 CPUtime=1.38 cores=0,2,4,6
/proc/21151/task/21156/stat : 21156 (java) R 21148 21151 25017 0 -1 4202560 7110 0 0 0 124 14 0 0 20 0 15 0 92409539 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643533056336 139643913321479 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21157] ppid=21148 vsize=10661132 memory=-7173504570862900581 CPUtime=1.4 cores=0,2,4,6
/proc/21151/task/21157/stat : 21157 (java) R 21148 21151 25017 0 -1 4202560 8101 0 0 0 125 15 0 0 20 0 15 0 92409539 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643532003984 139643921725484 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21158] ppid=21148 vsize=10661132 memory=-6951259422114956437 CPUtime=0.01 cores=0,2,4,6
/proc/21151/task/21158/stat : 21158 (java) S 21148 21151 25017 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 15 0 92409540 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643488425024 139643928630997 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21159] ppid=21148 vsize=10661132 memory=5012 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21159/stat : 21159 (java) S 21148 21151 25017 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643487372704 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21160] ppid=21148 vsize=10661132 memory=4032 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21160/stat : 21160 (java) S 21148 21151 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643486320112 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21161] ppid=21148 vsize=10661132 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21161/stat : 21161 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409543 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643485268688 139643928639387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21162] ppid=21148 vsize=10661132 memory=1088 CPUtime=0.84 cores=0,2,4,6
/proc/21151/task/21162/stat : 21162 (java) S 21148 21151 25017 0 -1 1077944384 1992 0 0 0 84 0 0 0 20 0 15 0 92409543 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643484215280 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21163] ppid=21148 vsize=10661132 memory=1800 CPUtime=0.88 cores=0,2,4,6
/proc/21151/task/21163/stat : 21163 (java) S 21148 21151 25017 0 -1 1077944384 1770 0 0 0 88 0 0 0 20 0 15 0 92409543 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643483162736 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21164] ppid=21148 vsize=10661132 memory=7024 CPUtime=0.4 cores=0,2,4,6
/proc/21151/task/21164/stat : 21164 (java) S 21148 21151 25017 0 -1 1077944384 1988 0 0 0 39 1 0 0 20 0 15 0 92409543 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643482110192 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21165] ppid=21148 vsize=10661132 memory=15044 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21165/stat : 21165 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643481057888 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21166] ppid=21148 vsize=10661132 memory=20176 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21166/stat : 21166 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 196661 33554432000 4194304 4196468 140720907900192 139643412540208 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
Current children cumulated CPU time: 9.48 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 786644 KiB
[startup+3.60077 s]
/proc/loadavg: 1.42 1.58 1.60 6/215 21166
/proc/meminfo: memFree=19036976/32770624 swapFree=67108796/67108860
[pid=21151] ppid=21148 vsize=10661132 memory=789196 CPUtime=10.22 cores=0,2,4,6
/proc/21151/stat : 21151 (java) S 21148 21151 25017 0 -1 1077944320 52751 0 0 0 954 68 0 0 20 0 15 0 92409538 10916999168 197299 33554432000 4194304 4196468 140720907900192 140720907882736 139643928620791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
/proc/21151/statm: 2665283 197299 3191 1 0 2627263 0
[pid=21151/tid=21153] ppid=21148 vsize=10661132 memory=6655300316396806240 CPUtime=2.08 cores=0,2,4,6
/proc/21151/task/21153/stat : 21153 (java) R 21148 21151 25017 0 -1 4202560 5927 0 0 0 203 5 0 0 20 0 15 0 92409538 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643932856744 139643568537503 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21154] ppid=21148 vsize=10661132 memory=6944656592455097440 CPUtime=1.41 cores=0,2,4,6
/proc/21151/task/21154/stat : 21154 (java) S 21148 21151 25017 0 -1 1077944384 9014 0 0 0 127 14 0 0 20 0 15 0 92409539 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643885173008 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21155] ppid=21148 vsize=10661132 memory=6791534058613427641 CPUtime=1.43 cores=0,2,4,6
/proc/21151/task/21155/stat : 21155 (java) S 21148 21151 25017 0 -1 1077944384 9076 0 0 0 129 14 0 0 20 0 15 0 92409539 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643884120464 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21156] ppid=21148 vsize=10661132 memory=26552 CPUtime=1.42 cores=0,2,4,6
/proc/21151/task/21156/stat : 21156 (java) S 21148 21151 25017 0 -1 1077944384 8158 0 0 0 128 14 0 0 20 0 15 0 92409539 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643533056528 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21157] ppid=21148 vsize=10661132 memory=2088 CPUtime=1.44 cores=0,2,4,6
/proc/21151/task/21157/stat : 21157 (java) S 21148 21151 25017 0 -1 1077944384 9123 0 0 0 129 15 0 0 20 0 15 0 92409539 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643532003984 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21158] ppid=21148 vsize=10661132 memory=1040 CPUtime=0.01 cores=0,2,4,6
/proc/21151/task/21158/stat : 21158 (java) S 21148 21151 25017 0 -1 1077944384 699 0 0 0 1 0 0 0 20 0 15 0 92409540 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643488426480 139643928631938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21159] ppid=21148 vsize=10661132 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21159/stat : 21159 (java) S 21148 21151 25017 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643487372704 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21160] ppid=21148 vsize=10661132 memory=8800 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21160/stat : 21160 (java) S 21148 21151 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409541 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643486320112 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21161] ppid=21148 vsize=10661132 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21161/stat : 21161 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409543 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643485268688 139643928639387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21162] ppid=21148 vsize=10661132 memory=792 CPUtime=0.96 cores=0,2,4,6
/proc/21151/task/21162/stat : 21162 (java) R 21148 21151 25017 0 -1 4202560 3498 0 0 0 96 0 0 0 20 0 15 0 92409543 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643484201304 139643910165752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21163] ppid=21148 vsize=10661132 memory=832 CPUtime=0.97 cores=0,2,4,6
/proc/21151/task/21163/stat : 21163 (java) R 21148 21151 25017 0 -1 4202560 3563 0 0 0 97 0 0 0 20 0 15 0 92409543 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643483147936 139643914643065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21164] ppid=21148 vsize=10661132 memory=1608 CPUtime=0.41 cores=0,2,4,6
/proc/21151/task/21164/stat : 21164 (java) S 21148 21151 25017 0 -1 1077944384 2333 0 0 0 40 1 0 0 20 0 15 0 92409543 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643482110192 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21165] ppid=21148 vsize=10661132 memory=281305862837056 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21165/stat : 21165 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643481057888 139643928630997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
[pid=21151/tid=21166] ppid=21148 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21151/task/21166/stat : 21166 (java) S 21148 21151 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409544 10916999168 197299 33554432000 4194304 4196468 140720907900192 139643412540208 139643928631938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30662656 140720907908216 140720907908361 140720907908361 140720907911119 0
Current children cumulated CPU time: 10.22 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 789196 KiB
Child status: 0
Real time (s): 3.62989
CPU time (s): 10.2679
CPU user time (s): 9.5733
CPU system time (s): 0.694576
CPU usage (%): 282.87
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 789196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.5733
system time used= 0.694576
maximum resident set size= 790952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53146
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1917
involuntary context switches= 74
# summary of solver processes directly reported to runsolver:
# pid: 21151
# total CPU time (s): 10.2679
# total CPU user time (s): 9.5733
# total CPU system time (s): 0.694576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038276 second user time and 0.083308 second system time
The end