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-4245684-1500706462/watcher-4245684-1500706462 -o /tmp/evaluation-result-4245684-1500706462/solver-4245684-1500706462 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13637 --watchdog 2560 bin/concrete HOME/instance-4245684-1500706462.xml
pid=19401
running on 8 cores: 1,3,5,7,9,11,13,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.80 1.73 1.73 4/261 19404
/proc/meminfo: memFree=30754968/32770624 swapFree=5828/260904
[pid=19404] ppid=19401 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19404/stat : 19404 (bash) S 19401 19404 13605 0 -1 4202496 686 1534 0 0 0 0 0 0 20 0 1 0 5913030 9736192 350 33554432000 4194304 5098028 140730985074016 140730985071656 140407432805376 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 33730560 140730985080078 140730985080163 140730985080163 140730985082862 0
/proc/19404/statm: 2377 350 277 221 0 86 0
[startup+0.10015 s]
/proc/loadavg: 1.80 1.73 1.73 4/261 19404
/proc/meminfo: memFree=30754968/32770624 swapFree=5828/260904
[pid=19404] ppid=19401 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/19404/stat : 19404 (bash) S 19401 19404 13605 0 -1 4202496 880 6422 0 0 0 0 0 1 20 0 1 0 5913030 9871360 378 33554432000 4194304 5098028 140730985074016 140730985068024 140407432805376 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 33730560 140730985080078 140730985080163 140730985080163 140730985082862 0
/proc/19404/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200318 s]
/proc/loadavg: 1.80 1.73 1.73 4/261 19404
/proc/meminfo: memFree=30754968/32770624 swapFree=5828/260904
[pid=19404] ppid=19401 vsize=10901872 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/19404/stat : 19404 (java) S 19401 19404 13605 0 -1 1077944320 5864 12318 0 0 8 1 6 4 20 0 20 0 5913030 11163516928 6614 33554432000 4194304 4196468 140721213324000 140721213306544 140420224368375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
/proc/19404/statm: 2725468 6614 2707 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901872
[startup+0.30028 s]
/proc/loadavg: 1.80 1.73 1.73 4/261 19404
/proc/meminfo: memFree=30754968/32770624 swapFree=5828/260904
[pid=19404] ppid=19401 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/19404/stat : 19404 (java) S 19401 19404 13605 0 -1 1077944320 9535 12318 0 0 23 3 6 4 20 0 20 0 5913030 11164049408 10596 33554432000 4194304 4196468 140721213324000 140721213306544 140420224368375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
/proc/19404/statm: 2725598 10596 2986 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700241 s]
/proc/loadavg: 1.80 1.73 1.73 4/261 19404
/proc/meminfo: memFree=30754968/32770624 swapFree=5828/260904
[pid=19404] ppid=19401 vsize=10902720 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/19404/stat : 19404 (java) S 19401 19404 13605 0 -1 1077944320 13097 12318 0 0 87 5 6 4 20 0 20 0 5913030 11164385280 16359 33554432000 4194304 4196468 140721213324000 140721213306544 140420224368375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
/proc/19404/statm: 2725680 16359 3230 1 0 2713890 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10902720
[startup+1.50073 s]
/proc/loadavg: 1.80 1.73 1.73 4/281 19477
/proc/meminfo: memFree=30648276/32770624 swapFree=5828/261000
[pid=19404] ppid=19401 vsize=10915392 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/19404/stat : 19404 (java) S 19401 19404 13605 0 -1 1077944320 26090 12318 0 0 208 12 6 4 20 0 20 0 5913030 11177361408 44341 33554432000 4194304 4196468 140721213324000 140721213306544 140420224368375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
/proc/19404/statm: 2728848 44341 3409 1 0 2716962 0
[pid=19404/tid=19459] ppid=19401 vsize=10915392 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19459/stat : 19459 (java) R 19401 19404 13605 0 -1 4202560 19195 12318 0 0 126 6 6 4 20 0 20 0 5913042 11177361408 44341 33554432000 4194304 4196468 140721213324000 140420228601768 140420208448862 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19460] ppid=19401 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19460/stat : 19460 (java) S 19401 19404 13605 0 -1 1077944384 37 12318 0 0 0 0 6 4 20 0 20 0 5913043 11177361408 44341 33554432000 4194304 4196468 140721213324000 140420150442640 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19461] ppid=19401 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19461/stat : 19461 (java) S 19401 19404 13605 0 -1 1077944384 38 12318 0 0 1 0 6 4 20 0 20 0 5913043 11177361408 44341 33554432000 4194304 4196468 140721213324000 140420149389840 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19462] ppid=19401 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19462/stat : 19462 (java) S 19401 19404 13605 0 -1 1077944384 29 12318 0 0 0 0 6 4 20 0 20 0 5913043 11177361408 44341 33554432000 4194304 4196468 140721213324000 140420148337040 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19463] ppid=19401 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19463/stat : 19463 (java) S 19401 19404 13605 0 -1 1077944384 12 12318 0 0 0 0 6 4 20 0 20 0 5913043 11177361408 44341 33554432000 4194304 4196468 140721213324000 140420147284240 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19464] ppid=19401 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19464/stat : 19464 (java) S 19401 19404 13605 0 -1 1077944384 27 12318 0 0 1 0 6 4 20 0 20 0 5913043 11177361408 44341 33554432000 4194304 4196468 140721213324000 140420146232464 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19465] ppid=19401 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19465/stat : 19465 (java) S 19401 19404 13605 0 -1 1077944384 27 12318 0 0 1 0 6 4 20 0 20 0 5913043 11177361408 44341 33554432000 4194304 4196468 140721213324000 140420145179664 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19466] ppid=19401 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19466/stat : 19466 (java) S 19401 19404 13605 0 -1 1077944384 139 12318 0 0 0 0 6 4 20 0 20 0 5913043 11177361408 44341 33554432000 4194304 4196468 140721213324000 140420144126864 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19467] ppid=19401 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19467/stat : 19467 (java) S 19401 19404 13605 0 -1 1077944384 12 12318 0 0 0 0 6 4 20 0 20 0 5913043 11177361408 44341 33554432000 4194304 4196468 140721213324000 140420143074064 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19468] ppid=19401 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19468/stat : 19468 (java) S 19401 19404 13605 0 -1 1077944384 735 12318 0 0 1 0 6 4 20 0 20 0 5913044 11177361408 44341 33554432000 4194304 4196468 140721213324000 140419564697968 140420224379522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19469] ppid=19401 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19469/stat : 19469 (java) S 19401 19404 13605 0 -1 1077944384 55 12318 0 0 0 0 6 4 20 0 20 0 5913045 11177361408 44341 33554432000 4194304 4196468 140721213324000 140419563644000 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19470] ppid=19401 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19470/stat : 19470 (java) S 19401 19404 13605 0 -1 1077944384 45 12318 0 0 0 0 6 4 20 0 20 0 5913045 11177361408 44341 33554432000 4194304 4196468 140721213324000 140419562591104 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19471] ppid=19401 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19471/stat : 19471 (java) S 19401 19404 13605 0 -1 1077944384 1 12318 0 0 0 0 6 4 20 0 20 0 5913048 11177361408 44341 33554432000 4194304 4196468 140721213324000 140419561539408 140420224386971 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19472] ppid=19401 vsize=10915392 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19472/stat : 19472 (java) S 19401 19404 13605 0 -1 1077944384 1171 12318 0 0 17 0 6 4 20 0 20 0 5913048 11177361408 44341 33554432000 4194304 4196468 140721213324000 140419560487792 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19473] ppid=19401 vsize=10915392 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19473/stat : 19473 (java) S 19401 19404 13605 0 -1 1077944384 655 12318 0 0 13 0 6 4 20 0 20 0 5913048 11177361408 44341 33554432000 4194304 4196468 140721213324000 140419559434992 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19474] ppid=19401 vsize=10915392 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19474/stat : 19474 (java) S 19401 19404 13605 0 -1 1077944384 431 12318 0 0 11 0 6 4 20 0 20 0 5913049 11177361408 44341 33554432000 4194304 4196468 140721213324000 140419558382192 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19475] ppid=19401 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19475/stat : 19475 (java) R 19401 19404 13605 0 -1 4202560 1344 12318 0 0 29 0 6 4 20 0 20 0 5913049 11177361408 44341 33554432000 4194304 4196468 140721213324000 140419557329392 140420224380310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19476] ppid=19401 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19476/stat : 19476 (java) S 19401 19404 13605 0 -1 1077944384 3 12318 0 0 0 0 6 4 20 0 20 0 5913049 11177361408 44341 33554432000 4194304 4196468 140721213324000 140419556276832 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19477] ppid=19401 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19477/stat : 19477 (java) S 19401 19404 13605 0 -1 1077944384 6 12318 0 0 0 0 6 4 20 0 20 0 5913049 11177361408 44341 33554432000 4194304 4196468 140721213324000 140419555224112 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10915392
[startup+3.10069 s]
/proc/loadavg: 1.74 1.72 1.73 5/281 19477
/proc/meminfo: memFree=30561960/32770624 swapFree=5828/260968
[pid=19404] ppid=19401 vsize=10925820 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/19404/stat : 19404 (java) S 19401 19404 13605 0 -1 1077944320 47213 12318 0 0 594 18 6 4 20 0 20 0 5913030 11188039680 56101 33554432000 4194304 4196468 140721213324000 140721213306544 140420224368375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
/proc/19404/statm: 2731455 56101 3474 1 0 2719010 0
[pid=19404/tid=19459] ppid=19401 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19459/stat : 19459 (java) R 19401 19404 13605 0 -1 4202560 32471 12318 0 0 282 9 6 4 20 0 20 0 5913042 11188039680 56101 33554432000 4194304 4196468 140721213324000 140420228600616 140420224380310 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19460] ppid=19401 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19460/stat : 19460 (java) S 19401 19404 13605 0 -1 1077944384 37 12318 0 0 0 0 6 4 20 0 20 0 5913043 11188039680 56101 33554432000 4194304 4196468 140721213324000 140420150442640 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19461] ppid=19401 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19461/stat : 19461 (java) S 19401 19404 13605 0 -1 1077944384 38 12318 0 0 1 0 6 4 20 0 20 0 5913043 11188039680 56101 33554432000 4194304 4196468 140721213324000 140420149389840 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19462] ppid=19401 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19462/stat : 19462 (java) S 19401 19404 13605 0 -1 1077944384 29 12318 0 0 0 0 6 4 20 0 20 0 5913043 11188039680 56101 33554432000 4194304 4196468 140721213324000 140420148337040 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19463] ppid=19401 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19463/stat : 19463 (java) S 19401 19404 13605 0 -1 1077944384 12 12318 0 0 0 0 6 4 20 0 20 0 5913043 11188039680 56101 33554432000 4194304 4196468 140721213324000 140420147284240 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19464] ppid=19401 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19464/stat : 19464 (java) S 19401 19404 13605 0 -1 1077944384 27 12318 0 0 1 0 6 4 20 0 20 0 5913043 11188039680 56101 33554432000 4194304 4196468 140721213324000 140420146232464 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19465] ppid=19401 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19465/stat : 19465 (java) S 19401 19404 13605 0 -1 1077944384 27 12318 0 0 1 0 6 4 20 0 20 0 5913043 11188039680 56101 33554432000 4194304 4196468 140721213324000 140420145179664 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19466] ppid=19401 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19466/stat : 19466 (java) S 19401 19404 13605 0 -1 1077944384 139 12318 0 0 0 0 6 4 20 0 20 0 5913043 11188039680 56101 33554432000 4194304 4196468 140721213324000 140420144126864 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19467] ppid=19401 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19467/stat : 19467 (java) S 19401 19404 13605 0 -1 1077944384 12 12318 0 0 0 0 6 4 20 0 20 0 5913043 11188039680 56101 33554432000 4194304 4196468 140721213324000 140420143074064 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19468] ppid=19401 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19468/stat : 19468 (java) S 19401 19404 13605 0 -1 1077944384 757 12318 0 0 1 0 6 4 20 0 20 0 5913044 11188039680 56101 33554432000 4194304 4196468 140721213324000 140419564697968 140420224379522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19469] ppid=19401 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19469/stat : 19469 (java) S 19401 19404 13605 0 -1 1077944384 55 12318 0 0 0 0 6 4 20 0 20 0 5913045 11188039680 56101 33554432000 4194304 4196468 140721213324000 140419563644000 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19470] ppid=19401 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19470/stat : 19470 (java) S 19401 19404 13605 0 -1 1077944384 45 12318 0 0 0 0 6 4 20 0 20 0 5913045 11188039680 56101 33554432000 4194304 4196468 140721213324000 140419562591104 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19471] ppid=19401 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19471/stat : 19471 (java) S 19401 19404 13605 0 -1 1077944384 1 12318 0 0 0 0 6 4 20 0 20 0 5913048 11188039680 56101 33554432000 4194304 4196468 140721213324000 140419561539408 140420224386971 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19472] ppid=19401 vsize=10925820 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19472/stat : 19472 (java) R 19401 19404 13605 0 -1 4202560 4624 12318 0 0 92 1 6 4 20 0 20 0 5913048 11188039680 56101 33554432000 4194304 4196468 140721213324000 140419560476464 140420224389722 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19473] ppid=19401 vsize=10925820 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19473/stat : 19473 (java) S 19401 19404 13605 0 -1 1077944384 1636 12318 0 0 49 1 6 4 20 0 20 0 5913048 11188039680 56101 33554432000 4194304 4196468 140721213324000 140419559434992 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19474] ppid=19401 vsize=10925820 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19474/stat : 19474 (java) S 19401 19404 13605 0 -1 1077944384 1536 12318 0 0 55 0 6 4 20 0 20 0 5913049 11188039680 56101 33554432000 4194304 4196468 140721213324000 140419558382192 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19475] ppid=19401 vsize=10925820 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19475/stat : 19475 (java) R 19401 19404 13605 0 -1 4202560 3629 12318 0 0 105 1 6 4 20 0 20 0 5913049 11188039680 56101 33554432000 4194304 4196468 140721213324000 140419557329392 140420224380310 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19476] ppid=19401 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19476/stat : 19476 (java) S 19401 19404 13605 0 -1 1077944384 3 12318 0 0 0 0 6 4 20 0 20 0 5913049 11188039680 56101 33554432000 4194304 4196468 140721213324000 140419556276832 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19477] ppid=19401 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19477/stat : 19477 (java) S 19401 19404 13605 0 -1 1077944384 7 12318 0 0 0 0 6 4 20 0 20 0 5913049 11188039680 56101 33554432000 4194304 4196468 140721213324000 140419555224112 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10925820
[startup+6.3011 s]
/proc/loadavg: 1.74 1.72 1.73 3/281 19477
/proc/meminfo: memFree=30267248/32770624 swapFree=5828/260980
[pid=19404] ppid=19401 vsize=10997500 CPUtime=15.11 cores=1,3,5,7,9,11,13,15
/proc/19404/stat : 19404 (java) S 19401 19404 13605 0 -1 1077944320 65652 12318 0 0 1451 50 6 4 20 0 20 0 5913030 11261440000 136208 33554432000 4194304 4196468 140721213324000 140721213306544 140420224368375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
/proc/19404/statm: 2749375 136208 3504 1 0 2736930 0
[pid=19404/tid=19459] ppid=19401 vsize=10997500 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19459/stat : 19459 (java) R 19401 19404 13605 0 -1 4202560 40196 12318 0 0 584 14 6 4 20 0 20 0 5913042 11261440000 136208 33554432000 4194304 4196468 140721213324000 140420228596832 140419811869024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19460] ppid=19401 vsize=10997500 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19460/stat : 19460 (java) S 19401 19404 13605 0 -1 1077944384 102 12318 0 0 6 3 6 4 20 0 20 0 5913043 11261440000 136208 33554432000 4194304 4196468 140721213324000 140420150442640 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19461] ppid=19401 vsize=10997500 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19461/stat : 19461 (java) S 19401 19404 13605 0 -1 1077944384 95 12318 0 0 6 3 6 4 20 0 20 0 5913043 11261440000 136208 33554432000 4194304 4196468 140721213324000 140420149389840 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19462] ppid=19401 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19462/stat : 19462 (java) S 19401 19404 13605 0 -1 1077944384 86 12318 0 0 5 3 6 4 20 0 20 0 5913043 11261440000 136208 33554432000 4194304 4196468 140721213324000 140420148337040 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19463] ppid=19401 vsize=10997500 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19463/stat : 19463 (java) S 19401 19404 13605 0 -1 1077944384 99 12318 0 0 6 3 6 4 20 0 20 0 5913043 11261440000 136208 33554432000 4194304 4196468 140721213324000 140420147284240 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19464] ppid=19401 vsize=10997500 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19464/stat : 19464 (java) S 19401 19404 13605 0 -1 1077944384 71 12318 0 0 6 3 6 4 20 0 20 0 5913043 11261440000 136208 33554432000 4194304 4196468 140721213324000 140420146232464 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19465] ppid=19401 vsize=10997500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19465/stat : 19465 (java) S 19401 19404 13605 0 -1 1077944384 72 12318 0 0 7 3 6 4 20 0 20 0 5913043 11261440000 136208 33554432000 4194304 4196468 140721213324000 140420145179664 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19466] ppid=19401 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19466/stat : 19466 (java) S 19401 19404 13605 0 -1 1077944384 222 12318 0 0 5 2 6 4 20 0 20 0 5913043 11261440000 136208 33554432000 4194304 4196468 140721213324000 140420144126864 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19467] ppid=19401 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19467/stat : 19467 (java) S 19401 19404 13605 0 -1 1077944384 77 12318 0 0 5 2 6 4 20 0 20 0 5913043 11261440000 136208 33554432000 4194304 4196468 140721213324000 140420143074064 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19468] ppid=19401 vsize=10997500 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19468/stat : 19468 (java) S 19401 19404 13605 0 -1 1077944384 2106 12318 0 0 5 0 6 4 20 0 20 0 5913044 11261440000 136208 33554432000 4194304 4196468 140721213324000 140419564697968 140420224379522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19469] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19469/stat : 19469 (java) S 19401 19404 13605 0 -1 1077944384 55 12318 0 0 0 0 6 4 20 0 20 0 5913045 11261440000 136208 33554432000 4194304 4196468 140721213324000 140419563644064 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19470] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19470/stat : 19470 (java) S 19401 19404 13605 0 -1 1077944384 46 12318 0 0 0 0 6 4 20 0 20 0 5913045 11261440000 136208 33554432000 4194304 4196468 140721213324000 140419562591104 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19471] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19471/stat : 19471 (java) S 19401 19404 13605 0 -1 1077944384 1 12318 0 0 0 0 6 4 20 0 20 0 5913048 11261440000 136208 33554432000 4194304 4196468 140721213324000 140419561539408 140420224386971 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19472] ppid=19401 vsize=10997500 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19472/stat : 19472 (java) R 19401 19404 13605 0 -1 4202560 4997 12318 0 0 223 2 6 4 20 0 20 0 5913048 11261440000 136208 33554432000 4194304 4196468 140721213324000 140419560487600 140420204094375 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19473] ppid=19401 vsize=10997500 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19473/stat : 19473 (java) R 19401 19404 13605 0 -1 4202560 7295 12318 0 0 211 2 6 4 20 0 20 0 5913048 11261440000 136208 33554432000 4194304 4196468 140721213324000 140419559421152 140420209290153 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19474] ppid=19401 vsize=10997500 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19474/stat : 19474 (java) R 19401 19404 13605 0 -1 4202560 2503 12318 0 0 196 1 6 4 20 0 20 0 5913049 11261440000 136208 33554432000 4194304 4196468 140721213324000 140419558382000 140420207753275 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19475] ppid=19401 vsize=10997500 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19475/stat : 19475 (java) S 19401 19404 13605 0 -1 1077944384 5487 12318 0 0 179 3 6 4 20 0 20 0 5913049 11261440000 136208 33554432000 4194304 4196468 140721213324000 140419557329392 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19476] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/19404/task/19473/stat : 19473 (java) S 19401 19404 13605 0 -1 1077944384 35573 12318 0 0 530 5 6 4 20 0 20 0 5913048 11261440000 841409 33554432000 4194304 4196468 140721213324000 140419559434992 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19474] ppid=19401 vsize=10997500 CPUtime=5.02 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19474/stat : 19474 (java) S 19401 19404 13605 0 -1 1077944384 25851 12318 0 0 488 4 6 4 20 0 20 0 5913049 11261440000 841409 33554432000 4194304 4196468 140721213324000 140419558382192 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19475] ppid=19401 vsize=10997500 CPUtime=3.3 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19475/stat : 19475 (java) S 19401 19404 13605 0 -1 1077944384 43231 12318 0 0 313 7 6 4 20 0 20 0 5913049 11261440000 841409 33554432000 4194304 4196468 140721213324000 140419557329392 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19476] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19476/stat : 19476 (java) S 19401 19404 13605 0 -1 1077944384 3 12318 0 0 0 0 6 4 20 0 20 0 5913049 11261440000 841409 33554432000 4194304 4196468 140721213324000 140419556276832 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19477] ppid=19401 vsize=10997500 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19477/stat : 19477 (java) S 19401 19404 13605 0 -1 1077944384 2681 12318 0 0 55 64 6 4 20 0 20 0 5913049 11261440000 841409 33554432000 4194304 4196468 140721213324000 140419555224112 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
Current children cumulated CPU time (s) 2287.46
Current children cumulated vsize (KiB) 10997500
[startup+2262.3 s]
/proc/loadavg: 1.91 1.84 1.75 3/282 19712
/proc/meminfo: memFree=25100704/32770624 swapFree=5828/263464
[pid=19404] ppid=19401 vsize=10997500 CPUtime=2348.39 cores=1,3,5,7,9,11,13,15
/proc/19404/stat : 19404 (java) S 19401 19404 13605 0 -1 1077944320 468807 12318 0 0 233723 1106 6 4 20 0 20 0 5913030 11261440000 855933 33554432000 4194304 4196468 140721213324000 140721213306544 140420224368375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
/proc/19404/statm: 2749375 855933 3524 1 0 2736930 0
[pid=19404/tid=19459] ppid=19401 vsize=10997500 CPUtime=2249.62 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19459/stat : 19459 (java) R 19401 19404 13605 0 -1 4202560 189535 12318 0 0 224877 75 6 4 20 0 20 0 5913042 11261440000 855933 33554432000 4194304 4196468 140721213324000 140420228602336 140419828894340 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19460] ppid=19401 vsize=10997500 CPUtime=9.96 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19460/stat : 19460 (java) S 19401 19404 13605 0 -1 1077944384 18581 12318 0 0 869 117 6 4 20 0 20 0 5913043 11261440000 855933 33554432000 4194304 4196468 140721213324000 140420150442640 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19461] ppid=19401 vsize=10997500 CPUtime=9.8 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19461/stat : 19461 (java) S 19401 19404 13605 0 -1 1077944384 12421 12318 0 0 854 116 6 4 20 0 20 0 5913043 11261440000 855933 33554432000 4194304 4196468 140721213324000 140420149389840 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19462] ppid=19401 vsize=10997500 CPUtime=9.92 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19462/stat : 19462 (java) S 19401 19404 13605 0 -1 1077944384 12253 12318 0 0 864 118 6 4 20 0 20 0 5913043 11261440000 855933 33554432000 4194304 4196468 140721213324000 140420148337040 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19463] ppid=19401 vsize=10997500 CPUtime=9.84 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19463/stat : 19463 (java) S 19401 19404 13605 0 -1 1077944384 9451 12318 0 0 853 121 6 4 20 0 20 0 5913043 11261440000 855933 33554432000 4194304 4196468 140721213324000 140420147284240 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19464] ppid=19401 vsize=10997500 CPUtime=9.83 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19464/stat : 19464 (java) S 19401 19404 13605 0 -1 1077944384 13452 12318 0 0 854 119 6 4 20 0 20 0 5913043 11261440000 855933 33554432000 4194304 4196468 140721213324000 140420146232464 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19465] ppid=19401 vsize=10997500 CPUtime=9.87 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19465/stat : 19465 (java) S 19401 19404 13605 0 -1 1077944384 6325 12318 0 0 860 117 6 4 20 0 20 0 5913043 11261440000 855933 33554432000 4194304 4196468 140721213324000 140420145179664 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19466] ppid=19401 vsize=10997500 CPUtime=9.86 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19466/stat : 19466 (java) S 19401 19404 13605 0 -1 1077944384 11196 12318 0 0 860 116 6 4 20 0 20 0 5913043 11261440000 855933 33554432000 4194304 4196468 140721213324000 140420144126864 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19467] ppid=19401 vsize=10997500 CPUtime=9.84 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19467/stat : 19467 (java) S 19401 19404 13605 0 -1 1077944384 12909 12318 0 0 856 118 6 4 20 0 20 0 5913043 11261440000 855933 33554432000 4194304 4196468 140721213324000 140420143074064 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19468] ppid=19401 vsize=10997500 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19468/stat : 19468 (java) S 19401 19404 13605 0 -1 1077944384 40471 12318 0 0 83 14 6 4 20 0 20 0 5913044 11261440000 855933 33554432000 4194304 4196468 140721213324000 140419564697968 140420224379522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19469] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19469/stat : 19469 (java) S 19401 19404 13605 0 -1 1077944384 71 12318 0 0 0 0 6 4 20 0 20 0 5913045 11261440000 855933 33554432000 4194304 4196468 140721213324000 140419563644064 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19470] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19470/stat : 19470 (java) S 19401 19404 13605 0 -1 1077944384 57 12318 0 0 0 0 6 4 20 0 20 0 5913045 11261440000 855933 33554432000 4194304 4196468 140721213324000 140419562591104 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19471] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19471/stat : 19471 (java) S 19401 19404 13605 0 -1 1077944384 1 12318 0 0 0 0 6 4 20 0 20 0 5913048 11261440000 855933 33554432000 4194304 4196468 140721213324000 140419561539408 140420224386971 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19472] ppid=19401 vsize=10997500 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19472/stat : 19472 (java) S 19401 19404 13605 0 -1 1077944384 32588 12318 0 0 480 5 6 4 20 0 20 0 5913048 11261440000 855933 33554432000 4194304 4196468 140721213324000 140419560487792 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19473] ppid=19401 vsize=10997500 CPUtime=5.45 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19473/stat : 19473 (java) S 19401 19404 13605 0 -1 1077944384 35575 12318 0 0 530 5 6 4 20 0 20 0 5913048 11261440000 855933 33554432000 4194304 4196468 140721213324000 140419559434992 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19474] ppid=19401 vsize=10997500 CPUtime=5.02 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19474/stat : 19474 (java) S 19401 19404 13605 0 -1 1077944384 25853 12318 0 0 488 4 6 4 20 0 20 0 5913049 11261440000 855933 33554432000 4194304 4196468 140721213324000 140419558382192 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19475] ppid=19401 vsize=10997500 CPUtime=3.3 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19475/stat : 19475 (java) S 19401 19404 13605 0 -1 1077944384 43234 12318 0 0 313 7 6 4 20 0 20 0 5913049 11261440000 855933 33554432000 4194304 4196468 140721213324000 140419557329392 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19476] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19476/stat : 19476 (java) S 19401 19404 13605 0 -1 1077944384 3 12318 0 0 0 0 6 4 20 0 20 0 5913049 11261440000 855933 33554432000 4194304 4196468 140721213324000 140419556276832 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19477] ppid=19401 vsize=10997500 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19477/stat : 19477 (java) S 19401 19404 13605 0 -1 1077944384 2701 12318 0 0 56 65 6 4 20 0 20 0 5913049 11261440000 855933 33554432000 4194304 4196468 140721213324000 140419555224112 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
Current children cumulated CPU time (s) 2348.39
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2313.3 s]
/proc/loadavg: 1.88 1.83 1.76 3/282 19713
/proc/meminfo: memFree=25102904/32770624 swapFree=5828/263488
[pid=19404] ppid=19401 vsize=10997500 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/19404/stat : 19404 (java) S 19401 19404 13605 0 -1 1077944320 472353 12318 0 0 238884 1108 6 4 20 0 20 0 5913030 11261440000 855570 33554432000 4194304 4196468 140721213324000 140721213306544 140420224368375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
/proc/19404/statm: 2749375 855570 3524 1 0 2736930 0
[pid=19404/tid=19459] ppid=19401 vsize=10997500 CPUtime=2300.51 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19459/stat : 19459 (java) R 19401 19404 13605 0 -1 4202560 192267 12318 0 0 229965 76 6 4 20 0 20 0 5913042 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420228602576 140419831064168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19460] ppid=19401 vsize=10997500 CPUtime=10.05 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19460/stat : 19460 (java) S 19401 19404 13605 0 -1 1077944384 18595 12318 0 0 878 117 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420150442640 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19461] ppid=19401 vsize=10997500 CPUtime=9.89 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19461/stat : 19461 (java) S 19401 19404 13605 0 -1 1077944384 12522 12318 0 0 863 116 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420149389840 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19462] ppid=19401 vsize=10997500 CPUtime=10 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19462/stat : 19462 (java) S 19401 19404 13605 0 -1 1077944384 12377 12318 0 0 872 118 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420148337040 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19463] ppid=19401 vsize=10997500 CPUtime=9.93 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19463/stat : 19463 (java) S 19401 19404 13605 0 -1 1077944384 9468 12318 0 0 862 121 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420147284240 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19464] ppid=19401 vsize=10997500 CPUtime=9.91 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19464/stat : 19464 (java) S 19401 19404 13605 0 -1 1077944384 13465 12318 0 0 862 119 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420146232464 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19465] ppid=19401 vsize=10997500 CPUtime=9.95 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19465/stat : 19465 (java) S 19401 19404 13605 0 -1 1077944384 6603 12318 0 0 868 117 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420145179664 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19466] ppid=19401 vsize=10997500 CPUtime=9.95 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19466/stat : 19466 (java) S 19401 19404 13605 0 -1 1077944384 11225 12318 0 0 869 116 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420144126864 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19467] ppid=19401 vsize=10997500 CPUtime=9.92 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19467/stat : 19467 (java) S 19401 19404 13605 0 -1 1077944384 12923 12318 0 0 864 118 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420143074064 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19468] ppid=19401 vsize=10997500 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19468/stat : 19468 (java) S 19401 19404 13605 0 -1 1077944384 40666 12318 0 0 84 14 6 4 20 0 20 0 5913044 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419564697968 140420224379522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19469] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19469/stat : 19469 (java) S 19401 19404 13605 0 -1 1077944384 71 12318 0 0 0 0 6 4 20 0 20 0 5913045 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419563644064 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19470] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19470/stat : 19470 (java) S 19401 19404 13605 0 -1 1077944384 57 12318 0 0 0 0 6 4 20 0 20 0 5913045 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419562591104 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19471] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19471/stat : 19471 (java) S 19401 19404 13605 0 -1 1077944384 1 12318 0 0 0 0 6 4 20 0 20 0 5913048 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419561539408 140420224386971 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19472] ppid=19401 vsize=10997500 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19472/stat : 19472 (java) S 19401 19404 13605 0 -1 1077944384 32590 12318 0 0 480 5 6 4 20 0 20 0 5913048 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419560487792 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19473] ppid=19401 vsize=10997500 CPUtime=5.45 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19473/stat : 19473 (java) S 19401 19404 13605 0 -1 1077944384 35577 12318 0 0 530 5 6 4 20 0 20 0 5913048 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419559434992 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19474] ppid=19401 vsize=10997500 CPUtime=5.02 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19474/stat : 19474 (java) S 19401 19404 13605 0 -1 1077944384 25856 12318 0 0 488 4 6 4 20 0 20 0 5913049 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419558382192 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19475] ppid=19401 vsize=10997500 CPUtime=3.3 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19475/stat : 19475 (java) S 19401 19404 13605 0 -1 1077944384 43236 12318 0 0 313 7 6 4 20 0 20 0 5913049 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419557329392 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19476] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19476/stat : 19476 (java) S 19401 19404 13605 0 -1 1077944384 3 12318 0 0 0 0 6 4 20 0 20 0 5913049 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419556276832 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19477] ppid=19401 vsize=10997500 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19477/stat : 19477 (java) S 19401 19404 13605 0 -1 1077944384 2721 12318 0 0 58 66 6 4 20 0 20 0 5913049 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419555224112 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
Current children cumulated CPU time (s) 2400.02
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 19404 sig 9
??? kill -19404 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2313.3 s]
/proc/loadavg: 1.88 1.83 1.76 3/282 19713
/proc/meminfo: memFree=25102904/32770624 swapFree=5828/263488
[pid=19404] ppid=19401 vsize=10997500 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/19404/stat : 19404 (java) S 19401 19404 13605 0 -1 1077944320 472353 12318 0 0 238884 1108 6 4 20 0 20 0 5913030 11261440000 855570 33554432000 4194304 4196468 140721213324000 140721213306544 140420224368375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
/proc/19404/statm: 2749375 855570 3524 1 0 2736930 0
[pid=19404/tid=19459] ppid=19401 vsize=10997500 CPUtime=2300.51 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19459/stat : 19459 (java) R 19401 19404 13605 0 -1 4202560 192267 12318 0 0 229965 76 6 4 20 0 20 0 5913042 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420228602576 140419831064168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19460] ppid=19401 vsize=10997500 CPUtime=10.05 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19460/stat : 19460 (java) S 19401 19404 13605 0 -1 1077944384 18595 12318 0 0 878 117 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420150442640 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19461] ppid=19401 vsize=10997500 CPUtime=9.89 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19461/stat : 19461 (java) S 19401 19404 13605 0 -1 1077944384 12522 12318 0 0 863 116 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420149389840 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19462] ppid=19401 vsize=10997500 CPUtime=10 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19462/stat : 19462 (java) S 19401 19404 13605 0 -1 1077944384 12377 12318 0 0 872 118 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420148337040 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19463] ppid=19401 vsize=10997500 CPUtime=9.93 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19463/stat : 19463 (java) S 19401 19404 13605 0 -1 1077944384 9468 12318 0 0 862 121 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420147284240 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19464] ppid=19401 vsize=10997500 CPUtime=9.91 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19464/stat : 19464 (java) S 19401 19404 13605 0 -1 1077944384 13465 12318 0 0 862 119 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420146232464 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19465] ppid=19401 vsize=10997500 CPUtime=9.95 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19465/stat : 19465 (java) S 19401 19404 13605 0 -1 1077944384 6603 12318 0 0 868 117 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420145179664 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19466] ppid=19401 vsize=10997500 CPUtime=9.95 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19466/stat : 19466 (java) S 19401 19404 13605 0 -1 1077944384 11225 12318 0 0 869 116 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420144126864 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19467] ppid=19401 vsize=10997500 CPUtime=9.92 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19467/stat : 19467 (java) S 19401 19404 13605 0 -1 1077944384 12923 12318 0 0 864 118 6 4 20 0 20 0 5913043 11261440000 855570 33554432000 4194304 4196468 140721213324000 140420143074064 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19468] ppid=19401 vsize=10997500 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19468/stat : 19468 (java) S 19401 19404 13605 0 -1 1077944384 40666 12318 0 0 84 14 6 4 20 0 20 0 5913044 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419564697968 140420224379522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19469] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19469/stat : 19469 (java) S 19401 19404 13605 0 -1 1077944384 71 12318 0 0 0 0 6 4 20 0 20 0 5913045 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419563644064 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19470] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19470/stat : 19470 (java) S 19401 19404 13605 0 -1 1077944384 57 12318 0 0 0 0 6 4 20 0 20 0 5913045 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419562591104 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19471] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19471/stat : 19471 (java) S 19401 19404 13605 0 -1 1077944384 1 12318 0 0 0 0 6 4 20 0 20 0 5913048 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419561539408 140420224386971 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19472] ppid=19401 vsize=10997500 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19472/stat : 19472 (java) S 19401 19404 13605 0 -1 1077944384 32590 12318 0 0 480 5 6 4 20 0 20 0 5913048 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419560487792 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19473] ppid=19401 vsize=10997500 CPUtime=5.45 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19473/stat : 19473 (java) S 19401 19404 13605 0 -1 1077944384 35577 12318 0 0 530 5 6 4 20 0 20 0 5913048 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419559434992 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19474] ppid=19401 vsize=10997500 CPUtime=5.02 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19474/stat : 19474 (java) S 19401 19404 13605 0 -1 1077944384 25856 12318 0 0 488 4 6 4 20 0 20 0 5913049 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419558382192 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19475] ppid=19401 vsize=10997500 CPUtime=3.3 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19475/stat : 19475 (java) S 19401 19404 13605 0 -1 1077944384 43236 12318 0 0 313 7 6 4 20 0 20 0 5913049 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419557329392 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19476] ppid=19401 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19476/stat : 19476 (java) S 19401 19404 13605 0 -1 1077944384 3 12318 0 0 0 0 6 4 20 0 20 0 5913049 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419556276832 140420224378581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
[pid=19404/tid=19477] ppid=19401 vsize=10997500 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/19404/task/19477/stat : 19477 (java) S 19401 19404 13605 0 -1 1077944384 2721 12318 0 0 58 66 6 4 20 0 20 0 5913049 11261440000 855570 33554432000 4194304 4196468 140721213324000 140419555224112 140420224379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19116032 140721213332161 140721213334935 140721213334935 140721213337551 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2313.35
CPU time (s): 2400.07
CPU user time (s): 2388.92
CPU system time (s): 11.1446
CPU usage (%): 103.749
Max. virtual memory (cumulated for all children) (KiB): 10999604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.92
system time used= 11.1446
maximum resident set size= 3424756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486316
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88345
involuntary context switches= 126432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.076 second user time and 18.4241 second system time
The end