Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: OscaR - Conflict Ordering 2017-06-30 | OPT | 34 | 3.25224 | 1.23703 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml |
| MD5SUM | 86f9a0f9696ddea7c71528c4cbe59182 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 34 |
| Best CPU time to get the best result obtained on this benchmark | 0.33821699 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 72 |
| Number of constraints | 31 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":28},{"size":501,"count":8}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 9 |
| Distribution of variable degrees | [{"degree":0,"count":36},{"degree":2,"count":28},{"degree":8,"count":6},{"degree":9,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 28 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":28},{"arity":8,"count":1},{"arity":28,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 29 |
| Distribution of constraint types | [{"type":"intension","count":29},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.42/0.30 c version: 2017-06-30 0.42/0.30 c seed: 1030866738 0.42/0.30 c timeout: 2400 0.42/0.30 c memlimit: 15500 0.42/0.30 c nbcore: 8 0.42/0.32 c Parsing instance... 1.14/0.75 c Parsing done, starting search... 1.50/0.85 o 500 1.50/0.85 o 499 1.50/0.85 o 498 1.50/0.85 o 497 1.50/0.85 o 496 1.50/0.85 o 495 1.50/0.85 o 494 1.50/0.86 o 493 1.50/0.86 o 492 1.50/0.86 o 491 1.50/0.86 o 490 1.50/0.86 o 489 1.50/0.86 o 488 1.50/0.86 o 487 1.50/0.86 o 486 1.50/0.86 o 485 1.50/0.86 o 484 1.50/0.86 o 483 1.50/0.86 o 482 1.50/0.86 o 481 1.50/0.86 o 480 1.50/0.86 o 479 1.50/0.86 o 478 1.50/0.86 o 477 1.50/0.86 o 476 1.50/0.86 o 475 1.50/0.86 o 474 1.50/0.86 o 473 1.50/0.86 o 472 1.50/0.86 o 471 1.50/0.86 o 470 1.50/0.86 o 469 1.50/0.86 o 468 1.50/0.87 o 467 1.50/0.87 o 466 1.50/0.87 o 465 1.50/0.87 o 464 1.50/0.87 o 463 1.50/0.87 o 462 1.50/0.87 o 461 1.50/0.87 o 460 1.50/0.87 o 459 1.50/0.87 o 458 1.50/0.87 o 457 1.50/0.87 o 456 1.50/0.87 o 455 1.50/0.87 o 454 1.50/0.87 o 453 1.50/0.87 o 452 1.50/0.87 o 451 1.50/0.87 o 450 1.50/0.87 o 449 1.50/0.87 o 448 1.50/0.87 o 447 1.50/0.87 o 446 1.50/0.87 o 445 1.50/0.87 o 444 1.50/0.87 o 443 1.50/0.87 o 442 1.50/0.87 o 441 1.50/0.87 o 440 1.50/0.87 o 439 1.50/0.87 o 438 1.50/0.87 o 437 1.50/0.87 o 436 1.50/0.88 o 435 1.50/0.88 o 434 1.50/0.88 o 433 1.50/0.88 o 432 1.50/0.88 o 431 1.50/0.88 o 430 1.50/0.88 o 429 1.50/0.88 o 428 1.50/0.88 o 427 1.50/0.88 o 426 1.50/0.88 o 425 1.50/0.88 o 424 1.50/0.88 o 423 1.50/0.88 o 422 1.50/0.88 o 421 1.50/0.88 o 420 1.50/0.88 o 419 1.50/0.88 o 418 1.50/0.88 o 417 1.50/0.88 o 416 1.50/0.88 o 415 1.50/0.88 o 414 1.50/0.88 o 413 1.50/0.88 o 412 1.50/0.88 o 411 1.50/0.88 o 410 1.50/0.88 o 409 1.50/0.88 o 408 1.50/0.88 o 407 1.50/0.88 o 406 1.50/0.88 o 405 1.50/0.88 o 404 1.50/0.88 o 403 1.50/0.89 o 402 1.50/0.89 o 401 1.50/0.89 o 400 1.50/0.89 o 399 1.50/0.89 o 398 1.50/0.89 o 397 1.50/0.89 o 396 1.50/0.89 o 395 1.50/0.89 o 394 1.50/0.89 o 393 1.50/0.89 o 392 1.50/0.89 o 391 1.50/0.89 o 390 1.50/0.89 o 389 1.50/0.89 o 388 1.50/0.89 o 387 1.50/0.89 o 386 1.50/0.89 o 385 1.50/0.89 o 384 1.50/0.89 o 383 1.50/0.89 o 382 1.50/0.89 o 381 1.50/0.89 o 380 1.50/0.89 o 379 1.50/0.89 o 378 1.50/0.89 o 377 1.50/0.89 o 376 1.50/0.89 o 375 1.50/0.89 o 374 1.50/0.89 o 373 1.50/0.89 o 372 1.50/0.89 o 371 1.50/0.89 o 370 1.50/0.89 o 369 1.50/0.89 o 368 1.50/0.89 o 367 1.50/0.90 o 366 1.50/0.90 o 365 1.50/0.90 o 364 1.96/0.90 o 363 1.96/0.90 o 362 1.96/0.90 o 361 1.96/0.90 o 360 1.96/0.90 o 359 1.96/0.90 o 358 1.96/0.90 o 357 1.96/0.90 o 356 1.96/0.90 o 355 1.96/0.90 o 354 1.96/0.90 o 353 1.96/0.90 o 352 1.96/0.90 o 351 1.96/0.90 o 350 1.96/0.90 o 349 1.96/0.90 o 348 1.96/0.90 o 347 1.96/0.90 o 346 1.96/0.90 o 345 1.96/0.90 o 344 1.96/0.90 o 343 1.96/0.90 o 342 1.96/0.90 o 341 1.96/0.90 o 340 1.96/0.90 o 339 1.96/0.90 o 338 1.96/0.90 o 337 1.96/0.90 o 336 1.96/0.90 o 335 1.96/0.90 o 334 1.96/0.90 o 333 1.96/0.90 o 332 1.96/0.90 o 331 1.96/0.90 o 330 1.96/0.90 o 329 1.96/0.90 o 328 1.96/0.91 o 327 1.96/0.91 o 326 1.96/0.91 o 325 1.96/0.91 o 324 1.96/0.91 o 323 1.96/0.91 o 322 1.96/0.91 o 321 1.96/0.91 o 320 1.96/0.91 o 319 1.96/0.91 o 318 1.96/0.91 o 317 1.96/0.91 o 316 1.96/0.91 o 315 1.96/0.91 o 314 1.96/0.91 o 313 1.96/0.91 o 312 1.96/0.91 o 311 1.96/0.91 o 310 1.96/0.91 o 309 1.96/0.91 o 308 1.96/0.91 o 307 1.96/0.91 o 306 1.96/0.91 o 305 1.96/0.91 o 304 1.96/0.91 o 303 1.96/0.91 o 302 1.96/0.91 o 301 1.96/0.91 o 300 1.96/0.91 o 299 1.96/0.91 o 298 1.96/0.91 o 297 1.96/0.91 o 296 1.96/0.91 o 295 1.96/0.91 o 294 1.96/0.91 o 293 1.96/0.91 o 292 1.96/0.91 o 291 1.96/0.91 o 290 1.96/0.91 o 289 1.96/0.91 o 288 1.96/0.91 o 287 1.96/0.91 o 286 1.96/0.91 o 285 1.96/0.91 o 284 1.96/0.91 o 283 1.96/0.92 o 282 1.96/0.92 o 281 1.96/0.92 o 280 1.96/0.92 o 279 1.96/0.92 o 278 1.96/0.92 o 277 1.96/0.92 o 276 1.96/0.92 o 275 1.96/0.92 o 274 1.96/0.92 o 273 1.96/0.92 o 272 1.96/0.92 o 271 1.96/0.92 o 270 1.96/0.92 o 269 1.96/0.92 o 268 1.96/0.92 o 267 1.96/0.92 o 266 1.96/0.92 o 265 1.96/0.92 o 264 1.96/0.92 o 263 1.96/0.92 o 262 1.96/0.92 o 261 1.96/0.92 o 260 1.96/0.92 o 259 1.96/0.92 o 258 1.96/0.92 o 257 1.96/0.92 o 256 1.96/0.92 o 255 1.96/0.92 o 254 1.96/0.92 o 253 1.96/0.92 o 252 1.96/0.92 o 251 1.96/0.92 o 250 1.96/0.92 o 249 1.96/0.92 o 248 1.96/0.92 o 247 1.96/0.92 o 246 1.96/0.92 o 245 1.96/0.92 o 244 1.96/0.92 o 243 1.96/0.92 o 242 1.96/0.92 o 241 1.96/0.92 o 240 1.96/0.92 o 239 1.96/0.93 o 238 1.96/0.93 o 237 1.96/0.93 o 236 1.96/0.93 o 235 1.96/0.93 o 234 1.96/0.93 o 233 1.96/0.93 o 232 1.96/0.93 o 231 1.96/0.93 o 230 1.96/0.93 o 229 1.96/0.93 o 228 1.96/0.93 o 227 1.96/0.93 o 226 1.96/0.93 o 225 1.96/0.93 o 224 1.96/0.93 o 223 1.96/0.93 o 222 1.96/0.93 o 221 1.96/0.93 o 220 1.96/0.93 o 219 1.96/0.93 o 218 1.96/0.93 o 217 1.96/0.93 o 216 1.96/0.93 o 215 1.96/0.93 o 214 1.96/0.93 o 213 1.96/0.93 o 212 1.96/0.93 o 211 1.96/0.93 o 210 1.96/0.93 o 209 1.96/0.93 o 208 1.96/0.93 o 207 1.96/0.93 o 206 1.96/0.93 o 205 1.96/0.93 o 204 1.96/0.93 o 203 1.96/0.93 o 202 1.96/0.93 o 201 1.96/0.93 o 200 1.96/0.93 o 199 1.96/0.93 o 198 1.96/0.93 o 197 1.96/0.93 o 196 1.96/0.93 o 195 1.96/0.93 o 194 1.96/0.94 o 193 1.96/0.94 o 192 1.96/0.94 o 191 1.96/0.94 o 190 1.96/0.94 o 189 1.96/0.94 o 188 1.96/0.94 o 187 1.96/0.94 o 186 1.96/0.94 o 185 1.96/0.94 o 184 1.96/0.94 o 183 1.96/0.94 o 182 1.96/0.94 o 181 1.96/0.94 o 180 1.96/0.94 o 179 1.96/0.94 o 178 1.96/0.94 o 177 1.96/0.94 o 176 1.96/0.94 o 175 1.96/0.94 o 174 1.96/0.94 o 173 1.96/0.94 o 172 1.96/0.94 o 171 1.96/0.94 o 170 1.96/0.94 o 169 1.96/0.94 o 168 1.96/0.94 o 167 1.96/0.94 o 166 1.96/0.94 o 165 1.96/0.94 o 164 1.96/0.94 o 163 1.96/0.94 o 162 1.96/0.94 o 161 1.96/0.94 o 160 1.96/0.94 o 159 1.96/0.94 o 158 1.96/0.94 o 157 1.96/0.94 o 156 1.96/0.94 o 155 1.96/0.94 o 154 1.96/0.94 o 153 1.96/0.94 o 152 1.96/0.94 o 151 1.96/0.94 o 150 1.96/0.94 o 149 1.96/0.94 o 148 1.96/0.94 o 147 1.96/0.94 o 146 1.96/0.94 o 145 1.96/0.95 o 144 1.96/0.95 o 143 1.96/0.95 o 142 1.96/0.95 o 141 1.96/0.95 o 140 1.96/0.95 o 139 1.96/0.95 o 138 1.96/0.95 o 137 1.96/0.95 o 136 1.96/0.95 o 135 1.96/0.95 o 134 1.96/0.95 o 133 1.96/0.95 o 132 1.96/0.95 o 131 1.96/0.95 o 130 1.96/0.95 o 129 1.96/0.95 o 128 1.96/0.95 o 127 1.96/0.95 o 126 1.96/0.95 o 125 1.96/0.95 o 124 1.96/0.95 o 123 1.96/0.95 o 122 1.96/0.95 o 121 1.96/0.95 o 120 1.96/0.95 o 119 1.96/0.95 o 118 1.96/0.95 o 117 1.96/0.95 o 116 1.96/0.95 o 115 1.96/0.95 o 114 1.96/0.95 o 113 1.96/0.95 o 112 1.96/0.95 o 111 1.96/0.95 o 110 1.96/0.95 o 109 1.96/0.95 o 108 1.96/0.95 o 107 1.96/0.95 o 106 1.96/0.95 o 105 1.96/0.95 o 104 1.96/0.95 o 103 1.96/0.95 o 102 1.96/0.95 o 101 1.96/0.95 o 100 1.96/0.95 o 99 1.96/0.95 o 98 1.96/0.95 o 97 1.96/0.95 o 96 1.96/0.95 o 95 1.96/0.95 o 94 1.96/0.96 o 93 1.96/0.96 o 92 1.96/0.96 o 91 1.96/0.96 o 90 1.96/0.96 o 89 1.96/0.96 o 88 1.96/0.96 o 87 1.96/0.96 o 86 1.96/0.96 o 85 1.96/0.96 o 84 1.96/0.96 o 83 1.96/0.96 o 82 1.96/0.96 o 81 1.96/0.96 o 80 1.96/0.96 o 79 1.96/0.96 o 78 1.96/0.96 o 77 1.96/0.96 o 76 1.96/0.96 o 75 1.96/0.96 o 74 1.96/0.96 o 73 1.96/0.96 o 72 1.96/0.96 o 71 1.96/0.96 o 70 1.96/0.96 o 69 1.96/0.96 o 68 1.96/0.96 o 67 1.96/0.96 o 66 1.96/0.96 o 65 1.96/0.96 o 64 1.96/0.96 o 63 1.96/0.96 o 61 1.96/0.96 o 59 1.96/0.96 o 58 1.96/0.96 o 57 1.96/0.96 o 56 1.96/0.96 o 55 1.96/0.96 o 52 1.96/0.96 o 51 1.96/0.96 o 49 1.96/0.96 o 48 1.96/0.96 o 47 1.96/0.96 o 46 1.96/0.96 o 45 1.96/0.96 o 44 1.96/0.97 o 43 1.96/0.97 o 42 1.96/0.97 o 39 1.96/0.98 o 37 1.96/0.98 o 36 2.87/1.12 o 34 3.21/1.22 s OPTIMUM FOUND 3.21/1.22 v <instantiation> 3.21/1.22 v <list> 3.21/1.22 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[3][4] y[3][5] y[3][6] y[3][7] y[4][5] y[4][6] y[4][7] y[5][6] y[5][7] y[6][7] 3.21/1.22 v </list> 3.21/1.22 v <values> 3.21/1.22 v 0 2 12 19 25 30 33 34 2 12 19 25 30 33 34 10 17 23 28 31 32 7 13 18 21 22 6 11 14 15 5 8 9 3 4 1 3.21/1.22 v </values> 3.21/1.22 v </instantiation>
OK 34
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-4246662-1500712246/watcher-4246662-1500712246 -o /tmp/evaluation-result-4246662-1500712246/solver-4246662-1500712246 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500709875-18320 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1030866738 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246662-1500712246.xml pid=18639 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.29 1.42 1.46 3/262 18642 /proc/meminfo: memFree=31421992/32770624 swapFree=5848/269984 [pid=18642] ppid=18639 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/stat : 18642 (java) S 18639 18642 14040 0 -1 1077944320 1976 0 0 0 0 0 0 0 20 0 2 0 6493693 10889764864 1676 33554432000 4194304 4196468 140727082161504 140727082144048 140387620769527 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 /proc/18642/statm: 2658634 1676 1188 1 0 2647545 0 [pid=18642/tid=18643] ppid=18639 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18643/stat : 18643 (java) R 18639 18642 14040 0 -1 4202560 754 0 0 0 0 0 0 0 20 0 2 0 6493693 10889764864 1808 33554432000 4194304 4196468 140727082161504 140387625011616 140387613058976 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [startup+0.100131 s] /proc/loadavg: 1.29 1.42 1.46 3/262 18642 /proc/meminfo: memFree=31421992/32770624 swapFree=5848/269984 [pid=18642] ppid=18639 vsize=13261040 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/18642/stat : 18642 (java) S 18639 18642 14040 0 -1 1077944320 5871 0 0 0 9 1 0 0 20 0 20 0 6493693 13579304960 6151 33554432000 4194304 4196468 140727082161504 140727082144048 140387620769527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 /proc/18642/statm: 3315260 6151 2624 1 0 3303698 0 [pid=18642/tid=18643] ppid=18639 vsize=13261040 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18643/stat : 18643 (java) R 18639 18642 14040 0 -1 4202560 3945 0 0 0 7 0 0 0 20 0 20 0 6493693 13579304960 6151 33554432000 4194304 4196468 140727082161504 140387625009304 140387613447541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13261040 [startup+0.200518 s] /proc/loadavg: 1.29 1.42 1.46 3/262 18642 /proc/meminfo: memFree=31421992/32770624 swapFree=5848/269984 [pid=18642] ppid=18639 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14 /proc/18642/stat : 18642 (java) S 18639 18642 14040 0 -1 1077944320 8988 0 0 0 24 2 0 0 20 0 20 0 6493693 13582245888 8995 33554432000 4194304 4196468 140727082161504 140727082144048 140387620769527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 /proc/18642/statm: 3315978 8995 3536 1 0 3303698 0 [pid=18642/tid=18643] ppid=18639 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18643/stat : 18643 (java) R 18639 18642 14040 0 -1 4202560 6703 0 0 0 16 2 0 0 20 0 20 0 6493693 13582245888 8995 33554432000 4194304 4196468 140727082161504 140387624966544 140387604813157 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263912 [startup+0.300407 s] /proc/loadavg: 1.29 1.42 1.46 3/262 18642 /proc/meminfo: memFree=31421992/32770624 swapFree=5848/269984 [pid=18642] ppid=18639 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/18642/stat : 18642 (java) S 18639 18642 14040 0 -1 1077944320 9977 0 0 0 39 3 0 0 20 0 20 0 6493693 13582245888 11149 33554432000 4194304 4196468 140727082161504 140727082144048 140387620769527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 /proc/18642/statm: 3315978 11149 3616 1 0 3303698 0 [pid=18642/tid=18643] ppid=18639 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18643/stat : 18643 (java) R 18639 18642 14040 0 -1 4202560 7409 0 0 0 25 2 0 0 20 0 20 0 6493693 13582245888 11149 33554432000 4194304 4196468 140727082161504 140387624982944 140387620791453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 13263912 [startup+0.700285 s] /proc/loadavg: 1.29 1.42 1.46 3/262 18642 /proc/meminfo: memFree=31421992/32770624 swapFree=5848/269984 [pid=18642] ppid=18639 vsize=13268028 CPUtime=1.14 cores=0,2,4,6,8,10,12,14 /proc/18642/stat : 18642 (java) S 18639 18642 14040 0 -1 1077944320 12677 0 0 0 109 5 0 0 20 0 20 0 6493693 13586460672 18570 33554432000 4194304 4196468 140727082161504 140727082144048 140387620769527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 /proc/18642/statm: 3317007 18570 3759 1 0 3304722 0 [pid=18642/tid=18643] ppid=18639 vsize=13268028 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18643/stat : 18643 (java) R 18639 18642 14040 0 -1 4202560 9292 0 0 0 63 4 0 0 20 0 20 0 6493693 13586460672 18570 33554432000 4194304 4196468 140727082161504 140387624979616 140387604850014 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 13268028 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18642 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+0.800323 s] /proc/loadavg: 1.29 1.42 1.46 3/262 18642 /proc/meminfo: memFree=31421992/32770624 swapFree=5848/269984 [pid=18642] ppid=18639 vsize=13268028 CPUtime=1.5 cores=0,2,4,6,8,10,12,14 /proc/18642/stat : 18642 (java) S 18639 18642 14040 0 -1 1077944320 15152 0 0 0 144 6 0 0 20 0 20 0 6493693 13586460672 22960 33554432000 4194304 4196468 140727082161504 140727082144048 140387620769527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 /proc/18642/statm: 3317007 22960 3765 1 0 3304722 0 [pid=18642/tid=18643] ppid=18639 vsize=13268028 CPUtime=0.77 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18643/stat : 18643 (java) R 18639 18642 14040 0 -1 4202560 9560 0 0 0 73 4 0 0 20 0 20 0 6493693 13586460672 22960 33554432000 4194304 4196468 140727082161504 140387625006160 140387260579913 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 13268028 [startup+1.21558 s] /proc/loadavg: 1.51 1.46 1.48 6/282 18662 /proc/meminfo: memFree=31286596/32770624 swapFree=5848/269764 [pid=18642] ppid=18639 vsize=13268028 CPUtime=3.21 cores=0,2,4,6,8,10,12,14 /proc/18642/stat : 18642 (java) S 18639 18642 14040 0 -1 1077944320 24876 0 0 0 313 8 0 0 20 0 20 0 6493693 13586460672 32345 33554432000 4194304 4196468 140727082161504 140727082144048 140387620769527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 /proc/18642/statm: 3317007 32345 3772 1 0 3304722 0 [pid=18642/tid=18643] ppid=18639 vsize=13268028 CPUtime=1.18 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18643/stat : 18643 (java) R 18639 18642 14040 0 -1 4202560 10617 0 0 0 113 5 0 0 20 0 20 0 6493693 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387625005880 140387261865330 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18645] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18645/stat : 18645 (java) S 18639 18642 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6493694 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387583875984 140387620779733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18646] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18646/stat : 18646 (java) S 18639 18642 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6493694 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387219340048 140387620779733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18647] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18647/stat : 18647 (java) S 18639 18642 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6493694 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387218287760 140387620779733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18648] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18648/stat : 18648 (java) S 18639 18642 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6493694 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387217234960 140387620779733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18649] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18649/stat : 18649 (java) S 18639 18642 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6493694 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387216181648 140387620779733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18650] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18650/stat : 18650 (java) S 18639 18642 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6493694 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387215128848 140387620779733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18651] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18651/stat : 18651 (java) S 18639 18642 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6493694 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387214076560 140387620779733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18652] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18652/stat : 18652 (java) S 18639 18642 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6493694 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387213023760 140387620779733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18653] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18653/stat : 18653 (java) S 18639 18642 14040 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 6493696 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387084225136 140387620780674 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18654] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18654/stat : 18654 (java) S 18639 18642 14040 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6493697 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387083171104 140387620779733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18655] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18655/stat : 18655 (java) S 18639 18642 14040 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6493697 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387082118768 140387620779733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18656] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18656/stat : 18656 (java) S 18639 18642 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6493701 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387081067088 140387620788123 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18657] ppid=18639 vsize=13268028 CPUtime=0.53 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18657/stat : 18657 (java) S 18639 18642 14040 0 -1 1077944384 5623 0 0 0 53 0 0 0 20 0 20 0 6493701 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387080013936 140387620780674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18658] ppid=18639 vsize=13268028 CPUtime=0.54 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18658/stat : 18658 (java) S 18639 18642 14040 0 -1 1077944384 2767 0 0 0 54 0 0 0 20 0 20 0 6493701 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387078961136 140387620780674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18659] ppid=18639 vsize=13268028 CPUtime=0.5 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18659/stat : 18659 (java) R 18639 18642 14040 0 -1 4202560 2880 0 0 0 50 0 0 0 20 0 20 0 6493701 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387077894192 140387602291751 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18660] ppid=18639 vsize=13268028 CPUtime=0.4 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18660/stat : 18660 (java) S 18639 18642 14040 0 -1 1077944384 1580 0 0 0 40 0 0 0 20 0 20 0 6493701 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387076856048 140387620780674 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18661] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18661/stat : 18661 (java) S 18639 18642 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6493701 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387075804000 140387620779733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 [pid=18642/tid=18662] ppid=18639 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18642/task/18662/stat : 18662 (java) S 18639 18642 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6493701 13586460672 32345 33554432000 4194304 4196468 140727082161504 140387074751280 140387620780674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140727082169481 140727082169668 140727082169668 140727082172367 0 Current children cumulated CPU time (s) 3.21 Current children cumulated vsize (KiB) 13268028 Child status: 0 Real time (s): 1.23703 CPU time (s): 3.25224 CPU user time (s): 3.1488 CPU system time (s): 0.103438 CPU usage (%): 262.906 Max. virtual memory (cumulated for all children) (KiB): 13268028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.1488 system time used= 0.103438 maximum resident set size= 131960 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25209 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2684 involuntary context switches= 239 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.016054 second user time and 0.033112 second system time The end
Begin job on node115 at 2017-07-22 10:30:46 IDJOB=4246662 IDBENCH=126212 IDSOLVER=2628 FILE ID=node115/4246662-1500712246 RUNJOBID= node115-1500709875-18320 PBS_JOBID= 20623035 Free space on /tmp= 61944 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-08-a3.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246662-1500712246/watcher-4246662-1500712246 -o /tmp/evaluation-result-4246662-1500712246/solver-4246662-1500712246 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500709875-18320 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1030866738 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246662-1500712246.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 86f9a0f9696ddea7c71528c4cbe59182 RANDOM SEED=1030866738 node115.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 8 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.41 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.41 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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.41 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.41 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31423496 kB MemAvailable: 31744144 kB Buffers: 125228 kB Cached: 475500 kB SwapCached: 0 kB Active: 633188 kB Inactive: 278760 kB Active(anon): 313952 kB Inactive(anon): 8792 kB Active(file): 319236 kB Inactive(file): 269968 kB Unevictable: 5848 kB Mlocked: 5848 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42284 kB Writeback: 0 kB AnonPages: 310912 kB Mapped: 45500 kB Shmem: 8848 kB Slab: 128196 kB SReclaimable: 94560 kB SUnreclaim: 33636 kB KernelStack: 4528 kB PageTables: 5912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1384548 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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= 61904 MiB End job on node115 at 2017-07-22 10:30:48