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 (5045 MiB free)
memory of node 1: 16384 MiB (3212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402705-1568984756/watcher-4402705-1568984756 -o /var/tmp/evaluation-result-4402705-1568984756/solver-4402705-1568984756 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568967595-31372 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1467329244 HOME/instance-4402705-1568984756.xml
running on 4 cores: 0,2,4,6
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=4136, runsolver pid=4133
[startup+0.100062 s]*
/proc/loadavg: 1.37 1.41 1.37 3/219 4193
/proc/meminfo: memFree=8450676/32770624 swapFree=66972196/67108860
[pid=4136] ppid=4133 vsize=9972712 memory=16812 CPUtime=0.1 cores=0,2,4,6
/proc/4136/stat : 4136 (java) S 4133 4136 31341 0 -1 1077944320 4447 13141 0 0 1 1 5 3 20 0 6 0 474417473 10212057088 4203 33554432000 4194304 4196468 140727690612064 140727690594608 140621766389495 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
/proc/4136/statm: 2493178 4203 1934 1 0 2481616 0
[pid=4136/tid=4189] ppid=4133 vsize=9972712 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/4136/task/4189/stat : 4189 (java) R 4133 4136 31341 0 -1 4202560 2290 13141 0 0 1 0 5 3 20 0 6 0 474417482 10212057088 4269 33554432000 4194304 4196468 140727690612064 140621738226256 140621758626622 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4190] ppid=4133 vsize=9972712 memory=5792869726567804975 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4190/stat : 4190 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 6 0 474417482 10212057088 4269 33554432000 4194304 4196468 140727690612064 140621770632336 140621766399701 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4191] ppid=4133 vsize=9972712 memory=139886161323648 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4191/stat : 4191 (java) S 4133 4136 31341 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 6 0 474417482 10212057088 4269 33554432000 4194304 4196468 140727690612064 140621339683856 140621766399701 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4192] ppid=4133 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4192/stat : 4192 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 6 0 474417482 10212057088 4269 33554432000 4194304 4196468 140727690612064 140621338631056 140621766399701 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4193] ppid=4133 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4193/stat : 4193 (java) S 4133 4136 31341 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 6 0 474417482 10212057088 4269 33554432000 4194304 4196468 140727690612064 140621337578256 140621766399701 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210143 s]*
/proc/loadavg: 1.37 1.41 1.37 3/228 4202
/proc/meminfo: memFree=8428560/32770624 swapFree=66972196/67108860
[pid=4136] ppid=4133 vsize=10820164 memory=43944 CPUtime=0.26 cores=0,2,4,6
/proc/4136/stat : 4136 (java) S 4133 4136 31341 0 -1 1077944320 7456 13141 0 0 17 1 5 3 20 0 15 0 474417473 11079847936 10986 33554432000 4194304 4196468 140727690612064 140727690594608 140621766389495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
/proc/4136/statm: 2705041 10986 3258 1 0 2667149 0
[pid=4136/tid=4189] ppid=4133 vsize=10820196 memory=-8171376296011865461 CPUtime=0.19 cores=0,2,4,6
/proc/4136/task/4189/stat : 4189 (java) R 4133 4136 31341 0 -1 4202560 3978 13141 0 0 11 0 5 3 20 0 15 0 474417482 11079880704 10986 33554432000 4194304 4196468 140727690612064 140621738200528 140621766411421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4190] ppid=4133 vsize=10820196 memory=5792869726567804975 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4190/stat : 4190 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417482 11079880704 10986 33554432000 4194304 4196468 140727690612064 140621770632336 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4191] ppid=4133 vsize=10820196 memory=139886161323648 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4191/stat : 4191 (java) S 4133 4136 31341 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 474417482 11079880704 10986 33554432000 4194304 4196468 140727690612064 140621339683856 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4192] ppid=4133 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4192/stat : 4192 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417482 11079880704 10986 33554432000 4194304 4196468 140727690612064 140621338631056 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4193] ppid=4133 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4193/stat : 4193 (java) S 4133 4136 31341 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 474417482 11079880704 10986 33554432000 4194304 4196468 140727690612064 140621337578256 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4194] ppid=4133 vsize=10820196 memory=139886161323648 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4194/stat : 4194 (java) S 4133 4136 31341 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 474417484 11079880704 10986 33554432000 4194304 4196468 140727690612064 140621225781616 140621766400642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4195] ppid=4133 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4195/stat : 4195 (java) S 4133 4136 31341 0 -1 1077944384 33 13141 0 0 0 0 5 3 20 0 15 0 474417484 11079880704 10986 33554432000 4194304 4196468 140727690612064 140621224727584 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4196] ppid=4133 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4196/stat : 4196 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417485 11079880704 10986 33554432000 4194304 4196468 140727690612064 140620651815792 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4197] ppid=4133 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4197/stat : 4197 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417487 11079880704 10986 33554432000 4194304 4196468 140727690612064 140620344416080 140621766408091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4198] ppid=4133 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4136/task/4198/stat : 4198 (java) R 4133 4136 31341 0 -1 4202560 457 13141 0 0 1 0 5 3 20 0 15 0 474417487 11079880704 10986 33554432000 4194304 4196468 140727690612064 140621191170928 140621746044730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4199] ppid=4133 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/4136/task/4199/stat : 4199 (java) S 4133 4136 31341 0 -1 1077944384 193 13141 0 0 1 0 5 3 20 0 15 0 474417487 11079880704 10986 33554432000 4194304 4196468 140727690612064 140621190118128 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4200] ppid=4133 vsize=10820196 memory=139886161323648 CPUtime=0.11 cores=0,2,4,6
/proc/4136/task/4200/stat : 4200 (java) R 4133 4136 31341 0 -1 1077944384 596 13141 0 0 3 0 5 3 20 0 15 0 474417487 11079880704 10986 33554432000 4194304 4196468 140727690612064 140620732557936 140621766400642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4201] ppid=4133 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4201/stat : 4201 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417488 11079880704 10986 33554432000 4194304 4196468 140727690612064 140620310858464 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4202] ppid=4133 vsize=10820196 memory=139886161323648 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4202/stat : 4202 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417488 11079880704 10986 33554432000 4194304 4196468 140727690612064 140620731505328 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 43944 KiB
[startup+0.311137 s]*
/proc/loadavg: 1.37 1.41 1.37 4/228 4202
/proc/meminfo: memFree=8416592/32770624 swapFree=66972196/67108860
[pid=4136] ppid=4133 vsize=10820196 memory=52396 CPUtime=0.41 cores=0,2,4,6
/proc/4136/stat : 4136 (java) S 4133 4136 31341 0 -1 1077944320 10828 13141 0 0 30 3 5 3 20 0 15 0 474417473 11079880704 13099 33554432000 4194304 4196468 140727690612064 140727690594608 140621766389495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
/proc/4136/statm: 2705049 13099 3312 1 0 2667149 0
[pid=4136/tid=4189] ppid=4133 vsize=10820196 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/4136/task/4189/stat : 4189 (java) R 4133 4136 31341 0 -1 4202560 7317 13141 0 0 19 2 5 3 20 0 15 0 474417482 11079880704 13099 33554432000 4194304 4196468 140727690612064 140621738193488 140621750433125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4190] ppid=4133 vsize=10820196 memory=-2843871798619653278 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4190/stat : 4190 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417482 11079880704 13099 33554432000 4194304 4196468 140727690612064 140621770632336 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4191] ppid=4133 vsize=10820196 memory=-8412656567334364540 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4191/stat : 4191 (java) S 4133 4136 31341 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 474417482 11079880704 13099 33554432000 4194304 4196468 140727690612064 140621339683856 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4192] ppid=4133 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4192/stat : 4192 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417482 11079880704 13099 33554432000 4194304 4196468 140727690612064 140621338631056 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4193] ppid=4133 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4193/stat : 4193 (java) S 4133 4136 31341 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 474417482 11079880704 13099 33554432000 4194304 4196468 140727690612064 140621337578256 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4194] ppid=4133 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4194/stat : 4194 (java) S 4133 4136 31341 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 474417484 11079880704 13099 33554432000 4194304 4196468 140727690612064 140621225781616 140621766400642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4195] ppid=4133 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4195/stat : 4195 (java) S 4133 4136 31341 0 -1 1077944384 33 13141 0 0 0 0 5 3 20 0 15 0 474417484 11079880704 13099 33554432000 4194304 4196468 140727690612064 140621224727584 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4196] ppid=4133 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4196/stat : 4196 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417485 11079880704 13099 33554432000 4194304 4196468 140727690612064 140620651815792 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4197] ppid=4133 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4197/stat : 4197 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417487 11079880704 13099 33554432000 4194304 4196468 140727690612064 140620344416080 140621766408091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4198] ppid=4133 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4136/task/4198/stat : 4198 (java) S 4133 4136 31341 0 -1 1077944384 467 13141 0 0 2 0 5 3 20 0 15 0 474417487 11079880704 13099 33554432000 4194304 4196468 140727690612064 140621191170928 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4199] ppid=4133 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4136/task/4199/stat : 4199 (java) S 4133 4136 31341 0 -1 1077944384 194 13141 0 0 2 0 5 3 20 0 15 0 474417487 11079880704 13099 33554432000 4194304 4196468 140727690612064 140621190118128 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4200] ppid=4133 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4136/task/4200/stat : 4200 (java) S 4133 4136 31341 0 -1 1077944384 604 13141 0 0 5 0 5 3 20 0 15 0 474417487 11079880704 13099 33554432000 4194304 4196468 140727690612064 140620732557936 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4201] ppid=4133 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4201/stat : 4201 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417488 11079880704 13099 33554432000 4194304 4196468 140727690612064 140620310858464 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4202] ppid=4133 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4202/stat : 4202 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417488 11079880704 13099 33554432000 4194304 4196468 140727690612064 140620731505328 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52396 KiB
[startup+0.701169 s]
/proc/loadavg: 1.37 1.41 1.37 4/228 4202
/proc/meminfo: memFree=8401556/32770624 swapFree=66972196/67108860
[pid=4136] ppid=4133 vsize=10824364 memory=85828 CPUtime=1.16 cores=0,2,4,6
/proc/4136/stat : 4136 (java) S 4133 4136 31341 0 -1 1077944320 15137 13141 0 0 103 5 5 3 20 0 15 0 474417473 11084148736 21457 33554432000 4194304 4196468 140727690612064 140727690594608 140621766389495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
/proc/4136/statm: 2706091 21457 3514 1 0 2668173 0
[pid=4136/tid=4189] ppid=4133 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4136/task/4189/stat : 4189 (java) R 4133 4136 31341 0 -1 4202560 10495 13141 0 0 56 3 5 3 20 0 15 0 474417482 11084148736 21457 33554432000 4194304 4196468 140727690612064 140621738197888 140621339837720 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4190] ppid=4133 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4190/stat : 4190 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417482 11084148736 21457 33554432000 4194304 4196468 140727690612064 140621770632336 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4191] ppid=4133 vsize=10824364 memory=8174711894690969397 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4191/stat : 4191 (java) S 4133 4136 31341 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 474417482 11084148736 21457 33554432000 4194304 4196468 140727690612064 140621339683856 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4192] ppid=4133 vsize=10824364 memory=6297809512244072793 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4192/stat : 4192 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417482 11084148736 21457 33554432000 4194304 4196468 140727690612064 140621338631056 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4193] ppid=4133 vsize=10824364 memory=6368442160687370338 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4193/stat : 4193 (java) S 4133 4136 31341 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 474417482 11084148736 21457 33554432000 4194304 4196468 140727690612064 140621337578256 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4194] ppid=4133 vsize=10824364 memory=3053511329498284128 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4194/stat : 4194 (java) S 4133 4136 31341 0 -1 1077944384 5 13141 0 0 0 0 5 3 20 0 15 0 474417484 11084148736 21457 33554432000 4194304 4196468 140727690612064 140621225781616 140621766400642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4195] ppid=4133 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4195/stat : 4195 (java) S 4133 4136 31341 0 -1 1077944384 33 13141 0 0 0 0 5 3 20 0 15 0 474417484 11084148736 21457 33554432000 4194304 4196468 140727690612064 140621224727584 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4196] ppid=4133 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4196/stat : 4196 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417485 11084148736 21457 33554432000 4194304 4196468 140727690612064 140620651815792 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4197] ppid=4133 vsize=10824364 memory=3612 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4197/stat : 4197 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417487 11084148736 21457 33554432000 4194304 4196468 140727690612064 140620344416080 140621766408091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4198] ppid=4133 vsize=10824364 memory=2241 CPUtime=0.2 cores=0,2,4,6
/proc/4136/task/4198/stat : 4198 (java) R 4133 4136 31341 0 -1 4202560 914 13141 0 0 12 0 5 3 20 0 15 0 474417487 11084148736 21457 33554432000 4194304 4196468 140727690612064 140621191170928 140621747933648 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4199] ppid=4133 vsize=10824364 memory=2244 CPUtime=0.23 cores=0,2,4,6
/proc/4136/task/4199/stat : 4199 (java) S 4133 4136 31341 0 -1 1077944384 674 13141 0 0 15 0 5 3 20 0 15 0 474417487 11084148736 21457 33554432000 4194304 4196468 140727690612064 140621190118128 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4200] ppid=4133 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/4136/task/4200/stat : 4200 (java) S 4133 4136 31341 0 -1 1077944384 799 13141 0 0 17 0 5 3 20 0 15 0 474417487 11084148736 21457 33554432000 4194304 4196468 140727690612064 140620732557936 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4201] ppid=4133 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4201/stat : 4201 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417488 11084148736 21457 33554432000 4194304 4196468 140727690612064 140620310858464 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4202] ppid=4133 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4202/stat : 4202 (java) S 4133 4136 31341 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 474417488 11084148736 21457 33554432000 4194304 4196468 140727690612064 140620731505328 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85828 KiB
[startup+1.50074 s]
/proc/loadavg: 1.37 1.41 1.37 6/228 4202
/proc/meminfo: memFree=8356344/32770624 swapFree=66972196/67108860
[pid=4136] ppid=4133 vsize=10828536 memory=222924 CPUtime=3.68 cores=0,2,4,6
/proc/4136/stat : 4136 (java) S 4133 4136 31341 0 -1 1077944320 23851 13141 0 0 350 10 5 3 20 0 15 0 474417473 11088420864 55731 33554432000 4194304 4196468 140727690612064 140727690594608 140621766389495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
/proc/4136/statm: 2707134 55731 3574 1 0 2669197 0
[pid=4136/tid=4189] ppid=4133 vsize=10828536 memory=166 CPUtime=1.44 cores=0,2,4,6
/proc/4136/task/4189/stat : 4189 (java) R 4133 4136 31341 0 -1 4202560 13958 13141 0 0 130 6 5 3 20 0 15 0 474417482 11088420864 55731 33554432000 4194304 4196468 140727690612064 140621738197472 140621750469982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4190] ppid=4133 vsize=10828536 memory=79 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4190/stat : 4190 (java) S 4133 4136 31341 0 -1 1077944384 14 13141 0 0 0 0 5 3 20 0 15 0 474417482 11088420864 55731 33554432000 4194304 4196468 140727690612064 140621770632336 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4191] ppid=4133 vsize=10828536 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4191/stat : 4191 (java) S 4133 4136 31341 0 -1 1077944384 20 13141 0 0 0 0 5 3 20 0 15 0 474417482 11088420864 55731 33554432000 4194304 4196468 140727690612064 140621339683856 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4192] ppid=4133 vsize=10828536 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4192/stat : 4192 (java) S 4133 4136 31341 0 -1 1077944384 260 13141 0 0 0 0 5 3 20 0 15 0 474417482 11088420864 55731 33554432000 4194304 4196468 140727690612064 140621338631056 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4193] ppid=4133 vsize=10828536 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4193/stat : 4193 (java) S 4133 4136 31341 0 -1 1077944384 110 13141 0 0 0 0 5 3 20 0 15 0 474417482 11088420864 55731 33554432000 4194304 4196468 140727690612064 140621337578256 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4194] ppid=4133 vsize=10828536 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4194/stat : 4194 (java) S 4133 4136 31341 0 -1 1077944384 93 13141 0 0 0 0 5 3 20 0 15 0 474417484 11088420864 55731 33554432000 4194304 4196468 140727690612064 140621225781616 140621766400642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4195] ppid=4133 vsize=10828536 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4195/stat : 4195 (java) S 4133 4136 31341 0 -1 1077944384 34 13141 0 0 0 0 5 3 20 0 15 0 474417484 11088420864 55731 33554432000 4194304 4196468 140727690612064 140621224727584 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4196] ppid=4133 vsize=10828536 memory=7445382945282745699 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4196/stat : 4196 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417485 11088420864 55731 33554432000 4194304 4196468 140727690612064 140620651815792 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4197] ppid=4133 vsize=10828536 memory=-2245088631185882904 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4197/stat : 4197 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417487 11088420864 55731 33554432000 4194304 4196468 140727690612064 140620344416080 140621766408091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4198] ppid=4133 vsize=10828536 memory=8594178284291729050 CPUtime=0.89 cores=0,2,4,6
/proc/4136/task/4198/stat : 4198 (java) S 4133 4136 31341 0 -1 1077944384 2540 13141 0 0 81 0 5 3 20 0 15 0 474417487 11088420864 55731 33554432000 4194304 4196468 140727690612064 140621191170928 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4199] ppid=4133 vsize=10828536 memory=-6581822153288104794 CPUtime=0.94 cores=0,2,4,6
/proc/4136/task/4199/stat : 4199 (java) R 4133 4136 31341 0 -1 4202560 2566 13141 0 0 86 0 5 3 20 0 15 0 474417487 11088420864 55731 33554432000 4194304 4196468 140727690612064 140621190107120 140621749886279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4200] ppid=4133 vsize=10828536 memory=-1088251628401078322 CPUtime=0.55 cores=0,2,4,6
/proc/4136/task/4200/stat : 4200 (java) S 4133 4136 31341 0 -1 1077944384 2041 13141 0 0 47 0 5 3 20 0 15 0 474417487 11088420864 55731 33554432000 4194304 4196468 140727690612064 140620732557936 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4201] ppid=4133 vsize=10828536 memory=-1807685287717842718 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4201/stat : 4201 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417488 11088420864 55731 33554432000 4194304 4196468 140727690612064 140620310858464 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4202] ppid=4133 vsize=10828536 memory=279772022282264 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4202/stat : 4202 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417488 11088420864 55731 33554432000 4194304 4196468 140727690612064 140620731505328 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
Current children cumulated CPU time: 3.68 s
Current children cumulated vsize: 10828536 KiB
################
# More data... #
################
/proc/4136/task/4189/stat : 4189 (java) R 4133 4136 31341 0 -1 4202560 176249 13141 0 0 237647 60 5 3 20 0 15 0 474417482 11107315712 834281 33554432000 4194304 4196468 140727690612064 140621738225152 140621347291054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4190] ppid=4133 vsize=10846988 memory=3337124 CPUtime=4 cores=0,2,4,6
/proc/4136/task/4190/stat : 4190 (java) S 4133 4136 31341 0 -1 1077944384 17972 13141 0 0 356 36 5 3 20 0 15 0 474417482 11107315712 834281 33554432000 4194304 4196468 140727690612064 140621770632336 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4191] ppid=4133 vsize=10846988 memory=0 CPUtime=3.99 cores=0,2,4,6
/proc/4136/task/4191/stat : 4191 (java) S 4133 4136 31341 0 -1 1077944384 18145 13141 0 0 355 36 5 3 20 0 15 0 474417482 11107315712 834281 33554432000 4194304 4196468 140727690612064 140621339683856 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4192] ppid=4133 vsize=10846988 memory=3337124 CPUtime=4.01 cores=0,2,4,6
/proc/4136/task/4192/stat : 4192 (java) S 4133 4136 31341 0 -1 1077944384 22150 13141 0 0 358 35 5 3 20 0 15 0 474417482 11107315712 834281 33554432000 4194304 4196468 140727690612064 140621338631056 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4193] ppid=4133 vsize=10846988 memory=3337124 CPUtime=4.02 cores=0,2,4,6
/proc/4136/task/4193/stat : 4193 (java) S 4133 4136 31341 0 -1 1077944384 17130 13141 0 0 357 37 5 3 20 0 15 0 474417482 11107315712 834281 33554432000 4194304 4196468 140727690612064 140621337578256 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4194] ppid=4133 vsize=10846988 memory=3337124 CPUtime=0.79 cores=0,2,4,6
/proc/4136/task/4194/stat : 4194 (java) S 4133 4136 31341 0 -1 1077944384 15613 13141 0 0 66 5 5 3 20 0 15 0 474417484 11107315712 834281 33554432000 4194304 4196468 140727690612064 140621225781616 140621766400642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4195] ppid=4133 vsize=10846988 memory=3337124 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4195/stat : 4195 (java) S 4133 4136 31341 0 -1 1077944384 65 13141 0 0 0 0 5 3 20 0 15 0 474417484 11107315712 834281 33554432000 4194304 4196468 140727690612064 140621224727648 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4196] ppid=4133 vsize=10846988 memory=3337124 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4196/stat : 4196 (java) S 4133 4136 31341 0 -1 1077944384 22 13141 0 0 0 0 5 3 20 0 15 0 474417485 11107315712 834281 33554432000 4194304 4196468 140727690612064 140620651815808 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4197] ppid=4133 vsize=10846988 memory=3337124 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4197/stat : 4197 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417487 11107315712 834281 33554432000 4194304 4196468 140727690612064 140620344416080 140621766408091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4198] ppid=4133 vsize=10846988 memory=3337124 CPUtime=13.13 cores=0,2,4,6
/proc/4136/task/4198/stat : 4198 (java) S 4133 4136 31341 0 -1 1077944384 45007 13141 0 0 1299 6 5 3 20 0 15 0 474417487 11107315712 834281 33554432000 4194304 4196468 140727690612064 140621191170928 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4199] ppid=4133 vsize=10846988 memory=3337124 CPUtime=12.58 cores=0,2,4,6
/proc/4136/task/4199/stat : 4199 (java) S 4133 4136 31341 0 -1 1077944384 34092 13141 0 0 1245 5 5 3 20 0 15 0 474417487 11107315712 834281 33554432000 4194304 4196468 140727690612064 140621190118128 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4200] ppid=4133 vsize=10846988 memory=804 CPUtime=2.92 cores=0,2,4,6
/proc/4136/task/4200/stat : 4200 (java) S 4133 4136 31341 0 -1 1077944384 33023 13141 0 0 278 6 5 3 20 0 15 0 474417487 11107315712 834281 33554432000 4194304 4196468 140727690612064 140620732557936 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4201] ppid=4133 vsize=10846988 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4201/stat : 4201 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417488 11107315712 834281 33554432000 4194304 4196468 140727690612064 140620310858464 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4202] ppid=4133 vsize=10846988 memory=1672 CPUtime=1.42 cores=0,2,4,6
/proc/4136/task/4202/stat : 4202 (java) S 4133 4136 31341 0 -1 1077944384 1804 13141 0 0 62 72 5 3 20 0 15 0 474417488 11107315712 834281 33554432000 4194304 4196468 140727690612064 140620731505328 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
Current children cumulated CPU time: 2423.41 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3337124 KiB
[startup+2442.3 s]
/proc/loadavg: 1.92 1.66 1.61 3/229 4687
/proc/meminfo: memFree=5523116/32770624 swapFree=66972208/67108860
[pid=4136] ppid=4133 vsize=10846988 memory=3337148 CPUtime=2483.52 cores=0,2,4,6
/proc/4136/stat : 4136 (java) S 4133 4136 31341 0 -1 1077944320 389927 13141 0 0 248057 287 5 3 20 0 15 0 474417473 11107315712 834287 33554432000 4194304 4196468 140727690612064 140727690594608 140621766389495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
/proc/4136/statm: 2711747 834287 3648 1 0 2673805 0
[pid=4136/tid=4189] ppid=4133 vsize=10846988 memory=3337148 CPUtime=2437.11 cores=0,2,4,6
/proc/4136/task/4189/stat : 4189 (java) R 4133 4136 31341 0 -1 4202560 180128 13141 0 0 243639 64 5 3 20 0 15 0 474417482 11107315712 834287 33554432000 4194304 4196468 140727690612064 140621738225440 140621355773632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4190] ppid=4133 vsize=10846988 memory=3337124 CPUtime=4.03 cores=0,2,4,6
/proc/4136/task/4190/stat : 4190 (java) S 4133 4136 31341 0 -1 1077944384 19211 13141 0 0 359 36 5 3 20 0 15 0 474417482 11107315712 834287 33554432000 4194304 4196468 140727690612064 140621770632336 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4191] ppid=4133 vsize=10846988 memory=3337148 CPUtime=4.03 cores=0,2,4,6
/proc/4136/task/4191/stat : 4191 (java) S 4133 4136 31341 0 -1 1077944384 18332 13141 0 0 358 37 5 3 20 0 15 0 474417482 11107315712 834287 33554432000 4194304 4196468 140727690612064 140621339683856 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4192] ppid=4133 vsize=10846988 memory=3337148 CPUtime=4.04 cores=0,2,4,6
/proc/4136/task/4192/stat : 4192 (java) S 4133 4136 31341 0 -1 1077944384 22314 13141 0 0 360 36 5 3 20 0 15 0 474417482 11107315712 834287 33554432000 4194304 4196468 140727690612064 140621338631056 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4193] ppid=4133 vsize=10846988 memory=3337148 CPUtime=4.05 cores=0,2,4,6
/proc/4136/task/4193/stat : 4193 (java) S 4133 4136 31341 0 -1 1077944384 17757 13141 0 0 360 37 5 3 20 0 15 0 474417482 11107315712 834287 33554432000 4194304 4196468 140727690612064 140621337578256 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4194] ppid=4133 vsize=10846988 memory=19264 CPUtime=0.8 cores=0,2,4,6
/proc/4136/task/4194/stat : 4194 (java) S 4133 4136 31341 0 -1 1077944384 15910 13141 0 0 67 5 5 3 20 0 15 0 474417484 11107315712 834287 33554432000 4194304 4196468 140727690612064 140621225781616 140621766400642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4195] ppid=4133 vsize=10846988 memory=12024 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4195/stat : 4195 (java) S 4133 4136 31341 0 -1 1077944384 65 13141 0 0 0 0 5 3 20 0 15 0 474417484 11107315712 834287 33554432000 4194304 4196468 140727690612064 140621224727648 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4196] ppid=4133 vsize=10846988 memory=3337148 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4196/stat : 4196 (java) S 4133 4136 31341 0 -1 1077944384 22 13141 0 0 0 0 5 3 20 0 15 0 474417485 11107315712 834287 33554432000 4194304 4196468 140727690612064 140620651815808 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4197] ppid=4133 vsize=10846988 memory=3337148 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4197/stat : 4197 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417487 11107315712 834287 33554432000 4194304 4196468 140727690612064 140620344416080 140621766408091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4198] ppid=4133 vsize=10846988 memory=3337148 CPUtime=13.13 cores=0,2,4,6
/proc/4136/task/4198/stat : 4198 (java) S 4133 4136 31341 0 -1 1077944384 45014 13141 0 0 1299 6 5 3 20 0 15 0 474417487 11107315712 834287 33554432000 4194304 4196468 140727690612064 140621191170928 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4199] ppid=4133 vsize=10846988 memory=14012 CPUtime=12.58 cores=0,2,4,6
/proc/4136/task/4199/stat : 4199 (java) S 4133 4136 31341 0 -1 1077944384 34095 13141 0 0 1245 5 5 3 20 0 15 0 474417487 11107315712 834287 33554432000 4194304 4196468 140727690612064 140621190118128 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4200] ppid=4133 vsize=10846988 memory=3337148 CPUtime=2.92 cores=0,2,4,6
/proc/4136/task/4200/stat : 4200 (java) S 4133 4136 31341 0 -1 1077944384 33028 13141 0 0 278 6 5 3 20 0 15 0 474417487 11107315712 834287 33554432000 4194304 4196468 140727690612064 140620732557936 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4201] ppid=4133 vsize=10846988 memory=3337148 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4201/stat : 4201 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417488 11107315712 834287 33554432000 4194304 4196468 140727690612064 140620310858464 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4202] ppid=4133 vsize=10846988 memory=8112282956445269571 CPUtime=1.45 cores=0,2,4,6
/proc/4136/task/4202/stat : 4202 (java) S 4133 4136 31341 0 -1 1077944384 1842 13141 0 0 64 73 5 3 20 0 15 0 474417488 11107315712 834287 33554432000 4194304 4196468 140727690612064 140620731505328 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
Current children cumulated CPU time: 2483.52 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3337148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2478.7 s]
/proc/loadavg: 1.60 1.62 1.60 3/230 4690
/proc/meminfo: memFree=5413436/32770624 swapFree=66972208/67108860
[pid=4136] ppid=4133 vsize=10846988 memory=3337352 CPUtime=2520.04 cores=0,2,4,6
/proc/4136/stat : 4136 (java) S 4133 4136 31341 0 -1 1077944320 395551 13141 0 0 251707 289 5 3 20 0 15 0 474417473 11107315712 834338 33554432000 4194304 4196468 140727690612064 140727690594608 140621766389495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
/proc/4136/statm: 2711747 834338 3648 1 0 2673805 0
[pid=4136/tid=4189] ppid=4133 vsize=10846988 memory=3337152 CPUtime=2473.48 cores=0,2,4,6
/proc/4136/task/4189/stat : 4189 (java) R 4133 4136 31341 0 -1 4202560 183047 13141 0 0 247275 65 5 3 20 0 15 0 474417482 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621738225440 140621357065724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4190] ppid=4133 vsize=10846988 memory=3337152 CPUtime=4.06 cores=0,2,4,6
/proc/4136/task/4190/stat : 4190 (java) S 4133 4136 31341 0 -1 1077944384 19590 13141 0 0 362 36 5 3 20 0 15 0 474417482 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621770632336 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4191] ppid=4133 vsize=10846988 memory=3337152 CPUtime=4.06 cores=0,2,4,6
/proc/4136/task/4191/stat : 4191 (java) S 4133 4136 31341 0 -1 1077944384 18509 13141 0 0 361 37 5 3 20 0 15 0 474417482 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621339683856 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4192] ppid=4133 vsize=10846988 memory=3337152 CPUtime=4.07 cores=0,2,4,6
/proc/4136/task/4192/stat : 4192 (java) S 4133 4136 31341 0 -1 1077944384 22443 13141 0 0 363 36 5 3 20 0 15 0 474417482 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621338631056 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4193] ppid=4133 vsize=10846988 memory=3337152 CPUtime=4.08 cores=0,2,4,6
/proc/4136/task/4193/stat : 4193 (java) S 4133 4136 31341 0 -1 1077944384 19437 13141 0 0 363 37 5 3 20 0 15 0 474417482 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621337578256 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4194] ppid=4133 vsize=10846988 memory=3337152 CPUtime=0.81 cores=0,2,4,6
/proc/4136/task/4194/stat : 4194 (java) S 4133 4136 31341 0 -1 1077944384 16207 13141 0 0 68 5 5 3 20 0 15 0 474417484 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621225781616 140621766400642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4195] ppid=4133 vsize=10846988 memory=3337152 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4195/stat : 4195 (java) S 4133 4136 31341 0 -1 1077944384 65 13141 0 0 0 0 5 3 20 0 15 0 474417484 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621224727648 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4196] ppid=4133 vsize=10846988 memory=3337352 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4196/stat : 4196 (java) S 4133 4136 31341 0 -1 1077944384 22 13141 0 0 0 0 5 3 20 0 15 0 474417485 11107315712 834338 33554432000 4194304 4196468 140727690612064 140620651815808 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4197] ppid=4133 vsize=10846988 memory=3337152 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4197/stat : 4197 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417487 11107315712 834338 33554432000 4194304 4196468 140727690612064 140620344416080 140621766408091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4198] ppid=4133 vsize=10846988 memory=3337352 CPUtime=13.13 cores=0,2,4,6
/proc/4136/task/4198/stat : 4198 (java) S 4133 4136 31341 0 -1 1077944384 45016 13141 0 0 1299 6 5 3 20 0 15 0 474417487 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621191170928 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4199] ppid=4133 vsize=10846988 memory=3337152 CPUtime=12.58 cores=0,2,4,6
/proc/4136/task/4199/stat : 4199 (java) S 4133 4136 31341 0 -1 1077944384 34097 13141 0 0 1245 5 5 3 20 0 15 0 474417487 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621190118128 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4200] ppid=4133 vsize=10846988 memory=3612 CPUtime=2.92 cores=0,2,4,6
/proc/4136/task/4200/stat : 4200 (java) S 4133 4136 31341 0 -1 1077944384 33031 13141 0 0 278 6 5 3 20 0 15 0 474417487 11107315712 834338 33554432000 4194304 4196468 140727690612064 140620732557936 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4201] ppid=4133 vsize=10846988 memory=3337352 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4201/stat : 4201 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417488 11107315712 834338 33554432000 4194304 4196468 140727690612064 140620310858464 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4202] ppid=4133 vsize=10846988 memory=3337352 CPUtime=1.48 cores=0,2,4,6
/proc/4136/task/4202/stat : 4202 (java) S 4133 4136 31341 0 -1 1077944384 1878 13141 0 0 65 75 5 3 20 0 15 0 474417488 11107315712 834338 33554432000 4194304 4196468 140727690612064 140620731505328 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3337352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2478.74 s]
# the end of solver process 4136 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.14 s, system=2.95378 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2478.7 s]
/proc/loadavg: 1.60 1.62 1.60 3/230 4690
/proc/meminfo: memFree=5413436/32770624 swapFree=66972208/67108860
[pid=4136] ppid=4133 vsize=10846988 memory=3337352 CPUtime=2520.04 cores=0,2,4,6
/proc/4136/stat : 4136 (java) S 4133 4136 31341 0 -1 1077944320 395551 13141 0 0 251707 289 5 3 20 0 15 0 474417473 11107315712 834338 33554432000 4194304 4196468 140727690612064 140727690594608 140621766389495 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
/proc/4136/statm: 2711747 834338 3648 1 0 2673805 0
[pid=4136/tid=4189] ppid=4133 vsize=10846988 memory=3337152 CPUtime=2473.48 cores=0,2,4,6
/proc/4136/task/4189/stat : 4189 (java) R 4133 4136 31341 0 -1 4202560 183047 13141 0 0 247275 65 5 3 20 0 15 0 474417482 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621738225440 140621357065724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4190] ppid=4133 vsize=10846988 memory=3337152 CPUtime=4.06 cores=0,2,4,6
/proc/4136/task/4190/stat : 4190 (java) S 4133 4136 31341 0 -1 1077944384 19590 13141 0 0 362 36 5 3 20 0 15 0 474417482 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621770632336 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4191] ppid=4133 vsize=10846988 memory=3337152 CPUtime=4.06 cores=0,2,4,6
/proc/4136/task/4191/stat : 4191 (java) S 4133 4136 31341 0 -1 1077944384 18509 13141 0 0 361 37 5 3 20 0 15 0 474417482 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621339683856 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4192] ppid=4133 vsize=10846988 memory=3337152 CPUtime=4.07 cores=0,2,4,6
/proc/4136/task/4192/stat : 4192 (java) S 4133 4136 31341 0 -1 1077944384 22443 13141 0 0 363 36 5 3 20 0 15 0 474417482 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621338631056 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4193] ppid=4133 vsize=10846988 memory=3337152 CPUtime=4.08 cores=0,2,4,6
/proc/4136/task/4193/stat : 4193 (java) S 4133 4136 31341 0 -1 1077944384 19437 13141 0 0 363 37 5 3 20 0 15 0 474417482 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621337578256 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4194] ppid=4133 vsize=10846988 memory=3337152 CPUtime=0.81 cores=0,2,4,6
/proc/4136/task/4194/stat : 4194 (java) S 4133 4136 31341 0 -1 1077944384 16207 13141 0 0 68 5 5 3 20 0 15 0 474417484 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621225781616 140621766400642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4195] ppid=4133 vsize=10846988 memory=3337152 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4195/stat : 4195 (java) S 4133 4136 31341 0 -1 1077944384 65 13141 0 0 0 0 5 3 20 0 15 0 474417484 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621224727648 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4196] ppid=4133 vsize=10846988 memory=3337352 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4196/stat : 4196 (java) S 4133 4136 31341 0 -1 1077944384 22 13141 0 0 0 0 5 3 20 0 15 0 474417485 11107315712 834338 33554432000 4194304 4196468 140727690612064 140620651815808 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4197] ppid=4133 vsize=10846988 memory=3337152 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4197/stat : 4197 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417487 11107315712 834338 33554432000 4194304 4196468 140727690612064 140620344416080 140621766408091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4198] ppid=4133 vsize=10846988 memory=3337352 CPUtime=13.13 cores=0,2,4,6
/proc/4136/task/4198/stat : 4198 (java) S 4133 4136 31341 0 -1 1077944384 45016 13141 0 0 1299 6 5 3 20 0 15 0 474417487 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621191170928 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4199] ppid=4133 vsize=10846988 memory=3337152 CPUtime=12.58 cores=0,2,4,6
/proc/4136/task/4199/stat : 4199 (java) S 4133 4136 31341 0 -1 1077944384 34097 13141 0 0 1245 5 5 3 20 0 15 0 474417487 11107315712 834338 33554432000 4194304 4196468 140727690612064 140621190118128 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4200] ppid=4133 vsize=10846988 memory=3612 CPUtime=2.92 cores=0,2,4,6
/proc/4136/task/4200/stat : 4200 (java) S 4133 4136 31341 0 -1 1077944384 33031 13141 0 0 278 6 5 3 20 0 15 0 474417487 11107315712 834338 33554432000 4194304 4196468 140727690612064 140620732557936 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4201] ppid=4133 vsize=10846988 memory=3337352 CPUtime=0.08 cores=0,2,4,6
/proc/4136/task/4201/stat : 4201 (java) S 4133 4136 31341 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 474417488 11107315712 834338 33554432000 4194304 4196468 140727690612064 140620310858464 140621766399701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
[pid=4136/tid=4202] ppid=4133 vsize=10846988 memory=3337352 CPUtime=1.48 cores=0,2,4,6
/proc/4136/task/4202/stat : 4202 (java) S 4133 4136 31341 0 -1 1077944384 1878 13141 0 0 65 75 5 3 20 0 15 0 474417488 11107315712 834338 33554432000 4194304 4196468 140727690612064 140620731505328 140621766400642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11313152 140727690619491 140727690622133 140727690622133 140727690624975 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3337352 KiB
Child status: 143
Real time (s): 2478.74
CPU time (s): 2520.1
CPU user time (s): 2517.14
CPU system time (s): 2.95378
CPU usage (%): 101.668
Max. virtual memory (cumulated for all children) (KiB): 10849744
Max. memory (cumulated for all children) (KiB): 3337588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.14
system time used= 2.95378
maximum resident set size= 3341588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413171
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70415
involuntary context switches= 4094
# summary of solver processes directly reported to runsolver:
# pid: 4136
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.14
# total CPU system time (s): 2.95378
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1596 second user time and 22.9305 second system time
The end