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 (14001 MiB free)
memory of node 1: 16384 MiB (15323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401070-1568680145/watcher-4401070-1568680145 -o /tmp/evaluation-result-4401070-1568680145/solver-4401070-1568680145 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568673291-22998 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=711557294 HOME/instance-4401070-1568680145.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26239, runsolver pid=26236
[startup+0.100097 s]*
/proc/loadavg: 2.61 1.88 1.74 3/224 26296
/proc/meminfo: memFree=30019472/32770624 swapFree=67004524/67108860
[pid=26239] ppid=26236 vsize=9988792 memory=17344 CPUtime=0.1 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 22966 0 -1 1077944320 4610 13121 0 0 1 1 5 3 20 0 6 0 444254077 10228523008 4336 33554432000 4194304 4196468 140733541226768 140733541209312 140018899603191 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
/proc/26239/statm: 2497198 4336 1958 1 0 2485636 0
[pid=26239/tid=26292] ppid=26236 vsize=9989820 memory=4279135703980212366 CPUtime=0.09 cores=1,3,5,7
/proc/26239/task/26292/stat : 26292 (java) S 26236 26239 22966 0 -1 1077944384 2409 13121 0 0 1 0 5 3 20 0 7 0 444254086 10229575680 4402 33554432000 4194304 4196468 140733541226768 140018871446144 140018899613397 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26293] ppid=26236 vsize=9989820 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26293/stat : 26293 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 7 0 444254087 10229575680 4402 33554432000 4194304 4196468 140733541226768 140018903845136 140018899613397 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26294] ppid=26236 vsize=9989820 memory=139944670709376 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26294/stat : 26294 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 7 0 444254087 10229575680 4402 33554432000 4194304 4196468 140733541226768 140018822597008 140018899613397 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26295] ppid=26236 vsize=9989820 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26295/stat : 26295 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 7 0 444254087 10229575680 4402 33554432000 4194304 4196468 140733541226768 140018821544464 140018899613397 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26296] ppid=26236 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26296/stat : 26296 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 7 0 444254087 10296684544 4402 33554432000 4194304 4196468 140733541226768 140018470279824 140018899613397 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26297] ppid=26236 vsize=10055356 memory=139944670709376 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26297/stat : 26297 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 7 0 444254088 10296684544 4402 33554432000 4194304 4196468 140733541226768 140018426186224 140018899614338 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9988792 KiB
Current children cumulated memory: 17344 KiB
[startup+0.210282 s]*
/proc/loadavg: 2.61 1.88 1.74 4/233 26305
/proc/meminfo: memFree=29996780/32770624 swapFree=67004524/67108860
[pid=26239] ppid=26236 vsize=10820196 memory=46676 CPUtime=0.28 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 22966 0 -1 1077944320 7439 13121 0 0 18 2 5 3 20 0 15 0 444254077 11079880704 11669 33554432000 4194304 4196468 140733541226768 140733541209312 140018899603191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
/proc/26239/statm: 2705049 11669 3298 1 0 2667149 0
[pid=26239/tid=26292] ppid=26236 vsize=10820196 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/26239/task/26292/stat : 26292 (java) R 26236 26239 22966 0 -1 4202560 3927 13121 0 0 11 1 5 3 20 0 15 0 444254086 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018871421760 140018899625117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26293] ppid=26236 vsize=10820196 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26293/stat : 26293 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254087 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018903845136 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26294] ppid=26236 vsize=10820196 memory=139944670709376 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26294/stat : 26294 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254087 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018822597008 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26295] ppid=26236 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26295/stat : 26295 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254087 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018821544464 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26296] ppid=26236 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26296/stat : 26296 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254087 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018470279824 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26297] ppid=26236 vsize=10820196 memory=139944670709376 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26297/stat : 26297 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254088 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018426186224 140018899614338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26298] ppid=26236 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26298/stat : 26298 (java) S 26236 26239 22966 0 -1 1077944384 13 13121 0 0 0 0 5 3 20 0 15 0 444254089 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018349761952 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26299] ppid=26236 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26299/stat : 26299 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254089 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018215544304 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26300] ppid=26236 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26300/stat : 26300 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254092 11079880704 11669 33554432000 4194304 4196468 140733541226768 140017611565776 140018899621787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26301] ppid=26236 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26301/stat : 26301 (java) S 26236 26239 22966 0 -1 1077944384 478 13121 0 0 0 0 5 3 20 0 15 0 444254092 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018425133040 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26302] ppid=26236 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/26239/task/26302/stat : 26302 (java) S 26236 26239 22966 0 -1 1077944384 192 13121 0 0 1 0 5 3 20 0 15 0 444254092 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018424080496 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26303] ppid=26236 vsize=10820196 memory=139944670709376 CPUtime=0.11 cores=1,3,5,7
/proc/26239/task/26303/stat : 26303 (java) S 26236 26239 22966 0 -1 1077944384 606 13121 0 0 3 0 5 3 20 0 15 0 444254092 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018423027952 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26304] ppid=26236 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26304/stat : 26304 (java) S 26236 26239 22966 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 444254092 11079880704 11669 33554432000 4194304 4196468 140733541226768 140017141803616 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26305] ppid=26236 vsize=10820196 memory=139944670709376 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26305/stat : 26305 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254092 11079880704 11669 33554432000 4194304 4196468 140733541226768 140018421975856 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46676 KiB
[startup+0.310972 s]*
/proc/loadavg: 2.61 1.88 1.74 4/233 26305
/proc/meminfo: memFree=29984468/32770624 swapFree=67004524/67108860
[pid=26239] ppid=26236 vsize=10820196 memory=54692 CPUtime=0.41 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 22966 0 -1 1077944320 10893 13121 0 0 29 4 5 3 20 0 15 0 444254077 11079880704 13673 33554432000 4194304 4196468 140733541226768 140733541209312 140018899603191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
/proc/26239/statm: 2705049 13673 3309 1 0 2667149 0
[pid=26239/tid=26292] ppid=26236 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26239/task/26292/stat : 26292 (java) R 26236 26239 22966 0 -1 4202560 7373 13121 0 0 19 2 5 3 20 0 15 0 444254086 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018871424224 140018899625117 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26293] ppid=26236 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26293/stat : 26293 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254087 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018903845136 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26294] ppid=26236 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26294/stat : 26294 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254087 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018822597008 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26295] ppid=26236 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26295/stat : 26295 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254087 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018821544464 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26296] ppid=26236 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26296/stat : 26296 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254087 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018470279824 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26297] ppid=26236 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26297/stat : 26297 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254088 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018426186224 140018899614338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26298] ppid=26236 vsize=10820196 memory=139944670709375 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26298/stat : 26298 (java) S 26236 26239 22966 0 -1 1077944384 13 13121 0 0 0 0 5 3 20 0 15 0 444254089 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018349761952 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26299] ppid=26236 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26299/stat : 26299 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254089 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018215544304 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26300] ppid=26236 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26300/stat : 26300 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254092 11079880704 13673 33554432000 4194304 4196468 140733541226768 140017611565776 140018899621787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26301] ppid=26236 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26239/task/26301/stat : 26301 (java) S 26236 26239 22966 0 -1 1077944384 478 13121 0 0 1 0 5 3 20 0 15 0 444254092 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018425133040 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26302] ppid=26236 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/26239/task/26302/stat : 26302 (java) S 26236 26239 22966 0 -1 1077944384 193 13121 0 0 2 0 5 3 20 0 15 0 444254092 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018424080496 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26303] ppid=26236 vsize=10820196 memory=139944670709376 CPUtime=0.13 cores=1,3,5,7
/proc/26239/task/26303/stat : 26303 (java) S 26236 26239 22966 0 -1 1077944384 614 13121 0 0 5 0 5 3 20 0 15 0 444254092 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018423027952 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26304] ppid=26236 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26304/stat : 26304 (java) S 26236 26239 22966 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 444254092 11079880704 13673 33554432000 4194304 4196468 140733541226768 140017141803616 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26305] ppid=26236 vsize=10820196 memory=139944670709376 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26305/stat : 26305 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254092 11079880704 13673 33554432000 4194304 4196468 140733541226768 140018421975856 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54692 KiB
[startup+0.701006 s]
/proc/loadavg: 2.61 1.88 1.74 5/233 26305
/proc/meminfo: memFree=29969544/32770624 swapFree=67004524/67108860
[pid=26239] ppid=26236 vsize=10824364 memory=87640 CPUtime=1.12 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 22966 0 -1 1077944320 15115 13121 0 0 99 5 5 3 20 0 15 0 444254077 11084148736 21910 33554432000 4194304 4196468 140733541226768 140733541209312 140018899603191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
/proc/26239/statm: 2706091 21910 3511 1 0 2668173 0
[pid=26239/tid=26292] ppid=26236 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/26239/task/26292/stat : 26292 (java) R 26236 26239 22966 0 -1 4202560 10407 13121 0 0 55 4 5 3 20 0 15 0 444254086 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018871430352 140018500869074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26293] ppid=26236 vsize=10824364 memory=139944533118325 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26293/stat : 26293 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254087 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018903845136 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26294] ppid=26236 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26294/stat : 26294 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254087 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018822597008 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26295] ppid=26236 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26295/stat : 26295 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254087 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018821544464 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26296] ppid=26236 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26296/stat : 26296 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254087 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018470279824 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26297] ppid=26236 vsize=10824364 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26297/stat : 26297 (java) S 26236 26239 22966 0 -1 1077944384 5 13121 0 0 0 0 5 3 20 0 15 0 444254088 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018426186224 140018899614338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26298] ppid=26236 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26298/stat : 26298 (java) S 26236 26239 22966 0 -1 1077944384 13 13121 0 0 0 0 5 3 20 0 15 0 444254089 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018349761952 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26299] ppid=26236 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26299/stat : 26299 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254089 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018215544304 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26300] ppid=26236 vsize=10824364 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26300/stat : 26300 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254092 11084148736 21910 33554432000 4194304 4196468 140733541226768 140017611565776 140018899621787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26301] ppid=26236 vsize=10824364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/26239/task/26301/stat : 26301 (java) R 26236 26239 22966 0 -1 4202560 924 13121 0 0 13 0 5 3 20 0 15 0 444254092 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018425120352 140018880301991 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26302] ppid=26236 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/26239/task/26302/stat : 26302 (java) R 26236 26239 22966 0 -1 4202560 658 13121 0 0 12 0 5 3 20 0 15 0 444254092 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018424066592 140018899617095 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26303] ppid=26236 vsize=10824364 memory=139944530053136 CPUtime=0.25 cores=1,3,5,7
/proc/26239/task/26303/stat : 26303 (java) R 26236 26239 22966 0 -1 4202560 886 13121 0 0 17 0 5 3 20 0 15 0 444254092 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018423027952 140018892699892 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26304] ppid=26236 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26304/stat : 26304 (java) S 26236 26239 22966 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 444254092 11084148736 21910 33554432000 4194304 4196468 140733541226768 140017141803616 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26305] ppid=26236 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26305/stat : 26305 (java) R 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254092 11084148736 21910 33554432000 4194304 4196468 140733541226768 140018421975856 140018899614338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87640 KiB
[startup+1.50075 s]
/proc/loadavg: 2.61 1.88 1.74 3/233 26305
/proc/meminfo: memFree=29924216/32770624 swapFree=67004524/67108860
[pid=26239] ppid=26236 vsize=10834680 memory=188088 CPUtime=2.73 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 22966 0 -1 1077944320 25285 13121 0 0 254 11 5 3 20 0 15 0 444254077 11094712320 47022 33554432000 4194304 4196468 140733541226768 140733541209312 140018899603191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
/proc/26239/statm: 2708670 47022 3585 1 0 2670733 0
[pid=26239/tid=26292] ppid=26236 vsize=10834680 memory=279889060333664 CPUtime=1.43 cores=1,3,5,7
/proc/26239/task/26292/stat : 26292 (java) R 26236 26239 22966 0 -1 4202560 15610 13121 0 0 129 6 5 3 20 0 15 0 444254086 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018871430176 140018879125674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26293] ppid=26236 vsize=10834680 memory=288230583166042426 CPUtime=0.09 cores=1,3,5,7
/proc/26239/task/26293/stat : 26293 (java) S 26236 26239 22966 0 -1 1077944384 41 13121 0 0 1 0 5 3 20 0 15 0 444254087 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018903845136 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26294] ppid=26236 vsize=10834680 memory=13564890539362749 CPUtime=0.09 cores=1,3,5,7
/proc/26239/task/26294/stat : 26294 (java) S 26236 26239 22966 0 -1 1077944384 85 13121 0 0 1 0 5 3 20 0 15 0 444254087 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018822597008 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26295] ppid=26236 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26239/task/26295/stat : 26295 (java) S 26236 26239 22966 0 -1 1077944384 297 13121 0 0 1 0 5 3 20 0 15 0 444254087 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018821544464 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26296] ppid=26236 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26239/task/26296/stat : 26296 (java) S 26236 26239 22966 0 -1 1077944384 75 13121 0 0 1 0 5 3 20 0 15 0 444254087 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018470279824 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26297] ppid=26236 vsize=10834680 memory=104464 CPUtime=0.09 cores=1,3,5,7
/proc/26239/task/26297/stat : 26297 (java) S 26236 26239 22966 0 -1 1077944384 989 13121 0 0 1 0 5 3 20 0 15 0 444254088 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018426186224 140018899614338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26298] ppid=26236 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26298/stat : 26298 (java) S 26236 26239 22966 0 -1 1077944384 13 13121 0 0 0 0 5 3 20 0 15 0 444254089 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018349762016 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26299] ppid=26236 vsize=10834680 memory=-7310984442351173270 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26299/stat : 26299 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254089 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018215544320 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26300] ppid=26236 vsize=10834680 memory=-4266093328290063036 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26300/stat : 26300 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254092 11094712320 47022 33554432000 4194304 4196468 140733541226768 140017611565776 140018899621787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26301] ppid=26236 vsize=10834680 memory=-7240599211820661557 CPUtime=0.43 cores=1,3,5,7
/proc/26239/task/26301/stat : 26301 (java) S 26236 26239 22966 0 -1 1077944384 2051 13121 0 0 35 0 5 3 20 0 15 0 444254092 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018425133040 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26302] ppid=26236 vsize=10834680 memory=1329904169539632281 CPUtime=0.44 cores=1,3,5,7
/proc/26239/task/26302/stat : 26302 (java) S 26236 26239 22966 0 -1 1077944384 1803 13121 0 0 36 0 5 3 20 0 15 0 444254092 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018424080496 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26303] ppid=26236 vsize=10834680 memory=-5345911727200832470 CPUtime=0.53 cores=1,3,5,7
/proc/26239/task/26303/stat : 26303 (java) S 26236 26239 22966 0 -1 1077944384 2106 13121 0 0 45 0 5 3 20 0 15 0 444254092 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018423027952 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26304] ppid=26236 vsize=10834680 memory=279889060333896 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26304/stat : 26304 (java) S 26236 26239 22966 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 444254092 11094712320 47022 33554432000 4194304 4196468 140733541226768 140017141803616 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26305] ppid=26236 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26305/stat : 26305 (java) S 26236 26239 22966 0 -1 1077944384 1 13121 0 0 0 0 5 3 20 0 15 0 444254092 11094712320 47022 33554432000 4194304 4196468 140733541226768 140018421975856 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
################
# More data... #
################
[startup+9.32553 s]
# the end of solver process 26239 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19.8641 s, system=0.382363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.50997 s]
/proc/loadavg: 2.72 1.91 1.75 4/233 26305
/proc/meminfo: memFree=29600812/32770624 swapFree=67004524/67108860
[pid=26239] ppid=26236 vsize=10851096 memory=440588 CPUtime=16.14 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 22966 0 -1 1077944320 58496 13121 0 0 1579 27 5 3 20 0 15 0 444254077 11111522304 110147 33554432000 4194304 4196468 140733541226768 140733541209312 140018899603191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
/proc/26239/statm: 2712774 110147 3631 1 0 2674829 0
[pid=26239/tid=26292] ppid=26236 vsize=10851096 memory=6791534058613427641 CPUtime=6.33 cores=1,3,5,7
/proc/26239/task/26292/stat : 26292 (java) R 26236 26239 22966 0 -1 4202560 24289 13121 0 0 613 12 5 3 20 0 15 0 444254086 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018871437056 140018515332064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26293] ppid=26236 vsize=10851096 memory=4639939496134862184 CPUtime=0.14 cores=1,3,5,7
/proc/26239/task/26293/stat : 26293 (java) S 26236 26239 22966 0 -1 1077944384 131 13121 0 0 5 1 5 3 20 0 15 0 444254087 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018903845136 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26294] ppid=26236 vsize=10851096 memory=7512114543601282149 CPUtime=0.13 cores=1,3,5,7
/proc/26239/task/26294/stat : 26294 (java) S 26236 26239 22966 0 -1 1077944384 149 13121 0 0 4 1 5 3 20 0 15 0 444254087 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018822597008 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26295] ppid=26236 vsize=10851096 memory=7451894300419318880 CPUtime=0.14 cores=1,3,5,7
/proc/26239/task/26295/stat : 26295 (java) S 26236 26239 22966 0 -1 1077944384 340 13121 0 0 5 1 5 3 20 0 15 0 444254087 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018821544464 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26296] ppid=26236 vsize=10851096 memory=7811044310603950144 CPUtime=0.14 cores=1,3,5,7
/proc/26239/task/26296/stat : 26296 (java) S 26236 26239 22966 0 -1 1077944384 206 13121 0 0 5 1 5 3 20 0 15 0 444254087 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018470279824 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26297] ppid=26236 vsize=10851096 memory=7811044310603950144 CPUtime=0.13 cores=1,3,5,7
/proc/26239/task/26297/stat : 26297 (java) S 26236 26239 22966 0 -1 1077944384 3109 13121 0 0 5 0 5 3 20 0 15 0 444254088 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018426186224 140018899614338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26298] ppid=26236 vsize=10851096 memory=7378983553979662436 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26298/stat : 26298 (java) S 26236 26239 22966 0 -1 1077944384 15 13121 0 0 0 0 5 3 20 0 15 0 444254089 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018349762080 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26299] ppid=26236 vsize=10851096 memory=390744 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26299/stat : 26299 (java) S 26236 26239 22966 0 -1 1077944384 6 13121 0 0 0 0 5 3 20 0 15 0 444254089 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018215544320 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26300] ppid=26236 vsize=10851096 memory=784 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26300/stat : 26300 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 110147 33554432000 4194304 4196468 140733541226768 140017611565776 140018899621787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26301] ppid=26236 vsize=10851096 memory=8252 CPUtime=3.57 cores=1,3,5,7
/proc/26239/task/26301/stat : 26301 (java) R 26236 26239 22966 0 -1 4202560 8081 13121 0 0 347 2 5 3 20 0 15 0 444254092 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018425115888 140018883059000 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26302] ppid=26236 vsize=10851096 memory=6032 CPUtime=3.78 cores=1,3,5,7
/proc/26239/task/26302/stat : 26302 (java) R 26236 26239 22966 0 -1 4202560 10542 13121 0 0 368 2 5 3 20 0 15 0 444254092 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018424080496 140018884503530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26303] ppid=26236 vsize=10851096 memory=1056 CPUtime=2.33 cores=1,3,5,7
/proc/26239/task/26303/stat : 26303 (java) S 26236 26239 22966 0 -1 1077944384 9402 13121 0 0 221 4 5 3 20 0 15 0 444254092 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018423027952 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26304] ppid=26236 vsize=10851096 memory=1540 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26304/stat : 26304 (java) S 26236 26239 22966 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 110147 33554432000 4194304 4196468 140733541226768 140017141803616 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26305] ppid=26236 vsize=10851096 memory=728 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26305/stat : 26305 (java) S 26236 26239 22966 0 -1 1077944384 11 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 110147 33554432000 4194304 4196468 140733541226768 140018421975856 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
Current children cumulated CPU time: 16.14 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 440588 KiB
[startup+8.10078 s]*
/proc/loadavg: 2.59 1.90 1.74 4/234 26307
/proc/meminfo: memFree=29485556/32770624 swapFree=67004524/67108860
[pid=26239] ppid=26236 vsize=10851096 memory=555280 CPUtime=18.4 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 22966 0 -1 1077944320 61918 13121 0 0 1801 31 5 3 20 0 15 0 444254077 11111522304 138820 33554432000 4194304 4196468 140733541226768 140733541209312 140018899603191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
/proc/26239/statm: 2712774 138820 3634 1 0 2674829 0
[pid=26239/tid=26292] ppid=26236 vsize=10851096 memory=6791534058613427641 CPUtime=7.9 cores=1,3,5,7
/proc/26239/task/26292/stat : 26292 (java) R 26236 26239 22966 0 -1 4202560 24625 13121 0 0 769 13 5 3 20 0 15 0 444254086 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018871433456 140018516894037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26293] ppid=26236 vsize=10851096 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/26239/task/26293/stat : 26293 (java) S 26236 26239 22966 0 -1 1077944384 1007 13121 0 0 7 1 5 3 20 0 15 0 444254087 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018903845136 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26294] ppid=26236 vsize=10851096 memory=3833746603143278640 CPUtime=0.15 cores=1,3,5,7
/proc/26239/task/26294/stat : 26294 (java) S 26236 26239 22966 0 -1 1077944384 179 13121 0 0 6 1 5 3 20 0 15 0 444254087 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018822597008 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26295] ppid=26236 vsize=10851096 memory=7007707949394126417 CPUtime=0.15 cores=1,3,5,7
/proc/26239/task/26295/stat : 26295 (java) S 26236 26239 22966 0 -1 1077944384 378 13121 0 0 6 1 5 3 20 0 15 0 444254087 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018821544464 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26296] ppid=26236 vsize=10851096 memory=2867664571609119 CPUtime=0.16 cores=1,3,5,7
/proc/26239/task/26296/stat : 26296 (java) S 26236 26239 22966 0 -1 1077944384 269 13121 0 0 7 1 5 3 20 0 15 0 444254087 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018470279824 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26297] ppid=26236 vsize=10851096 memory=4786094399515518624 CPUtime=0.13 cores=1,3,5,7
/proc/26239/task/26297/stat : 26297 (java) S 26236 26239 22966 0 -1 1077944384 3165 13121 0 0 5 0 5 3 20 0 15 0 444254088 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018426186224 140018899614338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26298] ppid=26236 vsize=10851096 memory=7589420999132590127 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26298/stat : 26298 (java) S 26236 26239 22966 0 -1 1077944384 15 13121 0 0 0 0 5 3 20 0 15 0 444254089 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018349762080 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26299] ppid=26236 vsize=10851096 memory=-6876588461455810464 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26299/stat : 26299 (java) S 26236 26239 22966 0 -1 1077944384 6 13121 0 0 0 0 5 3 20 0 15 0 444254089 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018215544320 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26300] ppid=26236 vsize=10851096 memory=-7812193691855986592 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26300/stat : 26300 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 138820 33554432000 4194304 4196468 140733541226768 140017611565776 140018899621787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26301] ppid=26236 vsize=10851096 memory=0 CPUtime=3.79 cores=1,3,5,7
/proc/26239/task/26301/stat : 26301 (java) S 26236 26239 22966 0 -1 1077944384 8757 13121 0 0 369 2 5 3 20 0 15 0 444254092 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018425133040 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26302] ppid=26236 vsize=10851096 memory=2314885530434300787 CPUtime=3.98 cores=1,3,5,7
/proc/26239/task/26302/stat : 26302 (java) S 26236 26239 22966 0 -1 1077944384 11124 13121 0 0 388 2 5 3 20 0 15 0 444254092 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018424080496 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26303] ppid=26236 vsize=10851096 memory=3280 CPUtime=2.5 cores=1,3,5,7
/proc/26239/task/26303/stat : 26303 (java) S 26236 26239 22966 0 -1 1077944384 10167 13121 0 0 238 4 5 3 20 0 15 0 444254092 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018423027952 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26304] ppid=26236 vsize=10851096 memory=47528 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26304/stat : 26304 (java) S 26236 26239 22966 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 138820 33554432000 4194304 4196468 140733541226768 140017141803616 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26305] ppid=26236 vsize=10851096 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26305/stat : 26305 (java) S 26236 26239 22966 0 -1 1077944384 11 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 138820 33554432000 4194304 4196468 140733541226768 140018421975856 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
Current children cumulated CPU time: 18.4 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 555280 KiB
[startup+8.90074 s]
/proc/loadavg: 2.59 1.90 1.74 4/234 26307
/proc/meminfo: memFree=29485556/32770624 swapFree=67004524/67108860
[pid=26239] ppid=26236 vsize=10851096 memory=635976 CPUtime=19.5 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 22966 0 -1 1077944320 63961 13121 0 0 1909 33 5 3 20 0 15 0 444254077 11111522304 158994 33554432000 4194304 4196468 140733541226768 140733541209312 140018899603191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
/proc/26239/statm: 2712774 158994 3634 1 0 2674829 0
[pid=26239/tid=26292] ppid=26236 vsize=10851096 memory=988 CPUtime=8.68 cores=1,3,5,7
/proc/26239/task/26292/stat : 26292 (java) R 26236 26239 22966 0 -1 4202560 24666 13121 0 0 846 14 5 3 20 0 15 0 444254086 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018871434688 140018519009523 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26293] ppid=26236 vsize=10851096 memory=2052 CPUtime=0.17 cores=1,3,5,7
/proc/26239/task/26293/stat : 26293 (java) S 26236 26239 22966 0 -1 1077944384 1011 13121 0 0 7 2 5 3 20 0 15 0 444254087 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018903845136 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26294] ppid=26236 vsize=10851096 memory=1220 CPUtime=0.16 cores=1,3,5,7
/proc/26239/task/26294/stat : 26294 (java) S 26236 26239 22966 0 -1 1077944384 183 13121 0 0 6 2 5 3 20 0 15 0 444254087 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018822597008 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26295] ppid=26236 vsize=10851096 memory=1716 CPUtime=0.15 cores=1,3,5,7
/proc/26239/task/26295/stat : 26295 (java) S 26236 26239 22966 0 -1 1077944384 383 13121 0 0 6 1 5 3 20 0 15 0 444254087 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018821544464 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26296] ppid=26236 vsize=10851096 memory=784 CPUtime=0.16 cores=1,3,5,7
/proc/26239/task/26296/stat : 26296 (java) S 26236 26239 22966 0 -1 1077944384 273 13121 0 0 7 1 5 3 20 0 15 0 444254087 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018470279824 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26297] ppid=26236 vsize=10851096 memory=8252 CPUtime=0.14 cores=1,3,5,7
/proc/26239/task/26297/stat : 26297 (java) S 26236 26239 22966 0 -1 1077944384 3220 13121 0 0 6 0 5 3 20 0 15 0 444254088 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018426186224 140018899614338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26298] ppid=26236 vsize=10851096 memory=6032 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26298/stat : 26298 (java) S 26236 26239 22966 0 -1 1077944384 15 13121 0 0 0 0 5 3 20 0 15 0 444254089 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018349762080 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26299] ppid=26236 vsize=10851096 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26299/stat : 26299 (java) S 26236 26239 22966 0 -1 1077944384 6 13121 0 0 0 0 5 3 20 0 15 0 444254089 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018215544320 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26300] ppid=26236 vsize=10851096 memory=1540 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26300/stat : 26300 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 158994 33554432000 4194304 4196468 140733541226768 140017611565776 140018899621787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26301] ppid=26236 vsize=10851096 memory=728 CPUtime=3.86 cores=1,3,5,7
/proc/26239/task/26301/stat : 26301 (java) S 26236 26239 22966 0 -1 1077944384 9245 13121 0 0 376 2 5 3 20 0 15 0 444254092 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018425133040 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26302] ppid=26236 vsize=10851096 memory=4000 CPUtime=4.13 cores=1,3,5,7
/proc/26239/task/26302/stat : 26302 (java) R 26236 26239 22966 0 -1 4202560 12159 13121 0 0 403 2 5 3 20 0 15 0 444254092 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018424066848 140018878820320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26303] ppid=26236 vsize=10851096 memory=7378964797804538195 CPUtime=2.58 cores=1,3,5,7
/proc/26239/task/26303/stat : 26303 (java) S 26236 26239 22966 0 -1 1077944384 10574 13121 0 0 246 4 5 3 20 0 15 0 444254092 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018423027952 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26304] ppid=26236 vsize=10851096 memory=7521663823529661028 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26304/stat : 26304 (java) S 26236 26239 22966 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 158994 33554432000 4194304 4196468 140733541226768 140017141803616 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26305] ppid=26236 vsize=10851096 memory=555232 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26305/stat : 26305 (java) S 26236 26239 22966 0 -1 1077944384 11 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 158994 33554432000 4194304 4196468 140733541226768 140018421975856 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
Current children cumulated CPU time: 19.5 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 635976 KiB
[startup+9.30067 s]
/proc/loadavg: 2.59 1.90 1.74 3/234 26308
/proc/meminfo: memFree=29404940/32770624 swapFree=67004524/67108860
[pid=26239] ppid=26236 vsize=10851096 memory=636072 CPUtime=20.2 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 22966 0 -1 1077944320 65147 13121 0 0 1979 33 5 3 20 0 15 0 444254077 11111522304 159018 33554432000 4194304 4196468 140733541226768 140733541209312 140018899603191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
/proc/26239/statm: 2712774 159018 3634 1 0 2674829 0
[pid=26239/tid=26292] ppid=26236 vsize=10851096 memory=0 CPUtime=9.08 cores=1,3,5,7
/proc/26239/task/26292/stat : 26292 (java) R 26236 26239 22966 0 -1 4202560 24997 13121 0 0 886 14 5 3 20 0 15 0 444254086 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018871437824 140018519009374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26293] ppid=26236 vsize=10851096 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/26239/task/26293/stat : 26293 (java) S 26236 26239 22966 0 -1 1077944384 1011 13121 0 0 7 2 5 3 20 0 15 0 444254087 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018903845136 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26294] ppid=26236 vsize=10851096 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/26239/task/26294/stat : 26294 (java) S 26236 26239 22966 0 -1 1077944384 183 13121 0 0 6 2 5 3 20 0 15 0 444254087 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018822597008 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26295] ppid=26236 vsize=10851096 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/26239/task/26295/stat : 26295 (java) S 26236 26239 22966 0 -1 1077944384 383 13121 0 0 6 1 5 3 20 0 15 0 444254087 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018821544464 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26296] ppid=26236 vsize=10851096 memory=6656426216303648864 CPUtime=0.16 cores=1,3,5,7
/proc/26239/task/26296/stat : 26296 (java) S 26236 26239 22966 0 -1 1077944384 273 13121 0 0 7 1 5 3 20 0 15 0 444254087 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018470279824 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26297] ppid=26236 vsize=10851096 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/26239/task/26297/stat : 26297 (java) S 26236 26239 22966 0 -1 1077944384 3220 13121 0 0 6 0 5 3 20 0 15 0 444254088 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018426186224 140018899614338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26298] ppid=26236 vsize=10851096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26298/stat : 26298 (java) S 26236 26239 22966 0 -1 1077944384 15 13121 0 0 0 0 5 3 20 0 15 0 444254089 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018349762080 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26299] ppid=26236 vsize=10851096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26299/stat : 26299 (java) S 26236 26239 22966 0 -1 1077944384 6 13121 0 0 0 0 5 3 20 0 15 0 444254089 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018215544320 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26300] ppid=26236 vsize=10851096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26300/stat : 26300 (java) S 26236 26239 22966 0 -1 1077944384 2 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 159018 33554432000 4194304 4196468 140733541226768 140017611565776 140018899621787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26301] ppid=26236 vsize=10851096 memory=0 CPUtime=3.91 cores=1,3,5,7
/proc/26239/task/26301/stat : 26301 (java) S 26236 26239 22966 0 -1 1077944384 9630 13121 0 0 381 2 5 3 20 0 15 0 444254092 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018425133040 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26302] ppid=26236 vsize=10851096 memory=0 CPUtime=4.33 cores=1,3,5,7
/proc/26239/task/26302/stat : 26302 (java) S 26236 26239 22966 0 -1 1077944384 12332 13121 0 0 423 2 5 3 20 0 15 0 444254092 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018424080496 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26303] ppid=26236 vsize=10851096 memory=0 CPUtime=2.63 cores=1,3,5,7
/proc/26239/task/26303/stat : 26303 (java) S 26236 26239 22966 0 -1 1077944384 10871 13121 0 0 251 4 5 3 20 0 15 0 444254092 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018423027952 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26304] ppid=26236 vsize=10851096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26304/stat : 26304 (java) S 26236 26239 22966 0 -1 1077944384 3 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 159018 33554432000 4194304 4196468 140733541226768 140017141803616 140018899613397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
[pid=26239/tid=26305] ppid=26236 vsize=10851096 memory=623640 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26305/stat : 26305 (java) S 26236 26239 22966 0 -1 1077944384 11 13121 0 0 0 0 5 3 20 0 15 0 444254092 11111522304 159018 33554432000 4194304 4196468 140733541226768 140018421975856 140018899614338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140733541235440 140733541237957 140733541237957 140733541240783 0
Current children cumulated CPU time: 20.2 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 636072 KiB
Child status: 0
Real time (s): 9.32559
CPU time (s): 20.2465
CPU user time (s): 19.8641
CPU system time (s): 0.382363
CPU usage (%): 217.107
Max. virtual memory (cumulated for all children) (KiB): 10851716
Max. memory (cumulated for all children) (KiB): 636072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.8641
system time used= 0.382363
maximum resident set size= 638136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8393
involuntary context switches= 73
# summary of solver processes directly reported to runsolver:
# pid: 26239
# total CPU time (s): 20.2465
# total CPU user time (s): 19.8641
# total CPU system time (s): 0.382363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068608 second user time and 0.152462 second system time
The end