runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249438-1500767182/watcher-4249438-1500767182 -o /tmp/evaluation-result-4249438-1500767182/solver-4249438-1500767182 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21524 --watchdog 2560 bin/concrete HOME/instance-4249438-1500767182.xml
pid=26307
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.63 1.56 1.63 3/261 26310
/proc/meminfo: memFree=28572732/32770624 swapFree=5816/248176
[pid=26310] ppid=26307 vsize=9508 CPUtime=0 cores=4-7,12-15
/proc/26310/stat : 26310 (bash) S 26307 26310 21492 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 11983544 9736192 350 33554432000 4194304 5098028 140720849998544 140720849996184 139791651273728 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 27418624 140720850003214 140720850003299 140720850003299 140720850005998 0
/proc/26310/statm: 2377 350 277 221 0 86 0
[startup+0.100121 s]
/proc/loadavg: 1.63 1.56 1.63 3/261 26310
/proc/meminfo: memFree=28572732/32770624 swapFree=5816/248176
[pid=26310] ppid=26307 vsize=9640 CPUtime=0.01 cores=4-7,12-15
/proc/26310/stat : 26310 (bash) S 26307 26310 21492 0 -1 4202496 884 6416 0 0 0 0 0 1 20 0 1 0 11983544 9871360 378 33554432000 4194304 5098028 140720849998544 140720849992552 139791651273728 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 27418624 140720850003214 140720850003299 140720850003299 140720850005998 0
/proc/26310/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200291 s]
/proc/loadavg: 1.63 1.56 1.63 3/261 26310
/proc/meminfo: memFree=28572732/32770624 swapFree=5816/248176
[pid=26310] ppid=26307 vsize=10435860 CPUtime=0.18 cores=4-7,12-15
/proc/26310/stat : 26310 (java) S 26307 26310 21492 0 -1 1077944320 4828 12432 0 0 7 0 8 3 20 0 13 0 11983544 10686320640 5183 33554432000 4194304 4196468 140720736658752 140720736641296 140554458824439 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
/proc/26310/statm: 2608965 5183 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300275 s]
/proc/loadavg: 1.63 1.56 1.63 3/261 26310
/proc/meminfo: memFree=28572732/32770624 swapFree=5816/248176
[pid=26310] ppid=26307 vsize=10902292 CPUtime=0.37 cores=4-7,12-15
/proc/26310/stat : 26310 (java) S 26307 26310 21492 0 -1 1077944320 8135 12432 0 0 25 1 8 3 20 0 20 0 11983544 11163947008 9108 33554432000 4194304 4196468 140720736658752 140720736641296 140554458824439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
/proc/26310/statm: 2725573 9108 2962 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902292
[startup+0.700212 s]
/proc/loadavg: 1.63 1.56 1.63 3/261 26310
/proc/meminfo: memFree=28572732/32770624 swapFree=5816/248176
[pid=26310] ppid=26307 vsize=10902720 CPUtime=0.95 cores=4-7,12-15
/proc/26310/stat : 26310 (java) S 26307 26310 21492 0 -1 1077944320 12667 12432 0 0 81 3 8 3 20 0 20 0 11983544 11164385280 15963 33554432000 4194304 4196468 140720736658752 140720736641296 140554458824439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
/proc/26310/statm: 2725680 15963 3209 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720
[startup+1.50081 s]
/proc/loadavg: 1.63 1.56 1.63 3/281 26383
/proc/meminfo: memFree=28466368/32770624 swapFree=5816/248212
[pid=26310] ppid=26307 vsize=10915392 CPUtime=2.32 cores=4-7,12-15
/proc/26310/stat : 26310 (java) S 26307 26310 21492 0 -1 1077944320 25944 12432 0 0 208 13 8 3 20 0 20 0 11983544 11177361408 45177 33554432000 4194304 4196468 140720736658752 140720736641296 140554458824439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
/proc/26310/statm: 2728848 45177 3410 1 0 2716962 0
[pid=26310/tid=26365] ppid=26307 vsize=10915392 CPUtime=1.42 cores=4-7,12-15
/proc/26310/task/26365/stat : 26365 (java) R 26307 26310 21492 0 -1 4202560 18803 12432 0 0 125 6 8 3 20 0 20 0 11983557 11177361408 45177 33554432000 4194304 4196468 140720736658752 140554463055296 140554458836374 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26366] ppid=26307 vsize=10915392 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26366/stat : 26366 (java) S 26307 26310 21492 0 -1 1077944384 38 12432 0 0 1 0 8 3 20 0 20 0 11983558 11177361408 45177 33554432000 4194304 4196468 140720736658752 140554066123152 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26367] ppid=26307 vsize=10915392 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26367/stat : 26367 (java) S 26307 26310 21492 0 -1 1077944384 22 12432 0 0 0 0 8 3 20 0 20 0 11983558 11177361408 45177 33554432000 4194304 4196468 140720736658752 140554065070352 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26368] ppid=26307 vsize=10915392 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26368/stat : 26368 (java) S 26307 26310 21492 0 -1 1077944384 15 12432 0 0 0 0 8 3 20 0 20 0 11983558 11177361408 45177 33554432000 4194304 4196468 140720736658752 140554064018064 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26369] ppid=26307 vsize=10915392 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26369/stat : 26369 (java) S 26307 26310 21492 0 -1 1077944384 10 12432 0 0 1 0 8 3 20 0 20 0 11983558 11177361408 45177 33554432000 4194304 4196468 140720736658752 140554062965264 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26370] ppid=26307 vsize=10915392 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26370/stat : 26370 (java) S 26307 26310 21492 0 -1 1077944384 9 12432 0 0 0 0 8 3 20 0 20 0 11983558 11177361408 45177 33554432000 4194304 4196468 140720736658752 140554061912976 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26371] ppid=26307 vsize=10915392 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26371/stat : 26371 (java) S 26307 26310 21492 0 -1 1077944384 139 12432 0 0 1 0 8 3 20 0 20 0 11983558 11177361408 45177 33554432000 4194304 4196468 140720736658752 140554060860176 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26372] ppid=26307 vsize=10915392 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26372/stat : 26372 (java) S 26307 26310 21492 0 -1 1077944384 17 12432 0 0 1 0 8 3 20 0 20 0 11983558 11177361408 45177 33554432000 4194304 4196468 140720736658752 140554059807888 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26373] ppid=26307 vsize=10915392 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26373/stat : 26373 (java) S 26307 26310 21492 0 -1 1077944384 44 12432 0 0 1 0 8 3 20 0 20 0 11983558 11177361408 45177 33554432000 4194304 4196468 140720736658752 140554058755088 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26374] ppid=26307 vsize=10915392 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26374/stat : 26374 (java) S 26307 26310 21492 0 -1 1077944384 857 12432 0 0 1 0 8 3 20 0 20 0 11983560 11177361408 45177 33554432000 4194304 4196468 140720736658752 140553207408752 140554458835586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26375] ppid=26307 vsize=10915392 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26375/stat : 26375 (java) S 26307 26310 21492 0 -1 1077944384 56 12432 0 0 0 0 8 3 20 0 20 0 11983560 11177361408 45177 33554432000 4194304 4196468 140720736658752 140553206354720 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26376] ppid=26307 vsize=10915392 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26376/stat : 26376 (java) S 26307 26310 21492 0 -1 1077944384 43 12432 0 0 0 0 8 3 20 0 20 0 11983561 11177361408 45177 33554432000 4194304 4196468 140720736658752 140553205302400 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26377] ppid=26307 vsize=10915392 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26377/stat : 26377 (java) S 26307 26310 21492 0 -1 1077944384 1 12432 0 0 0 0 8 3 20 0 20 0 11983565 11177361408 45177 33554432000 4194304 4196468 140720736658752 140553204250704 140554458843035 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26378] ppid=26307 vsize=10915392 CPUtime=0.25 cores=4-7,12-15
/proc/26310/task/26378/stat : 26378 (java) S 26307 26310 21492 0 -1 1077944384 704 12432 0 0 14 0 8 3 20 0 20 0 11983565 11177361408 45177 33554432000 4194304 4196468 140720736658752 140553203198576 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26379] ppid=26307 vsize=10915392 CPUtime=0.26 cores=4-7,12-15
/proc/26310/task/26379/stat : 26379 (java) S 26307 26310 21492 0 -1 1077944384 1434 12432 0 0 15 0 8 3 20 0 20 0 11983565 11177361408 45177 33554432000 4194304 4196468 140720736658752 140553202145776 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26380] ppid=26307 vsize=10915392 CPUtime=0.24 cores=4-7,12-15
/proc/26310/task/26380/stat : 26380 (java) S 26307 26310 21492 0 -1 1077944384 574 12432 0 0 13 0 8 3 20 0 20 0 11983565 11177361408 45177 33554432000 4194304 4196468 140720736658752 140553201093488 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26381] ppid=26307 vsize=10915392 CPUtime=0.38 cores=4-7,12-15
/proc/26310/task/26381/stat : 26381 (java) R 26307 26310 21492 0 -1 4202560 1039 12432 0 0 27 0 8 3 20 0 20 0 11983565 11177361408 45177 33554432000 4194304 4196468 140720736658752 140553200040688 140554438257531 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26382] ppid=26307 vsize=10915392 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26382/stat : 26382 (java) S 26307 26310 21492 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 20 0 11983565 11177361408 45177 33554432000 4194304 4196468 140720736658752 140553198987616 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26383] ppid=26307 vsize=10915392 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26383/stat : 26383 (java) S 26307 26310 21492 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 20 0 11983565 11177361408 45177 33554432000 4194304 4196468 140720736658752 140553197934896 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10915392
[startup+3.10113 s]
/proc/loadavg: 1.63 1.56 1.63 4/281 26383
/proc/meminfo: memFree=28393556/32770624 swapFree=5816/248212
[pid=26310] ppid=26307 vsize=10925820 CPUtime=6.46 cores=4-7,12-15
/proc/26310/stat : 26310 (java) S 26307 26310 21492 0 -1 1077944320 39837 12432 0 0 613 22 8 3 20 0 20 0 11983544 11188039680 75681 33554432000 4194304 4196468 140720736658752 140720736641296 140554458824439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
/proc/26310/statm: 2731455 75681 3476 1 0 2719010 0
[pid=26310/tid=26365] ppid=26307 vsize=10925820 CPUtime=3.01 cores=4-7,12-15
/proc/26310/task/26365/stat : 26365 (java) R 26307 26310 21492 0 -1 4202560 29059 12432 0 0 280 10 8 3 20 0 20 0 11983557 11188039680 75681 33554432000 4194304 4196468 140720736658752 140554463057256 140554443899329 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26366] ppid=26307 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26366/stat : 26366 (java) S 26307 26310 21492 0 -1 1077944384 42 12432 0 0 1 0 8 3 20 0 20 0 11983558 11188039680 75681 33554432000 4194304 4196468 140720736658752 140554066123152 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26367] ppid=26307 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26367/stat : 26367 (java) S 26307 26310 21492 0 -1 1077944384 52 12432 0 0 1 0 8 3 20 0 20 0 11983558 11188039680 75681 33554432000 4194304 4196468 140720736658752 140554065070352 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26368] ppid=26307 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26368/stat : 26368 (java) S 26307 26310 21492 0 -1 1077944384 26 12432 0 0 1 0 8 3 20 0 20 0 11983558 11188039680 75681 33554432000 4194304 4196468 140720736658752 140554064018064 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26369] ppid=26307 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26369/stat : 26369 (java) S 26307 26310 21492 0 -1 1077944384 138 12432 0 0 1 0 8 3 20 0 20 0 11983558 11188039680 75681 33554432000 4194304 4196468 140720736658752 140554062965264 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26370] ppid=26307 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26370/stat : 26370 (java) S 26307 26310 21492 0 -1 1077944384 26 12432 0 0 1 0 8 3 20 0 20 0 11983558 11188039680 75681 33554432000 4194304 4196468 140720736658752 140554061912976 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26371] ppid=26307 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26371/stat : 26371 (java) S 26307 26310 21492 0 -1 1077944384 143 12432 0 0 1 0 8 3 20 0 20 0 11983558 11188039680 75681 33554432000 4194304 4196468 140720736658752 140554060860176 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26372] ppid=26307 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26372/stat : 26372 (java) S 26307 26310 21492 0 -1 1077944384 21 12432 0 0 1 0 8 3 20 0 20 0 11983558 11188039680 75681 33554432000 4194304 4196468 140720736658752 140554059807888 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26373] ppid=26307 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26373/stat : 26373 (java) S 26307 26310 21492 0 -1 1077944384 51 12432 0 0 1 0 8 3 20 0 20 0 11983558 11188039680 75681 33554432000 4194304 4196468 140720736658752 140554058755088 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26374] ppid=26307 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/26310/task/26374/stat : 26374 (java) S 26307 26310 21492 0 -1 1077944384 901 12432 0 0 1 0 8 3 20 0 20 0 11983560 11188039680 75681 33554432000 4194304 4196468 140720736658752 140553207408752 140554458835586 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26375] ppid=26307 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26375/stat : 26375 (java) S 26307 26310 21492 0 -1 1077944384 58 12432 0 0 0 0 8 3 20 0 20 0 11983560 11188039680 75681 33554432000 4194304 4196468 140720736658752 140553206354784 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26376] ppid=26307 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26376/stat : 26376 (java) S 26307 26310 21492 0 -1 1077944384 48 12432 0 0 0 0 8 3 20 0 20 0 11983561 11188039680 75681 33554432000 4194304 4196468 140720736658752 140553205302400 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26377] ppid=26307 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26377/stat : 26377 (java) S 26307 26310 21492 0 -1 1077944384 1 12432 0 0 0 0 8 3 20 0 20 0 11983565 11188039680 75681 33554432000 4194304 4196468 140720736658752 140553204250704 140554458843035 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26378] ppid=26307 vsize=10925820 CPUtime=0.82 cores=4-7,12-15
/proc/26310/task/26378/stat : 26378 (java) S 26307 26310 21492 0 -1 1077944384 1204 12432 0 0 70 1 8 3 20 0 20 0 11983565 11188039680 75681 33554432000 4194304 4196468 140720736658752 140553203198576 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26379] ppid=26307 vsize=10925820 CPUtime=0.84 cores=4-7,12-15
/proc/26310/task/26379/stat : 26379 (java) S 26307 26310 21492 0 -1 1077944384 2152 12432 0 0 72 1 8 3 20 0 20 0 11983565 11188039680 75681 33554432000 4194304 4196468 140720736658752 140553202145776 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26380] ppid=26307 vsize=10925820 CPUtime=0.89 cores=4-7,12-15
/proc/26310/task/26380/stat : 26380 (java) R 26307 26310 21492 0 -1 4202560 1194 12432 0 0 78 0 8 3 20 0 20 0 11983565 11188039680 75681 33554432000 4194304 4196468 140720736658752 140553201093784 140554442317216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26381] ppid=26307 vsize=10925820 CPUtime=1.06 cores=4-7,12-15
/proc/26310/task/26381/stat : 26381 (java) S 26307 26310 21492 0 -1 1077944384 2579 12432 0 0 94 1 8 3 20 0 20 0 11983565 11188039680 75681 33554432000 4194304 4196468 140720736658752 140553200040688 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26382] ppid=26307 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26382/stat : 26382 (java) S 26307 26310 21492 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 20 0 11983565 11188039680 75681 33554432000 4194304 4196468 140720736658752 140553198987616 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26383] ppid=26307 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26383/stat : 26383 (java) S 26307 26310 21492 0 -1 1077944384 6 12432 0 0 0 0 8 3 20 0 20 0 11983565 11188039680 75681 33554432000 4194304 4196468 140720736658752 140553197934896 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 10925820
[startup+6.30123 s]
/proc/loadavg: 1.74 1.59 1.64 7/281 26383
/proc/meminfo: memFree=28077568/32770624 swapFree=5816/248212
[pid=26310] ppid=26307 vsize=10997500 CPUtime=18.24 cores=4-7,12-15
/proc/26310/stat : 26310 (java) S 26307 26310 21492 0 -1 1077944320 72881 12432 0 0 1757 56 8 3 20 0 20 0 11983544 11261440000 139811 33554432000 4194304 4196468 140720736658752 140720736641296 140554458824439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
/proc/26310/statm: 2749375 139811 3508 1 0 2736930 0
[pid=26310/tid=26365] ppid=26307 vsize=10997500 CPUtime=6.06 cores=4-7,12-15
/proc/26310/task/26365/stat : 26365 (java) R 26307 26310 21492 0 -1 4202560 42380 12432 0 0 582 13 8 3 20 0 20 0 11983557 11261440000 139811 33554432000 4194304 4196468 140720736658752 140554463054760 140554112863124 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26366] ppid=26307 vsize=10997500 CPUtime=0.22 cores=4-7,12-15
/proc/26310/task/26366/stat : 26366 (java) S 26307 26310 21492 0 -1 1077944384 102 12432 0 0 7 4 8 3 20 0 20 0 11983558 11261440000 139811 33554432000 4194304 4196468 140720736658752 140554066123152 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26367] ppid=26307 vsize=10997500 CPUtime=0.2 cores=4-7,12-15
/proc/26310/task/26367/stat : 26367 (java) S 26307 26310 21492 0 -1 1077944384 96 12432 0 0 6 3 8 3 20 0 20 0 11983558 11261440000 139811 33554432000 4194304 4196468 140720736658752 140554065070352 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26368] ppid=26307 vsize=10997500 CPUtime=0.2 cores=4-7,12-15
/proc/26310/task/26368/stat : 26368 (java) S 26307 26310 21492 0 -1 1077944384 72 12432 0 0 6 3 8 3 20 0 20 0 11983558 11261440000 139811 33554432000 4194304 4196468 140720736658752 140554064018064 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26369] ppid=26307 vsize=10997500 CPUtime=0.21 cores=4-7,12-15
/proc/26310/task/26369/stat : 26369 (java) S 26307 26310 21492 0 -1 1077944384 180 12432 0 0 7 3 8 3 20 0 20 0 11983558 11261440000 139811 33554432000 4194304 4196468 140720736658752 140554062965264 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26370] ppid=26307 vsize=10997500 CPUtime=0.21 cores=4-7,12-15
/proc/26310/task/26370/stat : 26370 (java) S 26307 26310 21492 0 -1 1077944384 78 12432 0 0 6 4 8 3 20 0 20 0 11983558 11261440000 139811 33554432000 4194304 4196468 140720736658752 140554061912976 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26371] ppid=26307 vsize=10997500 CPUtime=0.2 cores=4-7,12-15
/proc/26310/task/26371/stat : 26371 (java) S 26307 26310 21492 0 -1 1077944384 449 12432 0 0 6 3 8 3 20 0 20 0 11983558 11261440000 139811 33554432000 4194304 4196468 140720736658752 140554060860176 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26372] ppid=26307 vsize=10997500 CPUtime=0.21 cores=4-7,12-15
/proc/26310/task/26372/stat : 26372 (java) S 26307 26310 21492 0 -1 1077944384 74 12432 0 0 6 4 8 3 20 0 20 0 11983558 11261440000 139811 33554432000 4194304 4196468 140720736658752 140554059807888 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26373] ppid=26307 vsize=10997500 CPUtime=0.21 cores=4-7,12-15
/proc/26310/task/26373/stat : 26373 (java) S 26307 26310 21492 0 -1 1077944384 112 12432 0 0 6 4 8 3 20 0 20 0 11983558 11261440000 139811 33554432000 4194304 4196468 140720736658752 140554058755088 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26374] ppid=26307 vsize=10997500 CPUtime=0.16 cores=4-7,12-15
/proc/26310/task/26374/stat : 26374 (java) S 26307 26310 21492 0 -1 1077944384 2528 12432 0 0 5 0 8 3 20 0 20 0 11983560 11261440000 139811 33554432000 4194304 4196468 140720736658752 140553207408752 140554458835586 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26375] ppid=26307 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26375/stat : 26375 (java) S 26307 26310 21492 0 -1 1077944384 58 12432 0 0 0 0 8 3 20 0 20 0 11983560 11261440000 139811 33554432000 4194304 4196468 140720736658752 140553206354784 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26376] ppid=26307 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26376/stat : 26376 (java) S 26307 26310 21492 0 -1 1077944384 48 12432 0 0 0 0 8 3 20 0 20 0 11983561 11261440000 139811 33554432000 4194304 4196468 140720736658752 140553205302400 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26377] ppid=26307 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26377/stat : 26377 (java) S 26307 26310 21492 0 -1 1077944384 1 12432 0 0 0 0 8 3 20 0 20 0 11983565 11261440000 139811 33554432000 4194304 4196468 140720736658752 140553204250704 140554458843035 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26378] ppid=26307 vsize=10997500 CPUtime=3.28 cores=4-7,12-15
/proc/26310/task/26378/stat : 26378 (java) R 26307 26310 21492 0 -1 4202560 9334 12432 0 0 314 3 8 3 20 0 20 0 11983565 11261440000 139811 33554432000 4194304 4196468 140720736658752 140553203189920 140554443221279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26379] ppid=26307 vsize=10997500 CPUtime=3.05 cores=4-7,12-15
/proc/26310/task/26379/stat : 26379 (java) R 26307 26310 21492 0 -1 4202560 4385 12432 0 0 293 1 8 3 20 0 20 0 11983565 11261440000 139811 33554432000 4194304 4196468 140720736658752 140553202126736 140554438478650 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26380] ppid=26307 vsize=10997500 CPUtime=3.21 cores=4-7,12-15
/proc/26310/task/26380/stat : 26380 (java) R 26307 26310 21492 0 -1 4202560 5039 12432 0 0 309 1 8 3 20 0 20 0 11983565 11261440000 139811 33554432000 4194304 4196468 140720736658752 140553201075104 140554440009388 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26381] ppid=26307 vsize=10997500 CPUtime=2.09 cores=4-7,12-15
/proc/26310/task/26381/stat : 26381 (java) S 26307 26310 21492 0 -1 1077944384 5243 12432 0 0 196 2 8 3 20 0 20 0 11983565 11261440000 139811 33554432000 4194304 4196468 140720736658752 140553200040688 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26382] ppid=26307 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
################
# More data... #
################
[pid=26310/tid=26381] ppid=26307 vsize=10997500 CPUtime=2.26 cores=4-7,12-15
/proc/26310/task/26381/stat : 26381 (java) S 26307 26310 21492 0 -1 1077944384 16809 12432 0 0 212 3 8 3 20 0 20 0 11983565 11261440000 801202 33554432000 4194304 4196468 140720736658752 140553200040688 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26382] ppid=26307 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26382/stat : 26382 (java) S 26307 26310 21492 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 20 0 11983565 11261440000 801202 33554432000 4194304 4196468 140720736658752 140553198987616 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26383] ppid=26307 vsize=10997500 CPUtime=1.42 cores=4-7,12-15
/proc/26310/task/26383/stat : 26383 (java) S 26307 26310 21492 0 -1 1077944384 3766 12432 0 0 62 69 8 3 20 0 20 0 11983565 11261440000 801202 33554432000 4194304 4196468 140720736658752 140553197934896 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26310 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2335.21 s]
/proc/loadavg: 1.82 1.77 1.75 3/281 26620
/proc/meminfo: memFree=24652440/32770624 swapFree=5816/249504
[pid=26310] ppid=26307 vsize=11130628 CPUtime=2400.55 cores=4-7,12-15
/proc/26310/stat : 26310 (java) S 26307 26310 21492 0 -1 1077944320 539923 12432 0 0 239220 824 8 3 20 0 22 0 11983544 11397763072 801849 33554432000 4194304 4196468 140720736658752 140720736641296 140554458824439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
/proc/26310/statm: 2782657 801849 3517 1 0 2770212 0
[pid=26310/tid=26365] ppid=26307 vsize=11130628 CPUtime=2324.25 cores=4-7,12-15
/proc/26310/task/26365/stat : 26365 (java) S 26307 26310 21492 0 -1 1077944384 301894 12432 0 0 232326 88 8 3 20 0 22 0 11983557 11397763072 801849 33554432000 4194304 4196468 140720736658752 140554463062080 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26366] ppid=26307 vsize=11130628 CPUtime=7.52 cores=4-7,12-15
/proc/26310/task/26366/stat : 26366 (java) R 26307 26310 21492 0 -1 4202560 15769 12432 0 0 660 81 8 3 20 0 22 0 11983558 11397763072 801849 33554432000 4194304 4196468 140720736658752 140554066123352 140554443525050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26367] ppid=26307 vsize=11130628 CPUtime=7.38 cores=4-7,12-15
/proc/26310/task/26367/stat : 26367 (java) R 26307 26310 21492 0 -1 4202560 13393 12432 0 0 645 82 8 3 20 0 22 0 11983558 11397763072 801849 33554432000 4194304 4196468 140720736658752 140554065070552 140554443821059 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26368] ppid=26307 vsize=11130628 CPUtime=7.53 cores=4-7,12-15
/proc/26310/task/26368/stat : 26368 (java) R 26307 26310 21492 0 -1 4202560 12141 12432 0 0 659 83 8 3 20 0 22 0 11983558 11397763072 801849 33554432000 4194304 4196468 140720736658752 140554064017952 140554443820820 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26369] ppid=26307 vsize=11130628 CPUtime=7.39 cores=4-7,12-15
/proc/26310/task/26369/stat : 26369 (java) R 26307 26310 21492 0 -1 4202560 17940 12432 0 0 645 83 8 3 20 0 22 0 11983558 11397763072 801849 33554432000 4194304 4196468 140720736658752 140554062965464 140554443820840 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26370] ppid=26307 vsize=11130628 CPUtime=7.39 cores=4-7,12-15
/proc/26310/task/26370/stat : 26370 (java) R 26307 26310 21492 0 -1 4202560 15308 12432 0 0 649 79 8 3 20 0 22 0 11983558 11397763072 801849 33554432000 4194304 4196468 140720736658752 140554061913176 140554443525127 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26371] ppid=26307 vsize=11130628 CPUtime=7.44 cores=4-7,12-15
/proc/26310/task/26371/stat : 26371 (java) R 26307 26310 21492 0 -1 4202560 18720 12432 0 0 652 81 8 3 20 0 22 0 11983558 11397763072 801849 33554432000 4194304 4196468 140720736658752 140554060860376 140554443820840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26372] ppid=26307 vsize=11130628 CPUtime=7.45 cores=4-7,12-15
/proc/26310/task/26372/stat : 26372 (java) R 26307 26310 21492 0 -1 4202560 14834 12432 0 0 652 82 8 3 20 0 22 0 11983558 11397763072 801849 33554432000 4194304 4196468 140720736658752 140554059808088 140554440434125 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26373] ppid=26307 vsize=11130628 CPUtime=7.49 cores=4-7,12-15
/proc/26310/task/26373/stat : 26373 (java) R 26307 26310 21492 0 -1 4202560 15146 12432 0 0 654 84 8 3 20 0 22 0 11983558 11397763072 801849 33554432000 4194304 4196468 140720736658752 140554058755288 140554440434227 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26374] ppid=26307 vsize=11130628 CPUtime=1.36 cores=4-7,12-15
/proc/26310/task/26374/stat : 26374 (java) S 26307 26310 21492 0 -1 1077944384 37858 12432 0 0 107 18 8 3 20 0 22 0 11983560 11397763072 801849 33554432000 4194304 4196468 140720736658752 140553207407376 140554458834645 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26375] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26375/stat : 26375 (java) S 26307 26310 21492 0 -1 1077944384 63 12432 0 0 0 0 8 3 20 0 22 0 11983560 11397763072 801849 33554432000 4194304 4196468 140720736658752 140553206354784 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26376] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26376/stat : 26376 (java) S 26307 26310 21492 0 -1 1077944384 52 12432 0 0 0 0 8 3 20 0 22 0 11983561 11397763072 801849 33554432000 4194304 4196468 140720736658752 140553205302400 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26377] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26377/stat : 26377 (java) S 26307 26310 21492 0 -1 1077944384 239 12432 0 0 0 0 8 3 20 0 22 0 11983565 11397763072 801849 33554432000 4194304 4196468 140720736658752 140553204250704 140554458843035 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26378] ppid=26307 vsize=11130628 CPUtime=4.25 cores=4-7,12-15
/proc/26310/task/26378/stat : 26378 (java) S 26307 26310 21492 0 -1 1077944384 18689 12432 0 0 409 5 8 3 20 0 22 0 11983565 11397763072 801849 33554432000 4194304 4196468 140720736658752 140553203198576 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26379] ppid=26307 vsize=11130628 CPUtime=4.18 cores=4-7,12-15
/proc/26310/task/26379/stat : 26379 (java) S 26307 26310 21492 0 -1 1077944384 17254 12432 0 0 404 3 8 3 20 0 22 0 11983565 11397763072 801849 33554432000 4194304 4196468 140720736658752 140553202145776 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26380] ppid=26307 vsize=11130628 CPUtime=4.64 cores=4-7,12-15
/proc/26310/task/26380/stat : 26380 (java) S 26307 26310 21492 0 -1 1077944384 17554 12432 0 0 451 2 8 3 20 0 22 0 11983565 11397763072 801849 33554432000 4194304 4196468 140720736658752 140553201093488 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26381] ppid=26307 vsize=11130628 CPUtime=2.26 cores=4-7,12-15
/proc/26310/task/26381/stat : 26381 (java) S 26307 26310 21492 0 -1 1077944384 16809 12432 0 0 212 3 8 3 20 0 22 0 11983565 11397763072 801849 33554432000 4194304 4196468 140720736658752 140553200040688 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26382] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26382/stat : 26382 (java) S 26307 26310 21492 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 22 0 11983565 11397763072 801849 33554432000 4194304 4196468 140720736658752 140553198987616 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26383] ppid=26307 vsize=11130628 CPUtime=1.42 cores=4-7,12-15
/proc/26310/task/26383/stat : 26383 (java) S 26307 26310 21492 0 -1 1077944384 3766 12432 0 0 62 69 8 3 20 0 22 0 11983565 11397763072 801849 33554432000 4194304 4196468 140720736658752 140553197934896 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
Current children cumulated CPU time (s) 2400.55
Current children cumulated vsize (KiB) 11130628
[startup+2335.41 s]
/proc/loadavg: 1.82 1.77 1.75 5/283 26622
/proc/meminfo: memFree=24649864/32770624 swapFree=5816/249504
[pid=26310] ppid=26307 vsize=11130628 CPUtime=2401.89 cores=4-7,12-15
/proc/26310/stat : 26310 (java) S 26307 26310 21492 0 -1 1077944320 540090 12432 0 0 239353 825 8 3 20 0 22 0 11983544 11397763072 801938 33554432000 4194304 4196468 140720736658752 140720736641296 140554458824439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
/proc/26310/statm: 2782657 801938 3517 1 0 2770212 0
[pid=26310/tid=26365] ppid=26307 vsize=11130628 CPUtime=2324.25 cores=4-7,12-15
/proc/26310/task/26365/stat : 26365 (java) S 26307 26310 21492 0 -1 1077944384 301894 12432 0 0 232326 88 8 3 20 0 22 0 11983557 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554463062080 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26366] ppid=26307 vsize=11130628 CPUtime=7.68 cores=4-7,12-15
/proc/26310/task/26366/stat : 26366 (java) R 26307 26310 21492 0 -1 4202560 15776 12432 0 0 676 81 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554066123352 140554443809735 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26367] ppid=26307 vsize=11130628 CPUtime=7.55 cores=4-7,12-15
/proc/26310/task/26367/stat : 26367 (java) R 26307 26310 21492 0 -1 4202560 13394 12432 0 0 662 82 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554065070352 140554443522214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26368] ppid=26307 vsize=11130628 CPUtime=7.7 cores=4-7,12-15
/proc/26310/task/26368/stat : 26368 (java) R 26307 26310 21492 0 -1 4202560 12144 12432 0 0 676 83 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554064018064 140554443809735 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26369] ppid=26307 vsize=11130628 CPUtime=7.55 cores=4-7,12-15
/proc/26310/task/26369/stat : 26369 (java) R 26307 26310 21492 0 -1 4202560 17944 12432 0 0 661 83 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554062965264 140554443775044 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26370] ppid=26307 vsize=11130628 CPUtime=7.54 cores=4-7,12-15
/proc/26310/task/26370/stat : 26370 (java) R 26307 26310 21492 0 -1 4202560 15308 12432 0 0 664 79 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554061913176 140554440420356 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26371] ppid=26307 vsize=11130628 CPUtime=7.61 cores=4-7,12-15
/proc/26310/task/26371/stat : 26371 (java) R 26307 26310 21492 0 -1 4202560 18721 12432 0 0 669 81 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554060860176 140554440471508 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26372] ppid=26307 vsize=11130628 CPUtime=7.61 cores=4-7,12-15
/proc/26310/task/26372/stat : 26372 (java) R 26307 26310 21492 0 -1 4202560 14835 12432 0 0 668 82 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554059807888 140554443775044 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26373] ppid=26307 vsize=11130628 CPUtime=7.65 cores=4-7,12-15
/proc/26310/task/26373/stat : 26373 (java) R 26307 26310 21492 0 -1 4202560 15146 12432 0 0 670 84 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554058755088 140554443279196 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26374] ppid=26307 vsize=11130628 CPUtime=1.4 cores=4-7,12-15
/proc/26310/task/26374/stat : 26374 (java) S 26307 26310 21492 0 -1 1077944384 38004 12432 0 0 111 18 8 3 20 0 22 0 11983560 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553207407152 140554458834645 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26375] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26375/stat : 26375 (java) S 26307 26310 21492 0 -1 1077944384 66 12432 0 0 0 0 8 3 20 0 22 0 11983560 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553206354288 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26376] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26376/stat : 26376 (java) S 26307 26310 21492 0 -1 1077944384 52 12432 0 0 0 0 8 3 20 0 22 0 11983561 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553205302400 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26377] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26377/stat : 26377 (java) S 26307 26310 21492 0 -1 1077944384 239 12432 0 0 0 0 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553204250704 140554458843035 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26378] ppid=26307 vsize=11130628 CPUtime=4.25 cores=4-7,12-15
/proc/26310/task/26378/stat : 26378 (java) S 26307 26310 21492 0 -1 1077944384 18689 12432 0 0 409 5 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553203198576 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26379] ppid=26307 vsize=11130628 CPUtime=4.18 cores=4-7,12-15
/proc/26310/task/26379/stat : 26379 (java) S 26307 26310 21492 0 -1 1077944384 17254 12432 0 0 404 3 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553202145776 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26380] ppid=26307 vsize=11130628 CPUtime=4.64 cores=4-7,12-15
/proc/26310/task/26380/stat : 26380 (java) S 26307 26310 21492 0 -1 1077944384 17554 12432 0 0 451 2 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553201093488 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26381] ppid=26307 vsize=11130628 CPUtime=2.26 cores=4-7,12-15
/proc/26310/task/26381/stat : 26381 (java) S 26307 26310 21492 0 -1 1077944384 16809 12432 0 0 212 3 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553200040688 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26382] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26382/stat : 26382 (java) S 26307 26310 21492 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553198987616 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26383] ppid=26307 vsize=11130628 CPUtime=1.42 cores=4-7,12-15
/proc/26310/task/26383/stat : 26383 (java) S 26307 26310 21492 0 -1 1077944384 3766 12432 0 0 62 69 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553197934896 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26621] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26621/stat : 26621 (java) S 26307 26310 21492 0 -1 1077944384 328 12432 0 0 0 0 8 3 20 0 22 0 12217055 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553167425904 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26622] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26622/stat : 26622 (java) S 26307 26310 21492 0 -1 1077944384 29 12432 0 0 0 0 8 3 20 0 22 0 12217055 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553166373824 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
Current children cumulated CPU time (s) 2401.89
Current children cumulated vsize (KiB) 11130628
[startup+2335.5 s]
/proc/loadavg: 1.82 1.77 1.75 5/283 26622
/proc/meminfo: memFree=24649864/32770624 swapFree=5816/249504
[pid=26310] ppid=26307 vsize=11130628 CPUtime=2402.37 cores=4-7,12-15
/proc/26310/stat : 26310 (java) S 26307 26310 21492 0 -1 1077944320 540092 12432 0 0 239401 825 8 3 20 0 22 0 11983544 11397763072 801938 33554432000 4194304 4196468 140720736658752 140720736641296 140554458824439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
/proc/26310/statm: 2782657 801938 3517 1 0 2770212 0
[pid=26310/tid=26365] ppid=26307 vsize=11130628 CPUtime=2324.25 cores=4-7,12-15
/proc/26310/task/26365/stat : 26365 (java) S 26307 26310 21492 0 -1 1077944384 301895 12432 0 0 232326 88 8 3 20 0 22 0 11983557 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554463062080 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26366] ppid=26307 vsize=11130628 CPUtime=7.74 cores=4-7,12-15
/proc/26310/task/26366/stat : 26366 (java) R 26307 26310 21492 0 -1 4202560 15776 12432 0 0 682 81 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554066123352 140554443523184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26367] ppid=26307 vsize=11130628 CPUtime=7.6 cores=4-7,12-15
/proc/26310/task/26367/stat : 26367 (java) R 26307 26310 21492 0 -1 4202560 13394 12432 0 0 667 82 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554065070552 140554443821085 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26368] ppid=26307 vsize=11130628 CPUtime=7.76 cores=4-7,12-15
/proc/26310/task/26368/stat : 26368 (java) R 26307 26310 21492 0 -1 4202560 12144 12432 0 0 682 83 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554064017952 140554443523136 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26369] ppid=26307 vsize=11130628 CPUtime=7.61 cores=4-7,12-15
/proc/26310/task/26369/stat : 26369 (java) R 26307 26310 21492 0 -1 4202560 17944 12432 0 0 667 83 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554062965464 140554443523184 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26370] ppid=26307 vsize=11130628 CPUtime=7.59 cores=4-7,12-15
/proc/26310/task/26370/stat : 26370 (java) R 26307 26310 21492 0 -1 4202560 15308 12432 0 0 669 79 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554061913176 140554443523211 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26371] ppid=26307 vsize=11130628 CPUtime=7.67 cores=4-7,12-15
/proc/26310/task/26371/stat : 26371 (java) R 26307 26310 21492 0 -1 4202560 18721 12432 0 0 675 81 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554060860376 140554443820992 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26372] ppid=26307 vsize=11130628 CPUtime=7.66 cores=4-7,12-15
/proc/26310/task/26372/stat : 26372 (java) R 26307 26310 21492 0 -1 4202560 14836 12432 0 0 673 82 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554059808088 140554440434185 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26373] ppid=26307 vsize=11130628 CPUtime=7.71 cores=4-7,12-15
/proc/26310/task/26373/stat : 26373 (java) R 26307 26310 21492 0 -1 4202560 15146 12432 0 0 676 84 8 3 20 0 22 0 11983558 11397763072 801938 33554432000 4194304 4196468 140720736658752 140554058755288 140554440434280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26374] ppid=26307 vsize=11130628 CPUtime=1.43 cores=4-7,12-15
/proc/26310/task/26374/stat : 26374 (java) S 26307 26310 21492 0 -1 1077944384 38004 12432 0 0 114 18 8 3 20 0 22 0 11983560 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553207407376 140554458834645 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26375] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26375/stat : 26375 (java) S 26307 26310 21492 0 -1 1077944384 66 12432 0 0 0 0 8 3 20 0 22 0 11983560 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553206354288 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26376] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26376/stat : 26376 (java) S 26307 26310 21492 0 -1 1077944384 52 12432 0 0 0 0 8 3 20 0 22 0 11983561 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553205302400 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26377] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26377/stat : 26377 (java) S 26307 26310 21492 0 -1 1077944384 239 12432 0 0 0 0 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553204250704 140554458843035 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26378] ppid=26307 vsize=11130628 CPUtime=4.25 cores=4-7,12-15
/proc/26310/task/26378/stat : 26378 (java) S 26307 26310 21492 0 -1 1077944384 18689 12432 0 0 409 5 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553203198576 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26379] ppid=26307 vsize=11130628 CPUtime=4.18 cores=4-7,12-15
/proc/26310/task/26379/stat : 26379 (java) S 26307 26310 21492 0 -1 1077944384 17254 12432 0 0 404 3 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553202145776 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26380] ppid=26307 vsize=11130628 CPUtime=4.64 cores=4-7,12-15
/proc/26310/task/26380/stat : 26380 (java) S 26307 26310 21492 0 -1 1077944384 17554 12432 0 0 451 2 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553201093488 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26381] ppid=26307 vsize=11130628 CPUtime=2.26 cores=4-7,12-15
/proc/26310/task/26381/stat : 26381 (java) S 26307 26310 21492 0 -1 1077944384 16809 12432 0 0 212 3 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553200040688 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26382] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26382/stat : 26382 (java) S 26307 26310 21492 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553198987616 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26383] ppid=26307 vsize=11130628 CPUtime=1.42 cores=4-7,12-15
/proc/26310/task/26383/stat : 26383 (java) S 26307 26310 21492 0 -1 1077944384 3766 12432 0 0 62 69 8 3 20 0 22 0 11983565 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553197934896 140554458835586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26621] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26621/stat : 26621 (java) S 26307 26310 21492 0 -1 1077944384 328 12432 0 0 0 0 8 3 20 0 22 0 12217055 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553167425904 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
[pid=26310/tid=26622] ppid=26307 vsize=11130628 CPUtime=0.11 cores=4-7,12-15
/proc/26310/task/26622/stat : 26622 (java) S 26307 26310 21492 0 -1 1077944384 29 12432 0 0 0 0 8 3 20 0 22 0 12217055 11397763072 801938 33554432000 4194304 4196468 140720736658752 140553166373824 140554458834645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140720736660161 140720736662935 140720736662935 140720736665551 0
Current children cumulated CPU time (s) 2402.37
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2335.54
CPU time (s): 2402.47
CPU user time (s): 2394.16
CPU system time (s): 8.31327
CPU usage (%): 102.866
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.16
system time used= 8.31327
maximum resident set size= 3208552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 553084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95947
involuntary context switches= 129224
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7732 second user time and 19.9931 second system time
The end