Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 223 | 20052.301 | 2520.1201 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml |
MD5SUM | 1a474c72a1f7224eb7c0241d7ff915ce |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 223 |
Best CPU time to get the best result obtained on this benchmark | 20031.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 306 |
Number of constraints | 139 |
Number of domains | 2 |
Minimum domain size | 500 |
Maximum domain size | 501 |
Distribution of domain sizes | [{"size":500,"count":136},{"size":501,"count":17}] |
Minimum variable degree | 0 |
Maximum variable degree | 18 |
Distribution of variable degrees | [{"degree":0,"count":153},{"degree":2,"count":136},{"degree":17,"count":15},{"degree":18,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 136 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":136},{"arity":17,"count":1},{"arity":136,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 137 |
Distribution of constraint types | [{"type":"intension","count":137},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270549-1502722805.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4270549-1502722805.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 1.75/0.73 c solve instance... 5.50/1.21 o 289 5.50/1.26 o 280 5.50/1.27 o 276 6.90/1.44 o 272 7.65/1.56 o 268 12.47/2.19 o 267 13.24/2.22 o 266 13.95/2.34 o 264 15.53/2.55 o 255 34.61/4.92 o 253 82.26/10.95 o 248 98.16/12.99 o 241 217.28/27.92 o 240 750.52/94.90 o 239 1729.49/217.75 o 238 1839.29/231.54 o 237 3267.70/410.90 o 236 3531.37/444.02 o 234 5285.20/664.34 o 233 6898.01/866.90 o 229 7608.71/956.21 o 226 11828.59/1486.64 o 225 14023.63/1762.60 o 223 20051.47/2520.10 s SATISFIABLE 20051.47/2520.10 v <instantiation> 20051.47/2520.10 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[12][13] y[12][14] y[12][15] y[12][16] y[13][14] y[13][15] y[13][16] y[14][15] y[14][16] y[15][16] </list> 20051.47/2520.10 v <values>0 1 3 7 12 26 41 59 80 90 122 135 152 172 188 196 223 1 3 7 12 26 41 59 80 90 122 135 152 172 188 196 223 2 6 11 25 40 58 79 89 121 134 151 171 187 195 222 4 9 23 38 56 77 87 119 132 149 169 185 193 220 5 19 34 52 73 83 115 128 145 165 181 189 216 14 29 47 68 78 110 123 140 160 176 184 211 15 33 54 64 96 109 126 146 162 170 197 18 39 49 81 94 111 131 147 155 182 21 31 63 76 93 113 129 137 164 10 42 55 72 92 108 116 143 32 45 62 82 98 106 133 13 30 50 66 74 101 17 37 53 61 88 20 36 44 71 16 24 51 8 35 27 </values> 20051.47/2520.10 v </instantiation> 20051.47/2520.10 c Unexpected resolution interruption!
OK 223
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 (15207 MiB free) memory of node 1: 16384 MiB (15584 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270549-1502722805/watcher-4270549-1502722805 -o /tmp/evaluation-result-4270549-1502722805/solver-4270549-1502722805 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502721946-17119 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 838921647 HOME/instance-4270549-1502722805.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=17136, runsolver pid=17133 Current StackSize limit: 8192 KiB [startup+0.100111 s]* /proc/loadavg: 7.51 8.06 8.18 2/199 17157 /proc/meminfo: memFree=31513620/32770624 swapFree=67108860/67108860 [pid=17136] ppid=17133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17136/stat : 17136 (xcsp3-exec) S 17133 17136 17092 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105368670 9740288 346 33554432000 4194304 5098028 140734285330240 140734285328344 140379098284668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30941184 140734285337701 140734285337911 140734285337911 140734285340651 0 /proc/17136/statm: 2378 346 289 221 0 87 0 [pid=17138] ppid=17136 vsize=25999808 memory=28592 CPUtime=0.11 cores=0-7 /proc/17138/stat : 17138 (java) S 17136 17136 17092 0 -1 1077944320 5576 0 0 0 10 1 0 0 20 0 20 0 105368670 26623803392 7148 33554432000 4194304 4196468 140732275129328 140732275111872 140441615286007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 /proc/17138/statm: 6499952 7148 2845 1 0 6488269 0 [pid=17138/tid=17139] ppid=17136 vsize=25999808 memory=7753960991564407194 CPUtime=0.08 cores=0-7 /proc/17138/task/17139/stat : 17139 (java) R 17136 17136 17092 0 -1 4202560 3576 0 0 0 8 0 0 0 20 0 20 0 105368671 26623803392 7148 33554432000 4194304 4196468 140732275129328 140441619512544 140441596937566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17140] ppid=17136 vsize=25999808 memory=732370011673918437 CPUtime=0 cores=0-7 /proc/17138/task/17140/stat : 17140 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26623803392 7148 33554432000 4194304 4196468 140732275129328 140441567906704 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17141] ppid=17136 vsize=25999808 memory=139873336465024 CPUtime=0 cores=0-7 /proc/17138/task/17141/stat : 17141 (java) S 17136 17136 17092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105368672 26623803392 7148 33554432000 4194304 4196468 140732275129328 140441566853904 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17142] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17142/stat : 17142 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368672 26623803392 7148 33554432000 4194304 4196468 140732275129328 140441565801616 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17143] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17143/stat : 17143 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368672 26623803392 7148 33554432000 4194304 4196468 140732275129328 140441564748816 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17144] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17144/stat : 17144 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26623803392 7148 33554432000 4194304 4196468 140732275129328 140441563695504 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17145] ppid=17136 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/17138/task/17145/stat : 17145 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26623803392 7148 33554432000 4194304 4196468 140732275129328 140441562642704 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17146] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17146/stat : 17146 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368672 26623803392 7148 33554432000 4194304 4196468 140732275129328 140441561590416 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17147] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17147/stat : 17147 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26623803392 7148 33554432000 4194304 4196468 140732275129328 140441560537616 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17148] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17148/stat : 17148 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368673 26623803392 7148 33554432000 4194304 4196468 140732275129328 140440742374000 140441615297154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17149] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17149/stat : 17149 (java) S 17136 17136 17092 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 105368674 26623803392 7148 33554432000 4194304 4196468 140732275129328 140440741319968 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17150] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17150/stat : 17150 (java) S 17136 17136 17092 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 105368674 26623803392 7148 33554432000 4194304 4196468 140732275129328 140440740267632 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17151] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17151/stat : 17151 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368676 26623803392 7148 33554432000 4194304 4196468 140732275129328 140440739215952 140441615304603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17152] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17152/stat : 17152 (java) R 17136 17136 17092 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 105368676 26623803392 7148 33554432000 4194304 4196468 140732275129328 140440738162800 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17153] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17153/stat : 17153 (java) S 17136 17136 17092 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 105368676 26623803392 7148 33554432000 4194304 4196468 140732275129328 140440737110000 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17154] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17154/stat : 17154 (java) S 17136 17136 17092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105368676 26623803392 7148 33554432000 4194304 4196468 140732275129328 140440736057712 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17155] ppid=17136 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/17138/task/17155/stat : 17155 (java) R 17136 17136 17092 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 20 0 105368676 26623803392 7148 33554432000 4194304 4196468 140732275129328 140440735004912 140441607527397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17156] ppid=17136 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17156/stat : 17156 (java) S 17136 17136 17092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105368677 26623803392 7148 33554432000 4194304 4196468 140732275129328 140439877839712 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17157] ppid=17136 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/17138/task/17157/stat : 17157 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368677 26623803392 7148 33554432000 4194304 4196468 140732275129328 140439876786992 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 29976 KiB [startup+0.2102 s]* /proc/loadavg: 7.51 8.06 8.18 3/199 17157 /proc/meminfo: memFree=31505372/32770624 swapFree=67108860/67108860 [pid=17136] ppid=17133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17136/stat : 17136 (xcsp3-exec) S 17133 17136 17092 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105368670 9740288 346 33554432000 4194304 5098028 140734285330240 140734285328344 140379098284668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30941184 140734285337701 140734285337911 140734285337911 140734285340651 0 /proc/17136/statm: 2378 346 289 221 0 87 0 [pid=17138] ppid=17136 vsize=26004064 memory=40724 CPUtime=0.33 cores=0-7 /proc/17138/stat : 17138 (java) S 17136 17136 17092 0 -1 1077944320 8217 0 0 0 30 3 0 0 20 0 20 0 105368670 26628161536 10181 33554432000 4194304 4196468 140732275129328 140732275111872 140441615286007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 /proc/17138/statm: 6501016 10181 3069 1 0 6488269 0 [pid=17138/tid=17139] ppid=17136 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/17138/task/17139/stat : 17139 (java) R 17136 17136 17092 0 -1 4202560 5416 0 0 0 18 1 0 0 20 0 20 0 105368671 26628161536 10181 33554432000 4194304 4196468 140732275129328 140441619507000 140441599366494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17140] ppid=17136 vsize=26004064 memory=732370011673918437 CPUtime=0 cores=0-7 /proc/17138/task/17140/stat : 17140 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 10181 33554432000 4194304 4196468 140732275129328 140441567906704 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17141] ppid=17136 vsize=26004064 memory=139873336465024 CPUtime=0 cores=0-7 /proc/17138/task/17141/stat : 17141 (java) S 17136 17136 17092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 10181 33554432000 4194304 4196468 140732275129328 140441566853904 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17142] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17142/stat : 17142 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 10181 33554432000 4194304 4196468 140732275129328 140441565801616 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17143] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17143/stat : 17143 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 10181 33554432000 4194304 4196468 140732275129328 140441564748816 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17144] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17144/stat : 17144 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 10181 33554432000 4194304 4196468 140732275129328 140441563695504 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17145] ppid=17136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17138/task/17145/stat : 17145 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 10181 33554432000 4194304 4196468 140732275129328 140441562642704 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17146] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17146/stat : 17146 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 10181 33554432000 4194304 4196468 140732275129328 140441561590416 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17147] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17147/stat : 17147 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 10181 33554432000 4194304 4196468 140732275129328 140441560537616 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17148] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17148/stat : 17148 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368673 26628161536 10181 33554432000 4194304 4196468 140732275129328 140440742374000 140441615297154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17149] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17149/stat : 17149 (java) S 17136 17136 17092 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 105368674 26628161536 10181 33554432000 4194304 4196468 140732275129328 140440741319968 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17150] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17150/stat : 17150 (java) S 17136 17136 17092 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 105368674 26628161536 10181 33554432000 4194304 4196468 140732275129328 140440740267632 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17151] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17151/stat : 17151 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368676 26628161536 10181 33554432000 4194304 4196468 140732275129328 140440739215952 140441615304603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17152] ppid=17136 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/17138/task/17152/stat : 17152 (java) S 17136 17136 17092 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 105368676 26628161536 10181 33554432000 4194304 4196468 140732275129328 140440738162800 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17153] ppid=17136 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/17138/task/17153/stat : 17153 (java) S 17136 17136 17092 0 -1 1077944384 298 0 0 0 1 0 0 0 20 0 20 0 105368676 26628161536 10181 33554432000 4194304 4196468 140732275129328 140440737110000 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17154] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17154/stat : 17154 (java) S 17136 17136 17092 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 105368676 26628161536 10181 33554432000 4194304 4196468 140732275129328 140440736057712 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17155] ppid=17136 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/17138/task/17155/stat : 17155 (java) S 17136 17136 17092 0 -1 1077944384 710 0 0 0 7 0 0 0 20 0 20 0 105368676 26628161536 10181 33554432000 4194304 4196468 140732275129328 140440735004912 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17156] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17156/stat : 17156 (java) S 17136 17136 17092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105368677 26628161536 10181 33554432000 4194304 4196468 140732275129328 140439877839712 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17157] ppid=17136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17138/task/17157/stat : 17157 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368677 26628161536 10181 33554432000 4194304 4196468 140732275129328 140439876786992 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 42108 KiB [startup+0.310158 s]* /proc/loadavg: 7.51 8.06 8.18 3/199 17157 /proc/meminfo: memFree=31498796/32770624 swapFree=67108860/67108860 [pid=17136] ppid=17133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17136/stat : 17136 (xcsp3-exec) S 17133 17136 17092 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105368670 9740288 346 33554432000 4194304 5098028 140734285330240 140734285328344 140379098284668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30941184 140734285337701 140734285337911 140734285337911 140734285340651 0 /proc/17136/statm: 2378 346 289 221 0 87 0 [pid=17138] ppid=17136 vsize=26004064 memory=47692 CPUtime=0.5 cores=0-7 /proc/17138/stat : 17138 (java) S 17136 17136 17092 0 -1 1077944320 9208 0 0 0 47 3 0 0 20 0 20 0 105368670 26628161536 11923 33554432000 4194304 4196468 140732275129328 140732275111872 140441615286007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 /proc/17138/statm: 6501016 11923 3099 1 0 6488269 0 [pid=17138/tid=17139] ppid=17136 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/17138/task/17139/stat : 17139 (java) R 17136 17136 17092 0 -1 4202560 6136 0 0 0 27 1 0 0 20 0 20 0 105368671 26628161536 11923 33554432000 4194304 4196468 140732275129328 140441619515808 140441615307933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17140] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17140/stat : 17140 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 11923 33554432000 4194304 4196468 140732275129328 140441567906704 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17141] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17141/stat : 17141 (java) S 17136 17136 17092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 11923 33554432000 4194304 4196468 140732275129328 140441566853904 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17142] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17142/stat : 17142 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 11923 33554432000 4194304 4196468 140732275129328 140441565801616 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17143] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17143/stat : 17143 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 11923 33554432000 4194304 4196468 140732275129328 140441564748816 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17144] ppid=17136 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/17138/task/17144/stat : 17144 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 11923 33554432000 4194304 4196468 140732275129328 140441563695504 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17145] ppid=17136 vsize=26004064 memory=139873193391023 CPUtime=0 cores=0-7 /proc/17138/task/17145/stat : 17145 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 11923 33554432000 4194304 4196468 140732275129328 140441562642704 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17146] ppid=17136 vsize=26004064 memory=139873193393328 CPUtime=0 cores=0-7 /proc/17138/task/17146/stat : 17146 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 11923 33554432000 4194304 4196468 140732275129328 140441561590416 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17147] ppid=17136 vsize=26004064 memory=139873193395632 CPUtime=0 cores=0-7 /proc/17138/task/17147/stat : 17147 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26628161536 11923 33554432000 4194304 4196468 140732275129328 140441560537616 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17148] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17148/stat : 17148 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368673 26628161536 11923 33554432000 4194304 4196468 140732275129328 140440742374000 140441615297154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17149] ppid=17136 vsize=26004064 memory=279746386798224 CPUtime=0 cores=0-7 /proc/17138/task/17149/stat : 17149 (java) S 17136 17136 17092 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 105368674 26628161536 11923 33554432000 4194304 4196468 140732275129328 140440741319968 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17150] ppid=17136 vsize=26004064 memory=279746386805136 CPUtime=0 cores=0-7 /proc/17138/task/17150/stat : 17150 (java) S 17136 17136 17092 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 105368674 26628161536 11923 33554432000 4194304 4196468 140732275129328 140440740267632 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17151] ppid=17136 vsize=26004064 memory=279746386746416 CPUtime=0 cores=0-7 /proc/17138/task/17151/stat : 17151 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368676 26628161536 11923 33554432000 4194304 4196468 140732275129328 140440739215952 140441615304603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17152] ppid=17136 vsize=26004064 memory=279746386818960 CPUtime=0.03 cores=0-7 /proc/17138/task/17152/stat : 17152 (java) R 17136 17136 17092 0 -1 4202560 512 0 0 0 3 0 0 0 20 0 20 0 105368676 26628161536 11923 33554432000 4194304 4196468 140732275129328 140440738162800 140441600411948 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17153] ppid=17136 vsize=26004064 memory=279746386825872 CPUtime=0.01 cores=0-7 /proc/17138/task/17153/stat : 17153 (java) S 17136 17136 17092 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 20 0 105368676 26628161536 11923 33554432000 4194304 4196468 140732275129328 140440737110000 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17154] ppid=17136 vsize=26004064 memory=279746386823568 CPUtime=0 cores=0-7 /proc/17138/task/17154/stat : 17154 (java) S 17136 17136 17092 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 105368676 26628161536 11923 33554432000 4194304 4196468 140732275129328 140440736057712 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17155] ppid=17136 vsize=26004064 memory=279746386839728 CPUtime=0.12 cores=0-7 /proc/17138/task/17155/stat : 17155 (java) S 17136 17136 17092 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 20 0 105368676 26628161536 11923 33554432000 4194304 4196468 140732275129328 140440735004912 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17156] ppid=17136 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17156/stat : 17156 (java) S 17136 17136 17092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105368677 26628161536 11923 33554432000 4194304 4196468 140732275129328 140439877839712 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17157] ppid=17136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17138/task/17157/stat : 17157 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368677 26628161536 11923 33554432000 4194304 4196468 140732275129328 140439876786992 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 49076 KiB [startup+0.70098 s] /proc/loadavg: 7.51 8.06 8.18 5/199 17157 /proc/meminfo: memFree=31480620/32770624 swapFree=67108860/67108860 [pid=17136] ppid=17133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17136/stat : 17136 (xcsp3-exec) S 17133 17136 17092 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105368670 9740288 346 33554432000 4194304 5098028 140734285330240 140734285328344 140379098284668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30941184 140734285337701 140734285337911 140734285337911 140734285340651 0 /proc/17136/statm: 2378 346 289 221 0 87 0 [pid=17138] ppid=17136 vsize=26006188 memory=88496 CPUtime=1.75 cores=0-7 /proc/17138/stat : 17138 (java) S 17136 17136 17092 0 -1 1077944320 13328 0 0 0 169 6 0 0 20 0 20 0 105368670 26630336512 22124 33554432000 4194304 4196468 140732275129328 140732275111872 140441615286007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 /proc/17138/statm: 6501547 22124 3208 1 0 6488781 0 [pid=17138/tid=17139] ppid=17136 vsize=26006188 memory=279746387134656 CPUtime=0.66 cores=0-7 /proc/17138/task/17139/stat : 17139 (java) R 17136 17136 17092 0 -1 4202560 6861 0 0 0 64 2 0 0 20 0 20 0 105368671 26630336512 22124 33554432000 4194304 4196468 140732275129328 140441619524032 140441220635142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17140] ppid=17136 vsize=26006188 memory=5050881541254 CPUtime=0 cores=0-7 /proc/17138/task/17140/stat : 17140 (java) S 17136 17136 17092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105368672 26630336512 22124 33554432000 4194304 4196468 140732275129328 140441567906704 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17141] ppid=17136 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17141/stat : 17141 (java) S 17136 17136 17092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105368672 26630336512 22124 33554432000 4194304 4196468 140732275129328 140441566853904 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17142] ppid=17136 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/17138/task/17142/stat : 17142 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105368672 26630336512 22124 33554432000 4194304 4196468 140732275129328 140441565801616 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 ################ # More data... # ################ [pid=17138/tid=17421] ppid=17136 vsize=26539728 memory=1384 CPUtime=675.94 cores=0-7 /proc/17138/task/17421/stat : 17421 (java) R 17136 17136 17092 0 -1 4202560 12757 0 0 0 67585 9 0 0 20 0 28 0 105544930 27176681472 89771 33554432000 4194304 4196468 140732275129328 140439868219848 140441225129265 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 Current children cumulated CPU time: 19433.1 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 360468 KiB [startup+2502.3 s] /proc/loadavg: 8.01 8.15 8.21 9/207 17429 /proc/meminfo: memFree=31185824/32770624 swapFree=67108860/67108860 [pid=17136] ppid=17133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17136/stat : 17136 (xcsp3-exec) S 17133 17136 17092 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105368670 9740288 346 33554432000 4194304 5098028 140734285330240 140734285328344 140379098284668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30941184 140734285337701 140734285337911 140734285337911 140734285340651 0 /proc/17136/statm: 2378 346 289 221 0 87 0 [pid=17138] ppid=17136 vsize=26539728 memory=361136 CPUtime=19910.5 cores=0-7 /proc/17138/stat : 17138 (java) S 17136 17136 17092 0 -1 1077944320 463960 0 0 0 1990774 278 0 0 20 0 28 0 105368670 27176681472 90284 33554432000 4194304 4196468 140732275129328 140732275111872 140441615286007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 /proc/17138/statm: 6634932 90284 3280 1 0 6622166 0 [pid=17138/tid=17139] ppid=17136 vsize=26539728 memory=359080 CPUtime=0.73 cores=0-7 /proc/17138/task/17139/stat : 17139 (java) S 17136 17136 17092 0 -1 1077944384 9054 0 0 0 70 3 0 0 20 0 28 0 105368671 27176681472 90284 33554432000 4194304 4196468 140732275129328 140441619526784 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17140] ppid=17136 vsize=26539728 memory=359084 CPUtime=2.29 cores=0-7 /proc/17138/task/17140/stat : 17140 (java) S 17136 17136 17092 0 -1 1077944384 17713 0 0 0 217 12 0 0 20 0 28 0 105368672 27176681472 90284 33554432000 4194304 4196468 140732275129328 140441567906704 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17141] ppid=17136 vsize=26539728 memory=361132 CPUtime=2.33 cores=0-7 /proc/17138/task/17141/stat : 17141 (java) S 17136 17136 17092 0 -1 1077944384 16980 0 0 0 222 11 0 0 20 0 28 0 105368672 27176681472 90284 33554432000 4194304 4196468 140732275129328 140441566853904 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17142] ppid=17136 vsize=26539728 memory=361136 CPUtime=2.3 cores=0-7 /proc/17138/task/17142/stat : 17142 (java) S 17136 17136 17092 0 -1 1077944384 14856 0 0 0 220 10 0 0 20 0 28 0 105368672 27176681472 90284 33554432000 4194304 4196468 140732275129328 140441565801616 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17143] ppid=17136 vsize=26539728 memory=361136 CPUtime=2.32 cores=0-7 /proc/17138/task/17143/stat : 17143 (java) S 17136 17136 17092 0 -1 1077944384 18618 0 0 0 222 10 0 0 20 0 28 0 105368672 27176681472 90284 33554432000 4194304 4196468 140732275129328 140441564748816 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17144] ppid=17136 vsize=26539728 memory=361136 CPUtime=2.33 cores=0-7 /proc/17138/task/17144/stat : 17144 (java) S 17136 17136 17092 0 -1 1077944384 15401 0 0 0 221 12 0 0 20 0 28 0 105368672 27176681472 90284 33554432000 4194304 4196468 140732275129328 140441563695504 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17145] ppid=17136 vsize=26539728 memory=361136 CPUtime=2.36 cores=0-7 /proc/17138/task/17145/stat : 17145 (java) S 17136 17136 17092 0 -1 1077944384 19432 0 0 0 225 11 0 0 20 0 28 0 105368672 27176681472 90284 33554432000 4194304 4196468 140732275129328 140441562642704 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17146] ppid=17136 vsize=26539728 memory=361136 CPUtime=2.32 cores=0-7 /proc/17138/task/17146/stat : 17146 (java) S 17136 17136 17092 0 -1 1077944384 14221 0 0 0 221 11 0 0 20 0 28 0 105368672 27176681472 90284 33554432000 4194304 4196468 140732275129328 140441561590416 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17147] ppid=17136 vsize=26539728 memory=1788 CPUtime=2.31 cores=0-7 /proc/17138/task/17147/stat : 17147 (java) S 17136 17136 17092 0 -1 1077944384 18700 0 0 0 218 13 0 0 20 0 28 0 105368672 27176681472 90284 33554432000 4194304 4196468 140732275129328 140441560537616 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17148] ppid=17136 vsize=26539728 memory=361136 CPUtime=2.56 cores=0-7 /proc/17138/task/17148/stat : 17148 (java) S 17136 17136 17092 0 -1 1077944384 53781 0 0 0 207 49 0 0 20 0 28 0 105368673 27176681472 90284 33554432000 4194304 4196468 140732275129328 140440742374000 140441615297154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17149] ppid=17136 vsize=26539728 memory=1384 CPUtime=0 cores=0-7 /proc/17138/task/17149/stat : 17149 (java) S 17136 17136 17092 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 105368674 27176681472 90284 33554432000 4194304 4196468 140732275129328 140440741320032 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17150] ppid=17136 vsize=26539728 memory=1384 CPUtime=0 cores=0-7 /proc/17138/task/17150/stat : 17150 (java) S 17136 17136 17092 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 105368674 27176681472 90284 33554432000 4194304 4196468 140732275129328 140440740267648 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17151] ppid=17136 vsize=26539728 memory=139873194886753 CPUtime=0 cores=0-7 /proc/17138/task/17151/stat : 17151 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105368676 27176681472 90284 33554432000 4194304 4196468 140732275129328 140440739215952 140441615304603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17152] ppid=17136 vsize=26539728 memory=139874199929447 CPUtime=2.22 cores=0-7 /proc/17138/task/17152/stat : 17152 (java) S 17136 17136 17092 0 -1 1077944384 17200 0 0 0 219 3 0 0 20 0 28 0 105368676 27176681472 90284 33554432000 4194304 4196468 140732275129328 140440738162800 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17153] ppid=17136 vsize=26539728 memory=0 CPUtime=2.7 cores=0-7 /proc/17138/task/17153/stat : 17153 (java) S 17136 17136 17092 0 -1 1077944384 19217 0 0 0 267 3 0 0 20 0 28 0 105368676 27176681472 90284 33554432000 4194304 4196468 140732275129328 140440737110000 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17154] ppid=17136 vsize=26539728 memory=37 CPUtime=2.48 cores=0-7 /proc/17138/task/17154/stat : 17154 (java) S 17136 17136 17092 0 -1 1077944384 17782 0 0 0 245 3 0 0 20 0 28 0 105368676 27176681472 90284 33554432000 4194304 4196468 140732275129328 140440736057712 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17155] ppid=17136 vsize=26539728 memory=361132 CPUtime=0.86 cores=0-7 /proc/17138/task/17155/stat : 17155 (java) S 17136 17136 17092 0 -1 1077944384 15800 0 0 0 84 2 0 0 20 0 28 0 105368676 27176681472 90284 33554432000 4194304 4196468 140732275129328 140440735004912 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17156] ppid=17136 vsize=26539728 memory=1384 CPUtime=0 cores=0-7 /proc/17138/task/17156/stat : 17156 (java) S 17136 17136 17092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 105368677 27176681472 90284 33554432000 4194304 4196468 140732275129328 140439877839712 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17157] ppid=17136 vsize=26539728 memory=1384 CPUtime=0.37 cores=0-7 /proc/17138/task/17157/stat : 17157 (java) S 17136 17136 17092 0 -1 1077944384 4399 0 0 0 25 12 0 0 20 0 28 0 105368677 27176681472 90284 33554432000 4194304 4196468 140732275129328 140439876786992 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17414] ppid=17136 vsize=26539728 memory=1384 CPUtime=735.4 cores=0-7 /proc/17138/task/17414/stat : 17414 (java) R 17136 17136 17092 0 -1 4202560 3851 0 0 0 73537 3 0 0 20 0 28 0 105544930 27176681472 90284 33554432000 4194304 4196468 140732275129328 140439862955144 140441226478185 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17415] ppid=17136 vsize=26539728 memory=1384 CPUtime=735.19 cores=0-7 /proc/17138/task/17415/stat : 17415 (java) R 17136 17136 17092 0 -1 4202560 2636 0 0 0 73517 2 0 0 20 0 28 0 105544930 27176681472 90284 33554432000 4194304 4196468 140732275129328 140439861905968 140441225417804 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17416] ppid=17136 vsize=26539728 memory=361132 CPUtime=736.16 cores=0-7 /proc/17138/task/17416/stat : 17416 (java) R 17136 17136 17092 0 -1 4202560 5121 0 0 0 73613 3 0 0 20 0 28 0 105544930 27176681472 90284 33554432000 4194304 4196468 140732275129328 140439864008952 140441599624883 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17417] ppid=17136 vsize=26539728 memory=1384 CPUtime=734.45 cores=0-7 /proc/17138/task/17417/stat : 17417 (java) R 17136 17136 17092 0 -1 4202560 4993 0 0 0 73439 6 0 0 20 0 28 0 105544930 27176681472 90284 33554432000 4194304 4196468 140732275129328 140439866113312 140441225128666 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17418] ppid=17136 vsize=26539728 memory=1384 CPUtime=733.55 cores=0-7 /proc/17138/task/17418/stat : 17418 (java) R 17136 17136 17092 0 -1 4202560 9145 0 0 0 73348 7 0 0 20 0 28 0 105544930 27176681472 90284 33554432000 4194304 4196468 140732275129328 140439865061256 140441225128750 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17419] ppid=17136 vsize=26539728 memory=361136 CPUtime=734.3 cores=0-7 /proc/17138/task/17419/stat : 17419 (java) R 17136 17136 17092 0 -1 4202560 2338 0 0 0 73428 2 0 0 20 0 28 0 105544930 27176681472 90284 33554432000 4194304 4196468 140732275129328 140438585462648 140441225395140 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17420] ppid=17136 vsize=26539728 memory=361136 CPUtime=733.29 cores=0-7 /proc/17138/task/17420/stat : 17420 (java) R 17136 17136 17092 0 -1 4202560 5012 0 0 0 73325 4 0 0 20 0 28 0 105544930 27176681472 90284 33554432000 4194304 4196468 140732275129328 140439867166912 140441225395870 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17421] ppid=17136 vsize=26539728 memory=644 CPUtime=735.49 cores=0-7 /proc/17138/task/17421/stat : 17421 (java) R 17136 17136 17092 0 -1 4202560 13249 0 0 0 73539 10 0 0 20 0 28 0 105544930 27176681472 90284 33554432000 4194304 4196468 140732275129328 140439868219312 140441225128874 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 Current children cumulated CPU time: 19910.5 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 362520 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.01 8.14 8.21 9/207 17429 /proc/meminfo: memFree=31181740/32770624 swapFree=67108860/67108860 [pid=17136] ppid=17133 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17136/stat : 17136 (xcsp3-exec) S 17133 17136 17092 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105368670 9740288 346 33554432000 4194304 5098028 140734285330240 140734285328344 140379098284668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30941184 140734285337701 140734285337911 140734285337911 140734285340651 0 /proc/17136/statm: 2378 346 289 221 0 87 0 [pid=17138] ppid=17136 vsize=26539728 memory=365232 CPUtime=20051.5 cores=0-7 /proc/17138/stat : 17138 (java) S 17136 17136 17092 0 -1 1077944320 464022 0 0 0 2004868 279 0 0 20 0 28 0 105368670 27176681472 91308 33554432000 4194304 4196468 140732275129328 140732275111872 140441615286007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 /proc/17138/statm: 6634932 91308 3280 1 0 6622166 0 [pid=17138/tid=17139] ppid=17136 vsize=26539728 memory=15876 CPUtime=0.73 cores=0-7 /proc/17138/task/17139/stat : 17139 (java) S 17136 17136 17092 0 -1 1077944384 9054 0 0 0 70 3 0 0 20 0 28 0 105368671 27176681472 91308 33554432000 4194304 4196468 140732275129328 140441619526784 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17140] ppid=17136 vsize=26539728 memory=18476 CPUtime=2.31 cores=0-7 /proc/17138/task/17140/stat : 17140 (java) S 17136 17136 17092 0 -1 1077944384 17717 0 0 0 219 12 0 0 20 0 28 0 105368672 27176681472 91308 33554432000 4194304 4196468 140732275129328 140441567906704 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17141] ppid=17136 vsize=26539728 memory=16988 CPUtime=2.35 cores=0-7 /proc/17138/task/17141/stat : 17141 (java) S 17136 17136 17092 0 -1 1077944384 16985 0 0 0 224 11 0 0 20 0 28 0 105368672 27176681472 91308 33554432000 4194304 4196468 140732275129328 140441566853904 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17142] ppid=17136 vsize=26539728 memory=-7003737579269690708 CPUtime=2.32 cores=0-7 /proc/17138/task/17142/stat : 17142 (java) S 17136 17136 17092 0 -1 1077944384 14856 0 0 0 222 10 0 0 20 0 28 0 105368672 27176681472 91308 33554432000 4194304 4196468 140732275129328 140441565801616 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17143] ppid=17136 vsize=26539728 memory=1296 CPUtime=2.34 cores=0-7 /proc/17138/task/17143/stat : 17143 (java) S 17136 17136 17092 0 -1 1077944384 18619 0 0 0 224 10 0 0 20 0 28 0 105368672 27176681472 91308 33554432000 4194304 4196468 140732275129328 140441564748816 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17144] ppid=17136 vsize=26539728 memory=2336 CPUtime=2.35 cores=0-7 /proc/17138/task/17144/stat : 17144 (java) S 17136 17136 17092 0 -1 1077944384 15406 0 0 0 223 12 0 0 20 0 28 0 105368672 27176681472 91308 33554432000 4194304 4196468 140732275129328 140441563695504 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17145] ppid=17136 vsize=26539728 memory=1724 CPUtime=2.38 cores=0-7 /proc/17138/task/17145/stat : 17145 (java) S 17136 17136 17092 0 -1 1077944384 19433 0 0 0 227 11 0 0 20 0 28 0 105368672 27176681472 91308 33554432000 4194304 4196468 140732275129328 140441562642704 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17146] ppid=17136 vsize=26539728 memory=1012 CPUtime=2.34 cores=0-7 /proc/17138/task/17146/stat : 17146 (java) S 17136 17136 17092 0 -1 1077944384 14221 0 0 0 223 11 0 0 20 0 28 0 105368672 27176681472 91308 33554432000 4194304 4196468 140732275129328 140441561590416 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17147] ppid=17136 vsize=26539728 memory=1716 CPUtime=2.33 cores=0-7 /proc/17138/task/17147/stat : 17147 (java) S 17136 17136 17092 0 -1 1077944384 18701 0 0 0 220 13 0 0 20 0 28 0 105368672 27176681472 91308 33554432000 4194304 4196468 140732275129328 140441560537616 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17148] ppid=17136 vsize=26539728 memory=5792 CPUtime=2.58 cores=0-7 /proc/17138/task/17148/stat : 17148 (java) S 17136 17136 17092 0 -1 1077944384 53783 0 0 0 209 49 0 0 20 0 28 0 105368673 27176681472 91308 33554432000 4194304 4196468 140732275129328 140440742374000 140441615297154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17149] ppid=17136 vsize=26539728 memory=4616 CPUtime=0 cores=0-7 /proc/17138/task/17149/stat : 17149 (java) S 17136 17136 17092 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 105368674 27176681472 91308 33554432000 4194304 4196468 140732275129328 140440741320032 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17150] ppid=17136 vsize=26539728 memory=792 CPUtime=0 cores=0-7 /proc/17138/task/17150/stat : 17150 (java) S 17136 17136 17092 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 105368674 27176681472 91308 33554432000 4194304 4196468 140732275129328 140440740267648 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17151] ppid=17136 vsize=26539728 memory=792 CPUtime=0 cores=0-7 /proc/17138/task/17151/stat : 17151 (java) S 17136 17136 17092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105368676 27176681472 91308 33554432000 4194304 4196468 140732275129328 140440739215952 140441615304603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17152] ppid=17136 vsize=26539728 memory=1420 CPUtime=2.22 cores=0-7 /proc/17138/task/17152/stat : 17152 (java) S 17136 17136 17092 0 -1 1077944384 17200 0 0 0 219 3 0 0 20 0 28 0 105368676 27176681472 91308 33554432000 4194304 4196468 140732275129328 140440738162800 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17153] ppid=17136 vsize=26539728 memory=13040 CPUtime=2.7 cores=0-7 /proc/17138/task/17153/stat : 17153 (java) S 17136 17136 17092 0 -1 1077944384 19217 0 0 0 267 3 0 0 20 0 28 0 105368676 27176681472 91308 33554432000 4194304 4196468 140732275129328 140440737110000 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17154] ppid=17136 vsize=26539728 memory=1944 CPUtime=2.48 cores=0-7 /proc/17138/task/17154/stat : 17154 (java) S 17136 17136 17092 0 -1 1077944384 17782 0 0 0 245 3 0 0 20 0 28 0 105368676 27176681472 91308 33554432000 4194304 4196468 140732275129328 140440736057712 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17155] ppid=17136 vsize=26539728 memory=1196 CPUtime=0.86 cores=0-7 /proc/17138/task/17155/stat : 17155 (java) S 17136 17136 17092 0 -1 1077944384 15800 0 0 0 84 2 0 0 20 0 28 0 105368676 27176681472 91308 33554432000 4194304 4196468 140732275129328 140440735004912 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17156] ppid=17136 vsize=26539728 memory=8552 CPUtime=0 cores=0-7 /proc/17138/task/17156/stat : 17156 (java) S 17136 17136 17092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 105368677 27176681472 91308 33554432000 4194304 4196468 140732275129328 140439877839712 140441615296213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17157] ppid=17136 vsize=26539728 memory=1228 CPUtime=0.37 cores=0-7 /proc/17138/task/17157/stat : 17157 (java) S 17136 17136 17092 0 -1 1077944384 4399 0 0 0 25 12 0 0 20 0 28 0 105368677 27176681472 91308 33554432000 4194304 4196468 140732275129328 140439876786992 140441615297154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17414] ppid=17136 vsize=26539728 memory=15876 CPUtime=753.05 cores=0-7 /proc/17138/task/17414/stat : 17414 (java) R 17136 17136 17092 0 -1 4202560 3856 0 0 0 75302 3 0 0 20 0 28 0 105544930 27176681472 91308 33554432000 4194304 4196468 140732275129328 140439862958352 140441226371550 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17415] ppid=17136 vsize=26539728 memory=18476 CPUtime=752.84 cores=0-7 /proc/17138/task/17415/stat : 17415 (java) R 17136 17136 17092 0 -1 4202560 2640 0 0 0 75282 2 0 0 20 0 28 0 105544930 27176681472 91308 33554432000 4194304 4196468 140732275129328 140439861903480 140441225128455 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17416] ppid=17136 vsize=26539728 memory=16988 CPUtime=753.81 cores=0-7 /proc/17138/task/17416/stat : 17416 (java) R 17136 17136 17092 0 -1 4202560 5126 0 0 0 75378 3 0 0 20 0 28 0 105544930 27176681472 91308 33554432000 4194304 4196468 140732275129328 140439864008048 140441226898150 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17417] ppid=17136 vsize=26539728 memory=4040 CPUtime=751.92 cores=0-7 /proc/17138/task/17417/stat : 17417 (java) R 17136 17136 17092 0 -1 4202560 4997 0 0 0 75186 6 0 0 20 0 28 0 105544930 27176681472 91308 33554432000 4194304 4196468 140732275129328 140439866113656 140441226087824 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17418] ppid=17136 vsize=26539728 memory=1236 CPUtime=751.17 cores=0-7 /proc/17138/task/17418/stat : 17418 (java) R 17136 17136 17092 0 -1 4202560 9147 0 0 0 75110 7 0 0 20 0 28 0 105544930 27176681472 91308 33554432000 4194304 4196468 140732275129328 140439865061168 140441227453720 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17419] ppid=17136 vsize=26539728 memory=644 CPUtime=751.81 cores=0-7 /proc/17138/task/17419/stat : 17419 (java) R 17136 17136 17092 0 -1 4202560 2340 0 0 0 75179 2 0 0 20 0 28 0 105544930 27176681472 91308 33554432000 4194304 4196468 140732275129328 140438585466416 140441226085732 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17420] ppid=17136 vsize=26539728 memory=1788 CPUtime=750.85 cores=0-7 /proc/17138/task/17420/stat : 17420 (java) R 17136 17136 17092 0 -1 4202560 5013 0 0 0 75081 4 0 0 20 0 28 0 105544930 27176681472 91308 33554432000 4194304 4196468 140732275129328 140439867166704 140441225128827 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 [pid=17138/tid=17421] ppid=17136 vsize=26539728 memory=956 CPUtime=753.15 cores=0-7 /proc/17138/task/17421/stat : 17421 (java) R 17136 17136 17092 0 -1 4202560 13269 0 0 0 75305 10 0 0 20 0 28 0 105544930 27176681472 91308 33554432000 4194304 4196468 140732275129328 140439868222360 140441227250236 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 30273536 140732275131538 140732275131715 140732275131715 140732275134415 0 Current children cumulated CPU time: 20051.5 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 366616 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 17136 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.001907 s [startup+2520.12 s] # the end of solver process 17138 was just reported to runsolver # cumulated CPU time of all completed processes: user=20049.5 s, system=2.79767 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.12 CPU time (s): 20052.3 CPU user time (s): 20049.5 CPU system time (s): 2.79767 CPU usage (%): 795.689 Max. virtual memory (cumulated for all children) (KiB): 26549240 Max. memory (cumulated for all children) (KiB): 366616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20049.5 system time used= 2.79767 maximum resident set size= 365644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 464814 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3832 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 234692 involuntary context switches= 209212 # summary of solver processes directly reported to runsolver: # pid: 17136,17138 # total CPU time (s): 20052.3 # total CPU user time (s): 20049.5 # total CPU system time (s): 2.79767 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.7599 second user time and 24.7236 second system time The end
Begin job on node103 at 2017-08-14 16:45:46 IDJOB=4270549 IDBENCH=126223 IDSOLVER=2662 FILE ID=node103/4270549-1502722805 RUNJOBID= node103-1502721946-17119 PBS_JOBID= 20629038 Free space on /tmp= 61796 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-17-a3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270549-1502722805/watcher-4270549-1502722805 -o /tmp/evaluation-result-4270549-1502722805/solver-4270549-1502722805 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502721946-17119 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 838921647 HOME/instance-4270549-1502722805.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1a474c72a1f7224eb7c0241d7ff915ce RANDOM SEED=838921647 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31531764 kB MemAvailable: 31982836 kB Buffers: 155736 kB Cached: 581068 kB SwapCached: 0 kB Active: 575116 kB Inactive: 216368 kB Active(anon): 3828 kB Inactive(anon): 78600 kB Active(file): 571288 kB Inactive(file): 137768 kB Unevictable: 6424 kB Mlocked: 6424 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7592 kB Writeback: 0 kB AnonPages: 60788 kB Mapped: 44560 kB Shmem: 25228 kB Slab: 141712 kB SReclaimable: 115704 kB SUnreclaim: 26008 kB KernelStack: 3088 kB PageTables: 4696 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323280 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61784 MiB End job on node103 at 2017-08-14 17:27:46