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 (6686 MiB free)
memory of node 1: 16384 MiB (8827 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387795-1568290363/watcher-4387795-1568290363 -o /tmp/evaluation-result-4387795-1568290363/solver-4387795-1568290363 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568289720-3778 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387795-1568290363.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4291, runsolver pid=4288
[startup+0.100137 s]*
/proc/loadavg: 2.04 2.73 4.53 3/236 4308
/proc/meminfo: memFree=15825380/32770624 swapFree=66997568/67108860
[pid=4291] ppid=4288 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4291/stat : 4291 (scop.sh) S 4288 4291 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404972849 115843072 349 33554432000 4194304 5098028 140727979543584 140727979540840 140137124258428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28086272 140727979549539 140727979549808 140727979549808 140727979552717 0
/proc/4291/statm: 28282 349 296 221 0 87 0
[pid=4294] ppid=4291 vsize=15013720 memory=73352 CPUtime=0.11 cores=1,3,5,7
/proc/4294/stat : 4294 (java) S 4291 4291 3746 0 -1 1077944320 7160 0 0 0 9 2 0 0 20 0 15 0 404972849 15374049280 18338 33554432000 4194304 4196468 140728488820064 140728488802608 139937934946039 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
/proc/4294/statm: 3753430 18338 2889 1 0 3715835 0
[pid=4294/tid=4295] ppid=4291 vsize=15013720 memory=-2915664431881770398 CPUtime=0.08 cores=1,3,5,7
/proc/4294/task/4295/stat : 4295 (java) R 4291 4291 3746 0 -1 4202560 5180 0 0 0 7 1 0 0 20 0 15 0 404972850 15374049280 18536 33554432000 4194304 4196468 140728488820064 139937906730288 139937927625757 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4296] ppid=4291 vsize=15013720 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4296/stat : 4296 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972851 15374049280 18536 33554432000 4194304 4196468 140728488820064 139937939188112 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4297] ppid=4291 vsize=15013720 memory=140283297257088 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4297/stat : 4297 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15374049280 18536 33554432000 4194304 4196468 140728488820064 139937753344272 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4298] ppid=4291 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4298/stat : 4298 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15374049280 18536 33554432000 4194304 4196468 140728488820064 139937394797200 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4299] ppid=4291 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4299/stat : 4299 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15375032320 18602 33554432000 4194304 4196468 140728488820064 139937393744400 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4300] ppid=4291 vsize=15014680 memory=140283297257088 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4300/stat : 4300 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972853 15375032320 18602 33554432000 4194304 4196468 140728488820064 139936972618352 139937934957186 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4301] ppid=4291 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4301/stat : 4301 (java) S 4291 4291 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404972853 15375032320 18602 33554432000 4194304 4196468 140728488820064 139936476947744 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4302] ppid=4291 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4302/stat : 4302 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972853 15375032320 18602 33554432000 4194304 4196468 140728488820064 139936208512624 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4303] ppid=4291 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4303/stat : 4303 (java) S 4291 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15375032320 18668 33554432000 4194304 4196468 140728488820064 139935834004048 139937934964635 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4304] ppid=4291 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4304/stat : 4304 (java) S 4291 4291 3746 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 404972856 15375032320 18668 33554432000 4194304 4196468 140728488820064 139936971565168 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4305] ppid=4291 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4305/stat : 4305 (java) S 4291 4291 3746 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 404972856 15375032320 18668 33554432000 4194304 4196468 140728488820064 139936970512368 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4306] ppid=4291 vsize=15014680 memory=140283297257088 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4306/stat : 4306 (java) S 4291 4291 3746 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 15 0 404972856 15375032320 18668 33554432000 4194304 4196468 140728488820064 139936969460080 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4307] ppid=4291 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4307/stat : 4307 (java) S 4291 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15375032320 18668 33554432000 4194304 4196468 140728488820064 139935336098272 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4308] ppid=4291 vsize=15014680 memory=140283297257088 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4308/stat : 4308 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972856 15375032320 18668 33554432000 4194304 4196468 140728488820064 139936968407984 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 74748 KiB
[startup+0.211787 s]*
/proc/loadavg: 2.04 2.73 4.53 4/236 4308
/proc/meminfo: memFree=15809484/32770624 swapFree=66997568/67108860
[pid=4291] ppid=4288 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4291/stat : 4291 (scop.sh) S 4288 4291 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404972849 115843072 349 33554432000 4194304 5098028 140727979543584 140727979540840 140137124258428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28086272 140727979549539 140727979549808 140727979549808 140727979552717 0
/proc/4291/statm: 28282 349 296 221 0 87 0
[pid=4294] ppid=4291 vsize=15012696 memory=86592 CPUtime=0.25 cores=1,3,5,7
/proc/4294/stat : 4294 (java) S 4291 4291 3746 0 -1 1077944320 11639 0 0 0 21 4 0 0 20 0 15 0 404972849 15373000704 21648 33554432000 4194304 4196468 140728488820064 140728488802608 139937934946039 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
/proc/4294/statm: 3753174 21648 2984 1 0 3715579 0
[pid=4294/tid=4295] ppid=4291 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4294/task/4295/stat : 4295 (java) R 4291 4291 3746 0 -1 4202560 9369 0 0 0 17 3 0 0 20 0 15 0 404972850 15373000704 21648 33554432000 4194304 4196468 140728488820064 139937906729600 139937433370510 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4296] ppid=4291 vsize=15012696 memory=345 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4296/stat : 4296 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972851 15373000704 21648 33554432000 4194304 4196468 140728488820064 139937939188112 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4297] ppid=4291 vsize=15012696 memory=140283297269091 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4297/stat : 4297 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15373000704 21648 33554432000 4194304 4196468 140728488820064 139937753344272 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4298] ppid=4291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4298/stat : 4298 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15373000704 21648 33554432000 4194304 4196468 140728488820064 139937394797200 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4299] ppid=4291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4299/stat : 4299 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15373000704 21648 33554432000 4194304 4196468 140728488820064 139937393744400 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4300] ppid=4291 vsize=15012696 memory=140283297257088 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4300/stat : 4300 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972853 15373000704 21648 33554432000 4194304 4196468 140728488820064 139936972618352 139937934957186 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4301] ppid=4291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4301/stat : 4301 (java) S 4291 4291 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404972853 15373000704 21648 33554432000 4194304 4196468 140728488820064 139936476947744 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4302] ppid=4291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4302/stat : 4302 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972853 15373000704 21648 33554432000 4194304 4196468 140728488820064 139936208512624 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4303] ppid=4291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4303/stat : 4303 (java) S 4291 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15373000704 21648 33554432000 4194304 4196468 140728488820064 139935834004048 139937934964635 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4304] ppid=4291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4304/stat : 4304 (java) S 4291 4291 3746 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 404972856 15373000704 21648 33554432000 4194304 4196468 140728488820064 139936971565168 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4305] ppid=4291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4305/stat : 4305 (java) S 4291 4291 3746 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 404972856 15373000704 21648 33554432000 4194304 4196468 140728488820064 139936970512368 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4306] ppid=4291 vsize=15012696 memory=140283297257088 CPUtime=0.02 cores=1,3,5,7
/proc/4294/task/4306/stat : 4306 (java) S 4291 4291 3746 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 15 0 404972856 15373000704 21648 33554432000 4194304 4196468 140728488820064 139936969460080 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4307] ppid=4291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4307/stat : 4307 (java) S 4291 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15373000704 21648 33554432000 4194304 4196468 140728488820064 139935336098272 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4308] ppid=4291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4308/stat : 4308 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972856 15373000704 21648 33554432000 4194304 4196468 140728488820064 139936968407984 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87988 KiB
[startup+0.310678 s]*
/proc/loadavg: 2.04 2.73 4.53 3/236 4308
/proc/meminfo: memFree=15806816/32770624 swapFree=66997568/67108860
[pid=4291] ppid=4288 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4291/stat : 4291 (scop.sh) S 4288 4291 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404972849 115843072 349 33554432000 4194304 5098028 140727979543584 140727979540840 140137124258428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28086272 140727979549539 140727979549808 140727979549808 140727979552717 0
/proc/4291/statm: 28282 349 296 221 0 87 0
[pid=4294] ppid=4291 vsize=15012696 memory=90276 CPUtime=0.43 cores=1,3,5,7
/proc/4294/stat : 4294 (java) S 4291 4291 3746 0 -1 1077944320 12579 0 0 0 38 5 0 0 20 0 15 0 404972849 15373000704 22569 33554432000 4194304 4196468 140728488820064 140728488802608 139937934946039 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
/proc/4294/statm: 3753174 22569 3066 1 0 3715579 0
[pid=4294/tid=4295] ppid=4291 vsize=15012696 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/4294/task/4295/stat : 4295 (java) R 4291 4291 3746 0 -1 4202560 10127 0 0 0 26 3 0 0 20 0 15 0 404972850 15373000704 22569 33554432000 4194304 4196468 140728488820064 139937906758384 139937934959921 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4296] ppid=4291 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4296/stat : 4296 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972851 15373000704 22569 33554432000 4194304 4196468 140728488820064 139937939188112 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4297] ppid=4291 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4297/stat : 4297 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15373000704 22569 33554432000 4194304 4196468 140728488820064 139937753344272 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4298] ppid=4291 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4298/stat : 4298 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15373000704 22569 33554432000 4194304 4196468 140728488820064 139937394797200 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4299] ppid=4291 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4299/stat : 4299 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15373000704 22569 33554432000 4194304 4196468 140728488820064 139937393744400 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4300] ppid=4291 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4300/stat : 4300 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972853 15373000704 22569 33554432000 4194304 4196468 140728488820064 139936972618352 139937934957186 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4301] ppid=4291 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4301/stat : 4301 (java) S 4291 4291 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404972853 15373000704 22569 33554432000 4194304 4196468 140728488820064 139936476947744 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4302] ppid=4291 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4302/stat : 4302 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972853 15373000704 22569 33554432000 4194304 4196468 140728488820064 139936208512624 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4303] ppid=4291 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4303/stat : 4303 (java) S 4291 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15373000704 22569 33554432000 4194304 4196468 140728488820064 139935834004048 139937934964635 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4304] ppid=4291 vsize=15012696 memory=-7384621950708166502 CPUtime=0.02 cores=1,3,5,7
/proc/4294/task/4304/stat : 4304 (java) S 4291 4291 3746 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 404972856 15373000704 22569 33554432000 4194304 4196468 140728488820064 139936971565168 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4305] ppid=4291 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4294/task/4305/stat : 4305 (java) S 4291 4291 3746 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 15 0 404972856 15373000704 22569 33554432000 4194304 4196468 140728488820064 139936970512368 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4306] ppid=4291 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4294/task/4306/stat : 4306 (java) S 4291 4291 3746 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 15 0 404972856 15373000704 22569 33554432000 4194304 4196468 140728488820064 139936969460080 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4307] ppid=4291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4307/stat : 4307 (java) S 4291 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15373000704 22569 33554432000 4194304 4196468 140728488820064 139935336098272 139937934956245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4308] ppid=4291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4308/stat : 4308 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972856 15373000704 22569 33554432000 4194304 4196468 140728488820064 139936968407984 139937934957186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91672 KiB
[startup+0.700847 s]
/proc/loadavg: 2.04 2.73 4.53 3/236 4308
/proc/meminfo: memFree=15783228/32770624 swapFree=66997568/67108860
[pid=4291] ppid=4288 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4291/stat : 4291 (scop.sh) S 4288 4291 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404972849 115843072 349 33554432000 4194304 5098028 140727979543584 140727979540840 140137124258428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28086272 140727979549539 140727979549808 140727979549808 140727979552717 0
/proc/4291/statm: 28282 349 296 221 0 87 0
[pid=4294] ppid=4291 vsize=15018968 memory=129240 CPUtime=1.02 cores=1,3,5,7
/proc/4294/stat : 4294 (java) S 4291 4291 3746 0 -1 1077944320 20112 0 0 0 96 6 0 0 20 0 15 0 404972849 15379423232 32310 33554432000 4194304 4196468 140728488820064 140728488802608 139937934946039 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
/proc/4294/statm: 3754742 32310 3183 1 0 3716091 0
[pid=4294/tid=4295] ppid=4291 vsize=15018968 memory=297319296 CPUtime=0.67 cores=1,3,5,7
/proc/4294/task/4295/stat : 4295 (java) R 4291 4291 3746 0 -1 4202560 17161 0 0 0 62 5 0 0 20 0 15 0 404972850 15379423232 32310 33554432000 4194304 4196468 140728488820064 139937906773536 139937934967965 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4296] ppid=4291 vsize=15018968 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4296/stat : 4296 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972851 15379423232 32310 33554432000 4194304 4196468 140728488820064 139937939188112 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4297] ppid=4291 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4297/stat : 4297 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15379423232 32310 33554432000 4194304 4196468 140728488820064 139937753344272 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4298] ppid=4291 vsize=15018968 memory=9140 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4298/stat : 4298 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15379423232 32310 33554432000 4194304 4196468 140728488820064 139937394797200 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4299] ppid=4291 vsize=15018968 memory=22711 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4299/stat : 4299 (java) S 4291 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972851 15379423232 32310 33554432000 4194304 4196468 140728488820064 139937393744400 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4300] ppid=4291 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4300/stat : 4300 (java) S 4291 4291 3746 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404972853 15379423232 32310 33554432000 4194304 4196468 140728488820064 139936972618352 139937934957186 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4301] ppid=4291 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4301/stat : 4301 (java) S 4291 4291 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404972853 15379423232 32310 33554432000 4194304 4196468 140728488820064 139936476947744 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4302] ppid=4291 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4302/stat : 4302 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972853 15379423232 32310 33554432000 4194304 4196468 140728488820064 139936208512624 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4303] ppid=4291 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4303/stat : 4303 (java) S 4291 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15379423232 32310 33554432000 4194304 4196468 140728488820064 139935834004048 139937934964635 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4304] ppid=4291 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4294/task/4304/stat : 4304 (java) S 4291 4291 3746 0 -1 1077944384 613 0 0 0 8 0 0 0 20 0 15 0 404972856 15379423232 32310 33554432000 4194304 4196468 140728488820064 139936971565168 139937934957186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4305] ppid=4291 vsize=15018968 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4294/task/4305/stat : 4305 (java) R 4291 4291 3746 0 -1 4202560 423 0 0 0 9 0 0 0 20 0 15 0 404972856 15379423232 32310 33554432000 4194304 4196468 140728488820064 139936970512368 139937934967386 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4306] ppid=4291 vsize=15018968 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4294/task/4306/stat : 4306 (java) S 4291 4291 3746 0 -1 1077944384 580 0 0 0 15 0 0 0 20 0 15 0 404972856 15379423232 32310 33554432000 4194304 4196468 140728488820064 139936969460080 139937934957186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4307] ppid=4291 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4307/stat : 4307 (java) S 4291 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15379423232 32310 33554432000 4194304 4196468 140728488820064 139935336098272 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4308] ppid=4291 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4308/stat : 4308 (java) S 4291 4291 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404972856 15379423232 32310 33554432000 4194304 4196468 140728488820064 139936968407984 139937934957186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130636 KiB
[startup+1.50083 s]
/proc/loadavg: 2.04 2.73 4.53 5/236 4308
/proc/meminfo: memFree=15669296/32770624 swapFree=66997568/67108860
[pid=4291] ppid=4288 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4291/stat : 4291 (scop.sh) S 4288 4291 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404972849 115843072 349 33554432000 4194304 5098028 140727979543584 140727979540840 140137124258428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28086272 140727979549539 140727979549808 140727979549808 140727979552717 0
/proc/4291/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+980.801 s]
/proc/loadavg: 4.28 3.92 3.92 6/233 4395
/proc/meminfo: memFree=3796580/32770624 swapFree=66997568/67108860
[pid=4294] ppid=4288 vsize=15025188 memory=12069148 CPUtime=2522.52 cores=1,3,5,7
/proc/4294/stat : 4294 (java) S 4288 4291 3746 0 -1 1077944320 264178 0 0 0 251223 1029 0 0 20 0 15 0 404972849 15385792512 3017287 33554432000 4194304 4196468 140728488820064 140728488802608 139937934946039 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
/proc/4294/statm: 3756297 3017287 3302 1 0 3717627 0
[pid=4294/tid=4295] ppid=4288 vsize=15025188 memory=2832 CPUtime=450.2 cores=1,3,5,7
/proc/4294/task/4295/stat : 4295 (java) S 4288 4291 3746 0 -1 1077944384 55989 0 0 0 44966 54 0 0 20 0 15 0 404972850 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937906775744 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4296] ppid=4288 vsize=15025188 memory=7984 CPUtime=515.31 cores=1,3,5,7
/proc/4294/task/4296/stat : 4296 (java) R 4288 4291 3746 0 -1 4202560 20862 0 0 0 51294 237 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937939188312 139937919646797 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4297] ppid=4288 vsize=15025188 memory=8112282956445269571 CPUtime=514.6 cores=1,3,5,7
/proc/4294/task/4297/stat : 4297 (java) R 4288 4291 3746 0 -1 4202560 23529 0 0 0 51215 245 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937753344080 139937927574247 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4298] ppid=4288 vsize=15025188 memory=2596 CPUtime=512.69 cores=1,3,5,7
/proc/4294/task/4298/stat : 4298 (java) R 4288 4291 3746 0 -1 4202560 20338 0 0 0 51021 248 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937394797008 139937927574247 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4299] ppid=4288 vsize=15025188 memory=1412 CPUtime=515.9 cores=1,3,5,7
/proc/4294/task/4299/stat : 4299 (java) R 4288 4291 3746 0 -1 4202560 27592 0 0 0 51371 219 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937393744520 139937927574247 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4300] ppid=4288 vsize=15025188 memory=8112282956445269571 CPUtime=4.09 cores=1,3,5,7
/proc/4294/task/4300/stat : 4300 (java) S 4288 4291 3746 0 -1 1077944384 81539 0 0 0 405 4 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936972616896 139937934956245 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4301] ppid=4288 vsize=15025188 memory=12069148 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4301/stat : 4301 (java) S 4288 4291 3746 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936476947808 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4302] ppid=4288 vsize=15025188 memory=288292181687665935 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4302/stat : 4302 (java) S 4288 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936208512640 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4303] ppid=4288 vsize=15025188 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4303/stat : 4303 (java) S 4288 4291 3746 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139935834003696 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4304] ppid=4288 vsize=15025188 memory=712 CPUtime=4.21 cores=1,3,5,7
/proc/4294/task/4304/stat : 4304 (java) S 4288 4291 3746 0 -1 1077944384 10000 0 0 0 417 4 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936971565216 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4305] ppid=4288 vsize=15025188 memory=2832 CPUtime=3.94 cores=1,3,5,7
/proc/4294/task/4305/stat : 4305 (java) S 4288 4291 3746 0 -1 1077944384 10905 0 0 0 393 1 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936970512128 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4306] ppid=4288 vsize=15025188 memory=7984 CPUtime=0.93 cores=1,3,5,7
/proc/4294/task/4306/stat : 4306 (java) S 4288 4291 3746 0 -1 1077944384 11508 0 0 0 91 2 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936969460128 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4307] ppid=4288 vsize=15025188 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4307/stat : 4307 (java) S 4288 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139935336098272 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4308] ppid=4288 vsize=15025188 memory=8112282956445269571 CPUtime=0.55 cores=1,3,5,7
/proc/4294/task/4308/stat : 4308 (java) S 4288 4291 3746 0 -1 1077944384 588 0 0 0 33 22 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936968407984 139937934957186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
Current cumulated CPU time of completed processes: 0.003355 s
Current children cumulated CPU time: 2522.52 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12069148 KiB
[startup+981.601 s]
/proc/loadavg: 4.28 3.92 3.92 6/233 4395
/proc/meminfo: memFree=3796580/32770624 swapFree=66997568/67108860
[pid=4294] ppid=4288 vsize=15025188 memory=12069148 CPUtime=2525.6 cores=1,3,5,7
/proc/4294/stat : 4294 (java) S 4288 4291 3746 0 -1 1077944320 264188 0 0 0 251530 1030 0 0 20 0 15 0 404972849 15385792512 3017287 33554432000 4194304 4196468 140728488820064 140728488802608 139937934946039 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
/proc/4294/statm: 3756297 3017287 3302 1 0 3717627 0
[pid=4294/tid=4295] ppid=4288 vsize=15025188 memory=932 CPUtime=450.2 cores=1,3,5,7
/proc/4294/task/4295/stat : 4295 (java) S 4288 4291 3746 0 -1 1077944384 55989 0 0 0 44966 54 0 0 20 0 15 0 404972850 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937906775744 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4296] ppid=4288 vsize=15025188 memory=1732 CPUtime=516.11 cores=1,3,5,7
/proc/4294/task/4296/stat : 4296 (java) R 4288 4291 3746 0 -1 4202560 20872 0 0 0 51374 237 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937939188312 139937919944107 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4297] ppid=4288 vsize=15025188 memory=1444 CPUtime=515.36 cores=1,3,5,7
/proc/4294/task/4297/stat : 4297 (java) R 4288 4291 3746 0 -1 4202560 23529 0 0 0 51291 245 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937753344392 139937927574247 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4298] ppid=4288 vsize=15025188 memory=3612 CPUtime=513.46 cores=1,3,5,7
/proc/4294/task/4298/stat : 4298 (java) R 4288 4291 3746 0 -1 4202560 20338 0 0 0 51097 249 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937394797008 139937927574247 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4299] ppid=4288 vsize=15025188 memory=36544 CPUtime=516.65 cores=1,3,5,7
/proc/4294/task/4299/stat : 4299 (java) R 4288 4291 3746 0 -1 4202560 27592 0 0 0 51446 219 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937393744208 139937927574247 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4300] ppid=4288 vsize=15025188 memory=988 CPUtime=4.09 cores=1,3,5,7
/proc/4294/task/4300/stat : 4300 (java) S 4288 4291 3746 0 -1 1077944384 81539 0 0 0 405 4 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936972616896 139937934956245 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4301] ppid=4288 vsize=15025188 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4301/stat : 4301 (java) S 4288 4291 3746 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936476947808 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4302] ppid=4288 vsize=15025188 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4302/stat : 4302 (java) S 4288 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936208512640 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4303] ppid=4288 vsize=15025188 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4303/stat : 4303 (java) S 4288 4291 3746 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139935834003696 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4304] ppid=4288 vsize=15025188 memory=1044 CPUtime=4.21 cores=1,3,5,7
/proc/4294/task/4304/stat : 4304 (java) S 4288 4291 3746 0 -1 1077944384 10000 0 0 0 417 4 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936971565216 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4305] ppid=4288 vsize=15025188 memory=712 CPUtime=3.94 cores=1,3,5,7
/proc/4294/task/4305/stat : 4305 (java) S 4288 4291 3746 0 -1 1077944384 10905 0 0 0 393 1 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936970512128 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4306] ppid=4288 vsize=15025188 memory=2832 CPUtime=0.93 cores=1,3,5,7
/proc/4294/task/4306/stat : 4306 (java) S 4288 4291 3746 0 -1 1077944384 11508 0 0 0 91 2 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936969460128 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4307] ppid=4288 vsize=15025188 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4307/stat : 4307 (java) S 4288 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139935336098272 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4308] ppid=4288 vsize=15025188 memory=776 CPUtime=0.55 cores=1,3,5,7
/proc/4294/task/4308/stat : 4308 (java) S 4288 4291 3746 0 -1 1077944384 588 0 0 0 33 22 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936968407984 139937934957186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
Current cumulated CPU time of completed processes: 0.003355 s
Current children cumulated CPU time: 2525.6 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12069148 KiB
[startup+982.001 s]*
/proc/loadavg: 4.34 3.94 3.92 6/233 4395
/proc/meminfo: memFree=3796580/32770624 swapFree=66997568/67108860
[pid=4294] ppid=4288 vsize=15025188 memory=12069148 CPUtime=2527.17 cores=1,3,5,7
/proc/4294/stat : 4294 (java) S 4288 4291 3746 0 -1 1077944320 264195 0 0 0 251687 1030 0 0 20 0 15 0 404972849 15385792512 3017287 33554432000 4194304 4196468 140728488820064 140728488802608 139937934946039 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
/proc/4294/statm: 3756297 3017287 3302 1 0 3717627 0
[pid=4294/tid=4295] ppid=4288 vsize=15025188 memory=1398722017469774279 CPUtime=450.2 cores=1,3,5,7
/proc/4294/task/4295/stat : 4295 (java) S 4288 4291 3746 0 -1 1077944384 55989 0 0 0 44966 54 0 0 20 0 15 0 404972850 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937906775744 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4296] ppid=4288 vsize=15025188 memory=4126316290023845779 CPUtime=516.52 cores=1,3,5,7
/proc/4294/task/4296/stat : 4296 (java) R 4288 4291 3746 0 -1 4202560 20879 0 0 0 51415 237 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937939188312 139937916555787 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4297] ppid=4288 vsize=15025188 memory=111636 CPUtime=515.74 cores=1,3,5,7
/proc/4294/task/4297/stat : 4297 (java) R 4288 4291 3746 0 -1 4202560 23529 0 0 0 51329 245 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937753344392 139937927574247 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4298] ppid=4288 vsize=15025188 memory=804 CPUtime=513.85 cores=1,3,5,7
/proc/4294/task/4298/stat : 4298 (java) R 4288 4291 3746 0 -1 4202560 20338 0 0 0 51136 249 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937394797320 139937927574247 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4299] ppid=4288 vsize=15025188 memory=4100 CPUtime=517.05 cores=1,3,5,7
/proc/4294/task/4299/stat : 4299 (java) R 4288 4291 3746 0 -1 4202560 27592 0 0 0 51486 219 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937393744208 139937918329074 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4300] ppid=4288 vsize=15025188 memory=1804 CPUtime=4.09 cores=1,3,5,7
/proc/4294/task/4300/stat : 4300 (java) S 4288 4291 3746 0 -1 1077944384 81539 0 0 0 405 4 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936972616896 139937934956245 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4301] ppid=4288 vsize=15025188 memory=916 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4301/stat : 4301 (java) S 4288 4291 3746 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936476947808 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4302] ppid=4288 vsize=15025188 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4302/stat : 4302 (java) S 4288 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936208512640 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4303] ppid=4288 vsize=15025188 memory=2304 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4303/stat : 4303 (java) S 4288 4291 3746 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139935834003696 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4304] ppid=4288 vsize=15025188 memory=2596 CPUtime=4.21 cores=1,3,5,7
/proc/4294/task/4304/stat : 4304 (java) S 4288 4291 3746 0 -1 1077944384 10000 0 0 0 417 4 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936971565216 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4305] ppid=4288 vsize=15025188 memory=1412 CPUtime=3.94 cores=1,3,5,7
/proc/4294/task/4305/stat : 4305 (java) S 4288 4291 3746 0 -1 1077944384 10905 0 0 0 393 1 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936970512128 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4306] ppid=4288 vsize=15025188 memory=3404 CPUtime=0.93 cores=1,3,5,7
/proc/4294/task/4306/stat : 4306 (java) S 4288 4291 3746 0 -1 1077944384 11508 0 0 0 91 2 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936969460128 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4307] ppid=4288 vsize=15025188 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4307/stat : 4307 (java) S 4288 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139935336098272 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4308] ppid=4288 vsize=15025188 memory=151536 CPUtime=0.55 cores=1,3,5,7
/proc/4294/task/4308/stat : 4308 (java) S 4288 4291 3746 0 -1 1077944384 588 0 0 0 33 22 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936968407984 139937934957186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
Current cumulated CPU time of completed processes: 0.003355 s
Current children cumulated CPU time: 2527.17 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12069148 KiB
[startup+982.201 s]
/proc/loadavg: 4.34 3.94 3.92 6/233 4395
/proc/meminfo: memFree=3796580/32770624 swapFree=66997568/67108860
[pid=4294] ppid=4288 vsize=15025188 memory=12069148 CPUtime=2527.91 cores=1,3,5,7
/proc/4294/stat : 4294 (java) S 4288 4291 3746 0 -1 1077944320 264195 0 0 0 251761 1030 0 0 20 0 15 0 404972849 15385792512 3017287 33554432000 4194304 4196468 140728488820064 140728488802608 139937934946039 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
/proc/4294/statm: 3756297 3017287 3302 1 0 3717627 0
[pid=4294/tid=4295] ppid=4288 vsize=15025188 memory=301741403506213173 CPUtime=450.2 cores=1,3,5,7
/proc/4294/task/4295/stat : 4295 (java) S 4288 4291 3746 0 -1 1077944384 55989 0 0 0 44966 54 0 0 20 0 15 0 404972850 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937906775744 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4296] ppid=4288 vsize=15025188 memory=13567089545840104 CPUtime=516.71 cores=1,3,5,7
/proc/4294/task/4296/stat : 4296 (java) R 4288 4291 3746 0 -1 4202560 20879 0 0 0 51434 237 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937939188312 139937919646735 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4297] ppid=4288 vsize=15025188 memory=1760 CPUtime=515.92 cores=1,3,5,7
/proc/4294/task/4297/stat : 4297 (java) R 4288 4291 3746 0 -1 4202560 23529 0 0 0 51347 245 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937753344392 139937927574247 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4298] ppid=4288 vsize=15025188 memory=111636 CPUtime=514.03 cores=1,3,5,7
/proc/4294/task/4298/stat : 4298 (java) R 4288 4291 3746 0 -1 4202560 20338 0 0 0 51154 249 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937394797008 139937927574247 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4299] ppid=4288 vsize=15025188 memory=804 CPUtime=517.23 cores=1,3,5,7
/proc/4294/task/4299/stat : 4299 (java) R 4288 4291 3746 0 -1 4202560 27592 0 0 0 51504 219 0 0 20 0 15 0 404972851 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139937393744208 139937927574247 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4300] ppid=4288 vsize=15025188 memory=4100 CPUtime=4.09 cores=1,3,5,7
/proc/4294/task/4300/stat : 4300 (java) S 4288 4291 3746 0 -1 1077944384 81539 0 0 0 405 4 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936972616896 139937934956245 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4301] ppid=4288 vsize=15025188 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4301/stat : 4301 (java) S 4288 4291 3746 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936476947808 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4302] ppid=4288 vsize=15025188 memory=916 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4302/stat : 4302 (java) S 4288 4291 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404972853 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936208512640 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4303] ppid=4288 vsize=15025188 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4303/stat : 4303 (java) S 4288 4291 3746 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139935834003696 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4304] ppid=4288 vsize=15025188 memory=2304 CPUtime=4.21 cores=1,3,5,7
/proc/4294/task/4304/stat : 4304 (java) S 4288 4291 3746 0 -1 1077944384 10000 0 0 0 417 4 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936971565216 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4305] ppid=4288 vsize=15025188 memory=2596 CPUtime=3.94 cores=1,3,5,7
/proc/4294/task/4305/stat : 4305 (java) S 4288 4291 3746 0 -1 1077944384 10905 0 0 0 393 1 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936970512128 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4306] ppid=4288 vsize=15025188 memory=1412 CPUtime=0.93 cores=1,3,5,7
/proc/4294/task/4306/stat : 4306 (java) S 4288 4291 3746 0 -1 1077944384 11508 0 0 0 91 2 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936969460128 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4307] ppid=4288 vsize=15025188 memory=3404 CPUtime=0 cores=1,3,5,7
/proc/4294/task/4307/stat : 4307 (java) S 4288 4291 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139935336098272 139937934956245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
[pid=4294/tid=4308] ppid=4288 vsize=15025188 memory=1981052 CPUtime=0.55 cores=1,3,5,7
/proc/4294/task/4308/stat : 4308 (java) S 4288 4291 3746 0 -1 1077944384 588 0 0 0 33 22 0 0 20 0 15 0 404972856 15385792512 3017287 33554432000 4194304 4196468 140728488820064 139936968407984 139937934957186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140728488821546 140728488821914 140728488821914 140728488824783 0
Current cumulated CPU time of completed processes: 0.003355 s
Current children cumulated CPU time: 2527.91 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12069148 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 982.257
CPU time (s): 2527.99
CPU user time (s): 2517.63
CPU system time (s): 10.3622
CPU usage (%): 257.366
Max. virtual memory (cumulated for all children) (KiB): 15138316
Max. memory (cumulated for all children) (KiB): 12070544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.63
system time used= 10.3622
maximum resident set size= 12069324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265302
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59354
involuntary context switches= 31985
# summary of solver processes directly reported to runsolver:
# pid: 4291,4294
# total CPU time (s): 2527.99
# total CPU user time (s): 2517.63
# total CPU system time (s): 10.3622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96284 second user time and 10.274 second system time
The end