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 (12982 MiB free)
memory of node 1: 16384 MiB (15462 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387492-1568307576/watcher-4387492-1568307576 -o /tmp/evaluation-result-4387492-1568307576/solver-4387492-1568307576 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568282247-6564 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1231031443 HOME/instance-4387492-1568307576.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
solver pid=12675, runsolver pid=12672
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.75 1.59 1.53 3/217 12732
/proc/meminfo: memFree=29118576/32770624 swapFree=66920520/67108860
[pid=12675] ppid=12672 vsize=10055356 memory=17612 CPUtime=0.08 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12672 12675 5621 0 -1 1077944320 4630 12979 0 0 1 0 5 2 20 0 7 0 407013741 10296684544 4403 33554432000 4194304 4196468 140736220561312 140736220543856 140426085392119 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
/proc/12675/statm: 2513839 4403 1996 1 0 2502277 0
[pid=12675/tid=12728] ppid=12672 vsize=10055356 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12728/stat : 12728 (java) R 12672 12675 5621 0 -1 4202560 2480 12979 0 0 1 0 5 2 20 0 7 0 407013750 10296684544 4469 33554432000 4194304 4196468 140736220561312 140426057235216 140426069472636 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12729] ppid=12672 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12729/stat : 12729 (java) S 12672 12675 5621 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 7 0 407013751 10296684544 4469 33554432000 4194304 4196468 140736220561312 140426089634576 140426085402325 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12730] ppid=12672 vsize=10055356 memory=288370798864057984 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12730/stat : 12730 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 7 0 407013751 10296684544 4469 33554432000 4194304 4196468 140736220561312 140425977908112 140426085402325 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12731] ppid=12672 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12731/stat : 12731 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 7 0 407013751 10296684544 4469 33554432000 4194304 4196468 140736220561312 140425976855568 140426085402325 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12732] ppid=12672 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12732/stat : 12732 (java) S 12672 12675 5621 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 7 0 407013751 10296684544 4469 33554432000 4194304 4196468 140736220561312 140425975803024 140426085402325 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12733] ppid=12672 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12733/stat : 12733 (java) S 12672 12675 5621 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 7 0 407013752 10296684544 4469 33554432000 4194304 4196468 140736220561312 140425088145392 140426085403266 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 17612 KiB
[startup+0.210672 s]*
/proc/loadavg: 1.75 1.59 1.53 3/226 12741
/proc/meminfo: memFree=29102344/32770624 swapFree=66920520/67108860
[pid=12675] ppid=12672 vsize=10818940 memory=36740 CPUtime=0.25 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12672 12675 5621 0 -1 1077944320 7058 12979 0 0 17 1 5 2 20 0 15 0 407013741 11078594560 9185 33554432000 4194304 4196468 140736220561312 140736220543856 140426085392119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
/proc/12675/statm: 2704735 9185 2984 1 0 2667149 0
[pid=12675/tid=12728] ppid=12672 vsize=10818940 memory=729618466009055537 CPUtime=0.18 cores=1,3,5,7
/proc/12675/task/12728/stat : 12728 (java) R 12672 12675 5621 0 -1 4202560 3549 12979 0 0 11 0 5 2 20 0 15 0 407013750 11078594560 9250 33554432000 4194304 4196468 140736220561312 140426057224320 140426069472606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12729] ppid=12672 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12729/stat : 12729 (java) S 12672 12675 5621 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 407013751 11078594560 9250 33554432000 4194304 4196468 140736220561312 140426089634576 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12730] ppid=12672 vsize=10818940 memory=288370798864057984 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12730/stat : 12730 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013751 11078594560 9250 33554432000 4194304 4196468 140736220561312 140425977908112 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12731] ppid=12672 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12731/stat : 12731 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013751 11078594560 9250 33554432000 4194304 4196468 140736220561312 140425976855568 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12732] ppid=12672 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12732/stat : 12732 (java) S 12672 12675 5621 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 407013751 11078594560 9250 33554432000 4194304 4196468 140736220561312 140425975803024 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12733] ppid=12672 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12733/stat : 12733 (java) S 12672 12675 5621 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 407013752 11078594560 9250 33554432000 4194304 4196468 140736220561312 140425088145392 140426085403266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12734] ppid=12672 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12734/stat : 12734 (java) S 12672 12675 5621 0 -1 1077944384 33 12979 0 0 0 0 5 2 20 0 15 0 407013752 11078594560 9250 33554432000 4194304 4196468 140736220561312 140425087091616 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12735] ppid=12672 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12735/stat : 12735 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013753 11078594560 9250 33554432000 4194304 4196468 140736220561312 140424962368496 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12736] ppid=12672 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12736/stat : 12736 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013755 11078594560 9250 33554432000 4194304 4196468 140736220561312 140424654969040 140426085410715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12737] ppid=12672 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12737/stat : 12737 (java) S 12672 12675 5621 0 -1 1077944384 476 12979 0 0 1 0 5 2 20 0 15 0 407013755 11078594560 9250 33554432000 4194304 4196468 140736220561312 140425053534704 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12738] ppid=12672 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12738/stat : 12738 (java) S 12672 12675 5621 0 -1 1077944384 156 12979 0 0 1 0 5 2 20 0 15 0 407013755 11078594560 9250 33554432000 4194304 4196468 140736220561312 140425052482160 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12739] ppid=12672 vsize=10818940 memory=140422712346240 CPUtime=0.1 cores=1,3,5,7
/proc/12675/task/12739/stat : 12739 (java) R 12672 12675 5621 0 -1 4202560 623 12979 0 0 3 0 5 2 20 0 15 0 407013755 11078594560 9250 33554432000 4194304 4196468 140736220561312 140425051429616 140426085413466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12740] ppid=12672 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12740/stat : 12740 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013756 11078594560 9250 33554432000 4194304 4196468 140736220561312 140424621411424 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12741] ppid=12672 vsize=10818940 memory=140422712346240 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12741/stat : 12741 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013756 11078594560 9250 33554432000 4194304 4196468 140736220561312 140425050376496 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 36740 KiB
[startup+0.310675 s]*
/proc/loadavg: 1.75 1.59 1.53 3/226 12741
/proc/meminfo: memFree=29090808/32770624 swapFree=66920520/67108860
[pid=12675] ppid=12672 vsize=10820096 memory=50116 CPUtime=0.39 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12672 12675 5621 0 -1 1077944320 10772 12979 0 0 30 2 5 2 20 0 15 0 407013741 11079778304 12529 33554432000 4194304 4196468 140736220561312 140736220543856 140426085392119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
/proc/12675/statm: 2705024 12529 3238 1 0 2667149 0
[pid=12675/tid=12728] ppid=12672 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/12675/task/12728/stat : 12728 (java) R 12672 12675 5621 0 -1 4202560 7245 12979 0 0 20 2 5 2 20 0 15 0 407013750 11079778304 12529 33554432000 4194304 4196468 140736220561312 140426057210224 140426085404054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12729] ppid=12672 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12729/stat : 12729 (java) S 12672 12675 5621 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 407013751 11079778304 12529 33554432000 4194304 4196468 140736220561312 140426089634576 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12730] ppid=12672 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12730/stat : 12730 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013751 11079778304 12529 33554432000 4194304 4196468 140736220561312 140425977908112 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12731] ppid=12672 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12731/stat : 12731 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013751 11079778304 12529 33554432000 4194304 4196468 140736220561312 140425976855568 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12732] ppid=12672 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12732/stat : 12732 (java) S 12672 12675 5621 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 407013751 11079778304 12529 33554432000 4194304 4196468 140736220561312 140425975803024 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12733] ppid=12672 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12733/stat : 12733 (java) S 12672 12675 5621 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 407013752 11079778304 12529 33554432000 4194304 4196468 140736220561312 140425088145392 140426085403266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12734] ppid=12672 vsize=10820096 memory=140422712346239 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12734/stat : 12734 (java) S 12672 12675 5621 0 -1 1077944384 33 12979 0 0 0 0 5 2 20 0 15 0 407013752 11079778304 12529 33554432000 4194304 4196468 140736220561312 140425087091616 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12735] ppid=12672 vsize=10820096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12735/stat : 12735 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013753 11079778304 12529 33554432000 4194304 4196468 140736220561312 140424962368496 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12736] ppid=12672 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12736/stat : 12736 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013755 11079929856 12529 33554432000 4194304 4196468 140736220561312 140424654969040 140426085410715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12737] ppid=12672 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12737/stat : 12737 (java) S 12672 12675 5621 0 -1 1077944384 478 12979 0 0 1 0 5 2 20 0 15 0 407013755 11079929856 12529 33554432000 4194304 4196468 140736220561312 140425053534704 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12738] ppid=12672 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12738/stat : 12738 (java) S 12672 12675 5621 0 -1 1077944384 156 12979 0 0 1 0 5 2 20 0 15 0 407013755 11079929856 12529 33554432000 4194304 4196468 140736220561312 140425052482160 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12739] ppid=12672 vsize=10820244 memory=140422712346240 CPUtime=0.12 cores=1,3,5,7
/proc/12675/task/12739/stat : 12739 (java) S 12672 12675 5621 0 -1 1077944384 636 12979 0 0 5 0 5 2 20 0 15 0 407013755 11079929856 12594 33554432000 4194304 4196468 140736220561312 140425051429616 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12740] ppid=12672 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12740/stat : 12740 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013756 11079929856 12594 33554432000 4194304 4196468 140736220561312 140424621411424 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12741] ppid=12672 vsize=10820244 memory=140422712346240 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12741/stat : 12741 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013756 11079929856 12594 33554432000 4194304 4196468 140736220561312 140425050376496 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 50116 KiB
[startup+0.700629 s]
/proc/loadavg: 1.75 1.59 1.53 5/226 12741
/proc/meminfo: memFree=29074492/32770624 swapFree=66920520/67108860
[pid=12675] ppid=12672 vsize=10824340 memory=80776 CPUtime=1.14 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12672 12675 5621 0 -1 1077944320 15046 12979 0 0 102 5 5 2 20 0 15 0 407013741 11084124160 20194 33554432000 4194304 4196468 140736220561312 140736220543856 140426085392119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
/proc/12675/statm: 2706085 20194 3510 1 0 2668173 0
[pid=12675/tid=12728] ppid=12672 vsize=10824340 memory=1044 CPUtime=0.66 cores=1,3,5,7
/proc/12675/task/12728/stat : 12728 (java) R 12672 12675 5621 0 -1 4202560 10671 12979 0 0 55 4 5 2 20 0 15 0 407013750 11084124160 20194 33554432000 4194304 4196468 140736220561312 140426057210080 140426069472606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12729] ppid=12672 vsize=10824340 memory=708 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12729/stat : 12729 (java) S 12672 12675 5621 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 407013751 11084124160 20194 33554432000 4194304 4196468 140736220561312 140426089634576 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12730] ppid=12672 vsize=10824340 memory=7518026621751088998 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12730/stat : 12730 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013751 11084124160 20194 33554432000 4194304 4196468 140736220561312 140425977908112 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12731] ppid=12672 vsize=10824340 memory=7739276948477865063 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12731/stat : 12731 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013751 11084124160 20194 33554432000 4194304 4196468 140736220561312 140425976855568 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12732] ppid=12672 vsize=10824340 memory=5787213827131598673 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12732/stat : 12732 (java) S 12672 12675 5621 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 407013751 11084124160 20194 33554432000 4194304 4196468 140736220561312 140425975803024 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12733] ppid=12672 vsize=10824340 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12733/stat : 12733 (java) S 12672 12675 5621 0 -1 1077944384 6 12979 0 0 0 0 5 2 20 0 15 0 407013752 11084124160 20194 33554432000 4194304 4196468 140736220561312 140425088145392 140426085403266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12734] ppid=12672 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12734/stat : 12734 (java) S 12672 12675 5621 0 -1 1077944384 33 12979 0 0 0 0 5 2 20 0 15 0 407013752 11084124160 20194 33554432000 4194304 4196468 140736220561312 140425087091616 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12735] ppid=12672 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12735/stat : 12735 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013753 11084124160 20194 33554432000 4194304 4196468 140736220561312 140424962368496 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12736] ppid=12672 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12736/stat : 12736 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013755 11084124160 20194 33554432000 4194304 4196468 140736220561312 140424654969040 140426085410715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12737] ppid=12672 vsize=10824340 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/12675/task/12737/stat : 12737 (java) S 12672 12675 5621 0 -1 1077944384 709 12979 0 0 12 0 5 2 20 0 15 0 407013755 11084124160 20194 33554432000 4194304 4196468 140736220561312 140425053534704 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12738] ppid=12672 vsize=10824340 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/12675/task/12738/stat : 12738 (java) S 12672 12675 5621 0 -1 1077944384 558 12979 0 0 15 0 5 2 20 0 15 0 407013755 11084124160 20194 33554432000 4194304 4196468 140736220561312 140425052482160 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12739] ppid=12672 vsize=10824340 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/12675/task/12739/stat : 12739 (java) S 12672 12675 5621 0 -1 1077944384 848 12979 0 0 17 0 5 2 20 0 15 0 407013755 11084124160 20194 33554432000 4194304 4196468 140736220561312 140425051429616 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12740] ppid=12672 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12740/stat : 12740 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013756 11084124160 20194 33554432000 4194304 4196468 140736220561312 140424621411424 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12741] ppid=12672 vsize=10824340 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12741/stat : 12741 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013756 11084124160 20194 33554432000 4194304 4196468 140736220561312 140425050376496 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80776 KiB
[startup+1.50071 s]
/proc/loadavg: 1.75 1.59 1.53 4/226 12741
/proc/meminfo: memFree=29011576/32770624 swapFree=66920520/67108860
[pid=12675] ppid=12672 vsize=10834656 memory=210612 CPUtime=2.79 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12672 12675 5621 0 -1 1077944320 22021 12979 0 0 261 11 5 2 20 0 15 0 407013741 11094687744 52653 33554432000 4194304 4196468 140736220561312 140736220543856 140426085392119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
/proc/12675/statm: 2708664 52653 3586 1 0 2670733 0
[pid=12675/tid=12728] ppid=12672 vsize=10834656 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/12675/task/12728/stat : 12728 (java) R 12672 12675 5621 0 -1 4202560 15119 12979 0 0 129 7 5 2 20 0 15 0 407013750 11094687744 52653 33554432000 4194304 4196468 140736220561312 140426057217040 140426069472606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12729] ppid=12672 vsize=10834656 memory=4642489302253918570 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12729/stat : 12729 (java) S 12672 12675 5621 0 -1 1077944384 280 12979 0 0 1 0 5 2 20 0 15 0 407013751 11094687744 52653 33554432000 4194304 4196468 140736220561312 140426089634576 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12730] ppid=12672 vsize=10834656 memory=280845227547104 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12730/stat : 12730 (java) S 12672 12675 5621 0 -1 1077944384 25 12979 0 0 1 0 5 2 20 0 15 0 407013751 11094687744 52653 33554432000 4194304 4196468 140736220561312 140425977908112 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12731] ppid=12672 vsize=10834656 memory=194845486375740 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12731/stat : 12731 (java) S 12672 12675 5621 0 -1 1077944384 71 12979 0 0 1 0 5 2 20 0 15 0 407013751 11094687744 52653 33554432000 4194304 4196468 140736220561312 140425976855568 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12732] ppid=12672 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12732/stat : 12732 (java) S 12672 12675 5621 0 -1 1077944384 80 12979 0 0 1 0 5 2 20 0 15 0 407013751 11094687744 52653 33554432000 4194304 4196468 140736220561312 140425975803024 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12733] ppid=12672 vsize=10834656 memory=7589561443272135410 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12733/stat : 12733 (java) S 12672 12675 5621 0 -1 1077944384 87 12979 0 0 1 0 5 2 20 0 15 0 407013752 11094687744 52653 33554432000 4194304 4196468 140736220561312 140425088145392 140426085403266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12734] ppid=12672 vsize=10834656 memory=-8458152057954561420 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12734/stat : 12734 (java) S 12672 12675 5621 0 -1 1077944384 34 12979 0 0 0 0 5 2 20 0 15 0 407013752 11094687744 52653 33554432000 4194304 4196468 140736220561312 140425087091680 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12735] ppid=12672 vsize=10834656 memory=280845227194336 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12735/stat : 12735 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013753 11094687744 52653 33554432000 4194304 4196468 140736220561312 140424962368496 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12736] ppid=12672 vsize=10834656 memory=140423020595783 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12736/stat : 12736 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013755 11094687744 52653 33554432000 4194304 4196468 140736220561312 140424654969040 140426085410715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12737] ppid=12672 vsize=10834656 memory=280845227143608 CPUtime=0.48 cores=1,3,5,7
/proc/12675/task/12737/stat : 12737 (java) S 12672 12675 5621 0 -1 1077944384 1760 12979 0 0 41 0 5 2 20 0 15 0 407013755 11094687744 52653 33554432000 4194304 4196468 140736220561312 140425053534704 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12738] ppid=12672 vsize=10834656 memory=280845227158000 CPUtime=0.51 cores=1,3,5,7
/proc/12675/task/12738/stat : 12738 (java) S 12672 12675 5621 0 -1 1077944384 994 12979 0 0 44 0 5 2 20 0 15 0 407013755 11094687744 52653 33554432000 4194304 4196468 140736220561312 140425052482160 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12739] ppid=12672 vsize=10834656 memory=280845227158000 CPUtime=0.44 cores=1,3,5,7
/proc/12675/task/12739/stat : 12739 (java) S 12672 12675 5621 0 -1 1077944384 1357 12979 0 0 37 0 5 2 20 0 15 0 407013755 11094687744 52653 33554432000 4194304 4196468 140736220561312 140425051429616 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12740] ppid=12672 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12740/stat : 12740 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013756 11094687744 52653 33554432000 4194304 4196468 140736220561312 140424621411424 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12741] ppid=12672 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12741/stat : 12741 (java) S 12672 12675 5621 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 407013756 11094687744 52653 33554432000 4194304 4196468 140736220561312 140425050376496 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
################
# More data... #
################
[startup+3.10164 s]*
/proc/loadavg: 1.85 1.62 1.54 6/226 12741
/proc/meminfo: memFree=28841824/32770624 swapFree=66920520/67108860
[pid=12675] ppid=12672 vsize=10840820 memory=299688 CPUtime=7.24 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12672 12675 5621 0 -1 1077944320 35212 12979 0 0 700 17 5 2 20 0 15 0 407013741 11100999680 74922 33554432000 4194304 4196468 140736220561312 140736220543856 140426085392119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
/proc/12675/statm: 2710205 74922 3602 1 0 2672269 0
[pid=12675/tid=12728] ppid=12672 vsize=10840820 memory=7022364594140610616 CPUtime=3.01 cores=1,3,5,7
/proc/12675/task/12728/stat : 12728 (java) R 12672 12675 5621 0 -1 4202560 19318 12979 0 0 285 9 5 2 20 0 15 0 407013750 11100999680 74979 33554432000 4194304 4196468 140736220561312 140426057226672 140426069472636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12729] ppid=12672 vsize=10840820 memory=365 CPUtime=0.09 cores=1,3,5,7
/proc/12675/task/12729/stat : 12729 (java) S 12672 12675 5621 0 -1 1077944384 312 12979 0 0 2 0 5 2 20 0 15 0 407013751 11100999680 74979 33554432000 4194304 4196468 140736220561312 140426089634576 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12730] ppid=12672 vsize=10840820 memory=140422712358637 CPUtime=0.1 cores=1,3,5,7
/proc/12675/task/12730/stat : 12730 (java) S 12672 12675 5621 0 -1 1077944384 36 12979 0 0 2 1 5 2 20 0 15 0 407013751 11100999680 74979 33554432000 4194304 4196468 140736220561312 140425977908112 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12731] ppid=12672 vsize=10840820 memory=-8754540793456063680 CPUtime=0.1 cores=1,3,5,7
/proc/12675/task/12731/stat : 12731 (java) S 12672 12675 5621 0 -1 1077944384 78 12979 0 0 2 1 5 2 20 0 15 0 407013751 11100999680 74979 33554432000 4194304 4196468 140736220561312 140425976855568 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12732] ppid=12672 vsize=10840820 memory=2314860354883569004 CPUtime=0.09 cores=1,3,5,7
/proc/12675/task/12732/stat : 12732 (java) S 12672 12675 5621 0 -1 1077944384 94 12979 0 0 1 1 5 2 20 0 15 0 407013751 11100999680 74979 33554432000 4194304 4196468 140736220561312 140425975803024 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12733] ppid=12672 vsize=10840820 memory=4116465804477497570 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12733/stat : 12733 (java) S 12672 12675 5621 0 -1 1077944384 118 12979 0 0 1 0 5 2 20 0 15 0 407013752 11100999680 74979 33554432000 4194304 4196468 140736220561312 140425088145392 140426085403266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12734] ppid=12672 vsize=10840820 memory=2308440491488013653 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12734/stat : 12734 (java) S 12672 12675 5621 0 -1 1077944384 38 12979 0 0 0 0 5 2 20 0 15 0 407013752 11100999680 74979 33554432000 4194304 4196468 140736220561312 140425087091680 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12735] ppid=12672 vsize=10840820 memory=3047711566422646390 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12735/stat : 12735 (java) S 12672 12675 5621 0 -1 1077944384 6 12979 0 0 0 0 5 2 20 0 15 0 407013753 11100999680 74979 33554432000 4194304 4196468 140736220561312 140424962368512 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12736] ppid=12672 vsize=10840820 memory=4627853888499060086 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12736/stat : 12736 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013755 11100999680 74979 33554432000 4194304 4196468 140736220561312 140424654969040 140426085410715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12737] ppid=12672 vsize=10840820 memory=0 CPUtime=1.53 cores=1,3,5,7
/proc/12675/task/12737/stat : 12737 (java) R 12672 12675 5621 0 -1 4202560 3987 12979 0 0 146 0 5 2 20 0 15 0 407013755 11100999680 74979 33554432000 4194304 4196468 140736220561312 140425053534704 140426068890984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12738] ppid=12672 vsize=10840820 memory=2314885530816952900 CPUtime=1.71 cores=1,3,5,7
/proc/12675/task/12738/stat : 12738 (java) R 12672 12675 5621 0 -1 4202560 4787 12979 0 0 163 1 5 2 20 0 15 0 407013755 11100999680 74979 33554432000 4194304 4196468 140736220561312 140425052462032 140426068892488 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12739] ppid=12672 vsize=10840820 memory=7236950479022215349 CPUtime=1.01 cores=1,3,5,7
/proc/12675/task/12739/stat : 12739 (java) S 12672 12675 5621 0 -1 1077944384 4229 12979 0 0 93 1 5 2 20 0 15 0 407013755 11100999680 74979 33554432000 4194304 4196468 140736220561312 140425051429616 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12740] ppid=12672 vsize=10840820 memory=6199840864898004255 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12740/stat : 12740 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013756 11100999680 74979 33554432000 4194304 4196468 140736220561312 140424621411424 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12741] ppid=12672 vsize=10840820 memory=2319529553158170272 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12741/stat : 12741 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013756 11100999680 74979 33554432000 4194304 4196468 140736220561312 140425050376496 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
Current children cumulated CPU time: 7.24 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 299688 KiB
[startup+3.89689 s]
# the end of solver process 12675 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.27498 s, system=0.269589 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.30072 s]
/proc/loadavg: 1.85 1.62 1.54 6/226 12741
/proc/meminfo: memFree=28841824/32770624 swapFree=66920520/67108860
[pid=12675] ppid=12672 vsize=10842868 memory=303056 CPUtime=7.76 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12672 12675 5621 0 -1 1077944320 39094 12979 0 0 751 18 5 2 20 0 15 0 407013741 11103096832 75764 33554432000 4194304 4196468 140736220561312 140736220543856 140426085392119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
/proc/12675/statm: 2710717 75764 3603 1 0 2672781 0
[pid=12675/tid=12728] ppid=12672 vsize=10842868 memory=6296406565455291498 CPUtime=3.19 cores=1,3,5,7
/proc/12675/task/12728/stat : 12728 (java) R 12672 12675 5621 0 -1 4202560 21804 12979 0 0 303 9 5 2 20 0 15 0 407013750 11103096832 75764 33554432000 4194304 4196468 140736220561312 140426057225112 140425660227089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12729] ppid=12672 vsize=10842868 memory=6370155173630722145 CPUtime=0.09 cores=1,3,5,7
/proc/12675/task/12729/stat : 12729 (java) S 12672 12675 5621 0 -1 1077944384 312 12979 0 0 2 0 5 2 20 0 15 0 407013751 11103096832 75764 33554432000 4194304 4196468 140736220561312 140426089634576 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12730] ppid=12672 vsize=10842868 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/12675/task/12730/stat : 12730 (java) S 12672 12675 5621 0 -1 1077944384 36 12979 0 0 2 1 5 2 20 0 15 0 407013751 11103096832 75764 33554432000 4194304 4196468 140736220561312 140425977908112 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12731] ppid=12672 vsize=10842868 memory=-1189914978686163229 CPUtime=0.1 cores=1,3,5,7
/proc/12675/task/12731/stat : 12731 (java) S 12672 12675 5621 0 -1 1077944384 78 12979 0 0 2 1 5 2 20 0 15 0 407013751 11103096832 75764 33554432000 4194304 4196468 140736220561312 140425976855568 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12732] ppid=12672 vsize=10842868 memory=6944656592455359580 CPUtime=0.09 cores=1,3,5,7
/proc/12675/task/12732/stat : 12732 (java) S 12672 12675 5621 0 -1 1077944384 94 12979 0 0 1 1 5 2 20 0 15 0 407013751 11103096832 75764 33554432000 4194304 4196468 140736220561312 140425975803024 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12733] ppid=12672 vsize=10842868 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/12675/task/12733/stat : 12733 (java) S 12672 12675 5621 0 -1 1077944384 221 12979 0 0 1 0 5 2 20 0 15 0 407013752 11103096832 75764 33554432000 4194304 4196468 140736220561312 140425088145392 140426085403266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12734] ppid=12672 vsize=10842868 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12734/stat : 12734 (java) S 12672 12675 5621 0 -1 1077944384 38 12979 0 0 0 0 5 2 20 0 15 0 407013752 11103096832 75764 33554432000 4194304 4196468 140736220561312 140425087091680 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12735] ppid=12672 vsize=10842868 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12735/stat : 12735 (java) S 12672 12675 5621 0 -1 1077944384 6 12979 0 0 0 0 5 2 20 0 15 0 407013753 11103096832 75764 33554432000 4194304 4196468 140736220561312 140424962368512 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12736] ppid=12672 vsize=10842868 memory=-7233780906022726806 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12736/stat : 12736 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013755 11103096832 75764 33554432000 4194304 4196468 140736220561312 140424654969040 140426085410715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12737] ppid=12672 vsize=10842868 memory=4206468019014099040 CPUtime=1.67 cores=1,3,5,7
/proc/12675/task/12737/stat : 12737 (java) R 12672 12675 5621 0 -1 4202560 4251 12979 0 0 160 0 5 2 20 0 15 0 407013755 11103096832 75764 33554432000 4194304 4196468 140736220561312 140425053534832 140426066914873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12738] ppid=12672 vsize=10842868 memory=-7522837415797432224 CPUtime=1.82 cores=1,3,5,7
/proc/12675/task/12738/stat : 12738 (java) R 12672 12675 5621 0 -1 4202560 5031 12979 0 0 174 1 5 2 20 0 15 0 407013755 11103096832 75764 33554432000 4194304 4196468 140736220561312 140425052468704 140426064635975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12739] ppid=12672 vsize=10842868 memory=-7233780906022726806 CPUtime=1.08 cores=1,3,5,7
/proc/12675/task/12739/stat : 12739 (java) S 12672 12675 5621 0 -1 1077944384 4999 12979 0 0 100 1 5 2 20 0 15 0 407013755 11103096832 75764 33554432000 4194304 4196468 140736220561312 140425051429616 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12740] ppid=12672 vsize=10842868 memory=7449886424874719608 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12740/stat : 12740 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013756 11103096832 75764 33554432000 4194304 4196468 140736220561312 140424621411424 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12741] ppid=12672 vsize=10842868 memory=1414355462422710185 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12741/stat : 12741 (java) S 12672 12675 5621 0 -1 1077944384 9 12979 0 0 0 0 5 2 20 0 15 0 407013756 11103096832 75764 33554432000 4194304 4196468 140736220561312 140425050376496 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
Current children cumulated CPU time: 7.76 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 303056 KiB
[startup+3.70158 s]
/proc/loadavg: 1.85 1.62 1.54 6/226 12741
/proc/meminfo: memFree=28841824/32770624 swapFree=66920520/67108860
[pid=12675] ppid=12672 vsize=10844916 memory=331304 CPUtime=8.94 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12672 12675 5621 0 -1 1077944320 45555 12979 0 0 865 22 5 2 20 0 15 0 407013741 11105193984 82826 33554432000 4194304 4196468 140736220561312 140736220543856 140426085392119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
/proc/12675/statm: 2711229 82826 3614 1 0 2673293 0
[pid=12675/tid=12728] ppid=12672 vsize=10844916 memory=280845227131120 CPUtime=3.53 cores=1,3,5,7
/proc/12675/task/12728/stat : 12728 (java) R 12672 12675 5621 0 -1 4202560 22825 12979 0 0 336 10 5 2 20 0 15 0 407013750 11105193984 82826 33554432000 4194304 4196468 140736220561312 140426057214712 140425662007671 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12729] ppid=12672 vsize=10844916 memory=7593441033630476135 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12729/stat : 12729 (java) S 12672 12675 5621 0 -1 1077944384 501 12979 0 0 5 1 5 2 20 0 15 0 407013751 11105193984 82826 33554432000 4194304 4196468 140736220561312 140426089634576 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12730] ppid=12672 vsize=10844916 memory=6081364068762150752 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12730/stat : 12730 (java) S 12672 12675 5621 0 -1 1077944384 66 12979 0 0 5 1 5 2 20 0 15 0 407013751 11105193984 82826 33554432000 4194304 4196468 140736220561312 140425977908112 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12731] ppid=12672 vsize=10844916 memory=7518026630507424616 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12731/stat : 12731 (java) S 12672 12675 5621 0 -1 1077944384 456 12979 0 0 5 1 5 2 20 0 15 0 407013751 11105193984 82826 33554432000 4194304 4196468 140736220561312 140425976855568 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12732] ppid=12672 vsize=10844916 memory=7445158545946356883 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12732/stat : 12732 (java) S 12672 12675 5621 0 -1 1077944384 163 12979 0 0 4 2 5 2 20 0 15 0 407013751 11105193984 82826 33554432000 4194304 4196468 140736220561312 140425975803024 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12733] ppid=12672 vsize=10844916 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12675/task/12733/stat : 12733 (java) S 12672 12675 5621 0 -1 1077944384 4285 12979 0 0 4 0 5 2 20 0 15 0 407013752 11105193984 82826 33554432000 4194304 4196468 140736220561312 140425088145392 140426085403266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12734] ppid=12672 vsize=10844916 memory=280845227779264 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12734/stat : 12734 (java) S 12672 12675 5621 0 -1 1077944384 39 12979 0 0 0 0 5 2 20 0 15 0 407013752 11105193984 82826 33554432000 4194304 4196468 140736220561312 140425087091680 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12735] ppid=12672 vsize=10844916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12735/stat : 12735 (java) S 12672 12675 5621 0 -1 1077944384 7 12979 0 0 0 0 5 2 20 0 15 0 407013753 11105193984 82826 33554432000 4194304 4196468 140736220561312 140424962368512 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12736] ppid=12672 vsize=10844916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12736/stat : 12736 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013755 11105193984 82826 33554432000 4194304 4196468 140736220561312 140424654969040 140426085410715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12737] ppid=12672 vsize=10844916 memory=296268 CPUtime=1.96 cores=1,3,5,7
/proc/12675/task/12737/stat : 12737 (java) R 12672 12675 5621 0 -1 4202560 4465 12979 0 0 189 0 5 2 20 0 15 0 407013755 11105193984 82826 33554432000 4194304 4196468 140736220561312 140425053521264 140426069785102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12738] ppid=12672 vsize=10844916 memory=7809523229951467574 CPUtime=2.11 cores=1,3,5,7
/proc/12675/task/12738/stat : 12738 (java) R 12672 12675 5621 0 -1 4202560 5240 12979 0 0 203 1 5 2 20 0 15 0 407013755 11105193984 82826 33554432000 4194304 4196468 140736220561312 140425052471152 140426066916470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12739] ppid=12672 vsize=10844916 memory=4638778398332895328 CPUtime=1.17 cores=1,3,5,7
/proc/12675/task/12739/stat : 12739 (java) S 12672 12675 5621 0 -1 1077944384 5284 12979 0 0 109 1 5 2 20 0 15 0 407013755 11105193984 82826 33554432000 4194304 4196468 140736220561312 140425051429616 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12740] ppid=12672 vsize=10844916 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12740/stat : 12740 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013756 11105193984 82826 33554432000 4194304 4196468 140736220561312 140424621411424 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12741] ppid=12672 vsize=10844916 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12741/stat : 12741 (java) S 12672 12675 5621 0 -1 1077944384 9 12979 0 0 0 0 5 2 20 0 15 0 407013756 11105193984 82826 33554432000 4194304 4196468 140736220561312 140425050376496 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
Current children cumulated CPU time: 8.94 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 331304 KiB
[startup+3.80158 s]
/proc/loadavg: 1.85 1.62 1.54 6/226 12741
/proc/meminfo: memFree=28841824/32770624 swapFree=66920520/67108860
[pid=12675] ppid=12672 vsize=10844916 memory=333732 CPUtime=9.26 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12672 12675 5621 0 -1 1077944320 47159 12979 0 0 897 22 5 2 20 0 15 0 407013741 11105193984 83433 33554432000 4194304 4196468 140736220561312 140736220543856 140426085392119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
/proc/12675/statm: 2711229 83433 3614 1 0 2673293 0
[pid=12675/tid=12728] ppid=12672 vsize=10844916 memory=-5587106306044206369 CPUtime=3.63 cores=1,3,5,7
/proc/12675/task/12728/stat : 12728 (java) R 12672 12675 5621 0 -1 4202560 22888 12979 0 0 346 10 5 2 20 0 15 0 407013750 11105193984 83433 33554432000 4194304 4196468 140736220561312 140426057227896 140425650334241 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12729] ppid=12672 vsize=10844916 memory=302064 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12729/stat : 12729 (java) S 12672 12675 5621 0 -1 1077944384 501 12979 0 0 5 1 5 2 20 0 15 0 407013751 11105193984 83433 33554432000 4194304 4196468 140736220561312 140426089634576 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12730] ppid=12672 vsize=10844916 memory=7 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12730/stat : 12730 (java) S 12672 12675 5621 0 -1 1077944384 66 12979 0 0 5 1 5 2 20 0 15 0 407013751 11105193984 83433 33554432000 4194304 4196468 140736220561312 140425977908112 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12731] ppid=12672 vsize=10844916 memory=232992 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12731/stat : 12731 (java) S 12672 12675 5621 0 -1 1077944384 456 12979 0 0 5 1 5 2 20 0 15 0 407013751 11105193984 83433 33554432000 4194304 4196468 140736220561312 140425976855568 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12732] ppid=12672 vsize=10844916 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12732/stat : 12732 (java) S 12672 12675 5621 0 -1 1077944384 163 12979 0 0 4 2 5 2 20 0 15 0 407013751 11105193984 83433 33554432000 4194304 4196468 140736220561312 140425975803024 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12733] ppid=12672 vsize=10844916 memory=280845227569488 CPUtime=0.11 cores=1,3,5,7
/proc/12675/task/12733/stat : 12733 (java) S 12672 12675 5621 0 -1 1077944384 4285 12979 0 0 4 0 5 2 20 0 15 0 407013752 11105193984 83433 33554432000 4194304 4196468 140736220561312 140425088145392 140426085403266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12734] ppid=12672 vsize=10844916 memory=6452091043314688570 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12734/stat : 12734 (java) S 12672 12675 5621 0 -1 1077944384 39 12979 0 0 0 0 5 2 20 0 15 0 407013752 11105193984 83433 33554432000 4194304 4196468 140736220561312 140425087091680 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12735] ppid=12672 vsize=10844916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12735/stat : 12735 (java) S 12672 12675 5621 0 -1 1077944384 7 12979 0 0 0 0 5 2 20 0 15 0 407013753 11105193984 83433 33554432000 4194304 4196468 140736220561312 140424962368512 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12736] ppid=12672 vsize=10844916 memory=576460758266832364 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12736/stat : 12736 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013755 11105193984 83433 33554432000 4194304 4196468 140736220561312 140424654969040 140426085410715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12737] ppid=12672 vsize=10844916 memory=12922 CPUtime=2.07 cores=1,3,5,7
/proc/12675/task/12737/stat : 12737 (java) R 12672 12675 5621 0 -1 4202560 5759 12979 0 0 199 1 5 2 20 0 15 0 407013755 11105193984 83433 33554432000 4194304 4196468 140736220561312 140425053514792 140426068803010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12738] ppid=12672 vsize=10844916 memory=3580 CPUtime=2.2 cores=1,3,5,7
/proc/12675/task/12738/stat : 12738 (java) R 12672 12675 5621 0 -1 4202560 5383 12979 0 0 212 1 5 2 20 0 15 0 407013755 11105193984 83433 33554432000 4194304 4196468 140736220561312 140425052482288 140426064884424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12739] ppid=12672 vsize=10844916 memory=16524 CPUtime=1.2 cores=1,3,5,7
/proc/12675/task/12739/stat : 12739 (java) S 12672 12675 5621 0 -1 1077944384 5388 12979 0 0 112 1 5 2 20 0 15 0 407013755 11105193984 83433 33554432000 4194304 4196468 140736220561312 140425051429616 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12740] ppid=12672 vsize=10844916 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12740/stat : 12740 (java) S 12672 12675 5621 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 407013756 11105193984 83433 33554432000 4194304 4196468 140736220561312 140424621411424 140426085402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
[pid=12675/tid=12741] ppid=12672 vsize=10844916 memory=2016 CPUtime=0.07 cores=1,3,5,7
/proc/12675/task/12741/stat : 12741 (java) S 12672 12675 5621 0 -1 1077944384 9 12979 0 0 0 0 5 2 20 0 15 0 407013756 11105193984 83433 33554432000 4194304 4196468 140736220561312 140425050376496 140426085403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140736220568309 140736220570821 140736220570821 140736220573647 0
Current children cumulated CPU time: 9.26 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 333732 KiB
Child status: 0
Real time (s): 3.89694
CPU time (s): 9.54457
CPU user time (s): 9.27498
CPU system time (s): 0.269589
CPU usage (%): 244.924
Max. virtual memory (cumulated for all children) (KiB): 10844916
Max. memory (cumulated for all children) (KiB): 333732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.27498
system time used= 0.269589
maximum resident set size= 337756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60918
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5328
involuntary context switches= 44
# summary of solver processes directly reported to runsolver:
# pid: 12675
# total CPU time (s): 9.54457
# total CPU user time (s): 9.27498
# total CPU system time (s): 0.269589
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042445 second user time and 0.077991 second system time
The end