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 (5841 MiB free)
memory of node 1: 16384 MiB (14253 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258278-1502639243/watcher-4258278-1502639243 -o /tmp/evaluation-result-4258278-1502639243/solver-4258278-1502639243 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15761 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258278-1502639243.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=17425, runsolver pid=17422
[startup+0.100076 s]*
/proc/loadavg: 4.69 4.77 4.11 7/216 17440
/proc/meminfo: memFree=20559676/32770624 swapFree=67108860/67108860
[pid=17425] ppid=17422 vsize=10555400 memory=30316 CPUtime=0.13 cores=1,3,5,7
/proc/17425/stat : 17425 (java) S 17422 17425 6338 0 -1 1077944320 6634 0 0 0 12 1 0 0 20 0 15 0 97005381 10808729600 7579 33554432000 4194304 4196468 140733651082544 140733651065088 140253381086967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
/proc/17425/statm: 2638850 7579 2834 1 0 2627263 0
[pid=17425/tid=17427] ppid=17422 vsize=10555400 memory=-7254954386087372155 CPUtime=0.09 cores=1,3,5,7
/proc/17425/task/17427/stat : 17427 (java) R 17422 17425 6338 0 -1 4202560 4485 0 0 0 9 0 0 0 20 0 15 0 97005381 10808729600 7579 33554432000 4194304 4196468 140733651082544 140253385308816 140253365167484 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17428] ppid=17422 vsize=10555400 memory=5793855583798999481 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17428/stat : 17428 (java) S 17422 17425 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97005382 10808729600 7579 33554432000 4194304 4196468 140733651082544 140253307161616 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17429] ppid=17422 vsize=10555400 memory=140332789106304 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17429/stat : 17429 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005382 10808729600 7579 33554432000 4194304 4196468 140733651082544 140253306109072 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17430] ppid=17422 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17430/stat : 17430 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005382 10808729600 7579 33554432000 4194304 4196468 140733651082544 140253305056016 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17431] ppid=17422 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17431/stat : 17431 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005382 10808729600 7579 33554432000 4194304 4196468 140733651082544 140253304003472 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17432] ppid=17422 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17432/stat : 17432 (java) S 17422 17425 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97005384 10808729600 7579 33554432000 4194304 4196468 140733651082544 140252549171440 140253381098114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17433] ppid=17422 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17433/stat : 17433 (java) S 17422 17425 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97005384 10808729600 7579 33554432000 4194304 4196468 140733651082544 140252548117664 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17434] ppid=17422 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17434/stat : 17434 (java) S 17422 17425 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97005384 10808729600 7579 33554432000 4194304 4196468 140733651082544 140252547064560 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17435] ppid=17422 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17435/stat : 17435 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808729600 7579 33554432000 4194304 4196468 140733651082544 140252546013136 140253381105563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17436] ppid=17422 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17436/stat : 17436 (java) S 17422 17425 6338 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 97005387 10808729600 7579 33554432000 4194304 4196468 140733651082544 140252544961264 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17437] ppid=17422 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17437/stat : 17437 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808729600 7579 33554432000 4194304 4196468 140733651082544 140252543908720 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17438] ppid=17422 vsize=10555400 memory=140332789106304 CPUtime=0.02 cores=1,3,5,7
/proc/17425/task/17438/stat : 17438 (java) S 17422 17425 6338 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 97005387 10808729600 7579 33554432000 4194304 4196468 140733651082544 140252542855664 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17439] ppid=17422 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17439/stat : 17439 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808729600 7579 33554432000 4194304 4196468 140733651082544 140252541803360 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17440] ppid=17422 vsize=10555400 memory=140332789106304 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17440/stat : 17440 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005387 10808729600 7579 33554432000 4194304 4196468 140733651082544 140252540750384 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30316 KiB
[startup+0.210743 s]*
/proc/loadavg: 4.72 4.77 4.11 10/216 17440
/proc/meminfo: memFree=20550496/32770624 swapFree=67108860/67108860
[pid=17425] ppid=17422 vsize=10555400 memory=42312 CPUtime=0.33 cores=1,3,5,7
/proc/17425/stat : 17425 (java) S 17422 17425 6338 0 -1 1077944320 8137 0 0 0 32 1 0 0 20 0 15 0 97005381 10808729600 10578 33554432000 4194304 4196468 140733651082544 140733651065088 140253381086967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
/proc/17425/statm: 2638850 10578 2984 1 0 2627263 0
[pid=17425/tid=17427] ppid=17422 vsize=10555400 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/17425/task/17427/stat : 17427 (java) R 17422 17425 6338 0 -1 4202560 5055 0 0 0 20 0 0 0 20 0 15 0 97005381 10808729600 10578 33554432000 4194304 4196468 140733651082544 140253385324384 140253365167454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17428] ppid=17422 vsize=10555400 memory=4211974058993896842 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17428/stat : 17428 (java) S 17422 17425 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97005382 10808729600 10578 33554432000 4194304 4196468 140733651082544 140253307161616 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17429] ppid=17422 vsize=10555400 memory=140332789106304 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17429/stat : 17429 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005382 10808729600 10578 33554432000 4194304 4196468 140733651082544 140253306109072 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17430] ppid=17422 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17430/stat : 17430 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005382 10808729600 10578 33554432000 4194304 4196468 140733651082544 140253305056016 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17431] ppid=17422 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17431/stat : 17431 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005382 10808729600 10578 33554432000 4194304 4196468 140733651082544 140253304003472 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17432] ppid=17422 vsize=10555400 memory=140332789106304 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17432/stat : 17432 (java) S 17422 17425 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97005384 10808729600 10578 33554432000 4194304 4196468 140733651082544 140252549171440 140253381098114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17433] ppid=17422 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17433/stat : 17433 (java) S 17422 17425 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97005384 10808729600 10578 33554432000 4194304 4196468 140733651082544 140252548117664 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17434] ppid=17422 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17434/stat : 17434 (java) S 17422 17425 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97005384 10808729600 10578 33554432000 4194304 4196468 140733651082544 140252547064560 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17435] ppid=17422 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17435/stat : 17435 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808729600 10578 33554432000 4194304 4196468 140733651082544 140252546013136 140253381105563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17436] ppid=17422 vsize=10555400 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17425/task/17436/stat : 17436 (java) R 17422 17425 6338 0 -1 4202560 707 0 0 0 3 0 0 0 20 0 15 0 97005387 10808729600 10578 33554432000 4194304 4196468 140733651082544 140252544951032 140253373376349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17437] ppid=17422 vsize=10555400 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17425/task/17437/stat : 17437 (java) S 17422 17425 6338 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 15 0 97005387 10808729600 10578 33554432000 4194304 4196468 140733651082544 140252543908720 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17438] ppid=17422 vsize=10555400 memory=140332789106304 CPUtime=0.06 cores=1,3,5,7
/proc/17425/task/17438/stat : 17438 (java) R 17422 17425 6338 0 -1 4202560 907 0 0 0 6 0 0 0 20 0 15 0 97005387 10808729600 10578 33554432000 4194304 4196468 140733651082544 140252542851656 140253360038923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17439] ppid=17422 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17439/stat : 17439 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808729600 10578 33554432000 4194304 4196468 140733651082544 140252541803360 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17440] ppid=17422 vsize=10555400 memory=140332789106304 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17440/stat : 17440 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005387 10808729600 10578 33554432000 4194304 4196468 140733651082544 140252540750384 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 42312 KiB
[startup+0.310579 s]*
/proc/loadavg: 4.72 4.77 4.11 7/216 17440
/proc/meminfo: memFree=20537224/32770624 swapFree=67108860/67108860
[pid=17425] ppid=17422 vsize=10555476 memory=52432 CPUtime=0.62 cores=1,3,5,7
/proc/17425/stat : 17425 (java) S 17422 17425 6338 0 -1 1077944320 10227 0 0 0 61 1 0 0 20 0 15 0 97005381 10808807424 13108 33554432000 4194304 4196468 140733651082544 140733651065088 140253381086967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
/proc/17425/statm: 2638869 13108 3045 1 0 2627263 0
[pid=17425/tid=17427] ppid=17422 vsize=10555476 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/17425/task/17427/stat : 17427 (java) R 17422 17425 6338 0 -1 4202560 5494 0 0 0 29 0 0 0 20 0 15 0 97005381 10808807424 13108 33554432000 4194304 4196468 140733651082544 140253385323184 140253365130597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17428] ppid=17422 vsize=10555476 memory=4211974058993896842 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17428/stat : 17428 (java) S 17422 17425 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97005382 10808807424 13108 33554432000 4194304 4196468 140733651082544 140253307161616 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17429] ppid=17422 vsize=10555476 memory=140332789108661 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17429/stat : 17429 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005382 10808807424 13108 33554432000 4194304 4196468 140733651082544 140253306109072 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17430] ppid=17422 vsize=10555476 memory=140332687803090 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17430/stat : 17430 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005382 10808807424 13108 33554432000 4194304 4196468 140733651082544 140253305056016 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17431] ppid=17422 vsize=10555476 memory=140332687805903 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17431/stat : 17431 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005382 10808807424 13108 33554432000 4194304 4196468 140733651082544 140253304003472 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17432] ppid=17422 vsize=10555476 memory=140332789112669 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17432/stat : 17432 (java) S 17422 17425 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 13108 33554432000 4194304 4196468 140733651082544 140252549171440 140253381098114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17433] ppid=17422 vsize=10555476 memory=140332687815087 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17433/stat : 17433 (java) S 17422 17425 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 13108 33554432000 4194304 4196468 140733651082544 140252548117664 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17434] ppid=17422 vsize=10555476 memory=280665375621008 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17434/stat : 17434 (java) S 17422 17425 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 13108 33554432000 4194304 4196468 140733651082544 140252547064560 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17435] ppid=17422 vsize=10555476 memory=280665375618704 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17435/stat : 17435 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 13108 33554432000 4194304 4196468 140733651082544 140252546013136 140253381105563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17436] ppid=17422 vsize=10555476 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17425/task/17436/stat : 17436 (java) S 17422 17425 6338 0 -1 1077944384 1638 0 0 0 12 0 0 0 20 0 15 0 97005387 10808807424 13108 33554432000 4194304 4196468 140733651082544 140252544961264 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17437] ppid=17422 vsize=10555476 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/17425/task/17437/stat : 17437 (java) S 17422 17425 6338 0 -1 1077944384 375 0 0 0 5 0 0 0 20 0 15 0 97005387 10808807424 13108 33554432000 4194304 4196468 140733651082544 140252543908720 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17438] ppid=17422 vsize=10555476 memory=140332789106304 CPUtime=0.14 cores=1,3,5,7
/proc/17425/task/17438/stat : 17438 (java) R 17422 17425 6338 0 -1 4202560 1352 0 0 0 14 0 0 0 20 0 15 0 97005387 10808807424 13108 33554432000 4194304 4196468 140733651082544 140252542853456 140253381098902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17439] ppid=17422 vsize=10555476 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17439/stat : 17439 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 13108 33554432000 4194304 4196468 140733651082544 140252541803360 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17440] ppid=17422 vsize=10555476 memory=140332789106304 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17440/stat : 17440 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 13108 33554432000 4194304 4196468 140733651082544 140252540750384 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 52432 KiB
[startup+0.700731 s]
/proc/loadavg: 4.72 4.77 4.11 8/216 17440
/proc/meminfo: memFree=20506632/32770624 swapFree=67108860/67108860
[pid=17425] ppid=17422 vsize=10555476 memory=243976 CPUtime=1.85 cores=1,3,5,7
/proc/17425/stat : 17425 (java) S 17422 17425 6338 0 -1 1077944320 11828 0 0 0 174 11 0 0 20 0 15 0 97005381 10808807424 60994 33554432000 4194304 4196468 140733651082544 140733651065088 140253381086967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
/proc/17425/statm: 2638869 60994 3108 1 0 2627263 0
[pid=17425/tid=17427] ppid=17422 vsize=10555476 memory=1952 CPUtime=0.61 cores=1,3,5,7
/proc/17425/task/17427/stat : 17427 (java) R 17422 17425 6338 0 -1 4202560 5732 0 0 0 59 2 0 0 20 0 15 0 97005381 10808807424 60994 33554432000 4194304 4196468 140733651082544 140253385323856 140253367155086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17428] ppid=17422 vsize=10555476 memory=5796 CPUtime=0.06 cores=1,3,5,7
/proc/17425/task/17428/stat : 17428 (java) S 17422 17425 6338 0 -1 1077944384 115 0 0 0 4 2 0 0 20 0 15 0 97005382 10808807424 60994 33554432000 4194304 4196468 140733651082544 140253307161616 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17429] ppid=17422 vsize=10555476 memory=4616 CPUtime=0.06 cores=1,3,5,7
/proc/17425/task/17429/stat : 17429 (java) S 17422 17425 6338 0 -1 1077944384 107 0 0 0 4 2 0 0 20 0 15 0 97005382 10808807424 60994 33554432000 4194304 4196468 140733651082544 140253306109072 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17430] ppid=17422 vsize=10555476 memory=7523356985603351872 CPUtime=0.04 cores=1,3,5,7
/proc/17425/task/17430/stat : 17430 (java) S 17422 17425 6338 0 -1 1077944384 102 0 0 0 3 1 0 0 20 0 15 0 97005382 10808807424 60994 33554432000 4194304 4196468 140733651082544 140253305056016 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17431] ppid=17422 vsize=10555476 memory=7881696724453321575 CPUtime=0.06 cores=1,3,5,7
/proc/17425/task/17431/stat : 17431 (java) S 17422 17425 6338 0 -1 1077944384 112 0 0 0 4 2 0 0 20 0 15 0 97005382 10808807424 60994 33554432000 4194304 4196468 140733651082544 140253304003472 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17432] ppid=17422 vsize=10555476 memory=7007721216195711056 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17432/stat : 17432 (java) S 17422 17425 6338 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 60994 33554432000 4194304 4196468 140733651082544 140252549171440 140253381098114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17433] ppid=17422 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17433/stat : 17433 (java) S 17422 17425 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 60994 33554432000 4194304 4196468 140733651082544 140252548117728 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17434] ppid=17422 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17434/stat : 17434 (java) S 17422 17425 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 60994 33554432000 4194304 4196468 140733651082544 140252547064560 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17435] ppid=17422 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17435/stat : 17435 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 60994 33554432000 4194304 4196468 140733651082544 140252546013136 140253381105563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17436] ppid=17422 vsize=10555476 memory=72 CPUtime=0.38 cores=1,3,5,7
/proc/17425/task/17436/stat : 17436 (java) S 17422 17425 6338 0 -1 1077944384 1738 0 0 0 38 0 0 0 20 0 15 0 97005387 10808807424 60994 33554432000 4194304 4196468 140733651082544 140252544961264 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17437] ppid=17422 vsize=10555476 memory=3 CPUtime=0.3 cores=1,3,5,7
/proc/17425/task/17437/stat : 17437 (java) S 17422 17425 6338 0 -1 1077944384 814 0 0 0 30 0 0 0 20 0 15 0 97005387 10808807424 60994 33554432000 4194304 4196468 140733651082544 140252543908720 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17438] ppid=17422 vsize=10555476 memory=6076 CPUtime=0.29 cores=1,3,5,7
/proc/17425/task/17438/stat : 17438 (java) S 17422 17425 6338 0 -1 1077944384 1664 0 0 0 29 0 0 0 20 0 15 0 97005387 10808807424 60994 33554432000 4194304 4196468 140733651082544 140252542855664 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17439] ppid=17422 vsize=10555476 memory=280665375804912 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17439/stat : 17439 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 61506 33554432000 4194304 4196468 140733651082544 140252541803360 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17440] ppid=17422 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17440/stat : 17440 (java) S 17422 17425 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 61506 33554432000 4194304 4196468 140733651082544 140252540750384 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 243976 KiB
[startup+1.50081 s]
/proc/loadavg: 4.72 4.77 4.11 6/216 17440
/proc/meminfo: memFree=19904836/32770624 swapFree=67108860/67108860
[pid=17425] ppid=17422 vsize=10555476 memory=1267808 CPUtime=3.4 cores=1,3,5,7
/proc/17425/stat : 17425 (java) S 17422 17425 6338 0 -1 1077944320 14443 0 0 0 294 46 0 0 20 0 15 0 97005381 10808807424 316952 33554432000 4194304 4196468 140733651082544 140733651065088 140253381086967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
/proc/17425/statm: 2638869 316952 3113 1 0 2627263 0
[pid=17425/tid=17427] ppid=17422 vsize=10555476 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/17425/task/17427/stat : 17427 (java) R 17422 17425 6338 0 -1 4202560 6645 0 0 0 104 14 0 0 20 0 15 0 97005381 10808807424 316952 33554432000 4194304 4196468 140733651082544 140253385324032 140253367155072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17428] ppid=17422 vsize=10555476 memory=-6940707314043348328 CPUtime=0.28 cores=1,3,5,7
/proc/17425/task/17428/stat : 17428 (java) S 17422 17425 6338 0 -1 1077944384 241 0 0 0 20 8 0 0 20 0 15 0 97005382 10808807424 316952 33554432000 4194304 4196468 140733651082544 140253307161616 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17429] ppid=17422 vsize=10555476 memory=-5935602824819121961 CPUtime=0.28 cores=1,3,5,7
/proc/17425/task/17429/stat : 17429 (java) S 17422 17425 6338 0 -1 1077944384 311 0 0 0 21 7 0 0 20 0 15 0 97005382 10808807424 316952 33554432000 4194304 4196468 140733651082544 140253306109072 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17430] ppid=17422 vsize=10555476 memory=-1161699032755887712 CPUtime=0.28 cores=1,3,5,7
/proc/17425/task/17430/stat : 17430 (java) S 17422 17425 6338 0 -1 1077944384 333 0 0 0 21 7 0 0 20 0 15 0 97005382 10808807424 316952 33554432000 4194304 4196468 140733651082544 140253305056016 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17431] ppid=17422 vsize=10555476 memory=-6305719382032737664 CPUtime=0.27 cores=1,3,5,7
/proc/17425/task/17431/stat : 17431 (java) S 17422 17425 6338 0 -1 1077944384 298 0 0 0 20 7 0 0 20 0 15 0 97005382 10808807424 316952 33554432000 4194304 4196468 140733651082544 140253304003472 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17432] ppid=17422 vsize=10555476 memory=-6305711685316600960 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17432/stat : 17432 (java) S 17422 17425 6338 0 -1 1077944384 1000 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 316952 33554432000 4194304 4196468 140733651082544 140252549171440 140253381098114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
################
# More data... #
################
[startup+86.2204 s]
# the end of solver process 17425 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.827 s, system=5.09828 s
Solver just ended.
Dumping a history of the last processes samples
[startup+84.8007 s]
/proc/loadavg: 5.23 5.00 4.25 9/216 17516
/proc/meminfo: memFree=12534516/32770624 swapFree=67108860/67108860
[pid=17425] ppid=17422 vsize=10555476 memory=8320488 CPUtime=254.73 cores=1,3,5,7
/proc/17425/stat : 17425 (java) S 17422 17425 6338 0 -1 1077944320 1781726 0 0 0 24976 497 0 0 20 0 15 0 97005381 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140733651065088 140253381086967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
/proc/17425/statm: 2638869 2080122 3154 1 0 2627263 0
[pid=17425/tid=17427] ppid=17422 vsize=10555476 memory=-7088785026379990432 CPUtime=16.79 cores=1,3,5,7
/proc/17425/task/17427/stat : 17427 (java) S 17422 17425 6338 0 -1 1077944384 24382 0 0 0 1643 36 0 0 20 0 15 0 97005381 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253385323792 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17428] ppid=17422 vsize=10555476 memory=6944656592455350634 CPUtime=56.32 cores=1,3,5,7
/proc/17425/task/17428/stat : 17428 (java) R 17422 17425 6338 0 -1 4202560 629906 0 0 0 5509 123 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253307161504 140253366083371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17429] ppid=17422 vsize=10555476 memory=8320484 CPUtime=55.95 cores=1,3,5,7
/proc/17425/task/17429/stat : 17429 (java) R 17422 17425 6338 0 -1 4202560 440516 0 0 0 5482 113 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253306108880 140253373715175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17430] ppid=17422 vsize=10555476 memory=280665376404816 CPUtime=55.78 cores=1,3,5,7
/proc/17425/task/17430/stat : 17430 (java) R 17422 17425 6338 0 -1 4202560 302975 0 0 0 5476 102 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253305056136 140253373715175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17431] ppid=17422 vsize=10555476 memory=-7161732098442470212 CPUtime=55.78 cores=1,3,5,7
/proc/17425/task/17431/stat : 17431 (java) R 17422 17425 6338 0 -1 4202560 319437 0 0 0 5465 113 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253304003280 140253373715175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17432] ppid=17422 vsize=10555476 memory=-6667966544890519924 CPUtime=10.79 cores=1,3,5,7
/proc/17425/task/17432/stat : 17432 (java) S 17422 17425 6338 0 -1 1077944384 37831 0 0 0 1076 3 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252549169984 140253381097173 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17433] ppid=17422 vsize=10555476 memory=-7814691523512926820 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17433/stat : 17433 (java) S 17422 17425 6338 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252548117728 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17434] ppid=17422 vsize=10555476 memory=-2895008908443675764 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17434/stat : 17434 (java) S 17422 17425 6338 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252547064560 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17435] ppid=17422 vsize=10555476 memory=-7361183220417257581 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17435/stat : 17435 (java) S 17422 17425 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252546012784 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17436] ppid=17422 vsize=10555476 memory=6225214304499623271 CPUtime=1.4 cores=1,3,5,7
/proc/17425/task/17436/stat : 17436 (java) S 17422 17425 6338 0 -1 1077944384 9606 0 0 0 139 1 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252544961312 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17437] ppid=17422 vsize=10555476 memory=6153433744107138407 CPUtime=1.38 cores=1,3,5,7
/proc/17425/task/17437/stat : 17437 (java) S 17422 17425 6338 0 -1 1077944384 11311 0 0 0 136 2 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252543908768 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17438] ppid=17422 vsize=10555476 memory=5864621644666660455 CPUtime=0.43 cores=1,3,5,7
/proc/17425/task/17438/stat : 17438 (java) S 17422 17425 6338 0 -1 1077944384 3881 0 0 0 43 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252542855424 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17439] ppid=17422 vsize=10555476 memory=33 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17439/stat : 17439 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252541803360 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17440] ppid=17422 vsize=10555476 memory=335 CPUtime=0.03 cores=1,3,5,7
/proc/17425/task/17440/stat : 17440 (java) S 17422 17425 6338 0 -1 1077944384 410 0 0 0 2 1 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252540750384 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
Current children cumulated CPU time: 254.73 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8320488 KiB
[startup+85.6006 s]
/proc/loadavg: 5.23 5.00 4.25 10/216 17516
/proc/meminfo: memFree=12534516/32770624 swapFree=67108860/67108860
[pid=17425] ppid=17422 vsize=10555476 memory=8320488 CPUtime=257.82 cores=1,3,5,7
/proc/17425/stat : 17425 (java) S 17422 17425 6338 0 -1 1077944320 1781776 0 0 0 25284 498 0 0 20 0 15 0 97005381 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140733651065088 140253381086967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
/proc/17425/statm: 2638869 2080122 3154 1 0 2627263 0
[pid=17425/tid=17427] ppid=17422 vsize=10555476 memory=-8990767739041718176 CPUtime=16.79 cores=1,3,5,7
/proc/17425/task/17427/stat : 17427 (java) S 17422 17425 6338 0 -1 1077944384 24382 0 0 0 1643 36 0 0 20 0 15 0 97005381 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253385323792 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17428] ppid=17422 vsize=10555476 memory=6791534058613427641 CPUtime=57.12 cores=1,3,5,7
/proc/17425/task/17428/stat : 17428 (java) R 17422 17425 6338 0 -1 4202560 629956 0 0 0 5589 123 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253307161504 140253374190604 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17429] ppid=17422 vsize=10555476 memory=2428 CPUtime=56.73 cores=1,3,5,7
/proc/17425/task/17429/stat : 17429 (java) R 17422 17425 6338 0 -1 4202560 440516 0 0 0 5559 114 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253306108880 140253373715175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17430] ppid=17422 vsize=10555476 memory=1292 CPUtime=56.53 cores=1,3,5,7
/proc/17425/task/17430/stat : 17430 (java) R 17422 17425 6338 0 -1 4202560 302975 0 0 0 5551 102 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253305056136 140253373715175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17431] ppid=17422 vsize=10555476 memory=1728 CPUtime=56.55 cores=1,3,5,7
/proc/17425/task/17431/stat : 17431 (java) R 17422 17425 6338 0 -1 4202560 319437 0 0 0 5542 113 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253304003592 140253373715175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17432] ppid=17422 vsize=10555476 memory=12064 CPUtime=10.79 cores=1,3,5,7
/proc/17425/task/17432/stat : 17432 (java) S 17422 17425 6338 0 -1 1077944384 37831 0 0 0 1076 3 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252549169984 140253381097173 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17433] ppid=17422 vsize=10555476 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17433/stat : 17433 (java) S 17422 17425 6338 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252548117728 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17434] ppid=17422 vsize=10555476 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17434/stat : 17434 (java) S 17422 17425 6338 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252547064560 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17435] ppid=17422 vsize=10555476 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17435/stat : 17435 (java) S 17422 17425 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252546012784 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17436] ppid=17422 vsize=10555476 memory=5796 CPUtime=1.4 cores=1,3,5,7
/proc/17425/task/17436/stat : 17436 (java) S 17422 17425 6338 0 -1 1077944384 9606 0 0 0 139 1 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252544961312 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17437] ppid=17422 vsize=10555476 memory=4616 CPUtime=1.38 cores=1,3,5,7
/proc/17425/task/17437/stat : 17437 (java) S 17422 17425 6338 0 -1 1077944384 11311 0 0 0 136 2 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252543908768 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17438] ppid=17422 vsize=10555476 memory=8584 CPUtime=0.43 cores=1,3,5,7
/proc/17425/task/17438/stat : 17438 (java) S 17422 17425 6338 0 -1 1077944384 3881 0 0 0 43 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252542855424 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17439] ppid=17422 vsize=10555476 memory=792 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17439/stat : 17439 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252541803360 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17440] ppid=17422 vsize=10555476 memory=1204 CPUtime=0.03 cores=1,3,5,7
/proc/17425/task/17440/stat : 17440 (java) S 17422 17425 6338 0 -1 1077944384 410 0 0 0 2 1 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252540750384 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
Current children cumulated CPU time: 257.82 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8320488 KiB
[startup+86.0007 s]*
/proc/loadavg: 5.45 5.05 4.27 6/216 17516
/proc/meminfo: memFree=12534516/32770624 swapFree=67108860/67108860
[pid=17425] ppid=17422 vsize=10555476 memory=8320488 CPUtime=259.41 cores=1,3,5,7
/proc/17425/stat : 17425 (java) S 17422 17425 6338 0 -1 1077944320 1782046 0 0 0 25442 499 0 0 20 0 15 0 97005381 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140733651065088 140253381086967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
/proc/17425/statm: 2638869 2080122 3154 1 0 2627263 0
[pid=17425/tid=17427] ppid=17422 vsize=10555476 memory=6735269665583770266 CPUtime=16.79 cores=1,3,5,7
/proc/17425/task/17427/stat : 17427 (java) S 17422 17425 6338 0 -1 1077944384 24382 0 0 0 1643 36 0 0 20 0 15 0 97005381 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253385323792 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17428] ppid=17422 vsize=10555476 memory=4211974058993896842 CPUtime=57.53 cores=1,3,5,7
/proc/17425/task/17428/stat : 17428 (java) R 17422 17425 6338 0 -1 4202560 630227 0 0 0 5630 123 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253307161504 140253374190604 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17429] ppid=17422 vsize=10555476 memory=140332789106304 CPUtime=57.12 cores=1,3,5,7
/proc/17425/task/17429/stat : 17429 (java) R 17422 17425 6338 0 -1 4202560 440516 0 0 0 5598 114 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253306108880 140253373715175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17430] ppid=17422 vsize=10555476 memory=0 CPUtime=56.92 cores=1,3,5,7
/proc/17425/task/17430/stat : 17430 (java) R 17422 17425 6338 0 -1 4202560 302975 0 0 0 5589 103 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253305056136 140253373715175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17431] ppid=17422 vsize=10555476 memory=-1 CPUtime=56.95 cores=1,3,5,7
/proc/17425/task/17431/stat : 17431 (java) R 17422 17425 6338 0 -1 4202560 319437 0 0 0 5581 114 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253304003592 140253373715175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17432] ppid=17422 vsize=10555476 memory=140332789106304 CPUtime=10.79 cores=1,3,5,7
/proc/17425/task/17432/stat : 17432 (java) S 17422 17425 6338 0 -1 1077944384 37831 0 0 0 1076 3 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252549169984 140253381097173 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17433] ppid=17422 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17433/stat : 17433 (java) S 17422 17425 6338 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252548117728 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17434] ppid=17422 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17434/stat : 17434 (java) S 17422 17425 6338 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252547064560 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17435] ppid=17422 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17435/stat : 17435 (java) S 17422 17425 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252546012784 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17436] ppid=17422 vsize=10555476 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/17425/task/17436/stat : 17436 (java) S 17422 17425 6338 0 -1 1077944384 9606 0 0 0 139 1 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252544961312 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17437] ppid=17422 vsize=10555476 memory=-1 CPUtime=1.38 cores=1,3,5,7
/proc/17425/task/17437/stat : 17437 (java) S 17422 17425 6338 0 -1 1077944384 11311 0 0 0 136 2 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252543908768 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17438] ppid=17422 vsize=10555476 memory=140332789106304 CPUtime=0.43 cores=1,3,5,7
/proc/17425/task/17438/stat : 17438 (java) S 17422 17425 6338 0 -1 1077944384 3881 0 0 0 43 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252542855424 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17439] ppid=17422 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17439/stat : 17439 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252541803360 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17440] ppid=17422 vsize=10555476 memory=140332789106304 CPUtime=0.03 cores=1,3,5,7
/proc/17425/task/17440/stat : 17440 (java) S 17422 17425 6338 0 -1 1077944384 410 0 0 0 2 1 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252540750384 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
Current children cumulated CPU time: 259.41 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8320488 KiB
[startup+86.1104 s]
/proc/loadavg: 5.45 5.05 4.27 6/216 17516
/proc/meminfo: memFree=12534516/32770624 swapFree=67108860/67108860
[pid=17425] ppid=17422 vsize=10555476 memory=8320488 CPUtime=259.8 cores=1,3,5,7
/proc/17425/stat : 17425 (java) S 17422 17425 6338 0 -1 1077944320 1782090 0 0 0 25481 499 0 0 20 0 15 0 97005381 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140733651065088 140253381086967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
/proc/17425/statm: 2638869 2080122 3154 1 0 2627263 0
[pid=17425/tid=17427] ppid=17422 vsize=10555476 memory=8320488 CPUtime=16.79 cores=1,3,5,7
/proc/17425/task/17427/stat : 17427 (java) S 17422 17425 6338 0 -1 1077944384 24382 0 0 0 1643 36 0 0 20 0 15 0 97005381 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253385323792 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17428] ppid=17422 vsize=10555476 memory=8320488 CPUtime=57.63 cores=1,3,5,7
/proc/17425/task/17428/stat : 17428 (java) R 17422 17425 6338 0 -1 4202560 630270 0 0 0 5640 123 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253307161504 140253366083334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17429] ppid=17422 vsize=10555476 memory=8320488 CPUtime=57.22 cores=1,3,5,7
/proc/17425/task/17429/stat : 17429 (java) R 17422 17425 6338 0 -1 4202560 440516 0 0 0 5608 114 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253306108880 140253373715175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17430] ppid=17422 vsize=10555476 memory=8320488 CPUtime=57.01 cores=1,3,5,7
/proc/17425/task/17430/stat : 17430 (java) R 17422 17425 6338 0 -1 4202560 302975 0 0 0 5598 103 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253305056136 140253373715175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17431] ppid=17422 vsize=10555476 memory=8320488 CPUtime=57.04 cores=1,3,5,7
/proc/17425/task/17431/stat : 17431 (java) R 17422 17425 6338 0 -1 4202560 319437 0 0 0 5590 114 0 0 20 0 15 0 97005382 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140253304003592 140253373715175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17432] ppid=17422 vsize=10555476 memory=8320488 CPUtime=10.79 cores=1,3,5,7
/proc/17425/task/17432/stat : 17432 (java) S 17422 17425 6338 0 -1 1077944384 37831 0 0 0 1076 3 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252549169984 140253381097173 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17433] ppid=17422 vsize=10555476 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17433/stat : 17433 (java) S 17422 17425 6338 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252548117728 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17434] ppid=17422 vsize=10555476 memory=8004956 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17434/stat : 17434 (java) S 17422 17425 6338 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 97005384 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252547064560 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17435] ppid=17422 vsize=10555476 memory=8320488 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17435/stat : 17435 (java) S 17422 17425 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252546012784 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17436] ppid=17422 vsize=10555476 memory=8320488 CPUtime=1.4 cores=1,3,5,7
/proc/17425/task/17436/stat : 17436 (java) S 17422 17425 6338 0 -1 1077944384 9606 0 0 0 139 1 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252544961312 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17437] ppid=17422 vsize=10555476 memory=636 CPUtime=1.38 cores=1,3,5,7
/proc/17425/task/17437/stat : 17437 (java) S 17422 17425 6338 0 -1 1077944384 11311 0 0 0 136 2 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252543908768 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17438] ppid=17422 vsize=10555476 memory=8320484 CPUtime=0.43 cores=1,3,5,7
/proc/17425/task/17438/stat : 17438 (java) S 17422 17425 6338 0 -1 1077944384 3881 0 0 0 43 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252542855424 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17439] ppid=17422 vsize=10555476 memory=8320488 CPUtime=0 cores=1,3,5,7
/proc/17425/task/17439/stat : 17439 (java) S 17422 17425 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252541803360 140253381097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
[pid=17425/tid=17440] ppid=17422 vsize=10555476 memory=33 CPUtime=0.03 cores=1,3,5,7
/proc/17425/task/17440/stat : 17440 (java) S 17422 17425 6338 0 -1 1077944384 410 0 0 0 2 1 0 0 20 0 15 0 97005387 10808807424 2080122 33554432000 4194304 4196468 140733651082544 140252540750384 140253381098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 36122624 140733651084427 140733651084580 140733651084580 140733651087311 0
Current children cumulated CPU time: 259.8 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8320488 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 86.2204
CPU time (s): 259.926
CPU user time (s): 254.827
CPU system time (s): 5.09828
CPU usage (%): 301.466
Max. virtual memory (cumulated for all children) (KiB): 10557964
Max. memory (cumulated for all children) (KiB): 8320488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.827
system time used= 5.09828
maximum resident set size= 8320684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1782096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12402
involuntary context switches= 5471
# summary of solver processes directly reported to runsolver:
# pid: 17425
# total CPU time (s): 259.926
# total CPU user time (s): 254.827
# total CPU system time (s): 5.09828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.622103 second user time and 0.789754 second system time
The end