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 | 11 | 8.7215405 | 4.0739002 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml |
| MD5SUM | 52bc390cc6b0904238f0f092c3eebf68 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 0.024444001 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 30 |
| Number of constraints | 13 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":10},{"size":501,"count":5}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 6 |
| Distribution of variable degrees | [{"degree":0,"count":15},{"degree":2,"count":10},{"degree":5,"count":3},{"degree":6,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 10 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":10},{"arity":5,"count":1},{"arity":10,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 11 |
| Distribution of constraint types | [{"type":"intension","count":11},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
3.24/2.17 c Concrete v3.4 running 6.28/3.39 o 500 7.20/3.62 o 499 7.20/3.62 o 498 7.20/3.62 o 497 7.20/3.62 o 496 7.20/3.62 o 495 7.20/3.62 o 494 7.20/3.62 o 493 7.20/3.62 o 492 7.20/3.62 o 491 7.20/3.62 o 490 7.20/3.62 o 489 7.20/3.62 o 488 7.20/3.62 o 487 7.20/3.62 o 486 7.20/3.62 o 485 7.20/3.62 o 484 7.20/3.62 o 483 7.20/3.62 o 482 7.20/3.62 o 481 7.20/3.62 o 480 7.20/3.62 o 479 7.20/3.62 o 478 7.20/3.62 o 477 7.20/3.62 o 476 7.20/3.62 o 475 7.20/3.62 o 474 7.20/3.62 o 473 7.20/3.62 o 472 7.20/3.62 o 471 7.20/3.62 o 470 7.20/3.62 o 469 7.20/3.62 o 468 7.20/3.62 o 467 7.20/3.62 o 466 7.20/3.62 o 465 7.20/3.62 o 464 7.20/3.62 o 463 7.20/3.62 o 462 7.20/3.62 o 461 7.20/3.62 o 460 7.20/3.62 o 459 7.20/3.62 o 458 7.20/3.62 o 457 7.20/3.62 o 456 7.20/3.62 o 455 7.20/3.62 o 454 7.20/3.62 o 453 7.20/3.62 o 452 7.20/3.62 o 451 7.20/3.62 o 450 7.20/3.62 o 449 7.20/3.62 o 448 7.20/3.62 o 447 7.20/3.62 o 446 7.20/3.63 o 445 7.20/3.63 o 444 7.20/3.63 o 443 7.20/3.63 o 442 7.20/3.64 o 441 7.20/3.64 o 440 7.20/3.64 o 439 7.20/3.64 o 438 7.20/3.65 o 437 7.20/3.65 o 436 7.20/3.65 o 435 7.20/3.65 o 434 7.20/3.66 o 433 7.20/3.66 o 432 7.20/3.66 o 431 7.20/3.66 o 430 7.20/3.66 o 429 7.20/3.66 o 428 7.20/3.67 o 427 7.20/3.67 o 426 7.20/3.67 o 425 7.20/3.67 o 424 7.20/3.67 o 423 7.20/3.67 o 422 7.20/3.67 o 421 7.20/3.68 o 420 7.20/3.68 o 419 7.20/3.68 o 418 7.20/3.68 o 417 7.20/3.69 o 416 7.20/3.69 o 415 7.20/3.69 o 414 7.20/3.69 o 413 7.20/3.69 o 412 7.20/3.69 o 411 7.20/3.69 o 410 7.20/3.69 o 409 7.20/3.69 o 408 7.20/3.69 o 407 7.20/3.70 o 406 7.51/3.70 o 405 7.51/3.70 o 404 7.51/3.70 o 403 7.51/3.70 o 402 7.51/3.70 o 401 7.51/3.70 o 400 7.51/3.70 o 399 7.51/3.71 o 398 7.51/3.71 o 397 7.51/3.71 o 396 7.51/3.71 o 395 7.51/3.72 o 394 7.51/3.72 o 393 7.51/3.72 o 392 7.51/3.72 o 391 7.51/3.72 o 390 7.51/3.72 o 389 7.51/3.72 o 388 7.51/3.72 o 387 7.51/3.72 o 386 7.51/3.72 o 385 7.51/3.72 o 384 7.51/3.73 o 383 7.51/3.73 o 382 7.51/3.73 o 381 7.51/3.73 o 380 7.51/3.73 o 379 7.51/3.73 o 378 7.51/3.73 o 377 7.51/3.74 o 376 7.51/3.74 o 375 7.51/3.74 o 374 7.51/3.74 o 373 7.51/3.74 o 372 7.51/3.74 o 371 7.51/3.74 o 370 7.51/3.74 o 369 7.51/3.74 o 368 7.51/3.75 o 367 7.51/3.75 o 366 7.51/3.75 o 365 7.51/3.75 o 364 7.51/3.75 o 363 7.51/3.75 o 362 7.51/3.75 o 361 7.51/3.75 o 360 7.51/3.75 o 359 7.51/3.75 o 358 7.51/3.76 o 357 7.51/3.76 o 356 7.51/3.76 o 355 7.51/3.76 o 354 7.51/3.76 o 353 7.51/3.76 o 352 7.51/3.76 o 351 7.51/3.76 o 350 7.51/3.76 o 349 7.51/3.77 o 348 7.51/3.77 o 347 7.51/3.77 o 346 7.51/3.77 o 345 7.51/3.77 o 344 7.51/3.77 o 343 7.51/3.77 o 342 7.51/3.77 o 341 7.51/3.77 o 340 7.51/3.78 o 339 7.51/3.78 o 338 7.51/3.78 o 337 7.51/3.78 o 336 7.51/3.78 o 335 7.51/3.78 o 334 7.51/3.78 o 333 7.51/3.78 o 332 7.51/3.78 o 331 7.51/3.79 o 330 7.51/3.79 o 329 7.51/3.79 o 328 7.51/3.79 o 327 7.51/3.79 o 326 7.51/3.79 o 325 7.51/3.79 o 324 7.51/3.79 o 323 7.51/3.79 o 322 7.51/3.79 o 321 7.51/3.80 o 320 7.84/3.80 o 319 7.84/3.80 o 318 7.84/3.80 o 317 7.84/3.80 o 316 7.84/3.80 o 315 7.84/3.80 o 314 7.84/3.80 o 313 7.84/3.80 o 312 7.84/3.80 o 311 7.84/3.81 o 310 7.84/3.81 o 309 7.84/3.81 o 308 7.84/3.81 o 307 7.84/3.81 o 306 7.84/3.81 o 305 7.84/3.81 o 304 7.84/3.81 o 303 7.84/3.81 o 302 7.84/3.82 o 301 7.84/3.82 o 300 7.84/3.82 o 299 7.84/3.82 o 298 7.84/3.82 o 297 7.84/3.82 o 296 7.84/3.82 o 295 7.84/3.82 o 294 7.84/3.82 o 293 7.84/3.82 o 292 7.84/3.82 o 291 7.84/3.83 o 290 7.84/3.83 o 289 7.84/3.83 o 288 7.84/3.83 o 287 7.84/3.83 o 286 7.84/3.83 o 285 7.84/3.83 o 284 7.84/3.83 o 283 7.84/3.83 o 282 7.84/3.83 o 281 7.84/3.84 o 280 7.84/3.84 o 279 7.84/3.84 o 278 7.84/3.84 o 277 7.84/3.84 o 276 7.84/3.84 o 275 7.84/3.84 o 274 7.84/3.84 o 273 7.84/3.84 o 272 7.84/3.85 o 271 7.84/3.85 o 270 7.84/3.85 o 269 7.84/3.85 o 268 7.84/3.85 o 267 7.84/3.85 o 266 7.84/3.85 o 265 7.84/3.85 o 264 7.84/3.85 o 263 7.84/3.85 o 262 7.84/3.85 o 261 7.84/3.85 o 260 7.84/3.86 o 259 7.84/3.86 o 258 7.84/3.86 o 257 7.84/3.86 o 256 7.84/3.86 o 255 7.84/3.86 o 254 7.84/3.86 o 253 7.84/3.86 o 252 7.84/3.86 o 251 7.84/3.87 o 250 7.84/3.87 o 249 7.84/3.87 o 248 7.84/3.87 o 247 7.84/3.87 o 246 7.84/3.87 o 245 7.84/3.88 o 244 7.84/3.88 o 243 7.84/3.88 o 242 7.84/3.88 o 241 7.84/3.88 o 240 7.84/3.88 o 239 7.84/3.88 o 238 7.84/3.88 o 237 7.84/3.88 o 236 7.84/3.88 o 235 7.84/3.88 o 234 7.84/3.88 o 233 7.84/3.88 o 232 7.84/3.88 o 231 7.84/3.88 o 230 7.84/3.88 o 229 7.84/3.89 o 228 7.84/3.89 o 227 7.84/3.89 o 226 7.84/3.89 o 225 7.84/3.89 o 224 7.84/3.89 o 223 7.84/3.89 o 222 7.84/3.89 o 221 7.84/3.89 o 220 7.84/3.89 o 219 7.84/3.89 o 218 7.84/3.90 o 217 8.19/3.90 o 216 8.19/3.90 o 215 8.19/3.90 o 214 8.19/3.90 o 213 8.19/3.90 o 212 8.19/3.90 o 211 8.19/3.90 o 210 8.19/3.90 o 209 8.19/3.90 o 208 8.19/3.90 o 207 8.19/3.91 o 206 8.19/3.91 o 205 8.19/3.91 o 204 8.19/3.91 o 203 8.19/3.91 o 202 8.19/3.91 o 201 8.19/3.91 o 200 8.19/3.91 o 199 8.19/3.91 o 198 8.19/3.91 o 197 8.19/3.91 o 196 8.19/3.91 o 195 8.19/3.91 o 194 8.19/3.92 o 193 8.19/3.92 o 192 8.19/3.92 o 191 8.19/3.92 o 190 8.19/3.92 o 189 8.19/3.92 o 188 8.19/3.92 o 187 8.19/3.92 o 186 8.19/3.92 o 185 8.19/3.92 o 184 8.19/3.93 o 183 8.19/3.93 o 182 8.19/3.93 o 181 8.19/3.93 o 180 8.19/3.93 o 179 8.19/3.93 o 178 8.19/3.93 o 177 8.19/3.93 o 176 8.19/3.93 o 175 8.19/3.93 o 174 8.19/3.93 o 173 8.19/3.93 o 172 8.19/3.93 o 171 8.19/3.93 o 170 8.19/3.94 o 169 8.19/3.94 o 168 8.19/3.94 o 167 8.19/3.94 o 166 8.19/3.94 o 165 8.19/3.94 o 164 8.19/3.94 o 163 8.19/3.94 o 162 8.19/3.94 o 161 8.19/3.94 o 160 8.19/3.94 o 159 8.19/3.94 o 158 8.19/3.95 o 157 8.19/3.95 o 156 8.19/3.95 o 155 8.19/3.95 o 154 8.19/3.95 o 153 8.19/3.95 o 152 8.19/3.95 o 151 8.19/3.95 o 150 8.19/3.95 o 149 8.19/3.95 o 148 8.19/3.95 o 147 8.19/3.95 o 146 8.19/3.95 o 145 8.19/3.96 o 144 8.19/3.96 o 143 8.19/3.96 o 142 8.19/3.96 o 141 8.19/3.96 o 140 8.19/3.96 o 139 8.19/3.96 o 138 8.19/3.96 o 137 8.19/3.96 o 136 8.19/3.96 o 135 8.19/3.96 o 134 8.19/3.96 o 133 8.19/3.96 o 132 8.19/3.96 o 131 8.19/3.97 o 130 8.19/3.97 o 129 8.19/3.97 o 128 8.19/3.97 o 127 8.19/3.97 o 126 8.19/3.97 o 125 8.19/3.98 o 124 8.19/3.98 o 123 8.19/3.98 o 122 8.19/3.98 o 121 8.19/3.98 o 120 8.19/3.98 o 119 8.19/3.98 o 118 8.19/3.98 o 117 8.19/3.98 o 116 8.19/3.98 o 115 8.19/3.98 o 114 8.19/3.98 o 113 8.19/3.98 o 112 8.19/3.98 o 111 8.19/3.98 o 110 8.19/3.98 o 109 8.19/3.98 o 108 8.19/3.98 o 107 8.19/3.98 o 106 8.19/3.99 o 105 8.19/3.99 o 104 8.19/3.99 o 103 8.19/3.99 o 102 8.19/3.99 o 101 8.19/3.99 o 100 8.19/3.99 o 99 8.19/3.99 o 98 8.19/3.99 o 97 8.19/3.99 o 96 8.19/3.99 o 95 8.19/3.99 o 94 8.19/4.00 o 93 8.19/4.00 o 92 8.50/4.00 o 91 8.50/4.00 o 90 8.50/4.00 o 89 8.50/4.00 o 88 8.50/4.00 o 87 8.50/4.00 o 86 8.50/4.00 o 85 8.50/4.00 o 84 8.50/4.00 o 83 8.50/4.00 o 82 8.50/4.00 o 81 8.50/4.00 o 80 8.50/4.01 o 79 8.50/4.01 o 78 8.50/4.01 o 77 8.50/4.01 o 76 8.50/4.01 o 75 8.50/4.01 o 74 8.50/4.01 o 73 8.50/4.01 o 72 8.50/4.01 o 71 8.50/4.01 o 70 8.50/4.01 o 69 8.50/4.01 o 68 8.50/4.01 o 67 8.50/4.01 o 66 8.50/4.02 o 65 8.50/4.02 o 64 8.50/4.02 o 63 8.50/4.02 o 62 8.50/4.02 o 61 8.50/4.02 o 60 8.50/4.02 o 59 8.50/4.02 o 58 8.50/4.02 o 57 8.50/4.02 o 56 8.50/4.02 o 55 8.50/4.02 o 54 8.50/4.02 o 53 8.50/4.02 o 52 8.50/4.02 o 51 8.50/4.03 o 50 8.50/4.03 o 49 8.50/4.03 o 48 8.50/4.03 o 47 8.50/4.03 o 46 8.50/4.03 o 45 8.50/4.03 o 44 8.50/4.03 o 43 8.50/4.03 o 42 8.50/4.03 o 41 8.50/4.03 o 40 8.50/4.03 o 39 8.50/4.03 o 38 8.50/4.03 o 37 8.50/4.03 o 36 8.50/4.04 o 35 8.50/4.04 o 34 8.50/4.04 o 33 8.50/4.04 o 32 8.50/4.04 o 31 8.50/4.04 o 30 8.50/4.04 o 29 8.50/4.04 o 28 8.50/4.04 o 27 8.50/4.04 o 26 8.50/4.04 o 25 8.50/4.04 o 24 8.50/4.04 o 23 8.50/4.04 o 22 8.50/4.04 o 21 8.50/4.05 o 20 8.50/4.05 o 19 8.50/4.05 o 18 8.50/4.05 o 17 8.50/4.05 o 16 8.50/4.05 o 15 8.50/4.05 o 14 8.50/4.05 o 13 8.50/4.05 o 12 8.50/4.05 o 11 8.50/4.06 v <instantiation cost="11"> 8.50/4.06 v <list> 8.50/4.06 v x[0] x[1] x[2] x[3] x[4] y[0][1] y[0][2] y[0][3] y[0][4] y[1][2] y[1][3] y[1][4] y[2][3] y[2][4] y[3][4] 8.50/4.06 v </list> 8.50/4.06 v <values> 8.50/4.06 v 0 2 7 10 11 2 7 10 11 5 8 9 3 4 1 8.50/4.06 v </values> 8.50/4.06 v </instantiation> 8.50/4.06 s OPTIMUM FOUND
OK 11
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-4259477-1501650983/watcher-4259477-1501650983 -o /tmp/evaluation-result-4259477-1501650983/solver-4259477-1501650983 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259477-1501650983.xml pid=9216 running on 4 cores: 1,3,5,7 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.55 1.62 1.65 3/204 9219 /proc/meminfo: memFree=31167772/32770624 swapFree=0/247344 [pid=9219] ppid=9216 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/9219/stat : 9219 (runsolver) D 9216 9219 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 7008935 24240128 106 18446744073709551615 4194304 4338465 140721965783600 140721965781240 139958936793815 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 37580800 140721965785297 140721965785671 140721965785671 140721965789130 0 /proc/9219/statm: 5918 106 53 36 0 2156 0 [startup+0.100153 s] /proc/loadavg: 1.55 1.62 1.65 3/204 9219 /proc/meminfo: memFree=31167772/32770624 swapFree=0/247344 [pid=9219] ppid=9216 vsize=9636 CPUtime=0.01 cores=1,3,5,7 /proc/9219/stat : 9219 (bash) S 9216 9219 3187 0 -1 4202496 897 6486 0 0 0 0 0 1 20 0 1 0 7008935 9867264 377 18446744073709551615 4194304 5098028 140737229345488 140737229339496 140391695453184 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 5 0 0 7196144 7232144 11239424 140737229353490 140737229353575 140737229353575 140737229357034 0 /proc/9219/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.200321 s] /proc/loadavg: 1.55 1.62 1.65 3/204 9219 /proc/meminfo: memFree=31167772/32770624 swapFree=0/247344 [pid=9219] ppid=9216 vsize=13358716 CPUtime=0.09 cores=1,3,5,7 /proc/9219/stat : 9219 (java) S 9216 9219 3187 0 -1 1077944320 4175 12503 0 0 1 0 5 3 20 0 6 0 7008935 13679325184 3965 18446744073709551615 4194304 4196468 140722208146608 140722208129152 140049041686263 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 /proc/9219/statm: 3339679 3965 1857 1 0 3329184 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13358716 [startup+0.30272 s] /proc/loadavg: 1.55 1.62 1.65 3/204 9219 /proc/meminfo: memFree=31167772/32770624 swapFree=0/247344 [pid=9219] ppid=9216 vsize=13974356 CPUtime=0.16 cores=1,3,5,7 /proc/9219/stat : 9219 (java) S 9216 9219 3187 0 -1 1077944320 5859 12503 0 0 7 1 5 3 20 0 15 0 7008935 14309740544 7040 18446744073709551615 4194304 4196468 140722208146608 140722208129152 140049041686263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 /proc/9219/statm: 3493589 7040 2749 1 0 3482973 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 13974356 [startup+0.700287 s] /proc/loadavg: 1.55 1.62 1.65 3/204 9219 /proc/meminfo: memFree=31167772/32770624 swapFree=0/247344 [pid=9219] ppid=9216 vsize=13974784 CPUtime=0.72 cores=1,3,5,7 /proc/9219/stat : 9219 (java) S 9216 9219 3187 0 -1 1077944320 13626 12503 0 0 61 3 5 3 20 0 15 0 7008935 14310178816 15044 18446744073709551615 4194304 4196468 140722208146608 140722208129152 140049041686263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 /proc/9219/statm: 3493696 15044 3104 1 0 3482973 0 Current children cumulated CPU time (s) 0.72 Current children cumulated vsize (KiB) 13974784 [startup+1.51087 s] /proc/loadavg: 1.55 1.62 1.65 4/219 9282 /proc/meminfo: memFree=31077516/32770624 swapFree=0/247356 [pid=9219] ppid=9216 vsize=13985408 CPUtime=1.97 cores=1,3,5,7 /proc/9219/stat : 9219 (java) S 9216 9219 3187 0 -1 1077944320 29054 12503 0 0 179 10 5 3 20 0 15 0 7008935 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140722208129152 140049041686263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 /proc/9219/statm: 3496352 43245 3372 1 0 3485533 0 [pid=9219/tid=9269] ppid=9216 vsize=13985408 CPUtime=1.32 cores=1,3,5,7 /proc/9219/task/9269/stat : 9269 (java) R 9216 9219 3187 0 -1 4202560 22113 12503 0 0 118 6 5 3 20 0 15 0 7008954 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140049045905712 140049024878983 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9270] ppid=9216 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9270/stat : 9270 (java) S 9216 9219 3187 0 -1 1077944384 54 12503 0 0 0 0 5 3 20 0 15 0 7008954 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048961100560 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9271] ppid=9216 vsize=13985408 CPUtime=0.09 cores=1,3,5,7 /proc/9219/task/9271/stat : 9271 (java) S 9216 9219 3187 0 -1 1077944384 41 12503 0 0 1 0 5 3 20 0 15 0 7008954 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048960048016 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9272] ppid=9216 vsize=13985408 CPUtime=0.09 cores=1,3,5,7 /proc/9219/task/9272/stat : 9272 (java) S 9216 9219 3187 0 -1 1077944384 181 12503 0 0 1 0 5 3 20 0 15 0 7008954 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048958995472 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9273] ppid=9216 vsize=13985408 CPUtime=0.09 cores=1,3,5,7 /proc/9219/task/9273/stat : 9273 (java) S 9216 9219 3187 0 -1 1077944384 76 12503 0 0 1 0 5 3 20 0 15 0 7008954 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048957942928 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9274] ppid=9216 vsize=13985408 CPUtime=0.09 cores=1,3,5,7 /proc/9219/task/9274/stat : 9274 (java) S 9216 9219 3187 0 -1 1077944384 1154 12503 0 0 1 0 5 3 20 0 15 0 7008956 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048519907312 140049041697410 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9275] ppid=9216 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9275/stat : 9275 (java) S 9216 9219 3187 0 -1 1077944384 55 12503 0 0 0 0 5 3 20 0 15 0 7008956 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048518853600 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9276] ppid=9216 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9276/stat : 9276 (java) S 9216 9219 3187 0 -1 1077944384 45 12503 0 0 0 0 5 3 20 0 15 0 7008956 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048517800960 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9277] ppid=9216 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9277/stat : 9277 (java) S 9216 9219 3187 0 -1 1077944384 3 12503 0 0 0 0 5 3 20 0 15 0 7008959 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048516749520 140049041704859 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9278] ppid=9216 vsize=13985408 CPUtime=0.25 cores=1,3,5,7 /proc/9219/task/9278/stat : 9278 (java) R 9216 9219 3187 0 -1 4202560 1226 12503 0 0 17 0 5 3 20 0 15 0 7008959 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048515697432 140049019574881 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9279] ppid=9216 vsize=13985408 CPUtime=0.22 cores=1,3,5,7 /proc/9219/task/9279/stat : 9279 (java) R 9216 9219 3187 0 -1 4202560 532 12503 0 0 14 0 5 3 20 0 15 0 7008959 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048514633856 140049026076376 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9280] ppid=9216 vsize=13985408 CPUtime=0.32 cores=1,3,5,7 /proc/9219/task/9280/stat : 9280 (java) R 9216 9219 3187 0 -1 4202560 1405 12503 0 0 24 0 5 3 20 0 15 0 7008959 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048513592048 140049041707610 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9281] ppid=9216 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9281/stat : 9281 (java) S 9216 9219 3187 0 -1 1077944384 3 12503 0 0 0 0 5 3 20 0 15 0 7008959 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048512539744 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9282] ppid=9216 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9282/stat : 9282 (java) S 9216 9219 3187 0 -1 1077944384 10 12503 0 0 0 0 5 3 20 0 15 0 7008964 14321057792 43245 18446744073709551615 4194304 4196468 140722208146608 140048511486256 140049041697410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 Current children cumulated CPU time (s) 1.97 Current children cumulated vsize (KiB) 13985408 [startup+3.1007 s] /proc/loadavg: 1.55 1.62 1.65 4/219 9282 /proc/meminfo: memFree=31010048/32770624 swapFree=0/247356 [pid=9219] ppid=9216 vsize=14001980 CPUtime=5.7 cores=1,3,5,7 /proc/9219/stat : 9219 (java) S 9216 9219 3187 0 -1 1077944320 53162 12503 0 0 547 15 5 3 20 0 15 0 7008935 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140722208129152 140049041686263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 /proc/9219/statm: 3500495 64501 3450 1 0 3489117 0 [pid=9219/tid=9269] ppid=9216 vsize=14001980 CPUtime=2.85 cores=1,3,5,7 /proc/9219/task/9269/stat : 9269 (java) R 9216 9219 3187 0 -1 4202560 38524 12503 0 0 268 9 5 3 20 0 15 0 7008954 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140049045878200 140049026851831 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9270] ppid=9216 vsize=14001980 CPUtime=0.1 cores=1,3,5,7 /proc/9219/task/9270/stat : 9270 (java) S 9216 9219 3187 0 -1 1077944384 79 12503 0 0 2 0 5 3 20 0 15 0 7008954 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048961100560 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9271] ppid=9216 vsize=14001980 CPUtime=0.1 cores=1,3,5,7 /proc/9219/task/9271/stat : 9271 (java) S 9216 9219 3187 0 -1 1077944384 43 12503 0 0 2 0 5 3 20 0 15 0 7008954 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048960048016 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9272] ppid=9216 vsize=14001980 CPUtime=0.11 cores=1,3,5,7 /proc/9219/task/9272/stat : 9272 (java) S 9216 9219 3187 0 -1 1077944384 218 12503 0 0 3 0 5 3 20 0 15 0 7008954 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048958995472 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9273] ppid=9216 vsize=14001980 CPUtime=0.1 cores=1,3,5,7 /proc/9219/task/9273/stat : 9273 (java) S 9216 9219 3187 0 -1 1077944384 121 12503 0 0 2 0 5 3 20 0 15 0 7008954 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048957942928 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9274] ppid=9216 vsize=14001980 CPUtime=0.11 cores=1,3,5,7 /proc/9219/task/9274/stat : 9274 (java) S 9216 9219 3187 0 -1 1077944384 2029 12503 0 0 3 0 5 3 20 0 15 0 7008956 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048519907312 140049041697410 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9275] ppid=9216 vsize=14001980 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9275/stat : 9275 (java) S 9216 9219 3187 0 -1 1077944384 55 12503 0 0 0 0 5 3 20 0 15 0 7008956 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048518853600 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9276] ppid=9216 vsize=14001980 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9276/stat : 9276 (java) S 9216 9219 3187 0 -1 1077944384 45 12503 0 0 0 0 5 3 20 0 15 0 7008956 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048517800960 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9277] ppid=9216 vsize=14001980 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9277/stat : 9277 (java) S 9216 9219 3187 0 -1 1077944384 3 12503 0 0 0 0 5 3 20 0 15 0 7008959 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048516749520 140049041704859 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9278] ppid=9216 vsize=14001980 CPUtime=0.76 cores=1,3,5,7 /proc/9219/task/9278/stat : 9278 (java) S 9216 9219 3187 0 -1 1077944384 2005 12503 0 0 67 1 5 3 20 0 15 0 7008959 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048515697136 140049041697410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9279] ppid=9216 vsize=14001980 CPUtime=1.15 cores=1,3,5,7 /proc/9219/task/9279/stat : 9279 (java) R 9216 9219 3187 0 -1 4202560 4476 12503 0 0 107 0 5 3 20 0 15 0 7008959 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048514626192 140049025097154 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9280] ppid=9216 vsize=14001980 CPUtime=0.96 cores=1,3,5,7 /proc/9219/task/9280/stat : 9280 (java) S 9216 9219 3187 0 -1 1077944384 3394 12503 0 0 87 1 5 3 20 0 15 0 7008959 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048513592048 140049041697410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9281] ppid=9216 vsize=14001980 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9281/stat : 9281 (java) S 9216 9219 3187 0 -1 1077944384 3 12503 0 0 0 0 5 3 20 0 15 0 7008959 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048512539744 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9282] ppid=9216 vsize=14001980 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9282/stat : 9282 (java) S 9216 9219 3187 0 -1 1077944384 11 12503 0 0 0 0 5 3 20 0 15 0 7008964 14338027520 64501 18446744073709551615 4194304 4196468 140722208146608 140048511486256 140049041697410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 Current children cumulated CPU time (s) 5.7 Current children cumulated vsize (KiB) 14001980 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9219 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20393 s] /proc/loadavg: 1.55 1.62 1.65 4/219 9282 /proc/meminfo: memFree=31010048/32770624 swapFree=0/247356 [pid=9219] ppid=9216 vsize=14067516 CPUtime=5.95 cores=1,3,5,7 /proc/9219/stat : 9219 (java) S 9216 9219 3187 0 -1 1077944320 59404 12503 0 0 571 16 5 3 20 0 15 0 7008935 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140722208129152 140049041686263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 /proc/9219/statm: 3516879 70637 3450 1 0 3505501 0 [pid=9219/tid=9269] ppid=9216 vsize=14067516 CPUtime=2.94 cores=1,3,5,7 /proc/9219/task/9269/stat : 9269 (java) S 9216 9219 3187 0 -1 1077944384 44023 12503 0 0 277 9 5 3 20 0 15 0 7008954 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140049045923936 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9270] ppid=9216 vsize=14067516 CPUtime=0.11 cores=1,3,5,7 /proc/9219/task/9270/stat : 9270 (java) S 9216 9219 3187 0 -1 1077944384 80 12503 0 0 3 0 5 3 20 0 15 0 7008954 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048961100560 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9271] ppid=9216 vsize=14067516 CPUtime=0.1 cores=1,3,5,7 /proc/9219/task/9271/stat : 9271 (java) R 9216 9219 3187 0 -1 1077944384 56 12503 0 0 2 0 5 3 20 0 15 0 7008954 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048960048032 140049041696469 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9272] ppid=9216 vsize=14067516 CPUtime=0.11 cores=1,3,5,7 /proc/9219/task/9272/stat : 9272 (java) S 9216 9219 3187 0 -1 1077944384 223 12503 0 0 3 0 5 3 20 0 15 0 7008954 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048958995472 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9273] ppid=9216 vsize=14067516 CPUtime=0.11 cores=1,3,5,7 /proc/9219/task/9273/stat : 9273 (java) S 9216 9219 3187 0 -1 1077944384 121 12503 0 0 3 0 5 3 20 0 15 0 7008954 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048957942928 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9274] ppid=9216 vsize=14067516 CPUtime=0.11 cores=1,3,5,7 /proc/9219/task/9274/stat : 9274 (java) S 9216 9219 3187 0 -1 1077944384 2030 12503 0 0 3 0 5 3 20 0 15 0 7008956 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048519905712 140049041696469 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9275] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9275/stat : 9275 (java) S 9216 9219 3187 0 -1 1077944384 55 12503 0 0 0 0 5 3 20 0 15 0 7008956 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048518853600 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9276] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9276/stat : 9276 (java) S 9216 9219 3187 0 -1 1077944384 45 12503 0 0 0 0 5 3 20 0 15 0 7008956 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048517800960 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9277] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9277/stat : 9277 (java) S 9216 9219 3187 0 -1 1077944384 3 12503 0 0 0 0 5 3 20 0 15 0 7008959 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048516749520 140049041704859 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9278] ppid=9216 vsize=14067516 CPUtime=0.78 cores=1,3,5,7 /proc/9219/task/9278/stat : 9278 (java) S 9216 9219 3187 0 -1 1077944384 2014 12503 0 0 69 1 5 3 20 0 15 0 7008959 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048515697136 140049041697410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9279] ppid=9216 vsize=14067516 CPUtime=1.26 cores=1,3,5,7 /proc/9219/task/9279/stat : 9279 (java) R 9216 9219 3187 0 -1 4202560 5164 12503 0 0 117 1 5 3 20 0 15 0 7008959 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048514625608 140049023213943 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9280] ppid=9216 vsize=14067516 CPUtime=0.98 cores=1,3,5,7 /proc/9219/task/9280/stat : 9280 (java) S 9216 9219 3187 0 -1 1077944384 3420 12503 0 0 89 1 5 3 20 0 15 0 7008959 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048513592048 140049041697410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9281] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9281/stat : 9281 (java) S 9216 9219 3187 0 -1 1077944384 3 12503 0 0 0 0 5 3 20 0 15 0 7008959 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048512539744 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9282] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9282/stat : 9282 (java) S 9216 9219 3187 0 -1 1077944384 11 12503 0 0 0 0 5 3 20 0 15 0 7008964 14405136384 70637 18446744073709551615 4194304 4196468 140722208146608 140048511486256 140049041697410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 14067516 [startup+3.60091 s] /proc/loadavg: 1.55 1.62 1.65 4/219 9282 /proc/meminfo: memFree=30917924/32770624 swapFree=0/247356 [pid=9219] ppid=9216 vsize=14067516 CPUtime=7.2 cores=1,3,5,7 /proc/9219/stat : 9219 (java) S 9216 9219 3187 0 -1 1077944320 62319 12503 0 0 694 18 5 3 20 0 15 0 7008935 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140722208129152 140049041686263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 /proc/9219/statm: 3516879 71085 3451 1 0 3505501 0 [pid=9219/tid=9269] ppid=9216 vsize=14067516 CPUtime=3.18 cores=1,3,5,7 /proc/9219/task/9269/stat : 9269 (java) R 9216 9219 3187 0 -1 4202560 44177 12503 0 0 300 10 5 3 20 0 15 0 7008954 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140049045919152 140048642396814 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9270] ppid=9216 vsize=14067516 CPUtime=0.16 cores=1,3,5,7 /proc/9219/task/9270/stat : 9270 (java) S 9216 9219 3187 0 -1 1077944384 94 12503 0 0 8 0 5 3 20 0 15 0 7008954 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048961100560 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9271] ppid=9216 vsize=14067516 CPUtime=0.17 cores=1,3,5,7 /proc/9219/task/9271/stat : 9271 (java) S 9216 9219 3187 0 -1 1077944384 63 12503 0 0 9 0 5 3 20 0 15 0 7008954 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048960048016 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9272] ppid=9216 vsize=14067516 CPUtime=0.18 cores=1,3,5,7 /proc/9219/task/9272/stat : 9272 (java) S 9216 9219 3187 0 -1 1077944384 224 12503 0 0 10 0 5 3 20 0 15 0 7008954 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048958995472 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9273] ppid=9216 vsize=14067516 CPUtime=0.16 cores=1,3,5,7 /proc/9219/task/9273/stat : 9273 (java) S 9216 9219 3187 0 -1 1077944384 122 12503 0 0 8 0 5 3 20 0 15 0 7008954 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048957942928 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9274] ppid=9216 vsize=14067516 CPUtime=0.17 cores=1,3,5,7 /proc/9219/task/9274/stat : 9274 (java) S 9216 9219 3187 0 -1 1077944384 2043 12503 0 0 9 0 5 3 20 0 15 0 7008956 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048519907312 140049041697410 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9275] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9275/stat : 9275 (java) S 9216 9219 3187 0 -1 1077944384 55 12503 0 0 0 0 5 3 20 0 15 0 7008956 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048518853600 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9276] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9276/stat : 9276 (java) S 9216 9219 3187 0 -1 1077944384 45 12503 0 0 0 0 5 3 20 0 15 0 7008956 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048517800960 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9277] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9277/stat : 9277 (java) S 9216 9219 3187 0 -1 1077944384 3 12503 0 0 0 0 5 3 20 0 15 0 7008959 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048516749520 140049041704859 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9278] ppid=9216 vsize=14067516 CPUtime=0.9 cores=1,3,5,7 /proc/9219/task/9278/stat : 9278 (java) R 9216 9219 3187 0 -1 4202560 2103 12503 0 0 81 1 5 3 20 0 15 0 7008959 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048515683680 140049023207374 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9279] ppid=9216 vsize=14067516 CPUtime=1.64 cores=1,3,5,7 /proc/9219/task/9279/stat : 9279 (java) R 9216 9219 3187 0 -1 4202560 7351 12503 0 0 155 1 5 3 20 0 15 0 7008959 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048514637616 140049019281008 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9280] ppid=9216 vsize=14067516 CPUtime=1.16 cores=1,3,5,7 /proc/9219/task/9280/stat : 9280 (java) R 9216 9219 3187 0 -1 4202560 3869 12503 0 0 107 1 5 3 20 0 15 0 7008959 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048513592176 140049019862715 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9281] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9281/stat : 9281 (java) S 9216 9219 3187 0 -1 1077944384 3 12503 0 0 0 0 5 3 20 0 15 0 7008959 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048512539744 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9282] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9282/stat : 9282 (java) S 9216 9219 3187 0 -1 1077944384 11 12503 0 0 0 0 5 3 20 0 15 0 7008964 14405136384 71085 18446744073709551615 4194304 4196468 140722208146608 140048511486256 140049041697410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 Current children cumulated CPU time (s) 7.2 Current children cumulated vsize (KiB) 14067516 [startup+4.0006 s] /proc/loadavg: 1.55 1.62 1.65 4/219 9282 /proc/meminfo: memFree=30917924/32770624 swapFree=0/247356 [pid=9219] ppid=9216 vsize=14067516 CPUtime=8.5 cores=1,3,5,7 /proc/9219/stat : 9219 (java) S 9216 9219 3187 0 -1 1077944320 63540 12503 0 0 823 19 5 3 20 0 15 0 7008935 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140722208129152 140049041686263 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 /proc/9219/statm: 3516879 72852 3457 1 0 3505501 0 [pid=9219/tid=9269] ppid=9216 vsize=14067516 CPUtime=3.58 cores=1,3,5,7 /proc/9219/task/9269/stat : 9269 (java) R 9216 9219 3187 0 -1 4202560 44659 12503 0 0 339 11 5 3 20 0 15 0 7008954 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140049045915040 140049041708093 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9270] ppid=9216 vsize=14067516 CPUtime=0.16 cores=1,3,5,7 /proc/9219/task/9270/stat : 9270 (java) S 9216 9219 3187 0 -1 1077944384 94 12503 0 0 8 0 5 3 20 0 15 0 7008954 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048961100560 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9271] ppid=9216 vsize=14067516 CPUtime=0.17 cores=1,3,5,7 /proc/9219/task/9271/stat : 9271 (java) S 9216 9219 3187 0 -1 1077944384 63 12503 0 0 9 0 5 3 20 0 15 0 7008954 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048960048016 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9272] ppid=9216 vsize=14067516 CPUtime=0.18 cores=1,3,5,7 /proc/9219/task/9272/stat : 9272 (java) S 9216 9219 3187 0 -1 1077944384 224 12503 0 0 10 0 5 3 20 0 15 0 7008954 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048958995472 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9273] ppid=9216 vsize=14067516 CPUtime=0.16 cores=1,3,5,7 /proc/9219/task/9273/stat : 9273 (java) S 9216 9219 3187 0 -1 1077944384 122 12503 0 0 8 0 5 3 20 0 15 0 7008954 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048957942928 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9274] ppid=9216 vsize=14067516 CPUtime=0.17 cores=1,3,5,7 /proc/9219/task/9274/stat : 9274 (java) S 9216 9219 3187 0 -1 1077944384 2043 12503 0 0 9 0 5 3 20 0 15 0 7008956 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048519907312 140049041697410 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9275] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9275/stat : 9275 (java) S 9216 9219 3187 0 -1 1077944384 55 12503 0 0 0 0 5 3 20 0 15 0 7008956 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048518853600 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9276] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9276/stat : 9276 (java) S 9216 9219 3187 0 -1 1077944384 45 12503 0 0 0 0 5 3 20 0 15 0 7008956 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048517800960 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9277] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9277/stat : 9277 (java) S 9216 9219 3187 0 -1 1077944384 3 12503 0 0 0 0 5 3 20 0 15 0 7008959 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048516749520 140049041704859 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9278] ppid=9216 vsize=14067516 CPUtime=1.28 cores=1,3,5,7 /proc/9219/task/9278/stat : 9278 (java) R 9216 9219 3187 0 -1 4202560 2379 12503 0 0 119 1 5 3 20 0 15 0 7008959 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048515685088 140049023213139 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9279] ppid=9216 vsize=14067516 CPUtime=2 cores=1,3,5,7 /proc/9219/task/9279/stat : 9279 (java) R 9216 9219 3187 0 -1 4202560 7479 12503 0 0 191 1 5 3 20 0 15 0 7008959 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048514636544 140049026797488 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9280] ppid=9216 vsize=14067516 CPUtime=1.33 cores=1,3,5,7 /proc/9219/task/9280/stat : 9280 (java) S 9216 9219 3187 0 -1 1077944384 4204 12503 0 0 124 1 5 3 20 0 15 0 7008959 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048513592048 140049041697410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9281] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9281/stat : 9281 (java) S 9216 9219 3187 0 -1 1077944384 3 12503 0 0 0 0 5 3 20 0 15 0 7008959 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048512539744 140049041696469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 [pid=9219/tid=9282] ppid=9216 vsize=14067516 CPUtime=0.08 cores=1,3,5,7 /proc/9219/task/9282/stat : 9282 (java) S 9216 9219 3187 0 -1 1077944384 11 12503 0 0 0 0 5 3 20 0 15 0 7008964 14405136384 72852 18446744073709551615 4194304 4196468 140722208146608 140048511486256 140049041697410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140722208147406 140722208150191 140722208150191 140722208153551 0 Current children cumulated CPU time (s) 8.5 Current children cumulated vsize (KiB) 14067516 Child status: 0 Real time (s): 4.0739 CPU time (s): 8.72154 CPU user time (s): 8.47892 CPU system time (s): 0.24262 CPU usage (%): 214.083 Max. virtual memory (cumulated for all children) (KiB): 14069616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.47892 system time used= 0.24262 maximum resident set size= 306788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76180 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= 6059 involuntary context switches= 810 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.032173 second user time and 0.03346 second system time The end
Begin job on node135 at 2017-08-02 07:02:23 IDJOB=4259477 IDBENCH=126209 IDSOLVER=2646 FILE ID=node135/4259477-1501650983 RUNJOBID= node135-1501639717-27967 PBS_JOBID= Free space on /tmp= 61816 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-05-a3.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259477-1501650983/watcher-4259477-1501650983 -o /tmp/evaluation-result-4259477-1501650983/solver-4259477-1501650983 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259477-1501650983.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 52bc390cc6b0904238f0f092c3eebf68 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: 31168052 kB MemAvailable: 31440028 kB Buffers: 126620 kB Cached: 422508 kB SwapCached: 0 kB Active: 925620 kB Inactive: 255936 kB Active(anon): 633048 kB Inactive(anon): 8592 kB Active(file): 292572 kB Inactive(file): 247344 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24528 kB Writeback: 8 kB AnonPages: 635996 kB Mapped: 43496 kB Shmem: 8960 kB Slab: 122308 kB SReclaimable: 95792 kB SUnreclaim: 26516 kB KernelStack: 3584 kB PageTables: 6708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1416444 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 413696 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:02:27