Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.4 | OPT | 17 | 9.6354904 | 4.41506 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml |
| MD5SUM | b0c97e0505a0bc7a16ba291a1ac79ec8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 0.037124 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 42 |
| Number of constraints | 18 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":15},{"size":501,"count":6}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 7 |
| Distribution of variable degrees | [{"degree":0,"count":21},{"degree":2,"count":15},{"degree":6,"count":4},{"degree":7,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 15 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":15},{"arity":6,"count":1},{"arity":15,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 16 |
| Distribution of constraint types | [{"type":"intension","count":16},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
3.40/2.23 c Concrete v3.4 running 6.70/3.55 o 500 6.70/3.57 o 499 6.70/3.58 o 498 6.70/3.59 o 497 7.02/3.62 o 496 7.02/3.62 o 495 7.02/3.63 o 494 7.02/3.64 o 493 7.02/3.64 o 492 7.02/3.65 o 491 7.02/3.66 o 490 7.02/3.66 o 489 7.02/3.68 o 488 7.02/3.68 o 487 7.02/3.68 o 486 7.02/3.68 o 485 7.02/3.69 o 484 7.02/3.69 o 483 7.35/3.70 o 482 7.35/3.70 o 481 7.35/3.70 o 480 7.35/3.72 o 479 7.35/3.72 o 478 7.35/3.72 o 477 7.35/3.72 o 476 7.35/3.72 o 475 7.35/3.73 o 474 7.35/3.73 o 473 7.35/3.74 o 472 7.35/3.74 o 471 7.35/3.74 o 470 7.35/3.74 o 469 7.35/3.75 o 468 7.35/3.75 o 467 7.35/3.76 o 466 7.35/3.76 o 465 7.35/3.76 o 464 7.35/3.76 o 463 7.35/3.77 o 462 7.35/3.77 o 461 7.35/3.77 o 460 7.35/3.77 o 459 7.35/3.78 o 458 7.35/3.78 o 457 7.35/3.78 o 456 7.35/3.78 o 455 7.35/3.78 o 454 7.35/3.79 o 453 7.35/3.79 o 452 7.35/3.79 o 451 7.35/3.79 o 450 7.35/3.80 o 449 7.35/3.80 o 448 7.35/3.80 o 447 7.35/3.80 o 446 7.35/3.80 o 445 7.74/3.81 o 444 7.74/3.81 o 443 7.74/3.81 o 442 7.74/3.81 o 441 7.74/3.82 o 440 7.74/3.82 o 439 7.74/3.82 o 438 7.74/3.82 o 437 7.74/3.82 o 436 7.74/3.82 o 435 7.74/3.83 o 434 7.74/3.83 o 433 7.74/3.83 o 432 7.74/3.83 o 431 7.74/3.83 o 430 7.74/3.84 o 429 7.74/3.84 o 428 7.74/3.84 o 427 7.74/3.84 o 426 7.74/3.84 o 425 7.74/3.85 o 424 7.74/3.85 o 423 7.74/3.85 o 422 7.74/3.85 o 421 7.74/3.85 o 420 7.74/3.85 o 419 7.74/3.86 o 418 7.74/3.86 o 417 7.74/3.86 o 416 7.74/3.86 o 415 7.74/3.86 o 414 7.74/3.86 o 413 7.74/3.87 o 412 7.74/3.87 o 411 7.74/3.87 o 410 7.74/3.87 o 409 7.74/3.87 o 408 7.74/3.87 o 407 7.74/3.88 o 405 7.74/3.88 o 403 7.74/3.88 o 402 7.74/3.88 o 401 7.74/3.88 o 400 7.74/3.88 o 399 7.74/3.88 o 398 7.74/3.89 o 397 7.74/3.89 o 396 7.74/3.89 o 395 7.74/3.89 o 394 7.74/3.89 o 393 7.74/3.89 o 392 7.74/3.90 o 391 7.74/3.90 o 390 7.74/3.90 o 389 8.06/3.90 o 388 8.06/3.90 o 387 8.06/3.90 o 386 8.06/3.90 o 385 8.06/3.91 o 384 8.06/3.91 o 383 8.06/3.91 o 382 8.06/3.91 o 381 8.06/3.91 o 380 8.06/3.91 o 379 8.06/3.92 o 378 8.06/3.92 o 377 8.06/3.92 o 376 8.06/3.92 o 375 8.06/3.92 o 374 8.06/3.92 o 373 8.06/3.92 o 372 8.06/3.93 o 371 8.06/3.93 o 370 8.06/3.93 o 369 8.06/3.93 o 368 8.06/3.93 o 367 8.06/3.93 o 366 8.06/3.93 o 365 8.06/3.94 o 364 8.06/3.94 o 363 8.06/3.94 o 362 8.06/3.94 o 361 8.06/3.94 o 360 8.06/3.94 o 359 8.06/3.94 o 358 8.06/3.95 o 357 8.06/3.95 o 356 8.06/3.95 o 355 8.06/3.95 o 354 8.06/3.95 o 353 8.06/3.95 o 352 8.06/3.95 o 351 8.06/3.96 o 350 8.06/3.96 o 349 8.06/3.96 o 348 8.06/3.96 o 347 8.06/3.96 o 346 8.06/3.96 o 345 8.06/3.97 o 344 8.06/3.97 o 343 8.06/3.97 o 342 8.06/3.97 o 341 8.06/3.97 o 340 8.06/3.97 o 339 8.06/3.97 o 338 8.06/3.98 o 337 8.06/3.98 o 336 8.06/3.98 o 335 8.06/3.98 o 334 8.06/3.98 o 333 8.06/3.98 o 332 8.06/3.99 o 331 8.06/3.99 o 330 8.06/3.99 o 329 8.06/3.99 o 328 8.06/3.99 o 327 8.06/3.99 o 326 8.06/3.99 o 325 8.06/3.99 o 324 8.06/4.00 o 323 8.37/4.00 o 322 8.37/4.00 o 321 8.37/4.00 o 320 8.37/4.00 o 319 8.37/4.00 o 318 8.37/4.00 o 317 8.37/4.01 o 316 8.37/4.01 o 315 8.37/4.01 o 314 8.37/4.01 o 313 8.37/4.01 o 312 8.37/4.01 o 311 8.37/4.01 o 310 8.37/4.02 o 309 8.37/4.02 o 308 8.37/4.02 o 307 8.37/4.02 o 306 8.37/4.02 o 305 8.37/4.02 o 304 8.37/4.02 o 303 8.37/4.02 o 302 8.37/4.03 o 301 8.37/4.03 o 300 8.37/4.03 o 299 8.37/4.03 o 298 8.37/4.03 o 297 8.37/4.03 o 296 8.37/4.03 o 295 8.37/4.04 o 294 8.37/4.04 o 293 8.37/4.04 o 292 8.37/4.04 o 291 8.37/4.04 o 290 8.37/4.04 o 289 8.37/4.04 o 288 8.37/4.04 o 287 8.37/4.05 o 286 8.37/4.05 o 285 8.37/4.05 o 284 8.37/4.05 o 283 8.37/4.05 o 282 8.37/4.05 o 281 8.37/4.05 o 280 8.37/4.05 o 279 8.37/4.06 o 278 8.37/4.06 o 277 8.37/4.06 o 276 8.37/4.06 o 275 8.37/4.06 o 274 8.37/4.06 o 273 8.37/4.06 o 272 8.37/4.06 o 271 8.37/4.07 o 270 8.37/4.07 o 269 8.37/4.07 o 268 8.37/4.07 o 267 8.37/4.07 o 266 8.37/4.07 o 265 8.37/4.07 o 264 8.37/4.08 o 263 8.37/4.08 o 262 8.37/4.08 o 261 8.37/4.08 o 260 8.37/4.08 o 259 8.37/4.08 o 258 8.37/4.08 o 257 8.37/4.08 o 256 8.37/4.09 o 255 8.37/4.09 o 254 8.37/4.09 o 253 8.37/4.09 o 252 8.37/4.09 o 251 8.37/4.09 o 250 8.37/4.10 o 249 8.37/4.10 o 248 8.37/4.10 o 247 8.37/4.10 o 246 8.37/4.10 o 245 8.37/4.10 o 244 8.37/4.10 o 243 8.72/4.11 o 242 8.72/4.11 o 241 8.72/4.11 o 240 8.72/4.11 o 239 8.72/4.11 o 238 8.72/4.11 o 237 8.72/4.11 o 236 8.72/4.11 o 235 8.72/4.11 o 234 8.72/4.12 o 233 8.72/4.12 o 232 8.72/4.12 o 231 8.72/4.12 o 230 8.72/4.12 o 229 8.72/4.12 o 228 8.72/4.12 o 227 8.72/4.12 o 226 8.72/4.12 o 225 8.72/4.13 o 224 8.72/4.13 o 223 8.72/4.13 o 222 8.72/4.13 o 221 8.72/4.13 o 220 8.72/4.13 o 219 8.72/4.13 o 218 8.72/4.13 o 217 8.72/4.13 o 216 8.72/4.14 o 215 8.72/4.14 o 214 8.72/4.14 o 213 8.72/4.14 o 212 8.72/4.14 o 211 8.72/4.14 o 210 8.72/4.14 o 209 8.72/4.14 o 208 8.72/4.14 o 207 8.72/4.15 o 206 8.72/4.15 o 205 8.72/4.15 o 204 8.72/4.15 o 203 8.72/4.15 o 202 8.72/4.15 o 201 8.72/4.15 o 200 8.72/4.15 o 199 8.72/4.16 o 198 8.72/4.16 o 197 8.72/4.16 o 196 8.72/4.16 o 195 8.72/4.16 o 194 8.72/4.16 o 193 8.72/4.16 o 192 8.72/4.16 o 191 8.72/4.16 o 190 8.72/4.17 o 189 8.72/4.17 o 188 8.72/4.17 o 187 8.72/4.17 o 186 8.72/4.17 o 185 8.72/4.17 o 184 8.72/4.17 o 183 8.72/4.17 o 182 8.72/4.17 o 181 8.72/4.17 o 180 8.72/4.18 o 179 8.72/4.18 o 178 8.72/4.18 o 177 8.72/4.18 o 176 8.72/4.18 o 175 8.72/4.18 o 174 8.72/4.18 o 173 8.72/4.18 o 172 8.72/4.18 o 171 8.72/4.19 o 170 8.72/4.19 o 169 8.72/4.19 o 168 8.72/4.19 o 167 8.72/4.19 o 166 8.72/4.19 o 165 8.72/4.19 o 164 8.72/4.19 o 163 8.72/4.19 o 162 8.72/4.19 o 161 8.72/4.19 o 160 8.72/4.20 o 159 9.01/4.20 o 158 9.01/4.20 o 157 9.01/4.20 o 156 9.01/4.20 o 155 9.01/4.20 o 154 9.01/4.20 o 153 9.01/4.20 o 152 9.01/4.21 o 151 9.01/4.21 o 150 9.01/4.21 o 149 9.01/4.21 o 148 9.01/4.21 o 147 9.01/4.21 o 146 9.01/4.21 o 145 9.01/4.21 o 144 9.01/4.21 o 143 9.01/4.22 o 142 9.01/4.22 o 141 9.01/4.22 o 140 9.01/4.22 o 139 9.01/4.22 o 138 9.01/4.22 o 137 9.01/4.22 o 136 9.01/4.22 o 135 9.01/4.23 o 134 9.01/4.23 o 133 9.01/4.23 o 132 9.01/4.23 o 131 9.01/4.23 o 130 9.01/4.23 o 129 9.01/4.23 o 128 9.01/4.23 o 127 9.01/4.23 o 126 9.01/4.24 o 125 9.01/4.24 o 124 9.01/4.25 o 123 9.01/4.25 o 122 9.01/4.25 o 121 9.01/4.25 o 120 9.01/4.25 o 119 9.01/4.25 o 118 9.01/4.25 o 117 9.01/4.25 o 116 9.01/4.25 o 115 9.01/4.25 o 114 9.01/4.25 o 113 9.01/4.25 o 112 9.01/4.25 o 111 9.01/4.25 o 110 9.01/4.25 o 109 9.01/4.25 o 108 9.01/4.26 o 107 9.01/4.26 o 106 9.01/4.26 o 105 9.01/4.26 o 104 9.01/4.26 o 103 9.01/4.26 o 102 9.01/4.26 o 101 9.01/4.26 o 100 9.01/4.27 o 99 9.01/4.27 o 98 9.01/4.27 o 97 9.01/4.27 o 96 9.01/4.27 o 95 9.01/4.27 o 94 9.01/4.27 o 93 9.01/4.27 o 92 9.01/4.28 o 91 9.01/4.28 o 90 9.01/4.28 o 89 9.01/4.28 o 88 9.01/4.28 o 87 9.01/4.28 o 86 9.01/4.28 o 85 9.01/4.28 o 84 9.01/4.29 o 83 9.01/4.29 o 82 9.01/4.29 o 81 9.01/4.29 o 80 9.01/4.29 o 79 9.01/4.29 o 78 9.01/4.29 o 77 9.01/4.29 o 76 9.01/4.30 o 75 9.32/4.30 o 74 9.32/4.30 o 73 9.32/4.30 o 72 9.32/4.30 o 71 9.32/4.30 o 70 9.32/4.30 o 69 9.32/4.31 o 68 9.32/4.31 o 67 9.32/4.31 o 66 9.32/4.31 o 65 9.32/4.31 o 64 9.32/4.31 o 63 9.32/4.31 o 62 9.32/4.32 o 61 9.32/4.32 o 60 9.32/4.32 o 59 9.32/4.32 o 58 9.32/4.32 o 57 9.32/4.32 o 56 9.32/4.32 o 55 9.32/4.32 o 54 9.32/4.33 o 53 9.32/4.33 o 52 9.32/4.33 o 51 9.32/4.33 o 50 9.32/4.33 o 49 9.32/4.33 o 48 9.32/4.33 o 47 9.32/4.33 o 46 9.32/4.34 o 45 9.32/4.34 o 44 9.32/4.34 o 43 9.32/4.34 o 42 9.32/4.34 o 41 9.32/4.34 o 40 9.32/4.34 o 39 9.32/4.34 o 38 9.32/4.35 o 37 9.32/4.35 o 36 9.32/4.35 o 35 9.32/4.35 o 34 9.32/4.35 o 33 9.32/4.35 o 32 9.32/4.35 o 31 9.32/4.36 o 30 9.32/4.36 o 29 9.32/4.36 o 28 9.32/4.36 o 27 9.32/4.36 o 26 9.32/4.36 o 25 9.32/4.36 o 24 9.32/4.36 o 23 9.32/4.37 o 22 9.32/4.37 o 21 9.32/4.37 o 20 9.32/4.37 o 19 9.32/4.37 o 18 9.32/4.38 o 17 9.32/4.39 v <instantiation cost="17"> 9.32/4.39 v <list> 9.32/4.39 v x[0] x[1] x[2] x[3] x[4] x[5] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[1][2] y[1][3] y[1][4] y[1][5] y[2][3] y[2][4] y[2][5] y[3][4] y[3][5] y[4][5] 9.32/4.39 v </list> 9.32/4.39 v <values> 9.32/4.39 v 0 3 5 9 16 17 3 5 9 16 17 2 6 13 14 4 11 12 7 8 1 9.32/4.39 v </values> 9.32/4.39 v </instantiation> 9.32/4.39 s OPTIMUM FOUND
OK 17
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259478-1501651246/watcher-4259478-1501651246 -o /tmp/evaluation-result-4259478-1501651246/solver-4259478-1501651246 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259478-1501651246.xml pid=9723 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.37 1.50 1.61 3/198 9726 /proc/meminfo: memFree=31318932/32770624 swapFree=0/247548 [pid=9726] ppid=9723 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/9726/stat : 9726 (runsolver) D 9723 9726 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 7035204 24240128 108 18446744073709551615 4194304 4338465 140729966448640 140729966446280 139636371059415 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 11132928 140729966457041 140729966457415 140729966457415 140729966460874 0 /proc/9726/statm: 5918 108 54 36 0 2156 0 [startup+0.100219 s] /proc/loadavg: 1.37 1.50 1.61 3/198 9726 /proc/meminfo: memFree=31318932/32770624 swapFree=0/247548 [pid=9726] ppid=9723 vsize=9508 CPUtime=0 cores=0,2,4,6 /proc/9726/stat : 9726 (bash) S 9723 9726 3187 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 7035204 9736192 352 18446744073709551615 4194304 5098028 140725595502960 140725595500600 140287186656256 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 9 0 0 7196144 7232144 15413248 140725595505170 140725595505255 140725595505255 140725595508714 0 /proc/9726/statm: 2377 352 279 221 0 86 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9508 [startup+0.200257 s] /proc/loadavg: 1.37 1.50 1.61 3/198 9726 /proc/meminfo: memFree=31318932/32770624 swapFree=0/247548 [pid=9726] ppid=9723 vsize=9636 CPUtime=0.01 cores=0,2,4,6 /proc/9726/stat : 9726 (bash) S 9723 9726 3187 0 -1 4202496 894 6496 0 0 0 0 0 1 20 0 1 0 7035204 9867264 377 18446744073709551615 4194304 5098028 140725595502960 140725595496968 140287186656256 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 9 0 0 7196144 7232144 15413248 140725595505170 140725595505255 140725595505255 140725595508714 0 /proc/9726/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.300349 s] /proc/loadavg: 1.37 1.50 1.61 3/198 9726 /proc/meminfo: memFree=31318932/32770624 swapFree=0/247548 [pid=9726] ppid=9723 vsize=13907308 CPUtime=0.14 cores=0,2,4,6 /proc/9726/stat : 9726 (java) S 9723 9726 3187 0 -1 1077944320 5819 12316 0 0 5 1 5 3 20 0 14 0 7035204 14241083392 5492 18446744073709551615 4194304 4196468 140732887249632 140732887232176 140173824093943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 /proc/9726/statm: 3476827 5492 2551 1 0 3466332 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 13907308 [startup+0.710415 s] /proc/loadavg: 1.37 1.50 1.61 3/198 9726 /proc/meminfo: memFree=31318932/32770624 swapFree=0/247548 [pid=9726] ppid=9723 vsize=13974784 CPUtime=0.65 cores=0,2,4,6 /proc/9726/stat : 9726 (java) S 9723 9726 3187 0 -1 1077944320 13835 12316 0 0 53 4 5 3 20 0 15 0 7035204 14310178816 14283 18446744073709551615 4194304 4196468 140732887249632 140732887232176 140173824093943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 /proc/9726/statm: 3493696 14283 3110 1 0 3482973 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 13974784 [startup+1.50066 s] /proc/loadavg: 1.37 1.50 1.61 3/213 9789 /proc/meminfo: memFree=31200936/32770624 swapFree=0/247632 [pid=9726] ppid=9723 vsize=13985408 CPUtime=1.83 cores=0,2,4,6 /proc/9726/stat : 9726 (java) S 9723 9726 3187 0 -1 1077944320 27708 12316 0 0 167 8 5 3 20 0 15 0 7035204 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140732887232176 140173824093943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 /proc/9726/statm: 3496352 33931 3327 1 0 3485533 0 [pid=9726/tid=9776] ppid=9723 vsize=13985408 CPUtime=1.29 cores=0,2,4,6 /proc/9726/task/9776/stat : 9776 (java) R 9723 9726 3187 0 -1 4202560 22473 12316 0 0 114 7 5 3 20 0 15 0 7035228 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173828325056 140173808174430 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9777] ppid=9723 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9777/stat : 9777 (java) S 9723 9726 3187 0 -1 1077944384 1 12316 0 0 0 0 5 3 20 0 15 0 7035229 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173781059984 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9778] ppid=9723 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9778/stat : 9778 (java) S 9723 9726 3187 0 -1 1077944384 2 12316 0 0 0 0 5 3 20 0 15 0 7035229 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173780007184 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9779] ppid=9723 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9779/stat : 9779 (java) S 9723 9726 3187 0 -1 1077944384 2 12316 0 0 0 0 5 3 20 0 15 0 7035229 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173778954896 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9780] ppid=9723 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9780/stat : 9780 (java) S 9723 9726 3187 0 -1 1077944384 2 12316 0 0 0 0 5 3 20 0 15 0 7035229 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173777902096 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9781] ppid=9723 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9781/stat : 9781 (java) S 9723 9726 3187 0 -1 1077944384 5 12316 0 0 0 0 5 3 20 0 15 0 7035230 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173302024816 140173824105090 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9782] ppid=9723 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9782/stat : 9782 (java) S 9723 9726 3187 0 -1 1077944384 33 12316 0 0 0 0 5 3 20 0 15 0 7035231 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173300970784 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9783] ppid=9723 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9783/stat : 9783 (java) S 9723 9726 3187 0 -1 1077944384 21 12316 0 0 0 0 5 3 20 0 15 0 7035231 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173299918448 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9784] ppid=9723 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9784/stat : 9784 (java) S 9723 9726 3187 0 -1 1077944384 3 12316 0 0 0 0 5 3 20 0 15 0 7035234 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173298866768 140173824112539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9785] ppid=9723 vsize=13985408 CPUtime=0.2 cores=0,2,4,6 /proc/9726/task/9785/stat : 9785 (java) S 9723 9726 3187 0 -1 1077944384 875 12316 0 0 12 0 5 3 20 0 15 0 7035234 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173297813616 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9786] ppid=9723 vsize=13985408 CPUtime=0.25 cores=0,2,4,6 /proc/9726/task/9786/stat : 9786 (java) S 9723 9726 3187 0 -1 1077944384 808 12316 0 0 17 0 5 3 20 0 15 0 7035234 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173296760816 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9787] ppid=9723 vsize=13985408 CPUtime=0.3 cores=0,2,4,6 /proc/9726/task/9787/stat : 9787 (java) S 9723 9726 3187 0 -1 1077944384 1321 12316 0 0 22 0 5 3 20 0 15 0 7035234 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173295708528 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9788] ppid=9723 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9788/stat : 9788 (java) S 9723 9726 3187 0 -1 1077944384 3 12316 0 0 0 0 5 3 20 0 15 0 7035234 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173294655968 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9789] ppid=9723 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9789/stat : 9789 (java) S 9723 9726 3187 0 -1 1077944384 10 12316 0 0 0 0 5 3 20 0 15 0 7035238 14321057792 33931 18446744073709551615 4194304 4196468 140732887249632 140173293603760 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 Current children cumulated CPU time (s) 1.83 Current children cumulated vsize (KiB) 13985408 [startup+3.10134 s] /proc/loadavg: 1.50 1.53 1.61 4/213 9789 /proc/meminfo: memFree=31123944/32770624 swapFree=0/247632 [pid=9726] ppid=9723 vsize=14001980 CPUtime=5.66 cores=0,2,4,6 /proc/9726/stat : 9726 (java) S 9723 9726 3187 0 -1 1077944320 46807 12316 0 0 542 16 5 3 20 0 15 0 7035204 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140732887232176 140173824093943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 /proc/9726/statm: 3500495 56556 3437 1 0 3489117 0 [pid=9726/tid=9776] ppid=9723 vsize=14001980 CPUtime=2.81 cores=0,2,4,6 /proc/9726/task/9776/stat : 9776 (java) R 9723 9726 3187 0 -1 4202560 31540 12316 0 0 263 10 5 3 20 0 15 0 7035228 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173828306304 140173804369608 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9777] ppid=9723 vsize=14001980 CPUtime=0.1 cores=0,2,4,6 /proc/9726/task/9777/stat : 9777 (java) S 9723 9726 3187 0 -1 1077944384 78 12316 0 0 2 0 5 3 20 0 15 0 7035229 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173781059984 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9778] ppid=9723 vsize=14001980 CPUtime=0.1 cores=0,2,4,6 /proc/9726/task/9778/stat : 9778 (java) S 9723 9726 3187 0 -1 1077944384 247 12316 0 0 2 0 5 3 20 0 15 0 7035229 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173780007184 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9779] ppid=9723 vsize=14001980 CPUtime=0.1 cores=0,2,4,6 /proc/9726/task/9779/stat : 9779 (java) S 9723 9726 3187 0 -1 1077944384 71 12316 0 0 2 0 5 3 20 0 15 0 7035229 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173778954896 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9780] ppid=9723 vsize=14001980 CPUtime=0.1 cores=0,2,4,6 /proc/9726/task/9780/stat : 9780 (java) S 9723 9726 3187 0 -1 1077944384 63 12316 0 0 2 0 5 3 20 0 15 0 7035229 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173777902096 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9781] ppid=9723 vsize=14001980 CPUtime=0.11 cores=0,2,4,6 /proc/9726/task/9781/stat : 9781 (java) S 9723 9726 3187 0 -1 1077944384 2342 12316 0 0 3 0 5 3 20 0 15 0 7035230 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173302024816 140173824105090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9782] ppid=9723 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9782/stat : 9782 (java) S 9723 9726 3187 0 -1 1077944384 55 12316 0 0 0 0 5 3 20 0 15 0 7035231 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173300970848 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9783] ppid=9723 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9783/stat : 9783 (java) S 9723 9726 3187 0 -1 1077944384 43 12316 0 0 0 0 5 3 20 0 15 0 7035231 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173299918464 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9784] ppid=9723 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9784/stat : 9784 (java) S 9723 9726 3187 0 -1 1077944384 3 12316 0 0 0 0 5 3 20 0 15 0 7035234 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173298866768 140173824112539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9785] ppid=9723 vsize=14001980 CPUtime=0.81 cores=0,2,4,6 /proc/9726/task/9785/stat : 9785 (java) R 9723 9726 3187 0 -1 4202560 2317 12316 0 0 73 0 5 3 20 0 15 0 7035234 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173297799056 140173808486325 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9786] ppid=9723 vsize=14001980 CPUtime=1.04 cores=0,2,4,6 /proc/9726/task/9786/stat : 9786 (java) S 9723 9726 3187 0 -1 1077944384 4400 12316 0 0 96 0 5 3 20 0 15 0 7035234 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173296760816 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9787] ppid=9723 vsize=14001980 CPUtime=1.02 cores=0,2,4,6 /proc/9726/task/9787/stat : 9787 (java) S 9723 9726 3187 0 -1 1077944384 3483 12316 0 0 93 1 5 3 20 0 15 0 7035234 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173295708528 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9788] ppid=9723 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9788/stat : 9788 (java) S 9723 9726 3187 0 -1 1077944384 3 12316 0 0 0 0 5 3 20 0 15 0 7035234 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173294655968 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9789] ppid=9723 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9789/stat : 9789 (java) S 9723 9726 3187 0 -1 1077944384 11 12316 0 0 0 0 5 3 20 0 15 0 7035238 14338027520 56556 18446744073709551615 4194304 4196468 140732887249632 140173293603760 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 Current children cumulated CPU time (s) 5.66 Current children cumulated vsize (KiB) 14001980 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9726 sig 9 ??? kill -9726 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20142 s] /proc/loadavg: 1.50 1.53 1.61 4/213 9789 /proc/meminfo: memFree=31123944/32770624 swapFree=0/247632 [pid=9726] ppid=9723 vsize=14001980 CPUtime=5.86 cores=0,2,4,6 /proc/9726/stat : 9726 (java) S 9723 9726 3187 0 -1 1077944320 55013 12316 0 0 561 17 5 3 20 0 15 0 7035204 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140732887232176 140173824093943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 /proc/9726/statm: 3500495 63825 3437 1 0 3489117 0 [pid=9726/tid=9776] ppid=9723 vsize=14001980 CPUtime=2.9 cores=0,2,4,6 /proc/9726/task/9776/stat : 9776 (java) R 9723 9726 3187 0 -1 4202560 38532 12316 0 0 272 10 5 3 20 0 15 0 7035228 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173828310048 140173804369246 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9777] ppid=9723 vsize=14001980 CPUtime=0.1 cores=0,2,4,6 /proc/9726/task/9777/stat : 9777 (java) S 9723 9726 3187 0 -1 1077944384 78 12316 0 0 2 0 5 3 20 0 15 0 7035229 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173781059984 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9778] ppid=9723 vsize=14001980 CPUtime=0.1 cores=0,2,4,6 /proc/9726/task/9778/stat : 9778 (java) S 9723 9726 3187 0 -1 1077944384 247 12316 0 0 2 0 5 3 20 0 15 0 7035229 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173780007184 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9779] ppid=9723 vsize=14001980 CPUtime=0.1 cores=0,2,4,6 /proc/9726/task/9779/stat : 9779 (java) S 9723 9726 3187 0 -1 1077944384 71 12316 0 0 2 0 5 3 20 0 15 0 7035229 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173778954896 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9780] ppid=9723 vsize=14001980 CPUtime=0.1 cores=0,2,4,6 /proc/9726/task/9780/stat : 9780 (java) S 9723 9726 3187 0 -1 1077944384 63 12316 0 0 2 0 5 3 20 0 15 0 7035229 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173777902096 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9781] ppid=9723 vsize=14001980 CPUtime=0.11 cores=0,2,4,6 /proc/9726/task/9781/stat : 9781 (java) S 9723 9726 3187 0 -1 1077944384 2342 12316 0 0 3 0 5 3 20 0 15 0 7035230 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173302024816 140173824105090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9782] ppid=9723 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9782/stat : 9782 (java) S 9723 9726 3187 0 -1 1077944384 55 12316 0 0 0 0 5 3 20 0 15 0 7035231 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173300970848 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9783] ppid=9723 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9783/stat : 9783 (java) S 9723 9726 3187 0 -1 1077944384 43 12316 0 0 0 0 5 3 20 0 15 0 7035231 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173299918464 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9784] ppid=9723 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9784/stat : 9784 (java) S 9723 9726 3187 0 -1 1077944384 3 12316 0 0 0 0 5 3 20 0 15 0 7035234 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173298866768 140173824112539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9785] ppid=9723 vsize=14001980 CPUtime=0.91 cores=0,2,4,6 /proc/9726/task/9785/stat : 9785 (java) R 9723 9726 3187 0 -1 4202560 3531 12316 0 0 83 0 5 3 20 0 15 0 7035234 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173297793704 140173807590672 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9786] ppid=9723 vsize=14001980 CPUtime=1.04 cores=0,2,4,6 /proc/9726/task/9786/stat : 9786 (java) S 9723 9726 3187 0 -1 1077944384 4400 12316 0 0 96 0 5 3 20 0 15 0 7035234 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173296760816 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9787] ppid=9723 vsize=14001980 CPUtime=1.02 cores=0,2,4,6 /proc/9726/task/9787/stat : 9787 (java) S 9723 9726 3187 0 -1 1077944384 3483 12316 0 0 93 1 5 3 20 0 15 0 7035234 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173295708528 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9788] ppid=9723 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9788/stat : 9788 (java) S 9723 9726 3187 0 -1 1077944384 3 12316 0 0 0 0 5 3 20 0 15 0 7035234 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173294655968 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9789] ppid=9723 vsize=14001980 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9789/stat : 9789 (java) S 9723 9726 3187 0 -1 1077944384 11 12316 0 0 0 0 5 3 20 0 15 0 7035238 14338027520 63825 18446744073709551615 4194304 4196468 140732887249632 140173293603760 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 Current children cumulated CPU time (s) 5.86 Current children cumulated vsize (KiB) 14001980 [startup+4.00139 s] /proc/loadavg: 1.50 1.53 1.61 5/213 9789 /proc/meminfo: memFree=31006484/32770624 swapFree=0/247632 [pid=9726] ppid=9723 vsize=14067516 CPUtime=8.37 cores=0,2,4,6 /proc/9726/stat : 9726 (java) S 9723 9726 3187 0 -1 1077944320 64772 12316 0 0 809 20 5 3 20 0 15 0 7035204 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140732887232176 140173824093943 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 /proc/9726/statm: 3516879 70857 3451 1 0 3505501 0 [pid=9726/tid=9776] ppid=9723 vsize=14067516 CPUtime=3.51 cores=0,2,4,6 /proc/9726/task/9776/stat : 9776 (java) R 9723 9726 3187 0 -1 4202560 44435 12316 0 0 331 12 5 3 20 0 15 0 7035228 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173828322608 140173467139151 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9777] ppid=9723 vsize=14067516 CPUtime=0.19 cores=0,2,4,6 /proc/9726/task/9777/stat : 9777 (java) S 9723 9726 3187 0 -1 1077944384 85 12316 0 0 11 0 5 3 20 0 15 0 7035229 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173781059984 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9778] ppid=9723 vsize=14067516 CPUtime=0.2 cores=0,2,4,6 /proc/9726/task/9778/stat : 9778 (java) S 9723 9726 3187 0 -1 1077944384 258 12316 0 0 12 0 5 3 20 0 15 0 7035229 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173780007184 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9779] ppid=9723 vsize=14067516 CPUtime=0.17 cores=0,2,4,6 /proc/9726/task/9779/stat : 9779 (java) S 9723 9726 3187 0 -1 1077944384 75 12316 0 0 9 0 5 3 20 0 15 0 7035229 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173778954896 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9780] ppid=9723 vsize=14067516 CPUtime=0.18 cores=0,2,4,6 /proc/9726/task/9780/stat : 9780 (java) S 9723 9726 3187 0 -1 1077944384 73 12316 0 0 10 0 5 3 20 0 15 0 7035229 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173777902096 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9781] ppid=9723 vsize=14067516 CPUtime=0.18 cores=0,2,4,6 /proc/9726/task/9781/stat : 9781 (java) S 9723 9726 3187 0 -1 1077944384 2354 12316 0 0 10 0 5 3 20 0 15 0 7035230 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173302024816 140173824105090 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9782] ppid=9723 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9782/stat : 9782 (java) S 9723 9726 3187 0 -1 1077944384 55 12316 0 0 0 0 5 3 20 0 15 0 7035231 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173300970848 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9783] ppid=9723 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9783/stat : 9783 (java) S 9723 9726 3187 0 -1 1077944384 44 12316 0 0 0 0 5 3 20 0 15 0 7035231 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173299918464 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9784] ppid=9723 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9784/stat : 9784 (java) S 9723 9726 3187 0 -1 1077944384 3 12316 0 0 0 0 5 3 20 0 15 0 7035234 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173298866768 140173824112539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9785] ppid=9723 vsize=14067516 CPUtime=1.69 cores=0,2,4,6 /proc/9726/task/9785/stat : 9785 (java) R 9723 9726 3187 0 -1 4202560 6480 12316 0 0 160 1 5 3 20 0 15 0 7035234 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173297795888 140173808493700 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9786] ppid=9723 vsize=14067516 CPUtime=1.45 cores=0,2,4,6 /proc/9726/task/9786/stat : 9786 (java) R 9723 9726 3187 0 -1 4202560 4557 12316 0 0 137 0 5 3 20 0 15 0 7035234 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173296744016 140173801688688 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9787] ppid=9723 vsize=14067516 CPUtime=1.34 cores=0,2,4,6 /proc/9726/task/9787/stat : 9787 (java) S 9723 9726 3187 0 -1 1077944384 4188 12316 0 0 124 2 5 3 20 0 15 0 7035234 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173295708528 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9788] ppid=9723 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9788/stat : 9788 (java) S 9723 9726 3187 0 -1 1077944384 3 12316 0 0 0 0 5 3 20 0 15 0 7035234 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173294655968 140173824104149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 [pid=9726/tid=9789] ppid=9723 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9789/stat : 9789 (java) S 9723 9726 3187 0 -1 1077944384 11 12316 0 0 0 0 5 3 20 0 15 0 7035238 14405136384 70857 18446744073709551615 4194304 4196468 140732887249632 140173293603760 140173824105090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35987456 140732887254990 140732887257775 140732887257775 140732887261135 0 Current children cumulated CPU time (s) 8.37 Current children cumulated vsize (KiB) 14067516 [startup+4.40065 s] /proc/loadavg: 1.50 1.53 1.61 2/212 9790 /proc/meminfo: memFree=30950212/32770624 swapFree=0/247644 [pid=9726] ppid=9723 vsize=0 CPUtime=9.61 cores=0,2,4,6 /proc/9726/stat : 9726 (java) Z 9723 9726 3187 0 -1 4227084 65788 12316 0 0 931 22 5 3 20 0 2 0 7035204 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 0 0 0 0 0 0 0 0 /proc/9726/statm: 0 0 0 0 0 0 0 [pid=9726/tid=9784] ppid=9723 vsize=0 CPUtime=0.08 cores=0,2,4,6 /proc/9726/task/9784/stat : 9784 (java) R 9723 9726 3187 0 -1 4203588 5 12316 0 0 0 0 5 3 20 0 2 0 7035234 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 9.61 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 4.41506 CPU time (s): 9.63549 CPU user time (s): 9.37056 CPU system time (s): 0.264924 CPU usage (%): 218.241 Max. virtual memory (cumulated for all children) (KiB): 14069616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.37056 system time used= 0.264924 maximum resident set size= 344144 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78104 page faults= 0 swaps= 0 block input operations= 0 block output operations= 16 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6074 involuntary context switches= 247 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.0273 second user time and 0.051515 second system time The end
Begin job on node135 at 2017-08-02 07:06:45 IDJOB=4259478 IDBENCH=126217 IDSOLVER=2646 FILE ID=node135/4259478-1501651246 RUNJOBID= node135-1501639717-27966 PBS_JOBID= Free space on /tmp= 61816 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-06-a3.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259478-1501651246/watcher-4259478-1501651246 -o /tmp/evaluation-result-4259478-1501651246/solver-4259478-1501651246 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259478-1501651246.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b0c97e0505a0bc7a16ba291a1ac79ec8 RANDOM SEED=2078757723 node135.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.21 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.21 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.21 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.21 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: 31320204 kB MemAvailable: 31591788 kB Buffers: 126916 kB Cached: 422192 kB SwapCached: 0 kB Active: 777604 kB Inactive: 255620 kB Active(anon): 485124 kB Inactive(anon): 8592 kB Active(file): 292480 kB Inactive(file): 247028 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24192 kB Writeback: 0 kB AnonPages: 466264 kB Mapped: 42280 kB Shmem: 8960 kB Slab: 122516 kB SReclaimable: 95820 kB SUnreclaim: 26696 kB KernelStack: 3472 kB PageTables: 5680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1316324 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 313344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61792 MiB End job on node135 at 2017-08-02 07:06:50