runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (7840 MiB free)
memory of node 1: 16384 MiB (8957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289745-1532209713/watcher-4289745-1532209713 -o /tmp/evaluation-result-4289745-1532209713/solver-4289745-1532209713 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532209713-28359 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289745-1532209713.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28380, runsolver pid=28376
[startup+0.100093 s]*
/proc/loadavg: 1.00 1.02 1.15 4/221 28418
/proc/meminfo: memFree=17168400/32770624 swapFree=67108860/67108860
[pid=28380] ppid=28376 vsize=10659012 memory=29540 CPUtime=0.12 cores=1,3,5,7
/proc/28380/stat : 28380 (java) S 28376 28380 26255 0 -1 1077944320 7010 0 0 0 11 1 0 0 20 0 15 0 38534482 10914828288 7385 33554432000 4194304 4196468 140729102257760 140729102240304 139712902323959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
/proc/28380/statm: 2664753 7385 2841 1 0 2627263 0
[pid=28380/tid=28385] ppid=28376 vsize=10659012 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/28380/task/28385/stat : 28385 (java) R 28376 28380 26255 0 -1 4202560 4802 0 0 0 8 1 0 0 20 0 15 0 38534483 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712906528624 139712902335894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28386] ppid=28376 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28386/stat : 28386 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712872037008 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28387] ppid=28376 vsize=10659012 memory=139866338961024 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28387/stat : 28387 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712507808272 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28388] ppid=28376 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28388/stat : 28388 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712506755472 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28389] ppid=28376 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28389/stat : 28389 (java) S 28376 28380 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534483 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712505702672 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28397] ppid=28376 vsize=10659012 memory=139866338961024 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28397/stat : 28397 (java) S 28376 28380 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534485 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712394136432 139712902335106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28398] ppid=28376 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28398/stat : 28398 (java) S 28376 28380 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38534485 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712393082400 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28403] ppid=28376 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28403/stat : 28403 (java) S 28376 28380 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38534485 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712392029552 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28407] ppid=28376 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28407/stat : 28407 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534488 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712390977872 139712902342555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28408] ppid=28376 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28408/stat : 28408 (java) S 28376 28380 26255 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 38534488 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712389925232 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28409] ppid=28376 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28409/stat : 28409 (java) S 28376 28380 26255 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 38534488 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712388872432 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28410] ppid=28376 vsize=10659012 memory=139866338961024 CPUtime=0.02 cores=1,3,5,7
/proc/28380/task/28410/stat : 28410 (java) R 28376 28380 26255 0 -1 4202560 393 0 0 0 2 0 0 0 20 0 15 0 38534488 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712387819632 139712902345306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28411] ppid=28376 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28411/stat : 28411 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534488 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712386767072 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28412] ppid=28376 vsize=10659012 memory=139866338961024 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28412/stat : 28412 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534488 10914828288 7385 33554432000 4194304 4196468 140729102257760 139712385715376 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29540 KiB
[startup+0.211025 s]*
/proc/loadavg: 1.00 1.02 1.15 4/221 28418
/proc/meminfo: memFree=17147640/32770624 swapFree=67108860/67108860
[pid=28380] ppid=28376 vsize=10659012 memory=41096 CPUtime=0.33 cores=1,3,5,7
/proc/28380/stat : 28380 (java) S 28376 28380 26255 0 -1 1077944320 8332 0 0 0 31 2 0 0 20 0 15 0 38534482 10914828288 10274 33554432000 4194304 4196468 140729102257760 140729102240304 139712902323959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
/proc/28380/statm: 2664753 10274 3008 1 0 2627263 0
[pid=28380/tid=28385] ppid=28376 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28380/task/28385/stat : 28385 (java) R 28376 28380 26255 0 -1 4202560 5137 0 0 0 19 1 0 0 20 0 15 0 38534483 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712906559632 139712902335894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28386] ppid=28376 vsize=10659012 memory=339 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28386/stat : 28386 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712872037008 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28387] ppid=28376 vsize=10659012 memory=288370242490672768 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28387/stat : 28387 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712507808272 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28388] ppid=28376 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28388/stat : 28388 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712506755472 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28389] ppid=28376 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28389/stat : 28389 (java) S 28376 28380 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534483 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712505702672 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28397] ppid=28376 vsize=10659012 memory=139866338961024 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28397/stat : 28397 (java) S 28376 28380 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534485 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712394136432 139712902335106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28398] ppid=28376 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28398/stat : 28398 (java) S 28376 28380 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38534485 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712393082400 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28403] ppid=28376 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28403/stat : 28403 (java) S 28376 28380 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38534485 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712392029552 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28407] ppid=28376 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28407/stat : 28407 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534488 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712390977872 139712902342555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28408] ppid=28376 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28380/task/28408/stat : 28408 (java) S 28376 28380 26255 0 -1 1077944384 624 0 0 0 2 0 0 0 20 0 15 0 38534488 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712389925232 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28409] ppid=28376 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28380/task/28409/stat : 28409 (java) S 28376 28380 26255 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 38534488 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712388872432 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28410] ppid=28376 vsize=10659012 memory=139866338961024 CPUtime=0.07 cores=1,3,5,7
/proc/28380/task/28410/stat : 28410 (java) R 28376 28380 26255 0 -1 4202560 805 0 0 0 7 0 0 0 20 0 15 0 38534488 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712387819632 139712895420795 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28411] ppid=28376 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28411/stat : 28411 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534488 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712386767072 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28412] ppid=28376 vsize=10659012 memory=139866338961024 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28412/stat : 28412 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534488 10914828288 10274 33554432000 4194304 4196468 140729102257760 139712385715376 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41096 KiB
[startup+0.315994 s]*
/proc/loadavg: 1.00 1.02 1.15 6/221 28418
/proc/meminfo: memFree=17130884/32770624 swapFree=67108860/67108860
[pid=28380] ppid=28376 vsize=10659088 memory=46760 CPUtime=0.53 cores=1,3,5,7
/proc/28380/stat : 28380 (java) S 28376 28380 26255 0 -1 1077944320 9247 0 0 0 50 3 0 0 20 0 15 0 38534482 10914906112 11690 33554432000 4194304 4196468 140729102257760 140729102240304 139712902323959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
/proc/28380/statm: 2664772 11690 3058 1 0 2627263 0
[pid=28380/tid=28385] ppid=28376 vsize=10659088 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/28380/task/28385/stat : 28385 (java) R 28376 28380 26255 0 -1 4202560 5762 0 0 0 29 1 0 0 20 0 15 0 38534483 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712906557088 139712886367589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28386] ppid=28376 vsize=10659088 memory=35 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28386/stat : 28386 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712872037008 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28387] ppid=28376 vsize=10659088 memory=139866339019040 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28387/stat : 28387 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712507808272 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28388] ppid=28376 vsize=10659088 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28388/stat : 28388 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712506755472 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28389] ppid=28376 vsize=10659088 memory=35 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28389/stat : 28389 (java) S 28376 28380 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534483 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712505702672 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28397] ppid=28376 vsize=10659088 memory=139866339025952 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28397/stat : 28397 (java) S 28376 28380 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534485 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712394136432 139712902335106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28398] ppid=28376 vsize=10659088 memory=35 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28398/stat : 28398 (java) S 28376 28380 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38534485 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712393082400 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28403] ppid=28376 vsize=10659088 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28403/stat : 28403 (java) S 28376 28380 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38534485 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712392029552 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28407] ppid=28376 vsize=10659088 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28407/stat : 28407 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534488 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712390977872 139712902342555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28408] ppid=28376 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28380/task/28408/stat : 28408 (java) S 28376 28380 26255 0 -1 1077944384 714 0 0 0 4 0 0 0 20 0 15 0 38534488 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712389925232 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28409] ppid=28376 vsize=10659088 memory=139866214096847 CPUtime=0.04 cores=1,3,5,7
/proc/28380/task/28409/stat : 28409 (java) S 28376 28380 26255 0 -1 1077944384 472 0 0 0 4 0 0 0 20 0 15 0 38534488 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712388872432 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28410] ppid=28376 vsize=10659088 memory=139866338989383 CPUtime=0.12 cores=1,3,5,7
/proc/28380/task/28410/stat : 28410 (java) R 28376 28380 26255 0 -1 1077944384 934 0 0 0 12 0 0 0 20 0 15 0 38534488 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712387819632 139712902335106 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28411] ppid=28376 vsize=10659088 memory=139866214096847 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28411/stat : 28411 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534488 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712386767072 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28412] ppid=28376 vsize=10659088 memory=279732553074624 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28412/stat : 28412 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534488 10914906112 11690 33554432000 4194304 4196468 140729102257760 139712385715376 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46760 KiB
[startup+0.701434 s]
/proc/loadavg: 1.00 1.02 1.15 7/221 28418
/proc/meminfo: memFree=17077512/32770624 swapFree=67108860/67108860
[pid=28380] ppid=28376 vsize=10659088 memory=148192 CPUtime=1.7 cores=1,3,5,7
/proc/28380/stat : 28380 (java) S 28376 28380 26255 0 -1 1077944320 16854 0 0 0 164 6 0 0 20 0 15 0 38534482 10914906112 37048 33554432000 4194304 4196468 140729102257760 140729102240304 139712902323959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
/proc/28380/statm: 2664772 37048 3109 1 0 2627263 0
[pid=28380/tid=28385] ppid=28376 vsize=10659088 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/28380/task/28385/stat : 28385 (java) R 28376 28380 26255 0 -1 4202560 6170 0 0 0 65 3 0 0 20 0 15 0 38534483 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712906545040 139712883166222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28386] ppid=28376 vsize=10659088 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28386/stat : 28386 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712872037008 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28387] ppid=28376 vsize=10659088 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28387/stat : 28387 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712507808272 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28388] ppid=28376 vsize=10659088 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28388/stat : 28388 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534483 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712506755472 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28389] ppid=28376 vsize=10659088 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28389/stat : 28389 (java) S 28376 28380 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534483 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712505702672 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28397] ppid=28376 vsize=10659088 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28397/stat : 28397 (java) S 28376 28380 26255 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38534485 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712394136432 139712902335106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28398] ppid=28376 vsize=10659088 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28398/stat : 28398 (java) S 28376 28380 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38534485 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712393082400 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28403] ppid=28376 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28403/stat : 28403 (java) S 28376 28380 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38534485 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712392029552 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28407] ppid=28376 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28407/stat : 28407 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534488 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712390977872 139712902342555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28408] ppid=28376 vsize=10659088 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/28380/task/28408/stat : 28408 (java) R 28376 28380 26255 0 -1 4202560 5527 0 0 0 34 0 0 0 20 0 15 0 38534488 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712389906040 139712885820485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28409] ppid=28376 vsize=10659088 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/28380/task/28409/stat : 28409 (java) R 28376 28380 26255 0 -1 4202560 1829 0 0 0 34 0 0 0 20 0 15 0 38534488 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712388858688 139712883868638 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28410] ppid=28376 vsize=10659088 memory=-1807685287725067907 CPUtime=0.31 cores=1,3,5,7
/proc/28380/task/28410/stat : 28410 (java) S 28376 28380 26255 0 -1 1077944384 1957 0 0 0 30 1 0 0 20 0 15 0 38534488 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712387819632 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28411] ppid=28376 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28411/stat : 28411 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534488 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712386767072 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28412] ppid=28376 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28412/stat : 28412 (java) S 28376 28380 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534488 10914906112 37048 33554432000 4194304 4196468 140729102257760 139712385715376 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 148192 KiB
[startup+1.50083 s]
/proc/loadavg: 1.00 1.02 1.15 7/221 28418
/proc/meminfo: memFree=16766092/32770624 swapFree=67108860/67108860
[pid=28380] ppid=28376 vsize=10659088 memory=316784 CPUtime=4.06 cores=1,3,5,7
/proc/28380/stat : 28380 (java) S 28376 28380 26255 0 -1 1077944320 24138 0 0 0 392 14 0 0 20 0 15 0 38534482 10914906112 79196 33554432000 4194304 4196468 140729102257760 140729102240304 139712902323959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
/proc/28380/statm: 2664772 79196 3146 1 0 2627263 0
[pid=28380/tid=28385] ppid=28376 vsize=10659088 memory=3617008659254628452 CPUtime=1.4 cores=1,3,5,7
/proc/28380/task/28385/stat : 28385 (java) R 28376 28380 26255 0 -1 4202560 6214 0 0 0 136 4 0 0 20 0 15 0 38534483 10914906112 79196 33554432000 4194304 4196468 140729102257760 139712906551968 139712541882783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28386] ppid=28376 vsize=10659088 memory=224900 CPUtime=0.04 cores=1,3,5,7
/proc/28380/task/28386/stat : 28386 (java) S 28376 28380 26255 0 -1 1077944384 106 0 0 0 3 1 0 0 20 0 15 0 38534483 10914906112 79196 33554432000 4194304 4196468 140729102257760 139712872037008 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28387] ppid=28376 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/28380/task/28387/stat : 28387 (java) S 28376 28380 26255 0 -1 1077944384 145 0 0 0 4 1 0 0 20 0 15 0 38534483 10914906112 79196 33554432000 4194304 4196468 140729102257760 139712507808272 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28388] ppid=28376 vsize=10659088 memory=8384 CPUtime=0.04 cores=1,3,5,7
/proc/28380/task/28388/stat : 28388 (java) S 28376 28380 26255 0 -1 1077944384 97 0 0 0 3 1 0 0 20 0 15 0 38534483 10914906112 79196 33554432000 4194304 4196468 140729102257760 139712506755472 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28389] ppid=28376 vsize=10659088 memory=15872 CPUtime=0.03 cores=1,3,5,7
/proc/28380/task/28389/stat : 28389 (java) S 28376 28380 26255 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 15 0 38534483 10914906112 79196 33554432000 4194304 4196468 140729102257760 139712505702672 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28397] ppid=28376 vsize=10659088 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28397/stat : 28397 (java) S 28376 28380 26255 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 38534485 10914906112 79196 33554432000 4194304 4196468 140729102257760 139712394136432 139712902335106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
################
# More data... #
################
/proc/28380/task/28388/stat : 28388 (java) S 28376 28380 26255 0 -1 1077944384 6509 0 0 0 397 32 0 0 20 0 16 0 38534483 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712506755472 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28389] ppid=28376 vsize=10727700 memory=3026032 CPUtime=4.27 cores=1,3,5,7
/proc/28380/task/28389/stat : 28389 (java) S 28376 28380 26255 0 -1 1077944384 11193 0 0 0 395 32 0 0 20 0 16 0 38534483 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712505702672 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28397] ppid=28376 vsize=10727700 memory=3026032 CPUtime=1.75 cores=1,3,5,7
/proc/28380/task/28397/stat : 28397 (java) S 28376 28380 26255 0 -1 1077944384 6936 0 0 0 172 3 0 0 20 0 16 0 38534485 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712394136432 139712902335106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28398] ppid=28376 vsize=10727700 memory=3028080 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28398/stat : 28398 (java) S 28376 28380 26255 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 38534485 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712393082464 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28403] ppid=28376 vsize=10727700 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28403/stat : 28403 (java) S 28376 28380 26255 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 38534485 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712392029568 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28407] ppid=28376 vsize=10727700 memory=1844 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28407/stat : 28407 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534488 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712390977872 139712902342555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28408] ppid=28376 vsize=10727700 memory=3023984 CPUtime=2.33 cores=1,3,5,7
/proc/28380/task/28408/stat : 28408 (java) S 28376 28380 26255 0 -1 1077944384 18005 0 0 0 231 2 0 0 20 0 16 0 38534488 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712389925232 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28409] ppid=28376 vsize=10727700 memory=3017840 CPUtime=2.23 cores=1,3,5,7
/proc/28380/task/28409/stat : 28409 (java) S 28376 28380 26255 0 -1 1077944384 18371 0 0 0 220 3 0 0 20 0 16 0 38534488 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712388872432 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28410] ppid=28376 vsize=10727700 memory=3009648 CPUtime=0.52 cores=1,3,5,7
/proc/28380/task/28410/stat : 28410 (java) S 28376 28380 26255 0 -1 1077944384 7601 0 0 0 50 2 0 0 20 0 16 0 38534488 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712387819632 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28411] ppid=28376 vsize=10727700 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28411/stat : 28411 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534488 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712386767072 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28412] ppid=28376 vsize=10727700 memory=12984 CPUtime=1.43 cores=1,3,5,7
/proc/28380/task/28412/stat : 28412 (java) S 28376 28380 26255 0 -1 1077944384 1855 0 0 0 59 84 0 0 20 0 16 0 38534488 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712385715376 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28419] ppid=28376 vsize=10727700 memory=5664 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28419/stat : 28419 (java) S 28376 28380 26255 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 38535567 10985164800 757020 33554432000 4194304 4196468 140729102257760 139712382563760 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
Current children cumulated CPU time: 2281.89 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3028080 KiB
[startup+2322.3 s]
/proc/loadavg: 1.96 2.01 1.95 3/221 28540
/proc/meminfo: memFree=7929856/32770624 swapFree=67108860/67108860
[pid=28380] ppid=28376 vsize=10727700 memory=4077584 CPUtime=2349.96 cores=1,3,5,7
/proc/28380/stat : 28380 (java) S 28376 28380 26255 0 -1 1077944320 261263 0 0 0 234652 344 0 0 20 0 16 0 38534482 10985164800 1019396 33554432000 4194304 4196468 140729102257760 140729102240304 139712902323959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
/proc/28380/statm: 2681925 1019396 3188 1 0 2644416 0
[pid=28380/tid=28385] ppid=28376 vsize=10727700 memory=4077584 CPUtime=2312.37 cores=1,3,5,7
/proc/28380/task/28385/stat : 28385 (java) R 28376 28380 26255 0 -1 4202560 93498 0 0 0 231204 33 0 0 20 0 16 0 38534483 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712906563008 139712543754882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28386] ppid=28376 vsize=10727700 memory=697 CPUtime=7.02 cores=1,3,5,7
/proc/28380/task/28386/stat : 28386 (java) S 28376 28380 26255 0 -1 1077944384 22678 0 0 0 645 57 0 0 20 0 16 0 38534483 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712872037008 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28387] ppid=28376 vsize=10727700 memory=4077584 CPUtime=7.05 cores=1,3,5,7
/proc/28380/task/28387/stat : 28387 (java) S 28376 28380 26255 0 -1 1077944384 30486 0 0 0 647 58 0 0 20 0 16 0 38534483 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712507808272 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28388] ppid=28376 vsize=10727700 memory=4077584 CPUtime=6.97 cores=1,3,5,7
/proc/28380/task/28388/stat : 28388 (java) S 28376 28380 26255 0 -1 1077944384 23945 0 0 0 643 54 0 0 20 0 16 0 38534483 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712506755472 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28389] ppid=28376 vsize=10727700 memory=4077584 CPUtime=6.95 cores=1,3,5,7
/proc/28380/task/28389/stat : 28389 (java) S 28376 28380 26255 0 -1 1077944384 32782 0 0 0 638 57 0 0 20 0 16 0 38534483 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712505702672 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28397] ppid=28376 vsize=10727700 memory=4077584 CPUtime=2.96 cores=1,3,5,7
/proc/28380/task/28397/stat : 28397 (java) S 28376 28380 26255 0 -1 1077944384 10569 0 0 0 293 3 0 0 20 0 16 0 38534485 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712394136432 139712902335106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28398] ppid=28376 vsize=10727700 memory=4077584 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28398/stat : 28398 (java) S 28376 28380 26255 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 38534485 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712393082464 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28403] ppid=28376 vsize=10727700 memory=4077584 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28403/stat : 28403 (java) S 28376 28380 26255 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 38534485 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712392029568 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28407] ppid=28376 vsize=10727700 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28407/stat : 28407 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534488 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712390977872 139712902342555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28408] ppid=28376 vsize=10727700 memory=6791534058613427641 CPUtime=2.33 cores=1,3,5,7
/proc/28380/task/28408/stat : 28408 (java) S 28376 28380 26255 0 -1 1077944384 18015 0 0 0 231 2 0 0 20 0 16 0 38534488 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712389925232 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28409] ppid=28376 vsize=10727700 memory=4077584 CPUtime=2.23 cores=1,3,5,7
/proc/28380/task/28409/stat : 28409 (java) S 28376 28380 26255 0 -1 1077944384 18374 0 0 0 220 3 0 0 20 0 16 0 38534488 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712388872432 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28410] ppid=28376 vsize=10727700 memory=4096 CPUtime=0.52 cores=1,3,5,7
/proc/28380/task/28410/stat : 28410 (java) S 28376 28380 26255 0 -1 1077944384 7607 0 0 0 50 2 0 0 20 0 16 0 38534488 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712387819632 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28411] ppid=28376 vsize=10727700 memory=4077584 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28411/stat : 28411 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534488 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712386767072 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28412] ppid=28376 vsize=10727700 memory=4077584 CPUtime=1.46 cores=1,3,5,7
/proc/28380/task/28412/stat : 28412 (java) S 28376 28380 26255 0 -1 1077944384 1899 0 0 0 60 86 0 0 20 0 16 0 38534488 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712385715376 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28419] ppid=28376 vsize=10727700 memory=4036 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28419/stat : 28419 (java) S 28376 28380 26255 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 38535567 10985164800 1019396 33554432000 4194304 4196468 140729102257760 139712382563760 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
Current children cumulated CPU time: 2349.96 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4077584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2372.4 s]
/proc/loadavg: 1.92 1.99 1.95 3/221 28622
/proc/meminfo: memFree=12941776/32770624 swapFree=67108860/67108860
[pid=28380] ppid=28376 vsize=10727700 memory=4077636 CPUtime=2400.09 cores=1,3,5,7
/proc/28380/stat : 28380 (java) S 28376 28380 26255 0 -1 1077944320 261849 0 0 0 239663 346 0 0 20 0 16 0 38534482 10985164800 1019409 33554432000 4194304 4196468 140729102257760 140729102240304 139712902323959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
/proc/28380/statm: 2681925 1019409 3188 1 0 2644416 0
[pid=28380/tid=28385] ppid=28376 vsize=10727700 memory=4620 CPUtime=2362.46 cores=1,3,5,7
/proc/28380/task/28385/stat : 28385 (java) R 28376 28380 26255 0 -1 4202560 93962 0 0 0 236213 33 0 0 20 0 16 0 38534483 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712906562696 139712543746478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28386] ppid=28376 vsize=10727700 memory=1424 CPUtime=7.02 cores=1,3,5,7
/proc/28380/task/28386/stat : 28386 (java) S 28376 28380 26255 0 -1 1077944384 22678 0 0 0 645 57 0 0 20 0 16 0 38534483 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712872037008 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28387] ppid=28376 vsize=10727700 memory=1232 CPUtime=7.05 cores=1,3,5,7
/proc/28380/task/28387/stat : 28387 (java) S 28376 28380 26255 0 -1 1077944384 30486 0 0 0 647 58 0 0 20 0 16 0 38534483 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712507808272 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28388] ppid=28376 vsize=10727700 memory=1012 CPUtime=6.97 cores=1,3,5,7
/proc/28380/task/28388/stat : 28388 (java) S 28376 28380 26255 0 -1 1077944384 23945 0 0 0 643 54 0 0 20 0 16 0 38534483 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712506755472 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28389] ppid=28376 vsize=10727700 memory=1956 CPUtime=6.95 cores=1,3,5,7
/proc/28380/task/28389/stat : 28389 (java) S 28376 28380 26255 0 -1 1077944384 32782 0 0 0 638 57 0 0 20 0 16 0 38534483 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712505702672 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28397] ppid=28376 vsize=10727700 memory=1204 CPUtime=2.96 cores=1,3,5,7
/proc/28380/task/28397/stat : 28397 (java) S 28376 28380 26255 0 -1 1077944384 10579 0 0 0 293 3 0 0 20 0 16 0 38534485 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712394136432 139712902335106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28398] ppid=28376 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28398/stat : 28398 (java) S 28376 28380 26255 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 38534485 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712393082464 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28403] ppid=28376 vsize=10727700 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28403/stat : 28403 (java) S 28376 28380 26255 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 38534485 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712392029568 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28407] ppid=28376 vsize=10727700 memory=928 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28407/stat : 28407 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534488 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712390977872 139712902342555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28408] ppid=28376 vsize=10727700 memory=2244 CPUtime=2.33 cores=1,3,5,7
/proc/28380/task/28408/stat : 28408 (java) S 28376 28380 26255 0 -1 1077944384 18015 0 0 0 231 2 0 0 20 0 16 0 38534488 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712389925232 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28409] ppid=28376 vsize=10727700 memory=4312 CPUtime=2.23 cores=1,3,5,7
/proc/28380/task/28409/stat : 28409 (java) S 28376 28380 26255 0 -1 1077944384 18374 0 0 0 220 3 0 0 20 0 16 0 38534488 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712388872432 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28410] ppid=28376 vsize=10727700 memory=2196 CPUtime=0.52 cores=1,3,5,7
/proc/28380/task/28410/stat : 28410 (java) S 28376 28380 26255 0 -1 1077944384 7685 0 0 0 50 2 0 0 20 0 16 0 38534488 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712387819632 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28411] ppid=28376 vsize=10727700 memory=7380 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28411/stat : 28411 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534488 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712386767072 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28412] ppid=28376 vsize=10727700 memory=4077636 CPUtime=1.5 cores=1,3,5,7
/proc/28380/task/28412/stat : 28412 (java) S 28376 28380 26255 0 -1 1077944384 1933 0 0 0 62 88 0 0 20 0 16 0 38534488 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712385715376 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28419] ppid=28376 vsize=10727700 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28419/stat : 28419 (java) S 28376 28380 26255 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 38535567 10985164800 1019409 33554432000 4194304 4196468 140729102257760 139712382563760 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4077636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2372.66 s]
# the end of solver process 28380 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.76 s, system=3.49769 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2372.6 s]
/proc/loadavg: 1.92 1.99 1.95 3/221 28622
/proc/meminfo: memFree=12941776/32770624 swapFree=67108860/67108860
[pid=28380] ppid=28376 vsize=10927392 memory=4078104 CPUtime=2400.19 cores=1,3,5,7
/proc/28380/stat : 28380 (java) S 28376 28380 26255 0 -1 1077944320 262822 0 0 0 239673 346 0 0 20 0 17 0 38534482 11189649408 1019526 33554432000 4194304 4196468 140729102257760 140729102240304 139712902323959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
/proc/28380/statm: 2731848 1019526 3191 1 0 2694339 0
[pid=28380/tid=28385] ppid=28376 vsize=10927392 memory=1240 CPUtime=2362.56 cores=1,3,5,7
/proc/28380/task/28385/stat : 28385 (java) S 28376 28380 26255 0 -1 1077944384 94069 0 0 0 236223 33 0 0 20 0 17 0 38534483 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712906566832 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28386] ppid=28376 vsize=10927392 memory=8744 CPUtime=7.02 cores=1,3,5,7
/proc/28380/task/28386/stat : 28386 (java) S 28376 28380 26255 0 -1 1077944384 22678 0 0 0 645 57 0 0 20 0 17 0 38534483 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712872037008 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28387] ppid=28376 vsize=10927392 memory=1788 CPUtime=7.05 cores=1,3,5,7
/proc/28380/task/28387/stat : 28387 (java) S 28376 28380 26255 0 -1 1077944384 30486 0 0 0 647 58 0 0 20 0 17 0 38534483 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712507808272 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28388] ppid=28376 vsize=10927392 memory=644 CPUtime=6.97 cores=1,3,5,7
/proc/28380/task/28388/stat : 28388 (java) S 28376 28380 26255 0 -1 1077944384 23945 0 0 0 643 54 0 0 20 0 17 0 38534483 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712506755472 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28389] ppid=28376 vsize=10927392 memory=956 CPUtime=6.95 cores=1,3,5,7
/proc/28380/task/28389/stat : 28389 (java) S 28376 28380 26255 0 -1 1077944384 32782 0 0 0 638 57 0 0 20 0 17 0 38534483 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712505702672 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28397] ppid=28376 vsize=10927392 memory=2336 CPUtime=2.96 cores=1,3,5,7
/proc/28380/task/28397/stat : 28397 (java) S 28376 28380 26255 0 -1 1077944384 10615 0 0 0 293 3 0 0 20 0 17 0 38534485 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712394136432 139712902335106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28398] ppid=28376 vsize=10927392 memory=4036 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28398/stat : 28398 (java) S 28376 28380 26255 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 38534485 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712393082464 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28403] ppid=28376 vsize=10927392 memory=13912 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28403/stat : 28403 (java) S 28376 28380 26255 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 38534485 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712392029568 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28407] ppid=28376 vsize=10927392 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28407/stat : 28407 (java) S 28376 28380 26255 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 17 0 38534488 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712390977872 139712902342555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28408] ppid=28376 vsize=10927392 memory=2324 CPUtime=2.33 cores=1,3,5,7
/proc/28380/task/28408/stat : 28408 (java) S 28376 28380 26255 0 -1 1077944384 18018 0 0 0 231 2 0 0 20 0 17 0 38534488 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712389925232 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28409] ppid=28376 vsize=10927392 memory=1844 CPUtime=2.23 cores=1,3,5,7
/proc/28380/task/28409/stat : 28409 (java) S 28376 28380 26255 0 -1 1077944384 18377 0 0 0 220 3 0 0 20 0 17 0 38534488 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712388872432 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28410] ppid=28376 vsize=10927392 memory=796 CPUtime=0.52 cores=1,3,5,7
/proc/28380/task/28410/stat : 28410 (java) S 28376 28380 26255 0 -1 1077944384 7810 0 0 0 50 2 0 0 20 0 17 0 38534488 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712387819632 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28411] ppid=28376 vsize=10927392 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/28380/task/28411/stat : 28411 (java) S 28376 28380 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38534488 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712386767072 139712902334165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
[pid=28380/tid=28412] ppid=28376 vsize=10927392 memory=12984 CPUtime=1.5 cores=1,3,5,7
/proc/28380/task/28412/stat : 28412 (java) S 28376 28380 26255 0 -1 1077944384 1933 0 0 0 62 88 0 0 20 0 17 0 38534488 11189649408 1019526 33554432000 4194304 4196468 140729102257760 139712385715376 139712902335106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 25640960 140729102259313 140729102259465 140729102259465 140729102262223 0
Current children cumulated CPU time: 2400.19 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4078104 KiB
Child status: 143
Real time (s): 2372.66
CPU time (s): 2400.25
CPU user time (s): 2396.76
CPU system time (s): 3.49769
CPU usage (%): 101.163
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 4078104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.76
system time used= 3.49769
maximum resident set size= 4078552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263271
page faults= 0
swaps= 0
block input operations= 176
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57077
involuntary context switches= 1277
# summary of solver processes directly reported to runsolver:
# pid: 28380
# total CPU time (s): 2400.25
# total CPU user time (s): 2396.76
# total CPU system time (s): 3.49769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3433 second user time and 19.9553 second system time
The end