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 (13497 MiB free)
memory of node 1: 16384 MiB (15600 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387223-1568295894/watcher-4387223-1568295894 -o /tmp/evaluation-result-4387223-1568295894/solver-4387223-1568295894 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568282271-6098 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1093582751 HOME/instance-4387223-1568295894.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=9096, runsolver pid=9093
Current StackSize limit: 8192 KiB
[startup+0.100489 s]*
/proc/loadavg: 1.27 1.54 1.54 3/218 9153
/proc/meminfo: memFree=29788528/32770624 swapFree=66934288/67108860
[pid=9096] ppid=9093 vsize=9972712 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/9096/stat : 9096 (java) S 9093 9096 5271 0 -1 1077944320 4524 13290 0 0 1 0 5 2 20 0 6 0 405847855 10212057088 4270 33554432000 4194304 4196468 140726337620400 140726337602944 140470500130551 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
/proc/9096/statm: 2493178 4270 1935 1 0 2481616 0
[pid=9096/tid=9149] ppid=9093 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=1,3,5,7
/proc/9096/task/9149/stat : 9149 (java) R 9093 9096 5271 0 -1 4202560 2347 13290 0 0 1 0 5 2 20 0 6 0 405847864 10212057088 4336 33554432000 4194304 4196468 140726337620400 140470471967312 140470485442553 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9150] ppid=9093 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9150/stat : 9150 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 6 0 405847865 10212057088 4336 33554432000 4194304 4196468 140726337620400 140470504373392 140470500140757 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9151] ppid=9093 vsize=9972712 memory=139664819263104 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9151/stat : 9151 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 6 0 405847865 10212057088 4336 33554432000 4194304 4196468 140726337620400 140470403263504 140470500140757 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9152] ppid=9093 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9152/stat : 9152 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 6 0 405847865 10212057088 4336 33554432000 4194304 4196468 140726337620400 140470402210704 140470500140757 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9153] ppid=9093 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9153/stat : 9153 (java) S 9093 9096 5271 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 6 0 405847865 10212057088 4336 33554432000 4194304 4196468 140726337620400 140470401157904 140470500140757 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209912 s]*
/proc/loadavg: 1.27 1.54 1.54 3/227 9162
/proc/meminfo: memFree=29770592/32770624 swapFree=66934288/67108860
[pid=9096] ppid=9093 vsize=10818940 memory=38952 CPUtime=0.25 cores=1,3,5,7
/proc/9096/stat : 9096 (java) S 9093 9096 5271 0 -1 1077944320 7054 13290 0 0 17 1 5 2 20 0 15 0 405847855 11078594560 9738 33554432000 4194304 4196468 140726337620400 140726337602944 140470500130551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
/proc/9096/statm: 2704735 9738 2987 1 0 2667149 0
[pid=9096/tid=9149] ppid=9093 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/9096/task/9149/stat : 9149 (java) R 9093 9096 5271 0 -1 4202560 3590 13290 0 0 11 1 5 2 20 0 15 0 405847864 11078594560 9803 33554432000 4194304 4196468 140726337620400 140470471953712 140470484211038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9150] ppid=9093 vsize=10818940 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9150/stat : 9150 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847865 11078594560 9803 33554432000 4194304 4196468 140726337620400 140470504373392 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9151] ppid=9093 vsize=10818940 memory=139664819272322 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9151/stat : 9151 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847865 11078594560 9803 33554432000 4194304 4196468 140726337620400 140470403263504 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9152] ppid=9093 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9152/stat : 9152 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847865 11078594560 9803 33554432000 4194304 4196468 140726337620400 140470402210704 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9153] ppid=9093 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9153/stat : 9153 (java) S 9093 9096 5271 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 15 0 405847865 11078594560 9803 33554432000 4194304 4196468 140726337620400 140470401157904 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9154] ppid=9093 vsize=10818940 memory=139664819263104 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9154/stat : 9154 (java) S 9093 9096 5271 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 15 0 405847866 11078594560 9803 33554432000 4194304 4196468 140726337620400 140469824412016 140470500141698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9155] ppid=9093 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9155/stat : 9155 (java) S 9093 9096 5271 0 -1 1077944384 13 13290 0 0 0 0 5 2 20 0 15 0 405847867 11078594560 9803 33554432000 4194304 4196468 140726337620400 140469388436512 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9156] ppid=9093 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9156/stat : 9156 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847867 11078594560 9803 33554432000 4194304 4196468 140726337620400 140469254218608 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9157] ppid=9093 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9157/stat : 9157 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11078594560 9803 33554432000 4194304 4196468 140726337620400 140469013927760 140470500149147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9158] ppid=9093 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9096/task/9158/stat : 9158 (java) S 9093 9096 5271 0 -1 1077944384 465 13290 0 0 1 0 5 2 20 0 15 0 405847870 11078594560 9803 33554432000 4194304 4196468 140726337620400 140469823359856 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9159] ppid=9093 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9096/task/9159/stat : 9159 (java) S 9093 9096 5271 0 -1 1077944384 142 13290 0 0 1 0 5 2 20 0 15 0 405847870 11078594560 9803 33554432000 4194304 4196468 140726337620400 140469822307056 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9160] ppid=9093 vsize=10818940 memory=139664819263104 CPUtime=0.1 cores=1,3,5,7
/proc/9096/task/9160/stat : 9160 (java) R 9093 9096 5271 0 -1 4202560 637 13290 0 0 3 0 5 2 20 0 15 0 405847870 11078594560 9803 33554432000 4194304 4196468 140726337620400 140469821254256 140470500151898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9161] ppid=9093 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9161/stat : 9161 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11078594560 9803 33554432000 4194304 4196468 140726337620400 140468980370144 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9162] ppid=9093 vsize=10818940 memory=139664819263104 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9162/stat : 9162 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847870 11078594560 9803 33554432000 4194304 4196468 140726337620400 140469820201648 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38952 KiB
[startup+0.310953 s]*
/proc/loadavg: 1.27 1.54 1.54 4/227 9162
/proc/meminfo: memFree=29760344/32770624 swapFree=66934288/67108860
[pid=9096] ppid=9093 vsize=10820244 memory=50568 CPUtime=0.39 cores=1,3,5,7
/proc/9096/stat : 9096 (java) S 9093 9096 5271 0 -1 1077944320 10829 13290 0 0 29 3 5 2 20 0 15 0 405847855 11079929856 12642 33554432000 4194304 4196468 140726337620400 140726337602944 140470500130551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
/proc/9096/statm: 2705061 12642 3306 1 0 2667149 0
[pid=9096/tid=9149] ppid=9093 vsize=10820244 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/9096/task/9149/stat : 9149 (java) R 9093 9096 5271 0 -1 4202560 7332 13290 0 0 19 2 5 2 20 0 15 0 405847864 11079929856 12642 33554432000 4194304 4196468 140726337620400 140470471948656 140470484211038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9150] ppid=9093 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9150/stat : 9150 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847865 11079929856 12642 33554432000 4194304 4196468 140726337620400 140470504373392 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9151] ppid=9093 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9151/stat : 9151 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847865 11079929856 12642 33554432000 4194304 4196468 140726337620400 140470403263504 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9152] ppid=9093 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9152/stat : 9152 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847865 11079929856 12642 33554432000 4194304 4196468 140726337620400 140470402210704 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9153] ppid=9093 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9153/stat : 9153 (java) S 9093 9096 5271 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 15 0 405847865 11079929856 12642 33554432000 4194304 4196468 140726337620400 140470401157904 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9154] ppid=9093 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9154/stat : 9154 (java) S 9093 9096 5271 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 15 0 405847866 11079929856 12642 33554432000 4194304 4196468 140726337620400 140469824412016 140470500141698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9155] ppid=9093 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9155/stat : 9155 (java) S 9093 9096 5271 0 -1 1077944384 13 13290 0 0 0 0 5 2 20 0 15 0 405847867 11079929856 12642 33554432000 4194304 4196468 140726337620400 140469388436512 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9156] ppid=9093 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9156/stat : 9156 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847867 11079929856 12642 33554432000 4194304 4196468 140726337620400 140469254218608 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9157] ppid=9093 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9157/stat : 9157 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11079929856 12642 33554432000 4194304 4196468 140726337620400 140469013927760 140470500149147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9158] ppid=9093 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9096/task/9158/stat : 9158 (java) R 9093 9096 5271 0 -1 4202560 466 13290 0 0 2 0 5 2 20 0 15 0 405847870 11079929856 12642 33554432000 4194304 4196468 140726337620400 140469823359856 140470483613960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9159] ppid=9093 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9096/task/9159/stat : 9159 (java) S 9093 9096 5271 0 -1 1077944384 143 13290 0 0 1 0 5 2 20 0 15 0 405847870 11079929856 12642 33554432000 4194304 4196468 140726337620400 140469822307056 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9160] ppid=9093 vsize=10820244 memory=139664819263104 CPUtime=0.12 cores=1,3,5,7
/proc/9096/task/9160/stat : 9160 (java) S 9093 9096 5271 0 -1 1077944384 651 13290 0 0 5 0 5 2 20 0 15 0 405847870 11079929856 12642 33554432000 4194304 4196468 140726337620400 140469821254256 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9161] ppid=9093 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9161/stat : 9161 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11079929856 12642 33554432000 4194304 4196468 140726337620400 140468980370144 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9162] ppid=9093 vsize=10820244 memory=139664819263104 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9162/stat : 9162 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847870 11079929856 12642 33554432000 4194304 4196468 140726337620400 140469820201648 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 50568 KiB
[startup+0.706202 s]
/proc/loadavg: 1.27 1.54 1.54 5/227 9162
/proc/meminfo: memFree=29744612/32770624 swapFree=66934288/67108860
[pid=9096] ppid=9093 vsize=10824340 memory=81104 CPUtime=1.14 cores=1,3,5,7
/proc/9096/stat : 9096 (java) S 9093 9096 5271 0 -1 1077944320 15088 13290 0 0 102 5 5 2 20 0 15 0 405847855 11084124160 20276 33554432000 4194304 4196468 140726337620400 140726337602944 140470500130551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
/proc/9096/statm: 2706085 20276 3508 1 0 2668173 0
[pid=9096/tid=9149] ppid=9093 vsize=10824340 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/9096/task/9149/stat : 9149 (java) R 9093 9096 5271 0 -1 4202560 10752 13290 0 0 56 4 5 2 20 0 15 0 405847864 11084124160 20276 33554432000 4194304 4196468 140726337620400 140470471950736 140470483322805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9150] ppid=9093 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9150/stat : 9150 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847865 11084124160 20276 33554432000 4194304 4196468 140726337620400 140470504373392 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9151] ppid=9093 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9151/stat : 9151 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847865 11084124160 20276 33554432000 4194304 4196468 140726337620400 140470403263504 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9152] ppid=9093 vsize=10824340 memory=139664686198992 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9152/stat : 9152 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847865 11084124160 20276 33554432000 4194304 4196468 140726337620400 140470402210704 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9153] ppid=9093 vsize=10824340 memory=139668041499241 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9153/stat : 9153 (java) S 9093 9096 5271 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 15 0 405847865 11084124160 20276 33554432000 4194304 4196468 140726337620400 140470401157904 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9154] ppid=9093 vsize=10824340 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9154/stat : 9154 (java) S 9093 9096 5271 0 -1 1077944384 5 13290 0 0 0 0 5 2 20 0 15 0 405847866 11084124160 20276 33554432000 4194304 4196468 140726337620400 140469824412016 140470500141698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9155] ppid=9093 vsize=10824340 memory=7014751519667017297 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9155/stat : 9155 (java) S 9093 9096 5271 0 -1 1077944384 13 13290 0 0 0 0 5 2 20 0 15 0 405847867 11084124160 20276 33554432000 4194304 4196468 140726337620400 140469388436512 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9156] ppid=9093 vsize=10824340 memory=7813575291747980394 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9156/stat : 9156 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847867 11084124160 20276 33554432000 4194304 4196468 140726337620400 140469254218608 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9157] ppid=9093 vsize=10824340 memory=14056 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9157/stat : 9157 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11084124160 20276 33554432000 4194304 4196468 140726337620400 140469013927760 140470500149147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9158] ppid=9093 vsize=10824340 memory=2116 CPUtime=0.22 cores=1,3,5,7
/proc/9096/task/9158/stat : 9158 (java) S 9093 9096 5271 0 -1 1077944384 788 13290 0 0 15 0 5 2 20 0 15 0 405847870 11084124160 20276 33554432000 4194304 4196468 140726337620400 140469823359856 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9159] ppid=9093 vsize=10824340 memory=516 CPUtime=0.18 cores=1,3,5,7
/proc/9096/task/9159/stat : 9159 (java) S 9093 9096 5271 0 -1 1077944384 443 13290 0 0 11 0 5 2 20 0 15 0 405847870 11084124160 20276 33554432000 4194304 4196468 140726337620400 140469822307056 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9160] ppid=9093 vsize=10824340 memory=1556 CPUtime=0.24 cores=1,3,5,7
/proc/9096/task/9160/stat : 9160 (java) S 9093 9096 5271 0 -1 1077944384 864 13290 0 0 17 0 5 2 20 0 15 0 405847870 11084124160 20276 33554432000 4194304 4196468 140726337620400 140469821254256 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9161] ppid=9093 vsize=10824340 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9161/stat : 9161 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11084124160 20276 33554432000 4194304 4196468 140726337620400 140468980370144 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9162] ppid=9093 vsize=10824340 memory=1668 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9162/stat : 9162 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847870 11084124160 20276 33554432000 4194304 4196468 140726337620400 140469820201648 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 81104 KiB
[startup+1.50067 s]
/proc/loadavg: 1.27 1.54 1.54 5/227 9162
/proc/meminfo: memFree=29673932/32770624 swapFree=66934288/67108860
[pid=9096] ppid=9093 vsize=10832608 memory=216292 CPUtime=2.97 cores=1,3,5,7
/proc/9096/stat : 9096 (java) S 9093 9096 5271 0 -1 1077944320 24558 13290 0 0 279 11 5 2 20 0 15 0 405847855 11092590592 54073 33554432000 4194304 4196468 140726337620400 140726337602944 140470500130551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
/proc/9096/statm: 2708152 54073 3576 1 0 2670221 0
[pid=9096/tid=9149] ppid=9093 vsize=10832608 memory=170464 CPUtime=1.42 cores=1,3,5,7
/proc/9096/task/9149/stat : 9149 (java) R 9093 9096 5271 0 -1 4202560 15302 13290 0 0 130 5 5 2 20 0 15 0 405847864 11092590592 54073 33554432000 4194304 4196468 140726337620400 140470471955008 140470484174181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9150] ppid=9093 vsize=10832608 memory=2436 CPUtime=0.08 cores=1,3,5,7
/proc/9096/task/9150/stat : 9150 (java) S 9093 9096 5271 0 -1 1077944384 306 13290 0 0 1 0 5 2 20 0 15 0 405847865 11092590592 54073 33554432000 4194304 4196468 140726337620400 140470504373392 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9151] ppid=9093 vsize=10832608 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/9096/task/9151/stat : 9151 (java) S 9093 9096 5271 0 -1 1077944384 69 13290 0 0 1 0 5 2 20 0 15 0 405847865 11092590592 54073 33554432000 4194304 4196468 140726337620400 140470403263504 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9152] ppid=9093 vsize=10832608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9096/task/9152/stat : 9152 (java) S 9093 9096 5271 0 -1 1077944384 34 13290 0 0 1 0 5 2 20 0 15 0 405847865 11092590592 54073 33554432000 4194304 4196468 140726337620400 140470402210704 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9153] ppid=9093 vsize=10832608 memory=-7303279828959712342 CPUtime=0.08 cores=1,3,5,7
/proc/9096/task/9153/stat : 9153 (java) S 9093 9096 5271 0 -1 1077944384 51 13290 0 0 0 1 5 2 20 0 15 0 405847865 11092590592 54073 33554432000 4194304 4196468 140726337620400 140470401157904 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9154] ppid=9093 vsize=10832608 memory=3833724587141655611 CPUtime=0.08 cores=1,3,5,7
/proc/9096/task/9154/stat : 9154 (java) S 9093 9096 5271 0 -1 1077944384 127 13290 0 0 1 0 5 2 20 0 15 0 405847866 11092590592 54073 33554432000 4194304 4196468 140726337620400 140469824412016 140470500141698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9155] ppid=9093 vsize=10832608 memory=-6798310482166503264 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9155/stat : 9155 (java) S 9093 9096 5271 0 -1 1077944384 14 13290 0 0 0 0 5 2 20 0 15 0 405847867 11092590592 54073 33554432000 4194304 4196468 140726337620400 140469388436576 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9156] ppid=9093 vsize=10832608 memory=-6078294146213043397 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9156/stat : 9156 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847867 11092590592 54073 33554432000 4194304 4196468 140726337620400 140469254218608 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9157] ppid=9093 vsize=10832608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9157/stat : 9157 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11092590592 54073 33554432000 4194304 4196468 140726337620400 140469013927760 140470500149147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9158] ppid=9093 vsize=10832608 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/9096/task/9158/stat : 9158 (java) S 9093 9096 5271 0 -1 1077944384 1933 13290 0 0 50 0 5 2 20 0 15 0 405847870 11092590592 54073 33554432000 4194304 4196468 140726337620400 140469823359856 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9159] ppid=9093 vsize=10832608 memory=4580 CPUtime=0.6 cores=1,3,5,7
/proc/9096/task/9159/stat : 9159 (java) S 9093 9096 5271 0 -1 1077944384 2635 13290 0 0 53 0 5 2 20 0 15 0 405847870 11092590592 54073 33554432000 4194304 4196468 140726337620400 140469822307056 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9160] ppid=9093 vsize=10832608 memory=5793414063310787152 CPUtime=0.44 cores=1,3,5,7
/proc/9096/task/9160/stat : 9160 (java) R 9093 9096 5271 0 -1 4202560 1871 13290 0 0 37 0 5 2 20 0 15 0 405847870 11092590592 54073 33554432000 4194304 4196468 140726337620400 140469821254256 140470493227387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9161] ppid=9093 vsize=10832608 memory=6075463926090388816 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9161/stat : 9161 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11092590592 54073 33554432000 4194304 4196468 140726337620400 140468980370144 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9162] ppid=9093 vsize=10832608 memory=7516902878270548847 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9162/stat : 9162 (java) S 9093 9096 5271 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 405847870 11092590592 54073 33554432000 4194304 4196468 140726337620400 140469820201648 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10832608 KiB
################
# More data... #
################
/proc/9096/task/9149/stat : 9149 (java) R 9093 9096 5271 0 -1 4202560 98095 13290 0 0 237473 49 5 2 20 0 15 0 405847864 11107291136 484979 33554432000 4194304 4196468 140726337620400 140470471965376 140470085761267 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9150] ppid=9093 vsize=10846964 memory=1939904 CPUtime=3.88 cores=1,3,5,7
/proc/9096/task/9150/stat : 9150 (java) S 9093 9096 5271 0 -1 1077944384 20553 13290 0 0 360 21 5 2 20 0 15 0 405847865 11107291136 484979 33554432000 4194304 4196468 140726337620400 140470504373392 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9151] ppid=9093 vsize=10846964 memory=1939908 CPUtime=3.88 cores=1,3,5,7
/proc/9096/task/9151/stat : 9151 (java) S 9093 9096 5271 0 -1 1077944384 36506 13290 0 0 361 20 5 2 20 0 15 0 405847865 11107291136 484979 33554432000 4194304 4196468 140726337620400 140470403263504 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9152] ppid=9093 vsize=10846964 memory=1939908 CPUtime=3.86 cores=1,3,5,7
/proc/9096/task/9152/stat : 9152 (java) S 9093 9096 5271 0 -1 1077944384 24828 13290 0 0 359 20 5 2 20 0 15 0 405847865 11107291136 484979 33554432000 4194304 4196468 140726337620400 140470402210704 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9153] ppid=9093 vsize=10846964 memory=1939916 CPUtime=3.87 cores=1,3,5,7
/proc/9096/task/9153/stat : 9153 (java) S 9093 9096 5271 0 -1 1077944384 28039 13290 0 0 357 23 5 2 20 0 15 0 405847865 11107291136 484979 33554432000 4194304 4196468 140726337620400 140470401157904 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9154] ppid=9093 vsize=10846964 memory=1939916 CPUtime=2.78 cores=1,3,5,7
/proc/9096/task/9154/stat : 9154 (java) S 9093 9096 5271 0 -1 1077944384 27844 13290 0 0 251 20 5 2 20 0 15 0 405847866 11107291136 484979 33554432000 4194304 4196468 140726337620400 140469824412016 140470500141698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9155] ppid=9093 vsize=10846964 memory=1939916 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9155/stat : 9155 (java) S 9093 9096 5271 0 -1 1077944384 26 13290 0 0 0 0 5 2 20 0 15 0 405847867 11107291136 484979 33554432000 4194304 4196468 140726337620400 140469388436640 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9156] ppid=9093 vsize=10846964 memory=1939916 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9156/stat : 9156 (java) S 9093 9096 5271 0 -1 1077944384 21 13290 0 0 0 0 5 2 20 0 15 0 405847867 11107291136 484979 33554432000 4194304 4196468 140726337620400 140469254218624 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9157] ppid=9093 vsize=10846964 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9157/stat : 9157 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11107291136 484979 33554432000 4194304 4196468 140726337620400 140469013927760 140470500149147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9158] ppid=9093 vsize=10846964 memory=1060 CPUtime=6.45 cores=1,3,5,7
/proc/9096/task/9158/stat : 9158 (java) S 9093 9096 5271 0 -1 1077944384 80126 13290 0 0 627 11 5 2 20 0 15 0 405847870 11107291136 484979 33554432000 4194304 4196468 140726337620400 140469823359856 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9159] ppid=9093 vsize=10846964 memory=3624 CPUtime=6.63 cores=1,3,5,7
/proc/9096/task/9159/stat : 9159 (java) S 9093 9096 5271 0 -1 1077944384 83828 13290 0 0 646 10 5 2 20 0 15 0 405847870 11107291136 484979 33554432000 4194304 4196468 140726337620400 140469822307056 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9160] ppid=9093 vsize=10846964 memory=56 CPUtime=3.97 cores=1,3,5,7
/proc/9096/task/9160/stat : 9160 (java) S 9093 9096 5271 0 -1 1077944384 69812 13290 0 0 381 9 5 2 20 0 15 0 405847870 11107291136 484979 33554432000 4194304 4196468 140726337620400 140469821254256 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9161] ppid=9093 vsize=10846964 memory=804 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9161/stat : 9161 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11107291136 484979 33554432000 4194304 4196468 140726337620400 140468980370144 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9162] ppid=9093 vsize=10846964 memory=1808 CPUtime=1.31 cores=1,3,5,7
/proc/9096/task/9162/stat : 9162 (java) S 9093 9096 5271 0 -1 1077944384 2455 13290 0 0 59 65 5 2 20 0 15 0 405847870 11107291136 484979 33554432000 4194304 4196468 140726337620400 140469820201648 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
Current children cumulated CPU time: 2411.41 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1939916 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.35 1.44 3/229 10060
/proc/meminfo: memFree=29075024/32770624 swapFree=66934316/67108860
[pid=9096] ppid=9093 vsize=10846964 memory=1942044 CPUtime=2471.98 cores=1,3,5,7
/proc/9096/stat : 9096 (java) S 9093 9096 5271 0 -1 1077944320 478412 13290 0 0 246962 229 5 2 20 0 15 0 405847855 11107291136 485511 33554432000 4194304 4196468 140726337620400 140726337602944 140470500130551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
/proc/9096/statm: 2711741 485511 3620 1 0 2673805 0
[pid=9096/tid=9149] ppid=9093 vsize=10846964 memory=1942020 CPUtime=2434.96 cores=1,3,5,7
/proc/9096/task/9149/stat : 9149 (java) R 9093 9096 5271 0 -1 4202560 98975 13290 0 0 243440 49 5 2 20 0 15 0 405847864 11107291136 485511 33554432000 4194304 4196468 140726337620400 140470471965696 140470085757794 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9150] ppid=9093 vsize=10846964 memory=1942020 CPUtime=4.05 cores=1,3,5,7
/proc/9096/task/9150/stat : 9150 (java) S 9093 9096 5271 0 -1 1077944384 20842 13290 0 0 376 22 5 2 20 0 15 0 405847865 11107291136 485511 33554432000 4194304 4196468 140726337620400 140470504373392 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9151] ppid=9093 vsize=10846964 memory=1942020 CPUtime=4.05 cores=1,3,5,7
/proc/9096/task/9151/stat : 9151 (java) S 9093 9096 5271 0 -1 1077944384 36754 13290 0 0 376 22 5 2 20 0 15 0 405847865 11107291136 485511 33554432000 4194304 4196468 140726337620400 140470403263504 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9152] ppid=9093 vsize=10846964 memory=1942020 CPUtime=4.04 cores=1,3,5,7
/proc/9096/task/9152/stat : 9152 (java) S 9093 9096 5271 0 -1 1077944384 25117 13290 0 0 376 21 5 2 20 0 15 0 405847865 11107291136 485511 33554432000 4194304 4196468 140726337620400 140470402210704 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9153] ppid=9093 vsize=10846964 memory=1942044 CPUtime=4.04 cores=1,3,5,7
/proc/9096/task/9153/stat : 9153 (java) S 9093 9096 5271 0 -1 1077944384 28244 13290 0 0 374 23 5 2 20 0 15 0 405847865 11107291136 485511 33554432000 4194304 4196468 140726337620400 140470401157904 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9154] ppid=9093 vsize=10846964 memory=1942044 CPUtime=2.9 cores=1,3,5,7
/proc/9096/task/9154/stat : 9154 (java) S 9093 9096 5271 0 -1 1077944384 28247 13290 0 0 263 20 5 2 20 0 15 0 405847866 11107291136 485511 33554432000 4194304 4196468 140726337620400 140469824412016 140470500141698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9155] ppid=9093 vsize=10846964 memory=1942044 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9155/stat : 9155 (java) S 9093 9096 5271 0 -1 1077944384 26 13290 0 0 0 0 5 2 20 0 15 0 405847867 11107291136 485511 33554432000 4194304 4196468 140726337620400 140469388436640 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9156] ppid=9093 vsize=10846964 memory=1942044 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9156/stat : 9156 (java) S 9093 9096 5271 0 -1 1077944384 21 13290 0 0 0 0 5 2 20 0 15 0 405847867 11107291136 485511 33554432000 4194304 4196468 140726337620400 140469254218624 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9157] ppid=9093 vsize=10846964 memory=13568180467533183 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9157/stat : 9157 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11107291136 485511 33554432000 4194304 4196468 140726337620400 140469013927760 140470500149147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9158] ppid=9093 vsize=10846964 memory=3624 CPUtime=6.47 cores=1,3,5,7
/proc/9096/task/9158/stat : 9158 (java) S 9093 9096 5271 0 -1 1077944384 80717 13290 0 0 629 11 5 2 20 0 15 0 405847870 11107291136 485511 33554432000 4194304 4196468 140726337620400 140469823359856 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9159] ppid=9093 vsize=10846964 memory=20604 CPUtime=6.65 cores=1,3,5,7
/proc/9096/task/9159/stat : 9159 (java) S 9093 9096 5271 0 -1 1077944384 84308 13290 0 0 648 10 5 2 20 0 15 0 405847870 11107291136 485511 33554432000 4194304 4196468 140726337620400 140469822307056 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9160] ppid=9093 vsize=10846964 memory=1942020 CPUtime=3.98 cores=1,3,5,7
/proc/9096/task/9160/stat : 9160 (java) S 9093 9096 5271 0 -1 1077944384 70456 13290 0 0 382 9 5 2 20 0 15 0 405847870 11107291136 485511 33554432000 4194304 4196468 140726337620400 140469821254256 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9161] ppid=9093 vsize=10846964 memory=279329373342704 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9161/stat : 9161 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11107291136 485511 33554432000 4194304 4196468 140726337620400 140468980370144 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9162] ppid=9093 vsize=10846964 memory=1942020 CPUtime=1.35 cores=1,3,5,7
/proc/9096/task/9162/stat : 9162 (java) S 9093 9096 5271 0 -1 1077944384 2489 13290 0 0 61 67 5 2 20 0 15 0 405847870 11107291136 485511 33554432000 4194304 4196468 140726337620400 140469820201648 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
Current children cumulated CPU time: 2471.98 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1942044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2489.9 s]
/proc/loadavg: 1.19 1.31 1.43 3/227 10064
/proc/meminfo: memFree=29081088/32770624 swapFree=66934316/67108860
[pid=9096] ppid=9093 vsize=10846964 memory=1942104 CPUtime=2520.01 cores=1,3,5,7
/proc/9096/stat : 9096 (java) S 9093 9096 5271 0 -1 1077944320 481435 13290 0 0 251761 233 5 2 20 0 15 0 405847855 11107291136 485526 33554432000 4194304 4196468 140726337620400 140726337602944 140470500130551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
/proc/9096/statm: 2711741 485526 3620 1 0 2673805 0
[pid=9096/tid=9149] ppid=9093 vsize=10846964 memory=1942060 CPUtime=2482.3 cores=1,3,5,7
/proc/9096/task/9149/stat : 9149 (java) R 9093 9096 5271 0 -1 4202560 99633 13290 0 0 248174 49 5 2 20 0 15 0 405847864 11107291136 485526 33554432000 4194304 4196468 140726337620400 140470471965408 140470085760679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9150] ppid=9093 vsize=10846964 memory=1942088 CPUtime=4.17 cores=1,3,5,7
/proc/9096/task/9150/stat : 9150 (java) S 9093 9096 5271 0 -1 1077944384 20903 13290 0 0 388 22 5 2 20 0 15 0 405847865 11107291136 485526 33554432000 4194304 4196468 140726337620400 140470504373392 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9151] ppid=9093 vsize=10846964 memory=1942092 CPUtime=4.19 cores=1,3,5,7
/proc/9096/task/9151/stat : 9151 (java) S 9093 9096 5271 0 -1 1077944384 37165 13290 0 0 389 23 5 2 20 0 15 0 405847865 11107291136 485526 33554432000 4194304 4196468 140726337620400 140470403263504 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9152] ppid=9093 vsize=10846964 memory=1942092 CPUtime=4.16 cores=1,3,5,7
/proc/9096/task/9152/stat : 9152 (java) S 9093 9096 5271 0 -1 1077944384 25346 13290 0 0 388 21 5 2 20 0 15 0 405847865 11107291136 485526 33554432000 4194304 4196468 140726337620400 140470402210704 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9153] ppid=9093 vsize=10846964 memory=1942092 CPUtime=4.18 cores=1,3,5,7
/proc/9096/task/9153/stat : 9153 (java) S 9093 9096 5271 0 -1 1077944384 28304 13290 0 0 387 24 5 2 20 0 15 0 405847865 11107291136 485526 33554432000 4194304 4196468 140726337620400 140470401157904 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9154] ppid=9093 vsize=10846964 memory=1942104 CPUtime=2.99 cores=1,3,5,7
/proc/9096/task/9154/stat : 9154 (java) S 9093 9096 5271 0 -1 1077944384 28625 13290 0 0 272 20 5 2 20 0 15 0 405847866 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469824412016 140470500141698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9155] ppid=9093 vsize=10846964 memory=1942092 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9155/stat : 9155 (java) S 9093 9096 5271 0 -1 1077944384 26 13290 0 0 0 0 5 2 20 0 15 0 405847867 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469388436640 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9156] ppid=9093 vsize=10846964 memory=1942092 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9156/stat : 9156 (java) S 9093 9096 5271 0 -1 1077944384 21 13290 0 0 0 0 5 2 20 0 15 0 405847867 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469254218624 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9157] ppid=9093 vsize=10846964 memory=1942088 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9157/stat : 9157 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469013927760 140470500149147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9158] ppid=9093 vsize=10846964 memory=111632 CPUtime=6.49 cores=1,3,5,7
/proc/9096/task/9158/stat : 9158 (java) S 9093 9096 5271 0 -1 1077944384 81234 13290 0 0 631 11 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469823359856 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9159] ppid=9093 vsize=10846964 memory=804 CPUtime=6.67 cores=1,3,5,7
/proc/9096/task/9159/stat : 9159 (java) S 9093 9096 5271 0 -1 1077944384 84595 13290 0 0 650 10 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469822307056 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9160] ppid=9093 vsize=10846964 memory=1412 CPUtime=3.99 cores=1,3,5,7
/proc/9096/task/9160/stat : 9160 (java) S 9093 9096 5271 0 -1 1077944384 70850 13290 0 0 383 9 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469821254256 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9161] ppid=9093 vsize=10846964 memory=1548 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9161/stat : 9161 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140468980370144 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9162] ppid=9093 vsize=10846964 memory=7148 CPUtime=1.37 cores=1,3,5,7
/proc/9096/task/9162/stat : 9162 (java) S 9093 9096 5271 0 -1 1077944384 2517 13290 0 0 62 68 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469820201648 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1942104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2489.93 s]
# the end of solver process 9096 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.69 s, system=2.37704 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2489.9 s]
/proc/loadavg: 1.19 1.31 1.43 3/227 10064
/proc/meminfo: memFree=29081088/32770624 swapFree=66934316/67108860
[pid=9096] ppid=9093 vsize=10846964 memory=1942104 CPUtime=2520.01 cores=1,3,5,7
/proc/9096/stat : 9096 (java) S 9093 9096 5271 0 -1 1077944320 481435 13290 0 0 251761 233 5 2 20 0 15 0 405847855 11107291136 485526 33554432000 4194304 4196468 140726337620400 140726337602944 140470500130551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
/proc/9096/statm: 2711741 485526 3620 1 0 2673805 0
[pid=9096/tid=9149] ppid=9093 vsize=10846964 memory=1942060 CPUtime=2482.3 cores=1,3,5,7
/proc/9096/task/9149/stat : 9149 (java) R 9093 9096 5271 0 -1 4202560 99633 13290 0 0 248174 49 5 2 20 0 15 0 405847864 11107291136 485526 33554432000 4194304 4196468 140726337620400 140470471965408 140470085760679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9150] ppid=9093 vsize=10846964 memory=1942088 CPUtime=4.17 cores=1,3,5,7
/proc/9096/task/9150/stat : 9150 (java) S 9093 9096 5271 0 -1 1077944384 20903 13290 0 0 388 22 5 2 20 0 15 0 405847865 11107291136 485526 33554432000 4194304 4196468 140726337620400 140470504373392 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9151] ppid=9093 vsize=10846964 memory=1942092 CPUtime=4.19 cores=1,3,5,7
/proc/9096/task/9151/stat : 9151 (java) S 9093 9096 5271 0 -1 1077944384 37165 13290 0 0 389 23 5 2 20 0 15 0 405847865 11107291136 485526 33554432000 4194304 4196468 140726337620400 140470403263504 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9152] ppid=9093 vsize=10846964 memory=1942092 CPUtime=4.16 cores=1,3,5,7
/proc/9096/task/9152/stat : 9152 (java) S 9093 9096 5271 0 -1 1077944384 25346 13290 0 0 388 21 5 2 20 0 15 0 405847865 11107291136 485526 33554432000 4194304 4196468 140726337620400 140470402210704 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9153] ppid=9093 vsize=10846964 memory=1942092 CPUtime=4.18 cores=1,3,5,7
/proc/9096/task/9153/stat : 9153 (java) S 9093 9096 5271 0 -1 1077944384 28304 13290 0 0 387 24 5 2 20 0 15 0 405847865 11107291136 485526 33554432000 4194304 4196468 140726337620400 140470401157904 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9154] ppid=9093 vsize=10846964 memory=1942104 CPUtime=2.99 cores=1,3,5,7
/proc/9096/task/9154/stat : 9154 (java) S 9093 9096 5271 0 -1 1077944384 28625 13290 0 0 272 20 5 2 20 0 15 0 405847866 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469824412016 140470500141698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9155] ppid=9093 vsize=10846964 memory=1942092 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9155/stat : 9155 (java) S 9093 9096 5271 0 -1 1077944384 26 13290 0 0 0 0 5 2 20 0 15 0 405847867 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469388436640 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9156] ppid=9093 vsize=10846964 memory=1942092 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9156/stat : 9156 (java) S 9093 9096 5271 0 -1 1077944384 21 13290 0 0 0 0 5 2 20 0 15 0 405847867 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469254218624 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9157] ppid=9093 vsize=10846964 memory=1942088 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9157/stat : 9157 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469013927760 140470500149147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9158] ppid=9093 vsize=10846964 memory=111632 CPUtime=6.49 cores=1,3,5,7
/proc/9096/task/9158/stat : 9158 (java) S 9093 9096 5271 0 -1 1077944384 81234 13290 0 0 631 11 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469823359856 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9159] ppid=9093 vsize=10846964 memory=804 CPUtime=6.67 cores=1,3,5,7
/proc/9096/task/9159/stat : 9159 (java) S 9093 9096 5271 0 -1 1077944384 84595 13290 0 0 650 10 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469822307056 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9160] ppid=9093 vsize=10846964 memory=1412 CPUtime=3.99 cores=1,3,5,7
/proc/9096/task/9160/stat : 9160 (java) S 9093 9096 5271 0 -1 1077944384 70850 13290 0 0 383 9 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469821254256 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9161] ppid=9093 vsize=10846964 memory=1548 CPUtime=0.07 cores=1,3,5,7
/proc/9096/task/9161/stat : 9161 (java) S 9093 9096 5271 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140468980370144 140470500140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
[pid=9096/tid=9162] ppid=9093 vsize=10846964 memory=7148 CPUtime=1.37 cores=1,3,5,7
/proc/9096/task/9162/stat : 9162 (java) S 9093 9096 5271 0 -1 1077944384 2517 13290 0 0 62 68 5 2 20 0 15 0 405847870 11107291136 485526 33554432000 4194304 4196468 140726337620400 140469820201648 140470500141698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 31453184 140726337624821 140726337627333 140726337627333 140726337630159 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1942104 KiB
Child status: 143
Real time (s): 2489.93
CPU time (s): 2520.07
CPU user time (s): 2517.69
CPU system time (s): 2.37704
CPU usage (%): 101.21
Max. virtual memory (cumulated for all children) (KiB): 10847580
Max. memory (cumulated for all children) (KiB): 2047920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.69
system time used= 2.37704
maximum resident set size= 2049968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495240
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131584
involuntary context switches= 2352
# summary of solver processes directly reported to runsolver:
# pid: 9096
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.69
# total CPU system time (s): 2.37704
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3858 second user time and 19.5308 second system time
The end