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-4387493-1568307581/watcher-4387493-1568307581 -o /tmp/evaluation-result-4387493-1568307581/solver-4387493-1568307581 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568282247-6564 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=645076471 HOME/instance-4387493-1568307581.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=12802, runsolver pid=12799
Current StackSize limit: 8192 KiB
[startup+0.109138 s]*
/proc/loadavg: 1.85 1.62 1.54 3/217 12859
/proc/meminfo: memFree=29117596/32770624 swapFree=66920520/67108860
[pid=12802] ppid=12799 vsize=10355560 memory=20644 CPUtime=0.1 cores=1,3,5,7
/proc/12802/stat : 12802 (java) S 12799 12802 5621 0 -1 1077944320 4907 13336 0 0 2 0 5 3 20 0 9 0 407014188 10604093440 5161 33554432000 4194304 4196468 140735994658528 140735994641072 140533398269687 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
/proc/12802/statm: 2588890 5161 2102 1 0 2551431 0
[pid=12802/tid=12855] ppid=12799 vsize=10355560 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12855/stat : 12855 (java) R 12799 12802 5621 0 -1 4202560 2675 13336 0 0 1 0 5 3 20 0 9 0 407014197 10604093440 5161 33554432000 4194304 4196468 140735994658528 140533370105712 140533382350174 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12856] ppid=12799 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12856/stat : 12856 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 9 0 407014197 10604093440 5161 33554432000 4194304 4196468 140735994658528 140533402512272 140533398279893 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12857] ppid=12799 vsize=10355560 memory=288370741857597056 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12857/stat : 12857 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 9 0 407014197 10604093440 5673 33554432000 4194304 4196468 140735994658528 140533290785552 140533398279893 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12858] ppid=12799 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12858/stat : 12858 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 9 0 407014197 10604093440 5673 33554432000 4194304 4196468 140735994658528 140533289733264 140533398279893 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12859] ppid=12799 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12859/stat : 12859 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 9 0 407014197 10604093440 5673 33554432000 4194304 4196468 140735994658528 140533288680464 140533398279893 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12860] ppid=12799 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12860/stat : 12860 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 9 0 407014199 10604093440 5673 33554432000 4194304 4196468 140735994658528 140532857632880 140533398280834 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12861] ppid=12799 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12861/stat : 12861 (java) S 12799 12802 5621 0 -1 1077944384 33 13336 0 0 0 0 5 3 20 0 9 0 407014199 10604093440 5673 33554432000 4194304 4196468 140735994658528 140532856578848 140533398279893 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12862] ppid=12799 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12862/stat : 12862 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 9 0 407014199 10604093440 5673 33554432000 4194304 4196468 140735994658528 140532739204272 140533398279893 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 20644 KiB
[startup+0.209974 s]*
/proc/loadavg: 1.85 1.62 1.54 3/226 12868
/proc/meminfo: memFree=29098936/32770624 swapFree=66920520/67108860
[pid=12802] ppid=12799 vsize=10818940 memory=40792 CPUtime=0.27 cores=1,3,5,7
/proc/12802/stat : 12802 (java) S 12799 12802 5621 0 -1 1077944320 7016 13336 0 0 18 1 5 3 20 0 15 0 407014188 11078594560 10198 33554432000 4194304 4196468 140735994658528 140735994641072 140533398269687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
/proc/12802/statm: 2704735 10198 2986 1 0 2667149 0
[pid=12802/tid=12855] ppid=12799 vsize=10818940 memory=720575944405811505 CPUtime=0.19 cores=1,3,5,7
/proc/12802/task/12855/stat : 12855 (java) R 12799 12802 5621 0 -1 4202560 3531 13336 0 0 11 0 5 3 20 0 15 0 407014197 11078594560 10198 33554432000 4194304 4196468 140735994658528 140533370102320 140533382350174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12856] ppid=12799 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12856/stat : 12856 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014197 11078594560 10198 33554432000 4194304 4196468 140735994658528 140533402512272 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12857] ppid=12799 vsize=10818940 memory=288370741857597056 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12857/stat : 12857 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014197 11078594560 10198 33554432000 4194304 4196468 140735994658528 140533290785552 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12858] ppid=12799 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12858/stat : 12858 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014197 11078594560 10198 33554432000 4194304 4196468 140735994658528 140533289733264 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12859] ppid=12799 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12859/stat : 12859 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014197 11078594560 10198 33554432000 4194304 4196468 140735994658528 140533288680464 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12860] ppid=12799 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12860/stat : 12860 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014199 11078594560 10198 33554432000 4194304 4196468 140735994658528 140532857632880 140533398280834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12861] ppid=12799 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12861/stat : 12861 (java) S 12799 12802 5621 0 -1 1077944384 33 13336 0 0 0 0 5 3 20 0 15 0 407014199 11078594560 10198 33554432000 4194304 4196468 140735994658528 140532856578848 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12862] ppid=12799 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12862/stat : 12862 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014199 11078594560 10198 33554432000 4194304 4196468 140735994658528 140532739204208 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12863] ppid=12799 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12863/stat : 12863 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014202 11078594560 10198 33554432000 4194304 4196468 140735994658528 140532135225424 140533398288283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12864] ppid=12799 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12864/stat : 12864 (java) S 12799 12802 5621 0 -1 1077944384 353 13336 0 0 1 0 5 3 20 0 15 0 407014202 11078594560 10198 33554432000 4194304 4196468 140735994658528 140532823022192 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12865] ppid=12799 vsize=10818940 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12865/stat : 12865 (java) S 12799 12802 5621 0 -1 1077944384 273 13336 0 0 1 0 5 3 20 0 15 0 407014202 11078594560 10198 33554432000 4194304 4196468 140735994658528 140532821969392 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12866] ppid=12799 vsize=10818940 memory=140365705885312 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12866/stat : 12866 (java) S 12799 12802 5621 0 -1 1077944384 615 13336 0 0 3 0 5 3 20 0 15 0 407014202 11078594560 10198 33554432000 4194304 4196468 140735994658528 140532820917104 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12867] ppid=12799 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12867/stat : 12867 (java) S 12799 12802 5621 0 -1 1077944384 3 13336 0 0 0 0 5 3 20 0 15 0 407014202 11078594560 10263 33554432000 4194304 4196468 140735994658528 140531665464288 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12868] ppid=12799 vsize=10818940 memory=140365705885312 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12868/stat : 12868 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014203 11078594560 10263 33554432000 4194304 4196468 140735994658528 140532819863984 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 40792 KiB
[startup+0.310343 s]*
/proc/loadavg: 1.85 1.62 1.54 3/226 12868
/proc/meminfo: memFree=29088572/32770624 swapFree=66920520/67108860
[pid=12802] ppid=12799 vsize=10820244 memory=52424 CPUtime=0.41 cores=1,3,5,7
/proc/12802/stat : 12802 (java) S 12799 12802 5621 0 -1 1077944320 10794 13336 0 0 30 3 5 3 20 0 15 0 407014188 11079929856 13106 33554432000 4194304 4196468 140735994658528 140735994641072 140533398269687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
/proc/12802/statm: 2705061 13106 3305 1 0 2667149 0
[pid=12802/tid=12855] ppid=12799 vsize=10820244 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/12802/task/12855/stat : 12855 (java) R 12799 12802 5621 0 -1 4202560 7282 13336 0 0 19 2 5 3 20 0 15 0 407014197 11079929856 13106 33554432000 4194304 4196468 140735994658528 140533370087312 140533398291613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12856] ppid=12799 vsize=10820244 memory=7826600428766590483 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12856/stat : 12856 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014197 11079929856 13106 33554432000 4194304 4196468 140735994658528 140533402512272 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12857] ppid=12799 vsize=10820244 memory=1398720917958146503 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12857/stat : 12857 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014197 11079929856 13106 33554432000 4194304 4196468 140735994658528 140533290785552 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12858] ppid=12799 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12858/stat : 12858 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014197 11079929856 13106 33554432000 4194304 4196468 140735994658528 140533289733264 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12859] ppid=12799 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12859/stat : 12859 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014197 11079929856 13106 33554432000 4194304 4196468 140735994658528 140533288680464 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12860] ppid=12799 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12860/stat : 12860 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014199 11079929856 13106 33554432000 4194304 4196468 140735994658528 140532857632880 140533398280834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12861] ppid=12799 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12861/stat : 12861 (java) S 12799 12802 5621 0 -1 1077944384 33 13336 0 0 0 0 5 3 20 0 15 0 407014199 11079929856 13106 33554432000 4194304 4196468 140735994658528 140532856578848 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12862] ppid=12799 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12862/stat : 12862 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014199 11079929856 13106 33554432000 4194304 4196468 140735994658528 140532739204208 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12863] ppid=12799 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12863/stat : 12863 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014202 11079929856 13106 33554432000 4194304 4196468 140735994658528 140532135225424 140533398288283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12864] ppid=12799 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12864/stat : 12864 (java) S 12799 12802 5621 0 -1 1077944384 355 13336 0 0 1 0 5 3 20 0 15 0 407014202 11079929856 13106 33554432000 4194304 4196468 140735994658528 140532823022192 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12865] ppid=12799 vsize=10820244 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12865/stat : 12865 (java) R 12799 12802 5621 0 -1 4202560 273 13336 0 0 1 0 5 3 20 0 15 0 407014202 11079929856 13106 33554432000 4194304 4196468 140735994658528 140532821969392 140533391254729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12866] ppid=12799 vsize=10820244 memory=140365705885312 CPUtime=0.13 cores=1,3,5,7
/proc/12802/task/12866/stat : 12866 (java) S 12799 12802 5621 0 -1 1077944384 628 13336 0 0 5 0 5 3 20 0 15 0 407014202 11079929856 13106 33554432000 4194304 4196468 140735994658528 140532820917104 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12867] ppid=12799 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12867/stat : 12867 (java) S 12799 12802 5621 0 -1 1077944384 3 13336 0 0 0 0 5 3 20 0 15 0 407014202 11079929856 13106 33554432000 4194304 4196468 140735994658528 140531665464288 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12868] ppid=12799 vsize=10820244 memory=140365705885312 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12868/stat : 12868 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014203 11079929856 13106 33554432000 4194304 4196468 140735994658528 140532819863984 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 52424 KiB
[startup+0.70547 s]
/proc/loadavg: 1.85 1.62 1.54 5/226 12868
/proc/meminfo: memFree=29072584/32770624 swapFree=66920520/67108860
[pid=12802] ppid=12799 vsize=10824340 memory=83040 CPUtime=1.15 cores=1,3,5,7
/proc/12802/stat : 12802 (java) S 12799 12802 5621 0 -1 1077944320 15109 13336 0 0 103 4 5 3 20 0 15 0 407014188 11084124160 20760 33554432000 4194304 4196468 140735994658528 140735994641072 140533398269687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
/proc/12802/statm: 2706085 20760 3509 1 0 2668173 0
[pid=12802/tid=12855] ppid=12799 vsize=10824340 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/12802/task/12855/stat : 12855 (java) R 12799 12802 5621 0 -1 4202560 10765 13336 0 0 57 3 5 3 20 0 15 0 407014197 11084124160 20760 33554432000 4194304 4196468 140735994658528 140533370094832 140533382350204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12856] ppid=12799 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12856/stat : 12856 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014197 11084124160 20760 33554432000 4194304 4196468 140735994658528 140533402512272 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12857] ppid=12799 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12857/stat : 12857 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014197 11084124160 20760 33554432000 4194304 4196468 140735994658528 140533290785552 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12858] ppid=12799 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12858/stat : 12858 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014197 11084124160 20760 33554432000 4194304 4196468 140735994658528 140533289733264 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12859] ppid=12799 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12859/stat : 12859 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014197 11084124160 20760 33554432000 4194304 4196468 140735994658528 140533288680464 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12860] ppid=12799 vsize=10824340 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12860/stat : 12860 (java) S 12799 12802 5621 0 -1 1077944384 5 13336 0 0 0 0 5 3 20 0 15 0 407014199 11084124160 20760 33554432000 4194304 4196468 140735994658528 140532857632880 140533398280834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12861] ppid=12799 vsize=10824340 memory=7956 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12861/stat : 12861 (java) S 12799 12802 5621 0 -1 1077944384 33 13336 0 0 0 0 5 3 20 0 15 0 407014199 11084124160 20760 33554432000 4194304 4196468 140735994658528 140532856578848 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12862] ppid=12799 vsize=10824340 memory=3444 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12862/stat : 12862 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014199 11084124160 20760 33554432000 4194304 4196468 140735994658528 140532739204208 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12863] ppid=12799 vsize=10824340 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12863/stat : 12863 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014202 11084124160 20760 33554432000 4194304 4196468 140735994658528 140532135225424 140533398288283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12864] ppid=12799 vsize=10824340 memory=2832 CPUtime=0.23 cores=1,3,5,7
/proc/12802/task/12864/stat : 12864 (java) S 12799 12802 5621 0 -1 1077944384 701 13336 0 0 15 0 5 3 20 0 15 0 407014202 11084124160 20760 33554432000 4194304 4196468 140735994658528 140532823022192 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12865] ppid=12799 vsize=10824340 memory=984 CPUtime=0.2 cores=1,3,5,7
/proc/12802/task/12865/stat : 12865 (java) S 12799 12802 5621 0 -1 1077944384 553 13336 0 0 12 0 5 3 20 0 15 0 407014202 11084124160 20760 33554432000 4194304 4196468 140735994658528 140532821969392 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12866] ppid=12799 vsize=10824340 memory=14012 CPUtime=0.25 cores=1,3,5,7
/proc/12802/task/12866/stat : 12866 (java) S 12799 12802 5621 0 -1 1077944384 832 13336 0 0 17 0 5 3 20 0 15 0 407014202 11084124160 20760 33554432000 4194304 4196468 140735994658528 140532820917104 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12867] ppid=12799 vsize=10824340 memory=5044 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12867/stat : 12867 (java) S 12799 12802 5621 0 -1 1077944384 3 13336 0 0 0 0 5 3 20 0 15 0 407014202 11084124160 20760 33554432000 4194304 4196468 140735994658528 140531665464288 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12868] ppid=12799 vsize=10824340 memory=2016 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12868/stat : 12868 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014203 11084124160 20760 33554432000 4194304 4196468 140735994658528 140532819863984 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 83040 KiB
[startup+1.50073 s]
/proc/loadavg: 1.85 1.62 1.54 3/226 12868
/proc/meminfo: memFree=29023748/32770624 swapFree=66920520/67108860
[pid=12802] ppid=12799 vsize=10834656 memory=176980 CPUtime=2.63 cores=1,3,5,7
/proc/12802/stat : 12802 (java) S 12799 12802 5621 0 -1 1077944320 22053 13336 0 0 247 8 5 3 20 0 15 0 407014188 11094687744 44245 33554432000 4194304 4196468 140735994658528 140735994641072 140533398269687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
/proc/12802/statm: 2708664 44245 3580 1 0 2670733 0
[pid=12802/tid=12855] ppid=12799 vsize=10834656 memory=117 CPUtime=1.44 cores=1,3,5,7
/proc/12802/task/12855/stat : 12855 (java) R 12799 12802 5621 0 -1 4202560 15703 13336 0 0 131 5 5 3 20 0 15 0 407014197 11094687744 44245 33554432000 4194304 4196468 140735994658528 140533370074592 140533398281622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12856] ppid=12799 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12856/stat : 12856 (java) S 12799 12802 5621 0 -1 1077944384 8 13336 0 0 1 0 5 3 20 0 15 0 407014197 11094687744 44245 33554432000 4194304 4196468 140735994658528 140533402512272 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12857] ppid=12799 vsize=10834656 memory=6944656592455360604 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12857/stat : 12857 (java) S 12799 12802 5621 0 -1 1077944384 73 13336 0 0 1 0 5 3 20 0 15 0 407014197 11094687744 44245 33554432000 4194304 4196468 140735994658528 140533290785552 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12858] ppid=12799 vsize=10834656 memory=-7812193691855998918 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12858/stat : 12858 (java) S 12799 12802 5621 0 -1 1077944384 45 13336 0 0 1 0 5 3 20 0 15 0 407014197 11094687744 44245 33554432000 4194304 4196468 140735994658528 140533289733264 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12859] ppid=12799 vsize=10834656 memory=-7449382998787278238 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12859/stat : 12859 (java) S 12799 12802 5621 0 -1 1077944384 359 13336 0 0 1 0 5 3 20 0 15 0 407014197 11094687744 44245 33554432000 4194304 4196468 140735994658528 140533288680464 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12860] ppid=12799 vsize=10834656 memory=-9001734043636558696 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12860/stat : 12860 (java) S 12799 12802 5621 0 -1 1077944384 121 13336 0 0 1 0 5 3 20 0 15 0 407014199 11094687744 44245 33554432000 4194304 4196468 140735994658528 140532857632880 140533398280834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12861] ppid=12799 vsize=10834656 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12861/stat : 12861 (java) S 12799 12802 5621 0 -1 1077944384 34 13336 0 0 0 0 5 3 20 0 15 0 407014199 11094687744 44245 33554432000 4194304 4196468 140735994658528 140532856578848 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12862] ppid=12799 vsize=10834656 memory=8252147519760771659 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12862/stat : 12862 (java) S 12799 12802 5621 0 -1 1077944384 1 13336 0 0 0 0 5 3 20 0 15 0 407014199 11094687744 44245 33554432000 4194304 4196468 140735994658528 140532739204208 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12863] ppid=12799 vsize=10834656 memory=4426066961269356074 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12863/stat : 12863 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014202 11094687744 44245 33554432000 4194304 4196468 140735994658528 140532135225424 140533398288283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12864] ppid=12799 vsize=10834656 memory=-8412652152329899379 CPUtime=0.38 cores=1,3,5,7
/proc/12802/task/12864/stat : 12864 (java) R 12799 12802 5621 0 -1 1077944384 874 13336 0 0 30 0 5 3 20 0 15 0 407014202 11094687744 44245 33554432000 4194304 4196468 140735994658528 140532823022192 140533398280834 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12865] ppid=12799 vsize=10834656 memory=8254383616069825415 CPUtime=0.43 cores=1,3,5,7
/proc/12802/task/12865/stat : 12865 (java) S 12799 12802 5621 0 -1 1077944384 1131 13336 0 0 35 0 5 3 20 0 15 0 407014202 11094687744 44245 33554432000 4194304 4196468 140735994658528 140532821969392 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12866] ppid=12799 vsize=10834656 memory=8326441112148417183 CPUtime=0.49 cores=1,3,5,7
/proc/12802/task/12866/stat : 12866 (java) R 12799 12802 5621 0 -1 4202560 1489 13336 0 0 41 0 5 3 20 0 15 0 407014202 11094687744 44245 33554432000 4194304 4196468 140735994658528 140532820914912 140533377224016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
################
# More data... #
################
Current children cumulated CPU time: 6.9 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 293552 KiB
[startup+3.91897 s]
# the end of solver process 12802 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.03197 s, system=0.215176 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20134 s]
/proc/loadavg: 1.94 1.64 1.54 6/226 12868
/proc/meminfo: memFree=28833984/32770624 swapFree=66920520/67108860
[pid=12802] ppid=12799 vsize=10844916 memory=296748 CPUtime=7.17 cores=1,3,5,7
/proc/12802/stat : 12802 (java) S 12799 12802 5621 0 -1 1077944320 43462 13336 0 0 694 15 5 3 20 0 15 0 407014188 11105193984 74187 33554432000 4194304 4196468 140735994658528 140735994641072 140533398269687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
/proc/12802/statm: 2711229 74187 3605 1 0 2673293 0
[pid=12802/tid=12855] ppid=12799 vsize=10844916 memory=33 CPUtime=3.08 cores=1,3,5,7
/proc/12802/task/12855/stat : 12855 (java) R 12799 12802 5621 0 -1 4202560 22547 13336 0 0 292 8 5 3 20 0 15 0 407014197 11105193984 74187 33554432000 4194304 4196468 140735994658528 140533370104896 140532968352308 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12856] ppid=12799 vsize=10844916 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12856/stat : 12856 (java) S 12799 12802 5621 0 -1 1077944384 38 13336 0 0 3 0 5 3 20 0 15 0 407014197 11105193984 74187 33554432000 4194304 4196468 140735994658528 140533402512272 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12857] ppid=12799 vsize=10844916 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12857/stat : 12857 (java) S 12799 12802 5621 0 -1 1077944384 123 13336 0 0 3 0 5 3 20 0 15 0 407014197 11105193984 74187 33554432000 4194304 4196468 140735994658528 140533290785552 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12858] ppid=12799 vsize=10844916 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12858/stat : 12858 (java) S 12799 12802 5621 0 -1 1077944384 175 13336 0 0 3 0 5 3 20 0 15 0 407014197 11105193984 74187 33554432000 4194304 4196468 140735994658528 140533289733264 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12859] ppid=12799 vsize=10844916 memory=56 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12859/stat : 12859 (java) S 12799 12802 5621 0 -1 1077944384 588 13336 0 0 3 0 5 3 20 0 15 0 407014197 11105193984 74187 33554432000 4194304 4196468 140735994658528 140533288680464 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12860] ppid=12799 vsize=10844916 memory=288230376974057755 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12860/stat : 12860 (java) S 12799 12802 5621 0 -1 1077944384 2741 13336 0 0 3 0 5 3 20 0 15 0 407014199 11105193984 74187 33554432000 4194304 4196468 140735994658528 140532857632880 140533398280834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12861] ppid=12799 vsize=10844916 memory=288286679834559705 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12861/stat : 12861 (java) S 12799 12802 5621 0 -1 1077944384 45 13336 0 0 0 0 5 3 20 0 15 0 407014199 11105193984 74187 33554432000 4194304 4196468 140735994658528 140532856578912 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12862] ppid=12799 vsize=10844916 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12862/stat : 12862 (java) S 12799 12802 5621 0 -1 1077944384 7 13336 0 0 0 0 5 3 20 0 15 0 407014199 11105193984 74187 33554432000 4194304 4196468 140735994658528 140532739204224 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12863] ppid=12799 vsize=10844916 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12863/stat : 12863 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014202 11105193984 74187 33554432000 4194304 4196468 140735994658528 140532135225424 140533398288283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12864] ppid=12799 vsize=10844916 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/12802/task/12864/stat : 12864 (java) R 12799 12802 5621 0 -1 4202560 5209 13336 0 0 138 1 5 3 20 0 15 0 407014202 11105193984 74187 33554432000 4194304 4196468 140735994658528 140532823003136 140533383636176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12865] ppid=12799 vsize=10844916 memory=-5628408999910123566 CPUtime=1.45 cores=1,3,5,7
/proc/12802/task/12865/stat : 12865 (java) R 12799 12802 5621 0 -1 4202560 4364 13336 0 0 136 1 5 3 20 0 15 0 407014202 11105193984 74187 33554432000 4194304 4196468 140735994658528 140532821956208 140533381766471 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12866] ppid=12799 vsize=10844916 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/12802/task/12866/stat : 12866 (java) R 12799 12802 5621 0 -1 1077944384 5402 13336 0 0 107 1 5 3 20 0 15 0 407014202 11105193984 74187 33554432000 4194304 4196468 140735994658528 140532820917104 140533398280834 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12867] ppid=12799 vsize=10844916 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12867/stat : 12867 (java) S 12799 12802 5621 0 -1 1077944384 3 13336 0 0 0 0 5 3 20 0 15 0 407014202 11105193984 74187 33554432000 4194304 4196468 140735994658528 140531665464288 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12868] ppid=12799 vsize=10844916 memory=2120 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12868/stat : 12868 (java) S 12799 12802 5621 0 -1 1077944384 9 13336 0 0 0 0 5 3 20 0 15 0 407014203 11105193984 74187 33554432000 4194304 4196468 140735994658528 140532819863984 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
Current children cumulated CPU time: 7.17 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 296748 KiB
[startup+3.60074 s]
/proc/loadavg: 1.94 1.64 1.54 6/226 12868
/proc/meminfo: memFree=28833984/32770624 swapFree=66920520/67108860
[pid=12802] ppid=12799 vsize=10847212 memory=313268 CPUtime=8.4 cores=1,3,5,7
/proc/12802/stat : 12802 (java) S 12799 12802 5621 0 -1 1077944320 48381 13336 0 0 816 16 5 3 20 0 15 0 407014188 11107545088 78317 33554432000 4194304 4196468 140735994658528 140735994641072 140533398269687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
/proc/12802/statm: 2711803 78317 3607 1 0 2673867 0
[pid=12802/tid=12855] ppid=12799 vsize=10847212 memory=16524 CPUtime=3.47 cores=1,3,5,7
/proc/12802/task/12855/stat : 12855 (java) R 12799 12802 5621 0 -1 4202560 22665 13336 0 0 331 8 5 3 20 0 15 0 407014197 11107545088 78317 33554432000 4194304 4196468 140735994658528 140533370102752 140532957604467 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12856] ppid=12799 vsize=10847212 memory=988 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12856/stat : 12856 (java) S 12799 12802 5621 0 -1 1077944384 38 13336 0 0 3 0 5 3 20 0 15 0 407014197 11107545088 78317 33554432000 4194304 4196468 140735994658528 140533402512272 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12857] ppid=12799 vsize=10847212 memory=2016 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12857/stat : 12857 (java) S 12799 12802 5621 0 -1 1077944384 123 13336 0 0 3 0 5 3 20 0 15 0 407014197 11107545088 78317 33554432000 4194304 4196468 140735994658528 140533290785552 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12858] ppid=12799 vsize=10847212 memory=2241 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12858/stat : 12858 (java) S 12799 12802 5621 0 -1 1077944384 175 13336 0 0 3 0 5 3 20 0 15 0 407014197 11107545088 78317 33554432000 4194304 4196468 140735994658528 140533289733264 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12859] ppid=12799 vsize=10847212 memory=2244 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12859/stat : 12859 (java) S 12799 12802 5621 0 -1 1077944384 588 13336 0 0 3 0 5 3 20 0 15 0 407014197 11107545088 78317 33554432000 4194304 4196468 140735994658528 140533288680464 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12860] ppid=12799 vsize=10847212 memory=6656426216303648864 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12860/stat : 12860 (java) S 12799 12802 5621 0 -1 1077944384 2741 13336 0 0 3 0 5 3 20 0 15 0 407014199 11107545088 78317 33554432000 4194304 4196468 140735994658528 140532857632880 140533398280834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12861] ppid=12799 vsize=10847212 memory=-6225528717891633972 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12861/stat : 12861 (java) S 12799 12802 5621 0 -1 1077944384 45 13336 0 0 0 0 5 3 20 0 15 0 407014199 11107545088 78317 33554432000 4194304 4196468 140735994658528 140532856578912 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12862] ppid=12799 vsize=10847212 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12862/stat : 12862 (java) S 12799 12802 5621 0 -1 1077944384 7 13336 0 0 0 0 5 3 20 0 15 0 407014199 11107545088 78317 33554432000 4194304 4196468 140735994658528 140532739204224 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12863] ppid=12799 vsize=10847212 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12863/stat : 12863 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014202 11107545088 78317 33554432000 4194304 4196468 140735994658528 140532135225424 140533398288283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12864] ppid=12799 vsize=10847212 memory=6791534058613427641 CPUtime=1.84 cores=1,3,5,7
/proc/12802/task/12864/stat : 12864 (java) R 12799 12802 5621 0 -1 4202560 5579 13336 0 0 175 1 5 3 20 0 15 0 407014202 11107545088 78317 33554432000 4194304 4196468 140735994658528 140532823008544 140533376685995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12865] ppid=12799 vsize=10847212 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/12802/task/12865/stat : 12865 (java) R 12799 12802 5621 0 -1 4202560 8538 13336 0 0 175 2 5 3 20 0 15 0 407014202 11107545088 78317 33554432000 4194304 4196468 140735994658528 140532821955528 140533379789001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12866] ppid=12799 vsize=10847212 memory=140365571296693 CPUtime=1.21 cores=1,3,5,7
/proc/12802/task/12866/stat : 12866 (java) S 12799 12802 5621 0 -1 1077944384 5659 13336 0 0 112 1 5 3 20 0 15 0 407014202 11107545088 78317 33554432000 4194304 4196468 140735994658528 140532820917104 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12867] ppid=12799 vsize=10847212 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12867/stat : 12867 (java) S 12799 12802 5621 0 -1 1077944384 3 13336 0 0 0 0 5 3 20 0 15 0 407014202 11107545088 78317 33554432000 4194304 4196468 140735994658528 140531665464288 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12868] ppid=12799 vsize=10847212 memory=7008597245610708518 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12868/stat : 12868 (java) S 12799 12802 5621 0 -1 1077944384 9 13336 0 0 0 0 5 3 20 0 15 0 407014203 11107545088 78317 33554432000 4194304 4196468 140735994658528 140532819863984 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
Current children cumulated CPU time: 8.4 s
Current children cumulated vsize: 10847212 KiB
Current children cumulated memory: 313268 KiB
[startup+3.80065 s]
/proc/loadavg: 1.94 1.64 1.54 6/226 12868
/proc/meminfo: memFree=28833984/32770624 swapFree=66920520/67108860
[pid=12802] ppid=12799 vsize=10847640 memory=319352 CPUtime=8.98 cores=1,3,5,7
/proc/12802/stat : 12802 (java) S 12799 12802 5621 0 -1 1077944320 51237 13336 0 0 873 17 5 3 20 0 15 0 407014188 11107983360 79838 33554432000 4194304 4196468 140735994658528 140735994641072 140533398269687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
/proc/12802/statm: 2711910 79838 3607 1 0 2673974 0
[pid=12802/tid=12855] ppid=12799 vsize=10847640 memory=7885771116673036848 CPUtime=3.67 cores=1,3,5,7
/proc/12802/task/12855/stat : 12855 (java) R 12799 12802 5621 0 -1 4202560 22706 13336 0 0 351 8 5 3 20 0 15 0 407014197 11107983360 79838 33554432000 4194304 4196468 140735994658528 140533370099856 140532968733697 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12856] ppid=12799 vsize=10847640 memory=5003746492141410384 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12856/stat : 12856 (java) S 12799 12802 5621 0 -1 1077944384 38 13336 0 0 3 0 5 3 20 0 15 0 407014197 11107983360 79838 33554432000 4194304 4196468 140735994658528 140533402512272 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12857] ppid=12799 vsize=10847640 memory=280731142322544 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12857/stat : 12857 (java) S 12799 12802 5621 0 -1 1077944384 123 13336 0 0 3 0 5 3 20 0 15 0 407014197 11107983360 79838 33554432000 4194304 4196468 140735994658528 140533290785552 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12858] ppid=12799 vsize=10847640 memory=3472468661145120070 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12858/stat : 12858 (java) S 12799 12802 5621 0 -1 1077944384 175 13336 0 0 3 0 5 3 20 0 15 0 407014197 11107983360 79838 33554432000 4194304 4196468 140735994658528 140533289733264 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12859] ppid=12799 vsize=10847640 memory=5003746492141336368 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12859/stat : 12859 (java) S 12799 12802 5621 0 -1 1077944384 588 13336 0 0 3 0 5 3 20 0 15 0 407014197 11107983360 79838 33554432000 4194304 4196468 140735994658528 140533288680464 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12860] ppid=12799 vsize=10847640 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12860/stat : 12860 (java) S 12799 12802 5621 0 -1 1077944384 2741 13336 0 0 3 0 5 3 20 0 15 0 407014199 11107983360 79699 33554432000 4194304 4196468 140735994658528 140532857632880 140533398280834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12861] ppid=12799 vsize=10847640 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12861/stat : 12861 (java) S 12799 12802 5621 0 -1 1077944384 45 13336 0 0 0 0 5 3 20 0 15 0 407014199 11107983360 79699 33554432000 4194304 4196468 140735994658528 140532856578912 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12862] ppid=12799 vsize=10847640 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12862/stat : 12862 (java) S 12799 12802 5621 0 -1 1077944384 7 13336 0 0 0 0 5 3 20 0 15 0 407014199 11107983360 79188 33554432000 4194304 4196468 140735994658528 140532739204224 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12863] ppid=12799 vsize=10847640 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12863/stat : 12863 (java) S 12799 12802 5621 0 -1 1077944384 2 13336 0 0 0 0 5 3 20 0 15 0 407014202 11107983360 79188 33554432000 4194304 4196468 140735994658528 140532135225424 140533398288283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12864] ppid=12799 vsize=10847640 memory=6944652177228980320 CPUtime=2 cores=1,3,5,7
/proc/12802/task/12864/stat : 12864 (java) R 12799 12802 5621 0 -1 4202560 6291 13336 0 0 191 1 5 3 20 0 15 0 407014202 11107983360 79188 33554432000 4194304 4196468 140735994658528 140532823008272 140533375866135 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12865] ppid=12799 vsize=10847640 memory=6944656575208382560 CPUtime=2.05 cores=1,3,5,7
/proc/12802/task/12865/stat : 12865 (java) R 12799 12802 5621 0 -1 4202560 10620 13336 0 0 195 2 5 3 20 0 15 0 407014202 11107983360 79188 33554432000 4194304 4196468 140735994658528 140532821955528 140533390986791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12866] ppid=12799 vsize=10844916 memory=6944656592455360604 CPUtime=1.23 cores=1,3,5,7
/proc/12802/task/12866/stat : 12866 (java) S 12799 12802 5621 0 -1 1077944384 5680 13336 0 0 114 1 5 3 20 0 15 0 407014202 11105193984 79188 33554432000 4194304 4196468 140735994658528 140532820917104 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12867] ppid=12799 vsize=10844916 memory=8325338924929671819 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12867/stat : 12867 (java) S 12799 12802 5621 0 -1 1077944384 3 13336 0 0 0 0 5 3 20 0 15 0 407014202 11105193984 79188 33554432000 4194304 4196468 140735994658528 140531665464288 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12868] ppid=12799 vsize=10844916 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12868/stat : 12868 (java) S 12799 12802 5621 0 -1 1077944384 9 13336 0 0 0 0 5 3 20 0 15 0 407014203 11105193984 79188 33554432000 4194304 4196468 140735994658528 140532819863984 140533398280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
Current children cumulated CPU time: 8.98 s
Current children cumulated vsize: 10847640 KiB
Current children cumulated memory: 319352 KiB
[startup+3.90066 s]
/proc/loadavg: 1.94 1.64 1.54 6/226 12868
/proc/meminfo: memFree=28833984/32770624 swapFree=66920520/67108860
[pid=12802] ppid=12799 vsize=10913212 memory=317676 CPUtime=9.22 cores=1,3,5,7
/proc/12802/stat : 12802 (java) S 12799 12802 5621 0 -1 1077944320 51988 13336 0 0 897 17 5 3 20 0 13 0 407014188 11175129088 79419 33554432000 4194304 4196468 140735994658528 140735994641072 140533398269687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
/proc/12802/statm: 2728303 79419 3609 1 0 2690367 0
[pid=12802/tid=12855] ppid=12799 vsize=10913212 memory=9364 CPUtime=3.77 cores=1,3,5,7
/proc/12802/task/12855/stat : 12855 (java) S 12799 12802 5621 0 -1 1077944384 22727 13336 0 0 361 8 5 3 20 0 13 0 407014197 11175129088 79419 33554432000 4194304 4196468 140735994658528 140533370113168 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12856] ppid=12799 vsize=10913212 memory=1120 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12856/stat : 12856 (java) S 12799 12802 5621 0 -1 1077944384 38 13336 0 0 3 0 5 3 20 0 13 0 407014197 11175129088 79419 33554432000 4194304 4196468 140735994658528 140533402512272 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12857] ppid=12799 vsize=10913212 memory=299 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12857/stat : 12857 (java) S 12799 12802 5621 0 -1 1077944384 123 13336 0 0 3 0 5 3 20 0 13 0 407014197 11175129088 79419 33554432000 4194304 4196468 140735994658528 140533290785552 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12858] ppid=12799 vsize=10913212 memory=140365571115820 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12858/stat : 12858 (java) S 12799 12802 5621 0 -1 1077944384 175 13336 0 0 3 0 5 3 20 0 13 0 407014197 11175129088 79419 33554432000 4194304 4196468 140735994658528 140533289733264 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12859] ppid=12799 vsize=10913212 memory=280731142239392 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12859/stat : 12859 (java) S 12799 12802 5621 0 -1 1077944384 588 13336 0 0 3 0 5 3 20 0 13 0 407014197 11175129088 79419 33554432000 4194304 4196468 140735994658528 140533288680464 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12860] ppid=12799 vsize=10913212 memory=3 CPUtime=0.11 cores=1,3,5,7
/proc/12802/task/12860/stat : 12860 (java) S 12799 12802 5621 0 -1 1077944384 2741 13336 0 0 3 0 5 3 20 0 13 0 407014199 11175129088 79419 33554432000 4194304 4196468 140735994658528 140532857633088 140533398280834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12861] ppid=12799 vsize=10913212 memory=3 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12861/stat : 12861 (java) S 12799 12802 5621 0 -1 1077944384 45 13336 0 0 0 0 5 3 20 0 13 0 407014199 11175129088 79419 33554432000 4194304 4196468 140735994658528 140532856578912 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12862] ppid=12799 vsize=10913212 memory=3 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12862/stat : 12862 (java) S 12799 12802 5621 0 -1 1077944384 7 13336 0 0 0 0 5 3 20 0 13 0 407014199 11175129088 79419 33554432000 4194304 4196468 140735994658528 140532739204224 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12864] ppid=12799 vsize=10913212 memory=1044 CPUtime=2.03 cores=1,3,5,7
/proc/12802/task/12864/stat : 12864 (java) S 12799 12802 5621 0 -1 1077944384 6302 13336 0 0 194 1 5 3 20 0 13 0 407014202 11175129088 79419 33554432000 4194304 4196468 140735994658528 140532823007152 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12865] ppid=12799 vsize=10913212 memory=708 CPUtime=2.15 cores=1,3,5,7
/proc/12802/task/12865/stat : 12865 (java) R 12799 12802 5621 0 -1 4202560 11316 13336 0 0 205 2 5 3 20 0 13 0 407014202 11175129088 79419 33554432000 4194304 4196468 140735994658528 140532821955416 140533383188570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12866] ppid=12799 vsize=10913212 memory=9364 CPUtime=1.24 cores=1,3,5,7
/proc/12802/task/12866/stat : 12866 (java) S 12799 12802 5621 0 -1 1077944384 5693 13336 0 0 115 1 5 3 20 0 13 0 407014202 11175129088 79419 33554432000 4194304 4196468 140735994658528 140532820914608 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
[pid=12802/tid=12867] ppid=12799 vsize=10913212 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12802/task/12867/stat : 12867 (java) S 12799 12802 5621 0 -1 1077944384 3 13336 0 0 0 0 5 3 20 0 13 0 407014202 11175129088 79419 33554432000 4194304 4196468 140735994658528 140531665464288 140533398279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140735994665718 140735994668229 140735994668229 140735994671055 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 10913212 KiB
Current children cumulated memory: 317676 KiB
Child status: 0
Real time (s): 3.91904
CPU time (s): 9.24714
CPU user time (s): 9.03197
CPU system time (s): 0.215176
CPU usage (%): 235.954
Max. virtual memory (cumulated for all children) (KiB): 10913212
Max. memory (cumulated for all children) (KiB): 319352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.03197
system time used= 0.215176
maximum resident set size= 321724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65348
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= 5351
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 12802
# total CPU time (s): 9.24714
# total CPU user time (s): 9.03197
# total CPU system time (s): 0.215176
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04992 second user time and 0.072013 second system time
The end