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 (14978 MiB free)
memory of node 1: 16384 MiB (14334 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400925-1568678317/watcher-4400925-1568678317 -o /tmp/evaluation-result-4400925-1568678317/solver-4400925-1568678317 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568673291-22997 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1750650444 HOME/instance-4400925-1568678317.xml
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
Current StackSize limit: 8192 KiB
solver pid=24237, runsolver pid=24234
[startup+0.100058 s]*
/proc/loadavg: 1.38 1.43 1.50 3/222 24294
/proc/meminfo: memFree=30001712/32770624 swapFree=67004524/67108860
[pid=24237] ppid=24234 vsize=9988792 memory=17344 CPUtime=0.09 cores=0,2,4,6
/proc/24237/stat : 24237 (java) S 24234 24237 22966 0 -1 1077944320 4592 12957 0 0 1 0 5 3 20 0 6 0 444071308 10228523008 4336 33554432000 4194304 4196468 140727874890544 140727874873088 140537048522487 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
/proc/24237/statm: 2497198 4336 1958 1 0 2485636 0
[pid=24237/tid=24290] ppid=24234 vsize=9989820 memory=4279135703980212366 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24290/stat : 24290 (java) R 24234 24237 22966 0 -1 4202560 2407 12957 0 0 1 0 5 3 20 0 6 0 444071316 10229575680 4402 33554432000 4194304 4196468 140727874890544 140537020359248 140537048520964 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24291] ppid=24234 vsize=9989820 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24291/stat : 24291 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 7 0 444071317 10229575680 4402 33554432000 4194304 4196468 140727874890544 140537052764688 140537048532693 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24292] ppid=24234 vsize=9989820 memory=140676409632384 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24292/stat : 24292 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 7 0 444071317 10229575680 4402 33554432000 4194304 4196468 140727874890544 140536621750928 140537048532693 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24293] ppid=24234 vsize=9989820 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24293/stat : 24293 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 7 0 444071317 10229575680 4402 33554432000 4194304 4196468 140727874890544 140536620697872 140537048532693 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24294] ppid=24234 vsize=9989820 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24294/stat : 24294 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 7 0 444071317 10229575680 4402 33554432000 4194304 4196468 140727874890544 140536619645328 140537048532693 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24295] ppid=24234 vsize=9989820 memory=140676409632384 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24295/stat : 24295 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 7 0 444071319 10229575680 4402 33554432000 4194304 4196468 140727874890544 140536575204704 140537048532693 0 0 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9988792 KiB
Current children cumulated memory: 17344 KiB
[startup+0.210589 s]*
/proc/loadavg: 1.38 1.43 1.50 4/231 24303
/proc/meminfo: memFree=29947004/32770624 swapFree=67004524/67108860
[pid=24237] ppid=24234 vsize=10820196 memory=46972 CPUtime=0.28 cores=0,2,4,6
/proc/24237/stat : 24237 (java) S 24234 24237 22966 0 -1 1077944320 7495 12957 0 0 18 2 5 3 20 0 15 0 444071308 11079880704 11743 33554432000 4194304 4196468 140727874890544 140727874873088 140537048522487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
/proc/24237/statm: 2705049 11743 3307 1 0 2667149 0
[pid=24237/tid=24290] ppid=24234 vsize=10820196 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/24237/task/24290/stat : 24290 (java) R 24234 24237 22966 0 -1 4202560 3999 12957 0 0 11 1 5 3 20 0 15 0 444071316 11079880704 11743 33554432000 4194304 4196468 140727874890544 140537020355072 140537048544413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24291] ppid=24234 vsize=10820196 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24291/stat : 24291 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071317 11079880704 11743 33554432000 4194304 4196468 140727874890544 140537052764688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24292] ppid=24234 vsize=10820196 memory=140676409632384 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24292/stat : 24292 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071317 11079880704 11743 33554432000 4194304 4196468 140727874890544 140536621750928 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24293] ppid=24234 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24293/stat : 24293 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071317 11079880704 11743 33554432000 4194304 4196468 140727874890544 140536620697872 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24294] ppid=24234 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24294/stat : 24294 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071317 11079880704 11743 33554432000 4194304 4196468 140727874890544 140536619645328 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24295] ppid=24234 vsize=10820196 memory=140676409632384 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24295/stat : 24295 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071319 11079880704 11743 33554432000 4194304 4196468 140727874890544 140536575204080 140537048533634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24296] ppid=24234 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24296/stat : 24296 (java) S 24234 24237 22966 0 -1 1077944384 13 12957 0 0 0 0 5 3 20 0 15 0 444071319 11079880704 11743 33554432000 4194304 4196468 140727874890544 140536497301152 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24297] ppid=24234 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24297/stat : 24297 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071319 11079880704 11743 33554432000 4194304 4196468 140727874890544 140536027538672 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24298] ppid=24234 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24298/stat : 24298 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071322 11079880704 11743 33554432000 4194304 4196468 140727874890544 140535759104464 140537048541083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24299] ppid=24234 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24299/stat : 24299 (java) S 24234 24237 22966 0 -1 1077944384 355 12957 0 0 1 0 5 3 20 0 15 0 444071322 11079880704 11743 33554432000 4194304 4196468 140727874890544 140536574150896 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24300] ppid=24234 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24300/stat : 24300 (java) S 24234 24237 22966 0 -1 1077944384 294 12957 0 0 1 0 5 3 20 0 15 0 444071322 11079880704 11743 33554432000 4194304 4196468 140727874890544 140536573098352 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24301] ppid=24234 vsize=10820196 memory=140676409632384 CPUtime=0.11 cores=0,2,4,6
/proc/24237/task/24301/stat : 24301 (java) S 24234 24237 22966 0 -1 1077944384 616 12957 0 0 3 0 5 3 20 0 15 0 444071322 11079880704 11743 33554432000 4194304 4196468 140727874890544 140536572045296 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24302] ppid=24234 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24302/stat : 24302 (java) S 24234 24237 22966 0 -1 1077944384 3 12957 0 0 0 0 5 3 20 0 15 0 444071322 11079880704 11743 33554432000 4194304 4196468 140727874890544 140535289342304 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24303] ppid=24234 vsize=10820196 memory=140676409632384 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24303/stat : 24303 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071323 11079880704 11743 33554432000 4194304 4196468 140727874890544 140536570993712 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46972 KiB
[startup+0.310767 s]*
/proc/loadavg: 1.38 1.43 1.50 4/231 24303
/proc/meminfo: memFree=29908704/32770624 swapFree=67004524/67108860
[pid=24237] ppid=24234 vsize=10820196 memory=54992 CPUtime=0.41 cores=0,2,4,6
/proc/24237/stat : 24237 (java) S 24234 24237 22966 0 -1 1077944320 10952 12957 0 0 29 4 5 3 20 0 15 0 444071308 11079880704 13748 33554432000 4194304 4196468 140727874890544 140727874873088 140537048522487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
/proc/24237/statm: 2705049 13748 3318 1 0 2667149 0
[pid=24237/tid=24290] ppid=24234 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/24237/task/24290/stat : 24290 (java) R 24234 24237 22966 0 -1 4202560 7446 12957 0 0 19 2 5 3 20 0 15 0 444071316 11079880704 13748 33554432000 4194304 4196468 140727874890544 140537020340944 140537031715221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24291] ppid=24234 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24291/stat : 24291 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071317 11079880704 13748 33554432000 4194304 4196468 140727874890544 140537052764688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24292] ppid=24234 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24292/stat : 24292 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071317 11079880704 13748 33554432000 4194304 4196468 140727874890544 140536621750928 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24293] ppid=24234 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24293/stat : 24293 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071317 11079880704 13748 33554432000 4194304 4196468 140727874890544 140536620697872 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24294] ppid=24234 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24294/stat : 24294 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071317 11079880704 13748 33554432000 4194304 4196468 140727874890544 140536619645328 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24295] ppid=24234 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24295/stat : 24295 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071319 11079880704 13748 33554432000 4194304 4196468 140727874890544 140536575204080 140537048533634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24296] ppid=24234 vsize=10820196 memory=140676409632383 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24296/stat : 24296 (java) S 24234 24237 22966 0 -1 1077944384 13 12957 0 0 0 0 5 3 20 0 15 0 444071319 11079880704 13748 33554432000 4194304 4196468 140727874890544 140536497301152 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24297] ppid=24234 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24297/stat : 24297 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071319 11079880704 13748 33554432000 4194304 4196468 140727874890544 140536027538672 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24298] ppid=24234 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24298/stat : 24298 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071322 11079880704 13748 33554432000 4194304 4196468 140727874890544 140535759104464 140537048541083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24299] ppid=24234 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24299/stat : 24299 (java) S 24234 24237 22966 0 -1 1077944384 355 12957 0 0 1 0 5 3 20 0 15 0 444071322 11079880704 13748 33554432000 4194304 4196468 140727874890544 140536574150896 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24300] ppid=24234 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/24237/task/24300/stat : 24300 (java) S 24234 24237 22966 0 -1 1077944384 295 12957 0 0 2 0 5 3 20 0 15 0 444071322 11079880704 13748 33554432000 4194304 4196468 140727874890544 140536573098352 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24301] ppid=24234 vsize=10820196 memory=140676409632384 CPUtime=0.13 cores=0,2,4,6
/proc/24237/task/24301/stat : 24301 (java) R 24234 24237 22966 0 -1 4202560 623 12957 0 0 5 0 5 3 20 0 15 0 444071322 11079880704 13748 33554432000 4194304 4196468 140727874890544 140536572045296 140537048534422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24302] ppid=24234 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24302/stat : 24302 (java) S 24234 24237 22966 0 -1 1077944384 3 12957 0 0 0 0 5 3 20 0 15 0 444071322 11079880704 13748 33554432000 4194304 4196468 140727874890544 140535289342304 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24303] ppid=24234 vsize=10820196 memory=140676409632384 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24303/stat : 24303 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071323 11079880704 13748 33554432000 4194304 4196468 140727874890544 140536570993712 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54992 KiB
[startup+0.700722 s]
/proc/loadavg: 1.38 1.43 1.50 3/231 24303
/proc/meminfo: memFree=29849484/32770624 swapFree=67004524/67108860
[pid=24237] ppid=24234 vsize=10824364 memory=87676 CPUtime=1.14 cores=0,2,4,6
/proc/24237/stat : 24237 (java) S 24234 24237 22966 0 -1 1077944320 15125 12957 0 0 101 5 5 3 20 0 15 0 444071308 11084148736 21919 33554432000 4194304 4196468 140727874890544 140727874873088 140537048522487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
/proc/24237/statm: 2706091 21919 3511 1 0 2668173 0
[pid=24237/tid=24290] ppid=24234 vsize=10824364 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/24237/task/24290/stat : 24290 (java) R 24234 24237 22966 0 -1 4202560 10630 12957 0 0 56 4 5 3 20 0 15 0 444071316 11084148736 21919 33554432000 4194304 4196468 140727874890544 140537020346880 140537048544413 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24291] ppid=24234 vsize=10824364 memory=140676288171381 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24291/stat : 24291 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071317 11084148736 21919 33554432000 4194304 4196468 140727874890544 140537052764688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24292] ppid=24234 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24292/stat : 24292 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071317 11084148736 21919 33554432000 4194304 4196468 140727874890544 140536621750928 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24293] ppid=24234 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24293/stat : 24293 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071317 11084148736 21919 33554432000 4194304 4196468 140727874890544 140536620697872 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24294] ppid=24234 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24294/stat : 24294 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071317 11084148736 21919 33554432000 4194304 4196468 140727874890544 140536619645328 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24295] ppid=24234 vsize=10824364 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24295/stat : 24295 (java) S 24234 24237 22966 0 -1 1077944384 5 12957 0 0 0 0 5 3 20 0 15 0 444071319 11084148736 21919 33554432000 4194304 4196468 140727874890544 140536575204080 140537048533634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24296] ppid=24234 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24296/stat : 24296 (java) S 24234 24237 22966 0 -1 1077944384 13 12957 0 0 0 0 5 3 20 0 15 0 444071319 11084148736 21919 33554432000 4194304 4196468 140727874890544 140536497301152 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24297] ppid=24234 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24297/stat : 24297 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071319 11084148736 21919 33554432000 4194304 4196468 140727874890544 140536027538672 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24298] ppid=24234 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24298/stat : 24298 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071322 11084148736 21919 33554432000 4194304 4196468 140727874890544 140535759104464 140537048541083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24299] ppid=24234 vsize=10824364 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/24237/task/24299/stat : 24299 (java) R 24234 24237 22966 0 -1 4202560 807 12957 0 0 15 0 5 3 20 0 15 0 444071322 11084148736 21919 33554432000 4194304 4196468 140727874890544 140536574150896 140537028376677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24300] ppid=24234 vsize=10824364 memory=140676285106096 CPUtime=0.2 cores=0,2,4,6
/proc/24237/task/24300/stat : 24300 (java) R 24234 24237 22966 0 -1 4202560 676 12957 0 0 12 0 5 3 20 0 15 0 444071322 11084148736 21919 33554432000 4194304 4196468 140727874890544 140536573085664 140537032053983 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24301] ppid=24234 vsize=10824364 memory=27300 CPUtime=0.25 cores=0,2,4,6
/proc/24237/task/24301/stat : 24301 (java) S 24234 24237 22966 0 -1 1077944384 776 12957 0 0 17 0 5 3 20 0 15 0 444071322 11084148736 21919 33554432000 4194304 4196468 140727874890544 140536572045296 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24302] ppid=24234 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24302/stat : 24302 (java) S 24234 24237 22966 0 -1 1077944384 3 12957 0 0 0 0 5 3 20 0 15 0 444071322 11084148736 21919 33554432000 4194304 4196468 140727874890544 140535289342304 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24303] ppid=24234 vsize=10824364 memory=140676285105808 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24303/stat : 24303 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071323 11084148736 21919 33554432000 4194304 4196468 140727874890544 140536570993712 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87676 KiB
[startup+1.50072 s]
/proc/loadavg: 1.38 1.43 1.50 3/231 24303
/proc/meminfo: memFree=29748704/32770624 swapFree=67004524/67108860
[pid=24237] ppid=24234 vsize=10834680 memory=177424 CPUtime=2.53 cores=0,2,4,6
/proc/24237/stat : 24237 (java) S 24234 24237 22966 0 -1 1077944320 21693 12957 0 0 234 11 5 3 20 0 15 0 444071308 11094712320 44356 33554432000 4194304 4196468 140727874890544 140727874873088 140537048522487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
/proc/24237/statm: 2708670 44356 3582 1 0 2670733 0
[pid=24237/tid=24290] ppid=24234 vsize=10834680 memory=22 CPUtime=1.44 cores=0,2,4,6
/proc/24237/task/24290/stat : 24290 (java) R 24234 24237 22966 0 -1 4202560 15439 12957 0 0 130 6 5 3 20 0 15 0 444071316 11094712320 44356 33554432000 4194304 4196468 140727874890544 140537020315072 140537032566117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24291] ppid=24234 vsize=10834680 memory=20 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24291/stat : 24291 (java) S 24234 24237 22966 0 -1 1077944384 347 12957 0 0 1 0 5 3 20 0 15 0 444071317 11094712320 44356 33554432000 4194304 4196468 140727874890544 140537052764688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24292] ppid=24234 vsize=10834680 memory=28 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24292/stat : 24292 (java) S 24234 24237 22966 0 -1 1077944384 23 12957 0 0 1 0 5 3 20 0 15 0 444071317 11094712320 44356 33554432000 4194304 4196468 140727874890544 140536621750928 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24293] ppid=24234 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24293/stat : 24293 (java) S 24234 24237 22966 0 -1 1077944384 56 12957 0 0 1 0 5 3 20 0 15 0 444071317 11094712320 44356 33554432000 4194304 4196468 140727874890544 140536620697872 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24294] ppid=24234 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24294/stat : 24294 (java) S 24234 24237 22966 0 -1 1077944384 76 12957 0 0 1 0 5 3 20 0 15 0 444071317 11094712320 44356 33554432000 4194304 4196468 140727874890544 140536619645328 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24295] ppid=24234 vsize=10834680 memory=7378964797804537683 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24295/stat : 24295 (java) S 24234 24237 22966 0 -1 1077944384 144 12957 0 0 1 0 5 3 20 0 15 0 444071319 11094712320 44356 33554432000 4194304 4196468 140727874890544 140536575204080 140537048533634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24296] ppid=24234 vsize=10834680 memory=7594856126552888682 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24296/stat : 24296 (java) S 24234 24237 22966 0 -1 1077944384 14 12957 0 0 0 0 5 3 20 0 15 0 444071319 11094712320 44356 33554432000 4194304 4196468 140727874890544 140536497301216 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24297] ppid=24234 vsize=10834680 memory=7517185551459246953 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24297/stat : 24297 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071319 11094712320 44356 33554432000 4194304 4196468 140727874890544 140536027538688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24298] ppid=24234 vsize=10834680 memory=5571041044932745317 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24298/stat : 24298 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071322 11094712320 44356 33554432000 4194304 4196468 140727874890544 140535759104464 140537048541083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24299] ppid=24234 vsize=10834680 memory=8026373724265863017 CPUtime=0.35 cores=0,2,4,6
/proc/24237/task/24299/stat : 24299 (java) S 24234 24237 22966 0 -1 1077944384 903 12957 0 0 27 0 5 3 20 0 15 0 444071322 11094712320 44356 33554432000 4194304 4196468 140727874890544 140536574150896 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24300] ppid=24234 vsize=10834680 memory=7661025835807827050 CPUtime=0.34 cores=0,2,4,6
/proc/24237/task/24300/stat : 24300 (java) R 24234 24237 22966 0 -1 1077944384 953 12957 0 0 26 0 5 3 20 0 15 0 444071322 11094712320 44356 33554432000 4194304 4196468 140727874890544 140536573098352 140537048533634 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24301] ppid=24234 vsize=10834680 memory=7374474439631134822 CPUtime=0.49 cores=0,2,4,6
/proc/24237/task/24301/stat : 24301 (java) R 24234 24237 22966 0 -1 4202560 1528 12957 0 0 41 0 5 3 20 0 15 0 444071322 11094712320 44356 33554432000 4194304 4196468 140727874890544 140536572041024 140537040759614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24302] ppid=24234 vsize=10834680 memory=6441954395958568808 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24302/stat : 24302 (java) S 24234 24237 22966 0 -1 1077944384 3 12957 0 0 0 0 5 3 20 0 15 0 444071322 11094712320 44356 33554432000 4194304 4196468 140727874890544 140535289342304 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24303] ppid=24234 vsize=10834680 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24303/stat : 24303 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071323 11094712320 44356 33554432000 4194304 4196468 140727874890544 140536570993712 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
################
# More data... #
################
[startup+6.04268 s]
# the end of solver process 24237 was just reported to runsolver
# cumulated CPU time of all completed processes: user=14.4509 s, system=0.259554 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2009 s]
/proc/loadavg: 1.38 1.43 1.50 6/231 24303
/proc/meminfo: memFree=29631724/32770624 swapFree=67004524/67108860
[pid=24237] ppid=24234 vsize=10842892 memory=267260 CPUtime=7.25 cores=0,2,4,6
/proc/24237/stat : 24237 (java) S 24234 24237 22966 0 -1 1077944320 37167 12957 0 0 702 15 5 3 20 0 15 0 444071308 11103121408 66815 33554432000 4194304 4196468 140727874890544 140727874873088 140537048522487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
/proc/24237/statm: 2710723 66815 3603 1 0 2672781 0
[pid=24237/tid=24290] ppid=24234 vsize=10842892 memory=0 CPUtime=3.14 cores=0,2,4,6
/proc/24237/task/24290/stat : 24290 (java) R 24234 24237 22966 0 -1 4202560 20264 12957 0 0 298 8 5 3 20 0 15 0 444071316 11103121408 66815 33554432000 4194304 4196468 140727874890544 140537020353992 140536657553466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24291] ppid=24234 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24291/stat : 24291 (java) S 24234 24237 22966 0 -1 1077944384 347 12957 0 0 1 0 5 3 20 0 15 0 444071317 11103121408 66815 33554432000 4194304 4196468 140727874890544 140537052764688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24292] ppid=24234 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24292/stat : 24292 (java) S 24234 24237 22966 0 -1 1077944384 23 12957 0 0 1 0 5 3 20 0 15 0 444071317 11103121408 66815 33554432000 4194304 4196468 140727874890544 140536621750928 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24293] ppid=24234 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24293/stat : 24293 (java) S 24234 24237 22966 0 -1 1077944384 56 12957 0 0 1 0 5 3 20 0 15 0 444071317 11103121408 66815 33554432000 4194304 4196468 140727874890544 140536620697872 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24294] ppid=24234 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24294/stat : 24294 (java) S 24234 24237 22966 0 -1 1077944384 76 12957 0 0 1 0 5 3 20 0 15 0 444071317 11103121408 66815 33554432000 4194304 4196468 140727874890544 140536619645328 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24295] ppid=24234 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24237/task/24295/stat : 24295 (java) S 24234 24237 22966 0 -1 1077944384 144 12957 0 0 1 0 5 3 20 0 15 0 444071319 11103121408 66815 33554432000 4194304 4196468 140727874890544 140536575204080 140537048533634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24296] ppid=24234 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24296/stat : 24296 (java) S 24234 24237 22966 0 -1 1077944384 14 12957 0 0 0 0 5 3 20 0 15 0 444071319 11103121408 66815 33554432000 4194304 4196468 140727874890544 140536497301216 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24297] ppid=24234 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24297/stat : 24297 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071319 11103121408 66815 33554432000 4194304 4196468 140727874890544 140536027538688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24298] ppid=24234 vsize=10842892 memory=175896 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24298/stat : 24298 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071322 11103121408 66815 33554432000 4194304 4196468 140727874890544 140535759104464 140537048541083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24299] ppid=24234 vsize=10842892 memory=7007706849832226897 CPUtime=1.51 cores=0,2,4,6
/proc/24237/task/24299/stat : 24299 (java) R 24234 24237 22966 0 -1 4202560 4693 12957 0 0 142 1 5 3 20 0 15 0 444071322 11103121408 66815 33554432000 4194304 4196468 140727874890544 140536574136768 140537032019170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24300] ppid=24234 vsize=10842892 memory=7229491638197904467 CPUtime=1.33 cores=0,2,4,6
/proc/24237/task/24300/stat : 24300 (java) R 24234 24237 22966 0 -1 4202560 2927 12957 0 0 125 0 5 3 20 0 15 0 444071322 11103121408 66815 33554432000 4194304 4196468 140727874890544 140536573088144 140537030065792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24301] ppid=24234 vsize=10842892 memory=7228928657774891088 CPUtime=1.38 cores=0,2,4,6
/proc/24237/task/24301/stat : 24301 (java) S 24234 24237 22966 0 -1 1077944384 6405 12957 0 0 128 2 5 3 20 0 15 0 444071322 11103121408 66815 33554432000 4194304 4196468 140727874890544 140536572045296 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24302] ppid=24234 vsize=10842892 memory=5792825802846388323 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24302/stat : 24302 (java) S 24234 24237 22966 0 -1 1077944384 3 12957 0 0 0 0 5 3 20 0 15 0 444071322 11103121408 66815 33554432000 4194304 4196468 140727874890544 140535289342304 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24303] ppid=24234 vsize=10842892 memory=209484 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24303/stat : 24303 (java) S 24234 24237 22966 0 -1 1077944384 6 12957 0 0 0 0 5 3 20 0 15 0 444071323 11103121408 66815 33554432000 4194304 4196468 140727874890544 140536570993712 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
Current children cumulated CPU time: 7.25 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 267260 KiB
[startup+4.8014 s]
/proc/loadavg: 1.38 1.43 1.50 5/231 24304
/proc/meminfo: memFree=29552128/32770624 swapFree=67004524/67108860
[pid=24237] ppid=24234 vsize=10846988 memory=321624 CPUtime=12.25 cores=0,2,4,6
/proc/24237/stat : 24237 (java) S 24234 24237 22966 0 -1 1077944320 50684 12957 0 0 1198 19 5 3 20 0 15 0 444071308 11107315712 80406 33554432000 4194304 4196468 140727874890544 140727874873088 140537048522487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
/proc/24237/statm: 2711747 80406 3624 1 0 2673805 0
[pid=24237/tid=24290] ppid=24234 vsize=10846988 memory=0 CPUtime=4.66 cores=0,2,4,6
/proc/24237/task/24290/stat : 24290 (java) R 24234 24237 22966 0 -1 4202560 23661 12957 0 0 450 8 5 3 20 0 15 0 444071316 11107315712 80406 33554432000 4194304 4196468 140727874890544 140537020354888 140536663620524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24291] ppid=24234 vsize=10846988 memory=-5587106306044234374 CPUtime=0.11 cores=0,2,4,6
/proc/24237/task/24291/stat : 24291 (java) S 24234 24237 22966 0 -1 1077944384 871 12957 0 0 3 0 5 3 20 0 15 0 444071317 11107315712 80406 33554432000 4194304 4196468 140727874890544 140537052764688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24292] ppid=24234 vsize=10846988 memory=-6008492819150046000 CPUtime=0.12 cores=0,2,4,6
/proc/24237/task/24292/stat : 24292 (java) S 24234 24237 22966 0 -1 1077944384 54 12957 0 0 4 0 5 3 20 0 15 0 444071317 11107315712 80406 33554432000 4194304 4196468 140727874890544 140536621750928 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24293] ppid=24234 vsize=10846988 memory=667680 CPUtime=0.11 cores=0,2,4,6
/proc/24237/task/24293/stat : 24293 (java) S 24234 24237 22966 0 -1 1077944384 280 12957 0 0 3 0 5 3 20 0 15 0 444071317 11107315712 80406 33554432000 4194304 4196468 140727874890544 140536620697872 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24294] ppid=24234 vsize=10846988 memory=6944656592455097440 CPUtime=0.11 cores=0,2,4,6
/proc/24237/task/24294/stat : 24294 (java) S 24234 24237 22966 0 -1 1077944384 109 12957 0 0 3 0 5 3 20 0 15 0 444071317 11107315712 80406 33554432000 4194304 4196468 140727874890544 140536619645328 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24295] ppid=24234 vsize=10846988 memory=5861263745131176555 CPUtime=0.12 cores=0,2,4,6
/proc/24237/task/24295/stat : 24295 (java) S 24234 24237 22966 0 -1 1077944384 4786 12957 0 0 4 0 5 3 20 0 15 0 444071319 11107315712 80406 33554432000 4194304 4196468 140727874890544 140536575204080 140537048533634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24296] ppid=24234 vsize=10846988 memory=7519159054219432279 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24296/stat : 24296 (java) S 24234 24237 22966 0 -1 1077944384 15 12957 0 0 0 0 5 3 20 0 15 0 444071319 11107315712 80406 33554432000 4194304 4196468 140727874890544 140536497301280 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24297] ppid=24234 vsize=10846988 memory=31602847 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24297/stat : 24297 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071319 11107315712 80406 33554432000 4194304 4196468 140727874890544 140536027538688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24298] ppid=24234 vsize=10846988 memory=140676285222479 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24298/stat : 24298 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071322 11107315712 80406 33554432000 4194304 4196468 140727874890544 140535759104464 140537048541083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24299] ppid=24234 vsize=10846988 memory=281352570452864 CPUtime=2.91 cores=0,2,4,6
/proc/24237/task/24299/stat : 24299 (java) R 24234 24237 22966 0 -1 4202560 6331 12957 0 0 282 1 5 3 20 0 15 0 444071322 11107315712 80406 33554432000 4194304 4196468 140727874890544 140536574133104 140537030069891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24300] ppid=24234 vsize=10846988 memory=13060 CPUtime=2.78 cores=0,2,4,6
/proc/24237/task/24300/stat : 24300 (java) R 24234 24237 22966 0 -1 4202560 4675 12957 0 0 269 1 5 3 20 0 15 0 444071322 11107315712 80406 33554432000 4194304 4196468 140727874890544 140536573091544 140537028215591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24301] ppid=24234 vsize=10846988 memory=6944656592455360604 CPUtime=1.84 cores=0,2,4,6
/proc/24237/task/24301/stat : 24301 (java) S 24234 24237 22966 0 -1 1077944384 7682 12957 0 0 173 3 5 3 20 0 15 0 444071322 11107315712 80406 33554432000 4194304 4196468 140727874890544 140536572045296 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24302] ppid=24234 vsize=10846988 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24302/stat : 24302 (java) S 24234 24237 22966 0 -1 1077944384 3 12957 0 0 0 0 5 3 20 0 15 0 444071322 11107315712 80406 33554432000 4194304 4196468 140727874890544 140535289342304 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24303] ppid=24234 vsize=10846988 memory=203268 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24303/stat : 24303 (java) S 24234 24237 22966 0 -1 1077944384 8 12957 0 0 0 0 5 3 20 0 15 0 444071323 11107315712 80406 33554432000 4194304 4196468 140727874890544 140536570993712 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
Current children cumulated CPU time: 12.25 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 321624 KiB
[startup+5.60075 s]
/proc/loadavg: 1.67 1.49 1.52 5/231 24304
/proc/meminfo: memFree=29529452/32770624 swapFree=67004524/67108860
[pid=24237] ppid=24234 vsize=10846988 memory=335336 CPUtime=14.18 cores=0,2,4,6
/proc/24237/stat : 24237 (java) S 24234 24237 22966 0 -1 1077944320 51091 12957 0 0 1389 21 5 3 20 0 15 0 444071308 11107315712 83834 33554432000 4194304 4196468 140727874890544 140727874873088 140537048522487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
/proc/24237/statm: 2711747 83834 3626 1 0 2673805 0
[pid=24237/tid=24290] ppid=24234 vsize=10846988 memory=6656426216303648864 CPUtime=5.45 cores=0,2,4,6
/proc/24237/task/24290/stat : 24290 (java) R 24234 24237 22966 0 -1 4202560 23676 12957 0 0 529 8 5 3 20 0 15 0 444071316 11107315712 83834 33554432000 4194304 4196468 140727874890544 140537020357664 140536665448493 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24291] ppid=24234 vsize=10846988 memory=8514726395715349638 CPUtime=0.13 cores=0,2,4,6
/proc/24237/task/24291/stat : 24291 (java) S 24234 24237 22966 0 -1 1077944384 880 12957 0 0 4 1 5 3 20 0 15 0 444071317 11107315712 83834 33554432000 4194304 4196468 140727874890544 140537052764688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24292] ppid=24234 vsize=10846988 memory=7100839878711216232 CPUtime=0.12 cores=0,2,4,6
/proc/24237/task/24292/stat : 24292 (java) S 24234 24237 22966 0 -1 1077944384 58 12957 0 0 4 0 5 3 20 0 15 0 444071317 11107315712 83834 33554432000 4194304 4196468 140727874890544 140536621750928 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24293] ppid=24234 vsize=10846988 memory=7962233748357261899 CPUtime=0.13 cores=0,2,4,6
/proc/24237/task/24293/stat : 24293 (java) S 24234 24237 22966 0 -1 1077944384 283 12957 0 0 4 1 5 3 20 0 15 0 444071317 11107315712 83834 33554432000 4194304 4196468 140727874890544 140536620697872 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24294] ppid=24234 vsize=10846988 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24237/task/24294/stat : 24294 (java) S 24234 24237 22966 0 -1 1077944384 111 12957 0 0 4 0 5 3 20 0 15 0 444071317 11107315712 83834 33554432000 4194304 4196468 140727874890544 140536619645328 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24295] ppid=24234 vsize=10846988 memory=281352570152352 CPUtime=0.12 cores=0,2,4,6
/proc/24237/task/24295/stat : 24295 (java) S 24234 24237 22966 0 -1 1077944384 4806 12957 0 0 4 0 5 3 20 0 15 0 444071319 11107315712 83834 33554432000 4194304 4196468 140727874890544 140536575204080 140537048533634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24296] ppid=24234 vsize=10846988 memory=140676285085937 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24296/stat : 24296 (java) S 24234 24237 22966 0 -1 1077944384 15 12957 0 0 0 0 5 3 20 0 15 0 444071319 11107315712 83834 33554432000 4194304 4196468 140727874890544 140536497301280 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24297] ppid=24234 vsize=10846988 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24297/stat : 24297 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071319 11107315712 83834 33554432000 4194304 4196468 140727874890544 140536027538688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24298] ppid=24234 vsize=10846988 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24298/stat : 24298 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071322 11107315712 83834 33554432000 4194304 4196468 140727874890544 140535759104464 140537048541083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24299] ppid=24234 vsize=10846988 memory=281352570616064 CPUtime=3.45 cores=0,2,4,6
/proc/24237/task/24299/stat : 24299 (java) S 24234 24237 22966 0 -1 1077944384 6444 12957 0 0 336 1 5 3 20 0 15 0 444071322 11107315712 83834 33554432000 4194304 4196468 140727874890544 140536574150896 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24300] ppid=24234 vsize=10846988 memory=2289 CPUtime=3.32 cores=0,2,4,6
/proc/24237/task/24300/stat : 24300 (java) S 24234 24237 22966 0 -1 1077944384 4903 12957 0 0 323 1 5 3 20 0 15 0 444071322 11107315712 83834 33554432000 4194304 4196468 140727874890544 140536573098352 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24301] ppid=24234 vsize=10846988 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/24237/task/24301/stat : 24301 (java) S 24234 24237 22966 0 -1 1077944384 7695 12957 0 0 177 3 5 3 20 0 15 0 444071322 11107315712 83834 33554432000 4194304 4196468 140727874890544 140536572045296 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24302] ppid=24234 vsize=10846988 memory=281352570142960 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24302/stat : 24302 (java) S 24234 24237 22966 0 -1 1077944384 3 12957 0 0 0 0 5 3 20 0 15 0 444071322 11107315712 83834 33554432000 4194304 4196468 140727874890544 140535289342304 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24303] ppid=24234 vsize=10846988 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24303/stat : 24303 (java) S 24234 24237 22966 0 -1 1077944384 8 12957 0 0 0 0 5 3 20 0 15 0 444071323 11107315712 83834 33554432000 4194304 4196468 140727874890544 140536570993712 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 335336 KiB
[startup+6.00076 s]*
/proc/loadavg: 1.67 1.49 1.52 3/231 24304
/proc/meminfo: memFree=29379140/32770624 swapFree=67004524/67108860
[pid=24237] ppid=24234 vsize=10846988 memory=341840 CPUtime=14.66 cores=0,2,4,6
/proc/24237/stat : 24237 (java) S 24234 24237 22966 0 -1 1077944320 51160 12957 0 0 1437 21 5 3 20 0 15 0 444071308 11107315712 85460 33554432000 4194304 4196468 140727874890544 140727874873088 140537048522487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
/proc/24237/statm: 2711747 85460 3626 1 0 2673805 0
[pid=24237/tid=24290] ppid=24234 vsize=10846988 memory=29678448712876256 CPUtime=5.85 cores=0,2,4,6
/proc/24237/task/24290/stat : 24290 (java) R 24234 24237 22966 0 -1 4202560 23676 12957 0 0 569 8 5 3 20 0 15 0 444071316 11107315712 85460 33554432000 4194304 4196468 140727874890544 140537020357664 140536664671908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24291] ppid=24234 vsize=10846988 memory=297237786749304855 CPUtime=0.13 cores=0,2,4,6
/proc/24237/task/24291/stat : 24291 (java) S 24234 24237 22966 0 -1 1077944384 883 12957 0 0 4 1 5 3 20 0 15 0 444071317 11107315712 85460 33554432000 4194304 4196468 140727874890544 140537052764688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24292] ppid=24234 vsize=10846988 memory=140676412911446 CPUtime=0.12 cores=0,2,4,6
/proc/24237/task/24292/stat : 24292 (java) S 24234 24237 22966 0 -1 1077944384 61 12957 0 0 4 0 5 3 20 0 15 0 444071317 11107315712 85460 33554432000 4194304 4196468 140727874890544 140536621750928 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24293] ppid=24234 vsize=10846988 memory=-7966001967256141664 CPUtime=0.13 cores=0,2,4,6
/proc/24237/task/24293/stat : 24293 (java) S 24234 24237 22966 0 -1 1077944384 286 12957 0 0 4 1 5 3 20 0 15 0 444071317 11107315712 85460 33554432000 4194304 4196468 140727874890544 140536620697872 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24294] ppid=24234 vsize=10846988 memory=749398977994450533 CPUtime=0.12 cores=0,2,4,6
/proc/24237/task/24294/stat : 24294 (java) S 24234 24237 22966 0 -1 1077944384 112 12957 0 0 4 0 5 3 20 0 15 0 444071317 11107315712 85460 33554432000 4194304 4196468 140727874890544 140536619645328 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24295] ppid=24234 vsize=10846988 memory=3472468955457443504 CPUtime=0.12 cores=0,2,4,6
/proc/24237/task/24295/stat : 24295 (java) S 24234 24237 22966 0 -1 1077944384 4808 12957 0 0 4 0 5 3 20 0 15 0 444071319 11107315712 85460 33554432000 4194304 4196468 140727874890544 140536575204080 140537048533634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24296] ppid=24234 vsize=10846988 memory=3472328296227680303 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24296/stat : 24296 (java) S 24234 24237 22966 0 -1 1077944384 15 12957 0 0 0 0 5 3 20 0 15 0 444071319 11107315712 85460 33554432000 4194304 4196468 140727874890544 140536497301280 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24297] ppid=24234 vsize=10846988 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24297/stat : 24297 (java) S 24234 24237 22966 0 -1 1077944384 1 12957 0 0 0 0 5 3 20 0 15 0 444071319 11107315712 85460 33554432000 4194304 4196468 140727874890544 140536027538688 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24298] ppid=24234 vsize=10846988 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24298/stat : 24298 (java) S 24234 24237 22966 0 -1 1077944384 2 12957 0 0 0 0 5 3 20 0 15 0 444071322 11107315712 85460 33554432000 4194304 4196468 140727874890544 140535759104464 140537048541083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24299] ppid=24234 vsize=10846988 memory=0 CPUtime=3.46 cores=0,2,4,6
/proc/24237/task/24299/stat : 24299 (java) S 24234 24237 22966 0 -1 1077944384 6448 12957 0 0 337 1 5 3 20 0 15 0 444071322 11107315712 85460 33554432000 4194304 4196468 140727874890544 140536574150896 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24300] ppid=24234 vsize=10846988 memory=3472328296227418159 CPUtime=3.35 cores=0,2,4,6
/proc/24237/task/24300/stat : 24300 (java) R 24234 24237 22966 0 -1 4202560 4919 12957 0 0 326 1 5 3 20 0 15 0 444071322 11107315712 85460 33554432000 4194304 4196468 140727874890544 140536573098352 140537028709248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24301] ppid=24234 vsize=10846988 memory=3472464574590801584 CPUtime=1.9 cores=0,2,4,6
/proc/24237/task/24301/stat : 24301 (java) S 24234 24237 22966 0 -1 1077944384 7732 12957 0 0 179 3 5 3 20 0 15 0 444071322 11107315712 85460 33554432000 4194304 4196468 140727874890544 140536572045296 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24302] ppid=24234 vsize=10846988 memory=3472328279047811119 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24302/stat : 24302 (java) S 24234 24237 22966 0 -1 1077944384 3 12957 0 0 0 0 5 3 20 0 15 0 444071322 11107315712 85460 33554432000 4194304 4196468 140727874890544 140535289342304 140537048532693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
[pid=24237/tid=24303] ppid=24234 vsize=10846988 memory=140676409632384 CPUtime=0.08 cores=0,2,4,6
/proc/24237/task/24303/stat : 24303 (java) S 24234 24237 22966 0 -1 1077944384 8 12957 0 0 0 0 5 3 20 0 15 0 444071323 11107315712 85460 33554432000 4194304 4196468 140727874890544 140536570993712 140537048533634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35106816 140727874898671 140727874901189 140727874901189 140727874904015 0
Current children cumulated CPU time: 14.66 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 341840 KiB
Child status: 0
Real time (s): 6.04274
CPU time (s): 14.7105
CPU user time (s): 14.4509
CPU system time (s): 0.259554
CPU usage (%): 243.441
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 341840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4509
system time used= 0.259554
maximum resident set size= 344068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64163
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= 7298
involuntary context switches= 60
# summary of solver processes directly reported to runsolver:
# pid: 24237
# total CPU time (s): 14.7105
# total CPU user time (s): 14.4509
# total CPU system time (s): 0.259554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070835 second user time and 0.096265 second system time
The end