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 (1815 MiB free)
memory of node 1: 16384 MiB (3693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294848-1532362302/watcher-4294848-1532362302 -o /tmp/evaluation-result-4294848-1532362302/solver-4294848-1532362302 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294848-1532362302.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20526, runsolver pid=20523
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 2.01 2.25 2.20 3/216 20541
/proc/meminfo: memFree=5581288/32770624 swapFree=67108860/67108860
[pid=20526] ppid=20523 vsize=15011656 memory=73264 CPUtime=0.11 cores=1,3,5,7
/proc/20526/stat : 20526 (java) S 20523 20526 8919 0 -1 1077944320 6522 0 0 0 9 2 0 0 20 0 15 0 53793385 15371935744 18316 33554432000 4194304 4196468 140731048645808 140731048628352 140694947561207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
/proc/20526/statm: 3752914 18316 2752 1 0 3715374 0
[pid=20526/tid=20528] ppid=20523 vsize=15011656 memory=-8556449466809487233 CPUtime=0.09 cores=1,3,5,7
/proc/20526/task/20528/stat : 20528 (java) R 20523 20526 8919 0 -1 4202560 4794 0 0 0 8 1 0 0 20 0 15 0 53793385 15371935744 18448 33554432000 4194304 4196468 140731048645808 140694919373192 140694927836928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20529] ppid=20523 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20529/stat : 20529 (java) S 20523 20526 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 18448 33554432000 4194304 4196468 140731048645808 140694951803280 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20530] ppid=20523 vsize=15011656 memory=140289475221120 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20530/stat : 20530 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 18448 33554432000 4194304 4196468 140731048645808 140694742886672 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20531] ppid=20523 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20531/stat : 20531 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 18448 33554432000 4194304 4196468 140731048645808 140694741834384 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20532] ppid=20523 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20532/stat : 20532 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 18514 33554432000 4194304 4196468 140731048645808 140694405855760 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20533] ppid=20523 vsize=15011656 memory=140289475221120 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20533/stat : 20533 (java) S 20523 20526 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53793388 15371935744 18514 33554432000 4194304 4196468 140731048645808 140694287264368 140694947572354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20534] ppid=20523 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20534/stat : 20534 (java) S 20523 20526 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53793389 15371935744 18514 33554432000 4194304 4196468 140731048645808 140693599151392 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20535] ppid=20523 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20535/stat : 20535 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793389 15371935744 18514 33554432000 4194304 4196468 140731048645808 140693330716272 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20536] ppid=20523 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20536/stat : 20536 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15371935744 18514 33554432000 4194304 4196468 140731048645808 140692956207696 140694947579803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20537] ppid=20523 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20537/stat : 20537 (java) S 20523 20526 8919 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 53793391 15371935744 18514 33554432000 4194304 4196468 140731048645808 140694286211184 140694947572354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20538] ppid=20523 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20538/stat : 20538 (java) S 20523 20526 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 53793391 15371935744 18514 33554432000 4194304 4196468 140731048645808 140694285158384 140694947572354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20539] ppid=20523 vsize=15011656 memory=140289475221120 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20539/stat : 20539 (java) S 20523 20526 8919 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 53793391 15371935744 18514 33554432000 4194304 4196468 140731048645808 140694284106096 140694947572354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20540] ppid=20523 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20540/stat : 20540 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15371935744 18514 33554432000 4194304 4196468 140731048645808 140692458301920 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20541] ppid=20523 vsize=15011656 memory=140289475221120 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20541/stat : 20541 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793392 15371935744 18514 33554432000 4194304 4196468 140731048645808 140694283054000 140694947572354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73264 KiB
[startup+0.210693 s]*
/proc/loadavg: 2.01 2.25 2.20 3/216 20541
/proc/meminfo: memFree=5567132/32770624 swapFree=67108860/67108860
[pid=20526] ppid=20523 vsize=15011656 memory=85860 CPUtime=0.26 cores=1,3,5,7
/proc/20526/stat : 20526 (java) S 20523 20526 8919 0 -1 1077944320 9859 0 0 0 23 3 0 0 20 0 15 0 53793385 15371935744 21465 33554432000 4194304 4196468 140731048645808 140731048628352 140694947561207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
/proc/20526/statm: 3752914 21465 2891 1 0 3715374 0
[pid=20526/tid=20528] ppid=20523 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/20526/task/20528/stat : 20528 (java) R 20523 20526 8919 0 -1 4202560 7770 0 0 0 18 2 0 0 20 0 15 0 53793385 15371935744 21465 33554432000 4194304 4196468 140731048645808 140694919351872 140694931641724 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20529] ppid=20523 vsize=15011656 memory=342 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20529/stat : 20529 (java) S 20523 20526 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 21465 33554432000 4194304 4196468 140731048645808 140694951803280 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20530] ppid=20523 vsize=15011656 memory=3474165162223212192 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20530/stat : 20530 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 21465 33554432000 4194304 4196468 140731048645808 140694742886672 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20531] ppid=20523 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20531/stat : 20531 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 21465 33554432000 4194304 4196468 140731048645808 140694741834384 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20532] ppid=20523 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20532/stat : 20532 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 21465 33554432000 4194304 4196468 140731048645808 140694405855760 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20533] ppid=20523 vsize=15011656 memory=140289475221120 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20533/stat : 20533 (java) S 20523 20526 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53793388 15371935744 21465 33554432000 4194304 4196468 140731048645808 140694287264368 140694947572354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20534] ppid=20523 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20534/stat : 20534 (java) S 20523 20526 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53793389 15371935744 21465 33554432000 4194304 4196468 140731048645808 140693599151392 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20535] ppid=20523 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20535/stat : 20535 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793389 15371935744 21465 33554432000 4194304 4196468 140731048645808 140693330716272 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20536] ppid=20523 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20536/stat : 20536 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15371935744 21465 33554432000 4194304 4196468 140731048645808 140692956207696 140694947579803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20537] ppid=20523 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20526/task/20537/stat : 20537 (java) R 20523 20526 8919 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 15 0 53793391 15371935744 21465 33554432000 4194304 4196468 140731048645808 140694286211184 140694947572354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20538] ppid=20523 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20538/stat : 20538 (java) R 20523 20526 8919 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 15 0 53793391 15371935744 21465 33554432000 4194304 4196468 140731048645808 140694285158384 140694926724368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20539] ppid=20523 vsize=15011656 memory=140289475221120 CPUtime=0.03 cores=1,3,5,7
/proc/20526/task/20539/stat : 20539 (java) S 20523 20526 8919 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 53793391 15371935744 21465 33554432000 4194304 4196468 140731048645808 140694284106096 140694947572354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20540] ppid=20523 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20540/stat : 20540 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15371935744 21465 33554432000 4194304 4196468 140731048645808 140692458301920 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20541] ppid=20523 vsize=15011656 memory=140289475221120 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20541/stat : 20541 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793392 15371935744 21465 33554432000 4194304 4196468 140731048645808 140694283054000 140694947572354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85860 KiB
[startup+0.310645 s]*
/proc/loadavg: 2.01 2.25 2.20 3/216 20541
/proc/meminfo: memFree=5557900/32770624 swapFree=67108860/67108860
[pid=20526] ppid=20523 vsize=15011656 memory=89752 CPUtime=0.43 cores=1,3,5,7
/proc/20526/stat : 20526 (java) S 20523 20526 8919 0 -1 1077944320 10492 0 0 0 40 3 0 0 20 0 15 0 53793385 15371935744 22438 33554432000 4194304 4196468 140731048645808 140731048628352 140694947561207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
/proc/20526/statm: 3752914 22438 3031 1 0 3715374 0
[pid=20526/tid=20528] ppid=20523 vsize=15011656 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/20526/task/20528/stat : 20528 (java) R 20523 20526 8919 0 -1 4202560 8208 0 0 0 27 2 0 0 20 0 15 0 53793385 15371935744 22438 33554432000 4194304 4196468 140731048645808 140694919365360 140694929124759 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20529] ppid=20523 vsize=15011656 memory=4294976237 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20529/stat : 20529 (java) S 20523 20526 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 22438 33554432000 4194304 4196468 140731048645808 140694951803280 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20530] ppid=20523 vsize=15011656 memory=3977160945605154464 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20530/stat : 20530 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 22438 33554432000 4194304 4196468 140731048645808 140694742886672 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20531] ppid=20523 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20531/stat : 20531 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 22438 33554432000 4194304 4196468 140731048645808 140694741834384 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20532] ppid=20523 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20532/stat : 20532 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15371935744 22438 33554432000 4194304 4196468 140731048645808 140694405855760 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20533] ppid=20523 vsize=15011656 memory=140289475221120 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20533/stat : 20533 (java) S 20523 20526 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53793388 15371935744 22438 33554432000 4194304 4196468 140731048645808 140694287264368 140694947572354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20534] ppid=20523 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20534/stat : 20534 (java) S 20523 20526 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53793389 15371935744 22438 33554432000 4194304 4196468 140731048645808 140693599151392 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20535] ppid=20523 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20535/stat : 20535 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793389 15371935744 22438 33554432000 4194304 4196468 140731048645808 140693330716272 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20536] ppid=20523 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20536/stat : 20536 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15371935744 22438 33554432000 4194304 4196468 140731048645808 140692956207696 140694947579803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20537] ppid=20523 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20526/task/20537/stat : 20537 (java) R 20523 20526 8919 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 53793391 15371935744 22438 33554432000 4194304 4196468 140731048645808 140694286211184 140694947572354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20538] ppid=20523 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20526/task/20538/stat : 20538 (java) S 20523 20526 8919 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 15 0 53793391 15371935744 22438 33554432000 4194304 4196468 140731048645808 140694285158384 140694947572354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20539] ppid=20523 vsize=15011656 memory=140289475221120 CPUtime=0.07 cores=1,3,5,7
/proc/20526/task/20539/stat : 20539 (java) R 20523 20526 8919 0 -1 4202560 324 0 0 0 7 0 0 0 20 0 15 0 53793391 15371935744 22438 33554432000 4194304 4196468 140731048645808 140694284106096 140694926479957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20540] ppid=20523 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20540/stat : 20540 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15371935744 22438 33554432000 4194304 4196468 140731048645808 140692458301920 140694947571413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20541] ppid=20523 vsize=15011656 memory=140289475221120 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20541/stat : 20541 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793392 15371935744 22438 33554432000 4194304 4196468 140731048645808 140694283054000 140694947572354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89752 KiB
[startup+0.707942 s]
/proc/loadavg: 2.01 2.25 2.20 4/216 20541
/proc/meminfo: memFree=5538324/32770624 swapFree=67108860/67108860
[pid=20526] ppid=20523 vsize=15017928 memory=134984 CPUtime=1.03 cores=1,3,5,7
/proc/20526/stat : 20526 (java) S 20523 20526 8919 0 -1 1077944320 17490 0 0 0 98 5 0 0 20 0 15 0 53793385 15378358272 33746 33554432000 4194304 4196468 140731048645808 140731048628352 140694947561207 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
/proc/20526/statm: 3754482 33746 3138 1 0 3715886 0
[pid=20526/tid=20528] ppid=20523 vsize=15017928 memory=228477898875796 CPUtime=0.67 cores=1,3,5,7
/proc/20526/task/20528/stat : 20528 (java) R 20523 20526 8919 0 -1 4202560 14691 0 0 0 63 4 0 0 20 0 15 0 53793385 15378358272 33746 33554432000 4194304 4196468 140731048645808 140694919398608 140694947583133 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20529] ppid=20523 vsize=15017928 memory=298567 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20529/stat : 20529 (java) S 20523 20526 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53793387 15378358272 33746 33554432000 4194304 4196468 140731048645808 140694951803280 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20530] ppid=20523 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20530/stat : 20530 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15378358272 33746 33554432000 4194304 4196468 140731048645808 140694742886672 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20531] ppid=20523 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20531/stat : 20531 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15378358272 33746 33554432000 4194304 4196468 140731048645808 140694741834384 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20532] ppid=20523 vsize=15017928 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20532/stat : 20532 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15378358272 33746 33554432000 4194304 4196468 140731048645808 140694405855760 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20533] ppid=20523 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20533/stat : 20533 (java) S 20523 20526 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53793388 15378358272 33746 33554432000 4194304 4196468 140731048645808 140694287264368 140694947572354 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20534] ppid=20523 vsize=15017928 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20534/stat : 20534 (java) S 20523 20526 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53793389 15378358272 33746 33554432000 4194304 4196468 140731048645808 140693599151392 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20535] ppid=20523 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20535/stat : 20535 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793389 15378358272 33746 33554432000 4194304 4196468 140731048645808 140693330716272 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20536] ppid=20523 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20536/stat : 20536 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15378358272 33746 33554432000 4194304 4196468 140731048645808 140692956207696 140694947579803 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20537] ppid=20523 vsize=15017928 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20526/task/20537/stat : 20537 (java) R 20523 20526 8919 0 -1 4202560 691 0 0 0 9 0 0 0 20 0 15 0 53793391 15378358272 33746 33554432000 4194304 4196468 140731048645808 140694286211480 140694925449968 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20538] ppid=20523 vsize=15017928 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20526/task/20538/stat : 20538 (java) S 20523 20526 8919 0 -1 1077944384 327 0 0 0 9 0 0 0 20 0 15 0 53793391 15378358272 33746 33554432000 4194304 4196468 140731048645808 140694285158384 140694947572354 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20539] ppid=20523 vsize=15017928 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/20526/task/20539/stat : 20539 (java) S 20523 20526 8919 0 -1 1077944384 443 0 0 0 16 0 0 0 20 0 15 0 53793391 15378358272 33746 33554432000 4194304 4196468 140731048645808 140694284106096 140694947572354 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20540] ppid=20523 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20540/stat : 20540 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15378358272 33746 33554432000 4194304 4196468 140731048645808 140692458301920 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20541] ppid=20523 vsize=15017928 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20541/stat : 20541 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793392 15378358272 33746 33554432000 4194304 4196468 140731048645808 140694283054000 140694947572354 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 134984 KiB
[startup+1.50099 s]
/proc/loadavg: 2.01 2.25 2.20 8/216 20541
/proc/meminfo: memFree=5352768/32770624 swapFree=67108860/67108860
[pid=20526] ppid=20523 vsize=15020052 memory=499532 CPUtime=2.89 cores=1,3,5,7
/proc/20526/stat : 20526 (java) S 20523 20526 8919 0 -1 1077944320 19681 0 0 0 276 13 0 0 20 0 15 0 53793385 15380533248 124883 33554432000 4194304 4196468 140731048645808 140731048628352 140694947561207 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
/proc/20526/statm: 3755013 124883 3192 1 0 3716398 0
[pid=20526/tid=20528] ppid=20523 vsize=15020052 memory=9169 CPUtime=1.47 cores=1,3,5,7
/proc/20526/task/20528/stat : 20528 (java) R 20523 20526 8919 0 -1 4202560 15489 0 0 0 136 11 0 0 20 0 15 0 53793385 15380533248 124883 33554432000 4194304 4196468 140731048645808 140694919397120 140694421378240 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20529] ppid=20523 vsize=15020052 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20529/stat : 20529 (java) S 20523 20526 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53793387 15380533248 124883 33554432000 4194304 4196468 140731048645808 140694951803280 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20530] ppid=20523 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20530/stat : 20530 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15380533248 124883 33554432000 4194304 4196468 140731048645808 140694742886672 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20531] ppid=20523 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20531/stat : 20531 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15380533248 124883 33554432000 4194304 4196468 140731048645808 140694741834384 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20532] ppid=20523 vsize=15020052 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20532/stat : 20532 (java) S 20523 20526 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53793387 15380533248 124883 33554432000 4194304 4196468 140731048645808 140694405855760 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20533] ppid=20523 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20533/stat : 20533 (java) S 20523 20526 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53793388 15380533248 124883 33554432000 4194304 4196468 140731048645808 140694287264368 140694947572354 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
################
# More data... #
################
/proc/20526/statm: 3756037 3008603 2131 1 0 3717422 0
[pid=20526/tid=20528] ppid=20523 vsize=15024148 memory=6791534058613427641 CPUtime=466.05 cores=1,3,5,7
/proc/20526/task/20528/stat : 20528 (java) S 20523 20526 8919 0 -1 1077944384 590705 0 216 0 46447 158 0 0 20 0 15 0 53793385 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694919400048 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 76 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20529] ppid=20523 vsize=15024148 memory=4872558044660077418 CPUtime=508.4 cores=1,3,5,7
/proc/20526/task/20529/stat : 20529 (java) R 20523 20526 8919 0 -1 4202560 4100959 0 18 0 50247 593 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694951803480 140694932259939 0 4 0 25189583 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20530] ppid=20523 vsize=15024148 memory=1100 CPUtime=508.81 cores=1,3,5,7
/proc/20526/task/20530/stat : 20530 (java) R 20523 20526 8919 0 -1 4202560 4615643 0 40 0 50247 634 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694742886672 140694929114448 0 4 0 25189583 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20531] ppid=20523 vsize=15024148 memory=564 CPUtime=508.76 cores=1,3,5,7
/proc/20526/task/20531/stat : 20531 (java) R 20523 20526 8919 0 -1 4202560 5932973 0 40 0 50122 754 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694741834584 140694932557559 0 4 0 25189583 0 0 0 -1 3 0 0 58 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20532] ppid=20523 vsize=15024148 memory=3708 CPUtime=508.53 cores=1,3,5,7
/proc/20526/task/20532/stat : 20532 (java) R 20523 20526 8919 0 -1 4202560 5965549 0 56 0 50140 713 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694405855960 140694932557716 0 4 0 25189583 0 0 0 -1 5 0 0 55 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20533] ppid=20523 vsize=15024148 memory=2580 CPUtime=3.26 cores=1,3,5,7
/proc/20526/task/20533/stat : 20533 (java) S 20523 20526 8919 0 -1 1077944384 368091 0 582 0 291 35 0 0 20 0 15 0 53793388 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694287262912 140694947571413 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20534] ppid=20523 vsize=15024148 memory=3672 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20534/stat : 20534 (java) S 20523 20526 8919 0 -1 1077944384 46 0 1 0 0 0 0 0 20 0 15 0 53793389 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140693599151456 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20535] ppid=20523 vsize=15024148 memory=904 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20535/stat : 20535 (java) S 20523 20526 8919 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 53793389 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140693330716288 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20536] ppid=20523 vsize=15024148 memory=3140 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20536/stat : 20536 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140692956207696 140694947579803 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20537] ppid=20523 vsize=15024148 memory=12075112 CPUtime=7.38 cores=1,3,5,7
/proc/20526/task/20537/stat : 20537 (java) S 20523 20526 8919 0 -1 1077944384 23529 0 21 0 735 3 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694286211232 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20538] ppid=20523 vsize=15024148 memory=3140 CPUtime=7.07 cores=1,3,5,7
/proc/20526/task/20538/stat : 20538 (java) S 20523 20526 8919 0 -1 1077944384 24065 0 19 0 704 3 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694285158144 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20539] ppid=20523 vsize=15024148 memory=4872558044660077418 CPUtime=1.13 cores=1,3,5,7
/proc/20526/task/20539/stat : 20539 (java) S 20523 20526 8919 0 -1 1077944384 19826 0 118 0 108 5 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694284106144 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 63 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20540] ppid=20523 vsize=15024148 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20540/stat : 20540 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140692458301920 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20541] ppid=20523 vsize=15024148 memory=4872558044660077418 CPUtime=0.63 cores=1,3,5,7
/proc/20526/task/20541/stat : 20541 (java) S 20523 20526 8919 0 -1 1077944384 1261 0 7 0 30 33 0 0 20 0 15 0 53793392 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694283054000 140694947572354 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12075112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+986.445 s]
# the end of solver process 20526 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2498.98 s, system=29.5549 s
Solver just ended.
Dumping a history of the last processes samples
[startup+984.801 s]
/proc/loadavg: 3.80 4.38 3.78 5/194 20613
/proc/meminfo: memFree=12333332/32770624 swapFree=67016948/67108860
[pid=20526] ppid=20523 vsize=15024148 memory=12075112 CPUtime=2523.26 cores=1,3,5,7
/proc/20526/stat : 20526 (java) S 20523 20526 8919 0 -1 1077944320 21644001 0 1118 0 249413 2913 0 0 20 0 15 0 53793385 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140731048628352 140694947561207 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
/proc/20526/statm: 3756037 3008603 2131 1 0 3717422 0
[pid=20526/tid=20528] ppid=20523 vsize=15024148 memory=16105853321218399 CPUtime=466.05 cores=1,3,5,7
/proc/20526/task/20528/stat : 20528 (java) S 20523 20526 8919 0 -1 1077944384 590705 0 216 0 46447 158 0 0 20 0 15 0 53793385 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694919400048 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 76 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20529] ppid=20523 vsize=15024148 memory=280578671477696 CPUtime=509.18 cores=1,3,5,7
/proc/20526/task/20529/stat : 20529 (java) R 20523 20526 8919 0 -1 4202560 4100959 0 18 0 50325 593 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694951803480 140694932557611 0 4 0 25189583 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20530] ppid=20523 vsize=15024148 memory=280578671800544 CPUtime=509.61 cores=1,3,5,7
/proc/20526/task/20530/stat : 20530 (java) R 20523 20526 8919 0 -1 4202560 4615643 0 40 0 50327 634 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694742886672 140694932260175 0 4 0 25189583 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20531] ppid=20523 vsize=15024148 memory=6791534058613427641 CPUtime=509.55 cores=1,3,5,7
/proc/20526/task/20531/stat : 20531 (java) R 20523 20526 8919 0 -1 4202560 5932973 0 40 0 50201 754 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694741834584 140694929170816 0 4 0 25189583 0 0 0 -1 3 0 0 58 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20532] ppid=20523 vsize=15024148 memory=3604 CPUtime=509.31 cores=1,3,5,7
/proc/20526/task/20532/stat : 20532 (java) R 20523 20526 8919 0 -1 4202560 5965549 0 56 0 50218 713 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694405855960 140694929170829 0 4 0 25189583 0 0 0 -1 5 0 0 55 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20533] ppid=20523 vsize=15024148 memory=7680 CPUtime=3.26 cores=1,3,5,7
/proc/20526/task/20533/stat : 20533 (java) S 20523 20526 8919 0 -1 1077944384 368091 0 582 0 291 35 0 0 20 0 15 0 53793388 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694287262912 140694947571413 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20534] ppid=20523 vsize=15024148 memory=15104 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20534/stat : 20534 (java) S 20523 20526 8919 0 -1 1077944384 46 0 1 0 0 0 0 0 20 0 15 0 53793389 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140693599151456 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20535] ppid=20523 vsize=15024148 memory=640 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20535/stat : 20535 (java) S 20523 20526 8919 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 53793389 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140693330716288 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20536] ppid=20523 vsize=15024148 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20536/stat : 20536 (java) S 20523 20526 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140692956207344 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20537] ppid=20523 vsize=15024148 memory=960 CPUtime=7.38 cores=1,3,5,7
/proc/20526/task/20537/stat : 20537 (java) S 20523 20526 8919 0 -1 1077944384 23529 0 21 0 735 3 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694286211232 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20538] ppid=20523 vsize=15024148 memory=1220 CPUtime=7.07 cores=1,3,5,7
/proc/20526/task/20538/stat : 20538 (java) S 20523 20526 8919 0 -1 1077944384 24065 0 19 0 704 3 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694285158144 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20539] ppid=20523 vsize=15024148 memory=12075112 CPUtime=1.13 cores=1,3,5,7
/proc/20526/task/20539/stat : 20539 (java) S 20523 20526 8919 0 -1 1077944384 19826 0 118 0 108 5 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694284106144 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 63 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20540] ppid=20523 vsize=15024148 memory=12075112 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20540/stat : 20540 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140692458301920 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20541] ppid=20523 vsize=15024148 memory=13496 CPUtime=0.63 cores=1,3,5,7
/proc/20526/task/20541/stat : 20541 (java) S 20523 20526 8919 0 -1 1077944384 1261 0 7 0 30 33 0 0 20 0 15 0 53793392 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694283054000 140694947572354 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
Current children cumulated CPU time: 2523.26 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12075112 KiB
[startup+985.601 s]
/proc/loadavg: 3.80 4.38 3.78 5/194 20613
/proc/meminfo: memFree=12333332/32770624 swapFree=67016964/67108860
[pid=20526] ppid=20523 vsize=15024148 memory=12075112 CPUtime=2526.45 cores=1,3,5,7
/proc/20526/stat : 20526 (java) S 20523 20526 8919 0 -1 1077944320 21644001 0 1118 0 249732 2913 0 0 20 0 15 0 53793385 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140731048628352 140694947561207 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
/proc/20526/statm: 3756037 3008603 2131 1 0 3717422 0
[pid=20526/tid=20528] ppid=20523 vsize=15024148 memory=1876 CPUtime=466.05 cores=1,3,5,7
/proc/20526/task/20528/stat : 20528 (java) S 20523 20526 8919 0 -1 1077944384 590705 0 216 0 46447 158 0 0 20 0 15 0 53793385 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694919400048 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 76 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20529] ppid=20523 vsize=15024148 memory=2764 CPUtime=509.97 cores=1,3,5,7
/proc/20526/task/20529/stat : 20529 (java) R 20523 20526 8919 0 -1 4202560 4100959 0 18 0 50404 593 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694951803480 140694932260006 0 4 0 25189583 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20530] ppid=20523 vsize=15024148 memory=796 CPUtime=510.41 cores=1,3,5,7
/proc/20526/task/20530/stat : 20530 (java) R 20523 20526 8919 0 -1 4202560 4615643 0 40 0 50407 634 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694742886672 140694929170953 0 4 0 25189583 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20531] ppid=20523 vsize=15024148 memory=1008 CPUtime=510.35 cores=1,3,5,7
/proc/20526/task/20531/stat : 20531 (java) R 20523 20526 8919 0 -1 4202560 5932973 0 40 0 50281 754 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694741834584 140694929170829 0 4 0 25189583 0 0 0 -1 3 0 0 58 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20532] ppid=20523 vsize=15024148 memory=12075112 CPUtime=510.11 cores=1,3,5,7
/proc/20526/task/20532/stat : 20532 (java) R 20523 20526 8919 0 -1 4202560 5965549 0 56 0 50298 713 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694405855960 140694932018675 0 4 0 25189583 0 0 0 -1 5 0 0 55 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20533] ppid=20523 vsize=15024148 memory=3708 CPUtime=3.26 cores=1,3,5,7
/proc/20526/task/20533/stat : 20533 (java) S 20523 20526 8919 0 -1 1077944384 368091 0 582 0 291 35 0 0 20 0 15 0 53793388 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694287262912 140694947571413 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20534] ppid=20523 vsize=15024148 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20534/stat : 20534 (java) S 20523 20526 8919 0 -1 1077944384 46 0 1 0 0 0 0 0 20 0 15 0 53793389 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140693599151456 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20535] ppid=20523 vsize=15024148 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20535/stat : 20535 (java) S 20523 20526 8919 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 53793389 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140693330716288 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20536] ppid=20523 vsize=15024148 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20536/stat : 20536 (java) S 20523 20526 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140692956207344 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20537] ppid=20523 vsize=15024148 memory=800 CPUtime=7.38 cores=1,3,5,7
/proc/20526/task/20537/stat : 20537 (java) S 20523 20526 8919 0 -1 1077944384 23529 0 21 0 735 3 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694286211232 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20538] ppid=20523 vsize=15024148 memory=1516 CPUtime=7.07 cores=1,3,5,7
/proc/20526/task/20538/stat : 20538 (java) S 20523 20526 8919 0 -1 1077944384 24065 0 19 0 704 3 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694285158144 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20539] ppid=20523 vsize=15024148 memory=1828 CPUtime=1.13 cores=1,3,5,7
/proc/20526/task/20539/stat : 20539 (java) S 20523 20526 8919 0 -1 1077944384 19826 0 118 0 108 5 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694284106144 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 63 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20540] ppid=20523 vsize=15024148 memory=800 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20540/stat : 20540 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140692458301920 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20541] ppid=20523 vsize=15024148 memory=1144 CPUtime=0.63 cores=1,3,5,7
/proc/20526/task/20541/stat : 20541 (java) S 20523 20526 8919 0 -1 1077944384 1261 0 7 0 30 33 0 0 20 0 15 0 53793392 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694283054000 140694947572354 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
Current children cumulated CPU time: 2526.45 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12075112 KiB
[startup+986.001 s]*
/proc/loadavg: 3.80 4.38 3.78 5/194 20613
/proc/meminfo: memFree=12333332/32770624 swapFree=67016964/67108860
[pid=20526] ppid=20523 vsize=15024148 memory=12075112 CPUtime=2528.07 cores=1,3,5,7
/proc/20526/stat : 20526 (java) S 20523 20526 8919 0 -1 1077944320 21644001 0 1118 0 249894 2913 0 0 20 0 15 0 53793385 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140731048628352 140694947561207 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
/proc/20526/statm: 3756037 3008603 2131 1 0 3717422 0
[pid=20526/tid=20528] ppid=20523 vsize=15024148 memory=6791534058613427641 CPUtime=466.05 cores=1,3,5,7
/proc/20526/task/20528/stat : 20528 (java) S 20523 20526 8919 0 -1 1077944384 590705 0 216 0 46447 158 0 0 20 0 15 0 53793385 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694919400048 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 76 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20529] ppid=20523 vsize=15024148 memory=4872558044660077418 CPUtime=510.37 cores=1,3,5,7
/proc/20526/task/20529/stat : 20529 (java) R 20523 20526 8919 0 -1 4202560 4100959 0 18 0 50444 593 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694951803480 140694932557611 0 4 0 25189583 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20530] ppid=20523 vsize=15024148 memory=3708 CPUtime=510.81 cores=1,3,5,7
/proc/20526/task/20530/stat : 20530 (java) S 20523 20526 8919 0 -1 1077944384 4615643 0 40 0 50447 634 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694742886480 140694947572354 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20531] ppid=20523 vsize=15024148 memory=2580 CPUtime=510.76 cores=1,3,5,7
/proc/20526/task/20531/stat : 20531 (java) R 20523 20526 8919 0 -1 4202560 5932973 0 40 0 50322 754 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694741834584 140694940189415 0 4 0 25189583 0 0 0 -1 3 0 0 58 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20532] ppid=20523 vsize=15024148 memory=3672 CPUtime=510.52 cores=1,3,5,7
/proc/20526/task/20532/stat : 20532 (java) R 20523 20526 8919 0 -1 4202560 5965549 0 56 0 50339 713 0 0 20 0 15 0 53793387 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694405855960 140694929114458 0 4 0 25189583 0 0 0 -1 5 0 0 55 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20533] ppid=20523 vsize=15024148 memory=2164 CPUtime=3.26 cores=1,3,5,7
/proc/20526/task/20533/stat : 20533 (java) S 20523 20526 8919 0 -1 1077944384 368091 0 582 0 291 35 0 0 20 0 15 0 53793388 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694287262912 140694947571413 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20534] ppid=20523 vsize=15024148 memory=3700 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20534/stat : 20534 (java) S 20523 20526 8919 0 -1 1077944384 46 0 1 0 0 0 0 0 20 0 15 0 53793389 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140693599151456 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20535] ppid=20523 vsize=15024148 memory=832 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20535/stat : 20535 (java) S 20523 20526 8919 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 53793389 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140693330716288 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20536] ppid=20523 vsize=15024148 memory=1460 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20536/stat : 20536 (java) S 20523 20526 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140692956207344 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20537] ppid=20523 vsize=15024148 memory=2156 CPUtime=7.38 cores=1,3,5,7
/proc/20526/task/20537/stat : 20537 (java) S 20523 20526 8919 0 -1 1077944384 23529 0 21 0 735 3 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694286211232 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20538] ppid=20523 vsize=15024148 memory=6768 CPUtime=7.07 cores=1,3,5,7
/proc/20526/task/20538/stat : 20538 (java) S 20523 20526 8919 0 -1 1077944384 24065 0 19 0 704 3 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694285158144 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20539] ppid=20523 vsize=15024148 memory=4872558044660077418 CPUtime=1.13 cores=1,3,5,7
/proc/20526/task/20539/stat : 20539 (java) S 20523 20526 8919 0 -1 1077944384 19826 0 118 0 108 5 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694284106144 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 63 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20540] ppid=20523 vsize=15024148 memory=29975 CPUtime=0 cores=1,3,5,7
/proc/20526/task/20540/stat : 20540 (java) S 20523 20526 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53793391 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140692458301920 140694947571413 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
[pid=20526/tid=20541] ppid=20523 vsize=15024148 memory=30016 CPUtime=0.63 cores=1,3,5,7
/proc/20526/task/20541/stat : 20541 (java) S 20523 20526 8919 0 -1 1077944384 1261 0 7 0 30 33 0 0 20 0 15 0 53793392 15384727552 3008603 33554432000 4194304 4196468 140731048645808 140694283054000 140694947572354 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 8105984 140731048653812 140731048654089 140731048654089 140731048656847 0
Current children cumulated CPU time: 2528.07 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12075112 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 986.445
CPU time (s): 2528.54
CPU user time (s): 2498.98
CPU system time (s): 29.5549
CPU usage (%): 256.328
Max. virtual memory (cumulated for all children) (KiB): 15024148
Max. memory (cumulated for all children) (KiB): 12081656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2498.98
system time used= 29.5549
maximum resident set size= 12039264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21644004
page faults= 1119
swaps= 0
block input operations= 78152
block output operations= 1336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43548
involuntary context switches= 34780
# summary of solver processes directly reported to runsolver:
# pid: 20526
# total CPU time (s): 2528.54
# total CPU user time (s): 2498.98
# total CPU system time (s): 29.5549
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28723 second user time and 9.47395 second system time
The end