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 | 10.0156 | 4.47966 |
| Name | GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml |
| MD5SUM | b250af75cdbd7045c96107bc259ab78e |
| 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.070707001 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5 |
| Number of constraints | 37 |
| Number of domains | 1 |
| Minimum domain size | 501 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":501,"count":5}] |
| Minimum variable degree | 25 |
| Maximum variable degree | 26 |
| Distribution of variable degrees | [{"degree":25,"count":3},{"degree":26,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 5 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":20},{"arity":4,"count":15},{"arity":5,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 36 |
| Distribution of constraint types | [{"type":"intension","count":36},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
3.20/2.14 c Concrete v3.4 running 7.04/3.65 o 500 7.04/3.66 o 499 7.75/3.80 o 498 7.75/3.80 o 497 7.75/3.80 o 496 7.75/3.80 o 495 7.75/3.80 o 494 7.75/3.80 o 493 7.75/3.80 o 492 7.75/3.80 o 491 7.75/3.80 o 490 7.75/3.80 o 489 7.75/3.80 o 488 7.75/3.80 o 487 7.75/3.80 o 486 7.75/3.80 o 485 7.75/3.80 o 484 7.75/3.80 o 483 7.75/3.80 o 482 7.75/3.80 o 481 7.75/3.80 o 480 7.75/3.80 o 479 7.75/3.80 o 478 7.75/3.80 o 477 7.75/3.80 o 476 7.75/3.80 o 475 7.75/3.80 o 474 7.75/3.80 o 473 7.75/3.80 o 472 7.75/3.81 o 471 7.75/3.81 o 470 7.75/3.81 o 469 7.75/3.81 o 468 7.75/3.82 o 467 7.75/3.82 o 466 7.75/3.83 o 465 7.75/3.83 o 464 7.75/3.83 o 463 7.75/3.83 o 462 7.75/3.84 o 461 7.75/3.85 o 460 7.75/3.85 o 459 7.75/3.85 o 458 7.75/3.86 o 457 7.75/3.86 o 456 7.75/3.86 o 455 7.75/3.86 o 454 7.75/3.86 o 453 7.75/3.87 o 452 7.75/3.87 o 451 7.75/3.87 o 450 7.75/3.87 o 449 7.75/3.87 o 448 7.75/3.88 o 447 7.75/3.88 o 446 7.75/3.88 o 445 7.75/3.88 o 444 7.75/3.89 o 443 7.75/3.89 o 442 7.75/3.89 o 441 7.75/3.89 o 440 8.11/3.90 o 439 8.11/3.90 o 438 8.11/3.90 o 437 8.11/3.91 o 436 8.11/3.91 o 435 8.11/3.91 o 434 8.11/3.91 o 433 8.11/3.91 o 432 8.11/3.91 o 431 8.11/3.92 o 430 8.11/3.92 o 429 8.11/3.92 o 428 8.11/3.93 o 427 8.11/3.93 o 426 8.11/3.93 o 425 8.11/3.94 o 424 8.11/3.95 o 423 8.11/3.95 o 422 8.11/3.95 o 421 8.11/3.95 o 420 8.11/3.95 o 419 8.11/3.95 o 418 8.11/3.96 o 417 8.11/3.96 o 416 8.11/3.97 o 415 8.11/3.97 o 414 8.11/3.97 o 413 8.11/3.97 o 412 8.11/3.97 o 411 8.11/3.97 o 410 8.11/3.98 o 409 8.11/3.98 o 408 8.11/3.98 o 407 8.11/3.98 o 406 8.11/3.99 o 405 8.11/3.99 o 404 8.11/3.99 o 403 8.11/3.99 o 402 8.11/3.99 o 401 8.11/3.99 o 400 8.46/4.00 o 399 8.46/4.00 o 398 8.46/4.00 o 397 8.46/4.00 o 396 8.46/4.00 o 395 8.46/4.00 o 394 8.46/4.00 o 393 8.46/4.00 o 392 8.46/4.01 o 391 8.46/4.01 o 390 8.46/4.01 o 389 8.46/4.01 o 388 8.46/4.01 o 387 8.46/4.01 o 386 8.46/4.01 o 385 8.46/4.02 o 384 8.46/4.02 o 383 8.46/4.02 o 382 8.46/4.03 o 381 8.46/4.03 o 380 8.46/4.03 o 379 8.46/4.04 o 378 8.46/4.04 o 377 8.46/4.04 o 376 8.46/4.04 o 375 8.46/4.05 o 374 8.46/4.05 o 373 8.46/4.05 o 372 8.46/4.05 o 371 8.46/4.05 o 370 8.46/4.05 o 369 8.46/4.05 o 368 8.46/4.06 o 367 8.46/4.06 o 366 8.46/4.06 o 365 8.46/4.06 o 364 8.46/4.06 o 363 8.46/4.07 o 362 8.46/4.07 o 361 8.46/4.07 o 360 8.46/4.07 o 359 8.46/4.07 o 358 8.46/4.08 o 357 8.46/4.08 o 356 8.46/4.08 o 355 8.46/4.08 o 354 8.46/4.08 o 353 8.46/4.09 o 352 8.46/4.09 o 351 8.46/4.09 o 350 8.46/4.09 o 349 8.46/4.10 o 348 8.46/4.10 o 347 8.46/4.10 o 346 8.81/4.10 o 345 8.81/4.10 o 344 8.81/4.10 o 343 8.81/4.11 o 342 8.81/4.11 o 341 8.81/4.11 o 340 8.81/4.11 o 339 8.81/4.11 o 338 8.81/4.11 o 337 8.81/4.12 o 336 8.81/4.12 o 335 8.81/4.12 o 334 8.81/4.12 o 333 8.81/4.12 o 332 8.81/4.13 o 331 8.81/4.13 o 330 8.81/4.13 o 329 8.81/4.13 o 328 8.81/4.13 o 327 8.81/4.13 o 326 8.81/4.13 o 325 8.81/4.13 o 324 8.81/4.13 o 323 8.81/4.14 o 322 8.81/4.14 o 321 8.81/4.15 o 320 8.81/4.15 o 319 8.81/4.15 o 318 8.81/4.15 o 317 8.81/4.15 o 316 8.81/4.16 o 315 8.81/4.16 o 314 8.81/4.16 o 313 8.81/4.16 o 312 8.81/4.16 o 311 8.81/4.16 o 310 8.81/4.16 o 309 8.81/4.16 o 308 8.81/4.16 o 307 8.81/4.17 o 306 8.81/4.17 o 305 8.81/4.17 o 304 8.81/4.17 o 303 8.81/4.17 o 302 8.81/4.17 o 301 8.81/4.17 o 300 8.81/4.17 o 299 8.81/4.17 o 298 8.81/4.18 o 297 8.81/4.18 o 296 8.81/4.18 o 295 8.81/4.18 o 294 8.81/4.18 o 293 8.81/4.18 o 292 8.81/4.18 o 291 8.81/4.18 o 290 8.81/4.18 o 289 8.81/4.18 o 288 8.81/4.18 o 287 8.81/4.18 o 286 8.81/4.19 o 285 8.81/4.19 o 284 8.81/4.19 o 283 8.81/4.19 o 282 8.81/4.19 o 281 8.81/4.19 o 280 8.81/4.19 o 279 8.81/4.19 o 278 8.81/4.19 o 277 8.81/4.19 o 276 8.81/4.19 o 275 9.13/4.20 o 274 9.13/4.20 o 273 9.13/4.20 o 272 9.13/4.20 o 271 9.13/4.20 o 270 9.13/4.20 o 269 9.13/4.20 o 268 9.13/4.20 o 267 9.13/4.20 o 266 9.13/4.20 o 265 9.13/4.21 o 264 9.13/4.21 o 263 9.13/4.21 o 262 9.13/4.21 o 261 9.13/4.21 o 260 9.13/4.21 o 259 9.13/4.21 o 258 9.13/4.21 o 257 9.13/4.21 o 256 9.13/4.21 o 255 9.13/4.22 o 254 9.13/4.22 o 253 9.13/4.22 o 252 9.13/4.22 o 251 9.13/4.22 o 250 9.13/4.22 o 249 9.13/4.22 o 248 9.13/4.22 o 247 9.13/4.22 o 246 9.13/4.23 o 245 9.13/4.23 o 244 9.13/4.23 o 243 9.13/4.23 o 242 9.13/4.23 o 241 9.13/4.23 o 240 9.13/4.23 o 239 9.13/4.23 o 238 9.13/4.23 o 237 9.13/4.23 o 236 9.13/4.23 o 235 9.13/4.23 o 234 9.13/4.23 o 233 9.13/4.23 o 232 9.13/4.24 o 231 9.13/4.24 o 230 9.13/4.24 o 229 9.13/4.24 o 228 9.13/4.24 o 227 9.13/4.24 o 226 9.13/4.24 o 225 9.13/4.24 o 224 9.13/4.25 o 223 9.13/4.25 o 222 9.13/4.25 o 221 9.13/4.25 o 220 9.13/4.25 o 219 9.13/4.25 o 218 9.13/4.25 o 217 9.13/4.25 o 216 9.13/4.25 o 215 9.13/4.26 o 214 9.13/4.26 o 213 9.13/4.26 o 212 9.13/4.26 o 211 9.13/4.26 o 210 9.13/4.27 o 209 9.13/4.27 o 208 9.13/4.27 o 207 9.13/4.27 o 206 9.13/4.27 o 205 9.13/4.27 o 204 9.13/4.27 o 203 9.13/4.27 o 202 9.13/4.27 o 201 9.13/4.27 o 200 9.13/4.27 o 199 9.13/4.27 o 198 9.13/4.27 o 197 9.13/4.27 o 196 9.13/4.27 o 195 9.13/4.27 o 194 9.13/4.27 o 193 9.13/4.27 o 192 9.13/4.27 o 191 9.13/4.27 o 190 9.13/4.28 o 189 9.13/4.28 o 188 9.13/4.28 o 187 9.13/4.28 o 186 9.13/4.28 o 185 9.13/4.28 o 184 9.13/4.28 o 183 9.13/4.28 o 182 9.13/4.28 o 181 9.13/4.28 o 180 9.13/4.28 o 179 9.13/4.29 o 178 9.13/4.29 o 177 9.13/4.29 o 176 9.13/4.29 o 175 9.13/4.29 o 174 9.13/4.29 o 173 9.13/4.29 o 172 9.13/4.29 o 171 9.13/4.29 o 170 9.13/4.29 o 169 9.13/4.29 o 168 9.13/4.29 o 167 9.13/4.29 o 166 9.13/4.30 o 165 9.45/4.30 o 164 9.45/4.30 o 163 9.45/4.30 o 162 9.45/4.30 o 161 9.45/4.30 o 160 9.45/4.30 o 159 9.45/4.30 o 158 9.45/4.30 o 157 9.45/4.30 o 156 9.45/4.30 o 155 9.45/4.30 o 154 9.45/4.30 o 153 9.45/4.30 o 152 9.45/4.30 o 151 9.45/4.31 o 150 9.45/4.31 o 149 9.45/4.31 o 148 9.45/4.31 o 147 9.45/4.31 o 146 9.45/4.31 o 145 9.45/4.31 o 144 9.45/4.31 o 143 9.45/4.31 o 142 9.45/4.31 o 141 9.45/4.31 o 140 9.45/4.32 o 139 9.45/4.32 o 138 9.45/4.32 o 137 9.45/4.32 o 136 9.45/4.32 o 135 9.45/4.32 o 134 9.45/4.32 o 133 9.45/4.32 o 132 9.45/4.32 o 131 9.45/4.32 o 130 9.45/4.32 o 129 9.45/4.32 o 128 9.45/4.32 o 127 9.45/4.33 o 126 9.45/4.34 o 125 9.45/4.34 o 124 9.45/4.34 o 123 9.45/4.34 o 122 9.45/4.34 o 121 9.45/4.34 o 120 9.45/4.34 o 119 9.45/4.34 o 118 9.45/4.34 o 117 9.45/4.34 o 116 9.45/4.34 o 115 9.45/4.34 o 114 9.45/4.34 o 113 9.45/4.34 o 112 9.45/4.34 o 111 9.45/4.34 o 110 9.45/4.34 o 109 9.45/4.34 o 108 9.45/4.34 o 107 9.45/4.34 o 106 9.45/4.34 o 105 9.45/4.34 o 104 9.45/4.34 o 103 9.45/4.34 o 102 9.45/4.35 o 101 9.45/4.35 o 100 9.45/4.35 o 99 9.45/4.35 o 98 9.45/4.35 o 97 9.45/4.35 o 96 9.45/4.35 o 95 9.45/4.35 o 94 9.45/4.35 o 93 9.45/4.35 o 92 9.45/4.35 o 91 9.45/4.35 o 90 9.45/4.35 o 89 9.45/4.35 o 88 9.45/4.35 o 87 9.45/4.36 o 86 9.45/4.36 o 85 9.45/4.36 o 84 9.45/4.36 o 83 9.45/4.36 o 82 9.45/4.36 o 81 9.45/4.36 o 80 9.45/4.36 o 79 9.45/4.36 o 78 9.45/4.36 o 77 9.45/4.36 o 76 9.45/4.36 o 75 9.45/4.36 o 74 9.45/4.36 o 73 9.45/4.37 o 72 9.45/4.37 o 71 9.45/4.37 o 70 9.45/4.37 o 69 9.45/4.37 o 68 9.45/4.37 o 67 9.45/4.37 o 66 9.45/4.37 o 65 9.45/4.37 o 64 9.45/4.37 o 63 9.45/4.37 o 62 9.45/4.37 o 61 9.45/4.37 o 60 9.45/4.37 o 59 9.45/4.38 o 58 9.45/4.38 o 57 9.45/4.38 o 56 9.45/4.38 o 55 9.45/4.38 o 54 9.45/4.38 o 53 9.45/4.38 o 52 9.45/4.38 o 51 9.45/4.38 o 50 9.45/4.38 o 49 9.45/4.38 o 48 9.45/4.38 o 47 9.45/4.38 o 46 9.45/4.38 o 45 9.45/4.38 o 44 9.45/4.38 o 43 9.45/4.39 o 42 9.45/4.39 o 41 9.45/4.39 o 40 9.45/4.39 o 39 9.45/4.39 o 38 9.45/4.39 o 37 9.45/4.39 o 36 9.45/4.40 o 35 9.45/4.40 o 34 9.45/4.40 o 33 9.79/4.41 o 32 9.79/4.41 o 31 9.79/4.41 o 30 9.79/4.41 o 29 9.79/4.41 o 28 9.79/4.41 o 27 9.79/4.41 o 26 9.79/4.41 o 25 9.79/4.41 o 24 9.79/4.42 o 23 9.79/4.42 o 22 9.79/4.42 o 21 9.79/4.42 o 20 9.79/4.42 o 19 9.79/4.42 o 18 9.79/4.42 o 17 9.79/4.42 o 16 9.79/4.42 o 15 9.79/4.42 o 14 9.79/4.43 o 13 9.79/4.43 o 12 9.79/4.43 o 11 9.79/4.45 v <instantiation cost="11"> 9.79/4.45 v <list> 9.79/4.45 v x[0] x[1] x[2] x[3] x[4] 9.79/4.45 v </list> 9.79/4.45 v <values> 9.79/4.45 v 0 2 7 10 11 9.79/4.45 v </values> 9.79/4.45 v </instantiation> 9.79/4.45 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-4259494-1501651714/watcher-4259494-1501651714 -o /tmp/evaluation-result-4259494-1501651714/solver-4259494-1501651714 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259494-1501651714.xml pid=10501 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.60 1.54 1.57 3/197 10504 /proc/meminfo: memFree=27613988/32770624 swapFree=0/248032 [pid=10504] ppid=10501 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/10504/stat : 10504 (runsolver) D 10501 10504 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 7082070 24240128 107 18446744073709551615 4194304 4338465 140728985171136 140728985168776 140451887747799 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 30232576 140728985178321 140728985178695 140728985178695 140728985182154 0 /proc/10504/statm: 5918 107 54 36 0 2156 0 [startup+0.100119 s] /proc/loadavg: 1.60 1.54 1.57 3/197 10504 /proc/meminfo: memFree=27613988/32770624 swapFree=0/248032 [pid=10504] ppid=10501 vsize=9636 CPUtime=0.01 cores=1,3,5,7 /proc/10504/stat : 10504 (bash) S 10501 10504 3187 0 -1 4202496 897 6482 0 0 0 0 0 1 20 0 1 0 7082070 9867264 377 18446744073709551615 4194304 5098028 140731568355072 140731568349080 139940854529024 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 7 0 0 7196144 7232144 33177600 140731568357906 140731568357991 140731568357991 140731568361450 0 /proc/10504/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.200275 s] /proc/loadavg: 1.60 1.54 1.57 3/197 10504 /proc/meminfo: memFree=27613988/32770624 swapFree=0/248032 [pid=10504] ppid=10501 vsize=13358716 CPUtime=0.08 cores=1,3,5,7 /proc/10504/stat : 10504 (java) S 10501 10504 3187 0 -1 1077944320 4255 12746 0 0 1 0 5 2 20 0 6 0 7082070 13679325184 3587 18446744073709551615 4194304 4196468 140733266957808 140733266940352 140403737353975 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 /proc/10504/statm: 3339679 3587 1894 1 0 3329184 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13358716 [startup+0.302648 s] /proc/loadavg: 1.60 1.54 1.57 3/197 10504 /proc/meminfo: memFree=27613988/32770624 swapFree=0/248032 [pid=10504] ppid=10501 vsize=13974356 CPUtime=0.19 cores=1,3,5,7 /proc/10504/stat : 10504 (java) S 10501 10504 3187 0 -1 1077944320 6857 12746 0 0 11 1 5 2 20 0 15 0 7082070 14309740544 7511 18446744073709551615 4194304 4196468 140733266957808 140733266940352 140403737353975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 /proc/10504/statm: 3493589 7511 2895 1 0 3482973 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13974356 [startup+0.70027 s] /proc/loadavg: 1.60 1.54 1.57 3/197 10504 /proc/meminfo: memFree=27613988/32770624 swapFree=0/248032 [pid=10504] ppid=10501 vsize=13974784 CPUtime=0.73 cores=1,3,5,7 /proc/10504/stat : 10504 (java) S 10501 10504 3187 0 -1 1077944320 14065 12746 0 0 61 5 5 2 20 0 15 0 7082070 14310178816 15005 18446744073709551615 4194304 4196468 140733266957808 140733266940352 140403737353975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 /proc/10504/statm: 3493696 15005 3115 1 0 3482973 0 Current children cumulated CPU time (s) 0.73 Current children cumulated vsize (KiB) 13974784 [startup+1.50063 s] /proc/loadavg: 1.60 1.54 1.57 3/212 10567 /proc/meminfo: memFree=27515056/32770624 swapFree=0/248012 [pid=10504] ppid=10501 vsize=13985408 CPUtime=1.99 cores=1,3,5,7 /proc/10504/stat : 10504 (java) S 10501 10504 3187 0 -1 1077944320 30057 12746 0 0 181 11 5 2 20 0 15 0 7082070 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140733266940352 140403737353975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 /proc/10504/statm: 3496352 42753 3366 1 0 3485533 0 [pid=10504/tid=10554] ppid=10501 vsize=13985408 CPUtime=1.31 cores=1,3,5,7 /proc/10504/task/10554/stat : 10554 (java) R 10501 10504 3187 0 -1 4202560 22642 12746 0 0 117 7 5 2 20 0 15 0 7082089 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403741581152 140403370235323 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10555] ppid=10501 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10555/stat : 10555 (java) S 10501 10504 3187 0 -1 1077944384 220 12746 0 0 0 0 5 2 20 0 15 0 7082090 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403694320784 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10556] ppid=10501 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/10504/task/10556/stat : 10556 (java) S 10501 10504 3187 0 -1 1077944384 45 12746 0 0 1 0 5 2 20 0 15 0 7082090 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403693267984 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10557] ppid=10501 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/10504/task/10557/stat : 10557 (java) S 10501 10504 3187 0 -1 1077944384 53 12746 0 0 1 0 5 2 20 0 15 0 7082090 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403692215184 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10558] ppid=10501 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/10504/task/10558/stat : 10558 (java) S 10501 10504 3187 0 -1 1077944384 56 12746 0 0 1 0 5 2 20 0 15 0 7082090 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403691162384 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10559] ppid=10501 vsize=13985408 CPUtime=0.08 cores=1,3,5,7 /proc/10504/task/10559/stat : 10559 (java) S 10501 10504 3187 0 -1 1077944384 1940 12746 0 0 1 0 5 2 20 0 15 0 7082091 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403214887280 140403737365122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10560] ppid=10501 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10560/stat : 10560 (java) S 10501 10504 3187 0 -1 1077944384 56 12746 0 0 0 0 5 2 20 0 15 0 7082091 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403213833248 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10561] ppid=10501 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10561/stat : 10561 (java) S 10501 10504 3187 0 -1 1077944384 43 12746 0 0 0 0 5 2 20 0 15 0 7082092 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403212780400 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10562] ppid=10501 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10562/stat : 10562 (java) S 10501 10504 3187 0 -1 1077944384 3 12746 0 0 0 0 5 2 20 0 15 0 7082094 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403211728720 140403737372571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10563] ppid=10501 vsize=13985408 CPUtime=0.22 cores=1,3,5,7 /proc/10504/task/10563/stat : 10563 (java) R 10501 10504 3187 0 -1 4202560 1035 12746 0 0 15 0 5 2 20 0 15 0 7082094 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403210677104 140403718875157 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10564] ppid=10501 vsize=13985408 CPUtime=0.24 cores=1,3,5,7 /proc/10504/task/10564/stat : 10564 (java) R 10501 10504 3187 0 -1 4202560 716 12746 0 0 17 0 5 2 20 0 15 0 7082094 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403209610272 140403722275728 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10565] ppid=10501 vsize=13985408 CPUtime=0.31 cores=1,3,5,7 /proc/10504/task/10565/stat : 10565 (java) S 10501 10504 3187 0 -1 1077944384 1080 12746 0 0 24 0 5 2 20 0 15 0 7082094 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403208571504 140403737365122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10566] ppid=10501 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10566/stat : 10566 (java) S 10501 10504 3187 0 -1 1077944384 3 12746 0 0 0 0 5 2 20 0 15 0 7082094 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403207518944 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10567] ppid=10501 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10567/stat : 10567 (java) S 10501 10504 3187 0 -1 1077944384 10 12746 0 0 0 0 5 2 20 0 15 0 7082097 14321057792 42753 18446744073709551615 4194304 4196468 140733266957808 140403206466224 140403737365122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 13985408 [startup+3.10081 s] /proc/loadavg: 1.60 1.54 1.57 3/212 10567 /proc/meminfo: memFree=27444636/32770624 swapFree=0/248012 [pid=10504] ppid=10501 vsize=13999932 CPUtime=5.52 cores=1,3,5,7 /proc/10504/stat : 10504 (java) S 10501 10504 3187 0 -1 1077944320 42739 12746 0 0 528 17 5 2 20 0 15 0 7082070 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140733266940352 140403737353975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 /proc/10504/statm: 3499983 58559 3447 1 0 3488605 0 [pid=10504/tid=10554] ppid=10501 vsize=13999932 CPUtime=2.86 cores=1,3,5,7 /proc/10504/task/10554/stat : 10554 (java) S 10501 10504 3187 0 -1 1077944384 30005 12746 0 0 268 11 5 2 20 0 15 0 7082089 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403741570992 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10555] ppid=10501 vsize=13999932 CPUtime=0.09 cores=1,3,5,7 /proc/10504/task/10555/stat : 10555 (java) S 10501 10504 3187 0 -1 1077944384 231 12746 0 0 2 0 5 2 20 0 15 0 7082090 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403694320784 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10556] ppid=10501 vsize=13999932 CPUtime=0.09 cores=1,3,5,7 /proc/10504/task/10556/stat : 10556 (java) S 10501 10504 3187 0 -1 1077944384 110 12746 0 0 2 0 5 2 20 0 15 0 7082090 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403693268000 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10557] ppid=10501 vsize=13999932 CPUtime=0.09 cores=1,3,5,7 /proc/10504/task/10557/stat : 10557 (java) R 10501 10504 3187 0 -1 4202560 70 12746 0 0 2 0 5 2 20 0 15 0 7082090 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403692215304 140403729982183 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10558] ppid=10501 vsize=13999932 CPUtime=0.1 cores=1,3,5,7 /proc/10504/task/10558/stat : 10558 (java) S 10501 10504 3187 0 -1 1077944384 79 12746 0 0 3 0 5 2 20 0 15 0 7082090 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403691162384 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10559] ppid=10501 vsize=13999932 CPUtime=0.1 cores=1,3,5,7 /proc/10504/task/10559/stat : 10559 (java) S 10501 10504 3187 0 -1 1077944384 2473 12746 0 0 3 0 5 2 20 0 15 0 7082091 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403214885792 140403737364181 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10560] ppid=10501 vsize=13999932 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10560/stat : 10560 (java) S 10501 10504 3187 0 -1 1077944384 56 12746 0 0 0 0 5 2 20 0 15 0 7082091 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403213833248 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10561] ppid=10501 vsize=13999932 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10561/stat : 10561 (java) S 10501 10504 3187 0 -1 1077944384 43 12746 0 0 0 0 5 2 20 0 15 0 7082092 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403212780400 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10562] ppid=10501 vsize=13999932 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10562/stat : 10562 (java) S 10501 10504 3187 0 -1 1077944384 3 12746 0 0 0 0 5 2 20 0 15 0 7082094 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403211728720 140403737372571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10563] ppid=10501 vsize=13999932 CPUtime=0.76 cores=1,3,5,7 /proc/10504/task/10563/stat : 10563 (java) S 10501 10504 3187 0 -1 1077944384 2181 12746 0 0 69 0 5 2 20 0 15 0 7082094 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403210662096 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10564] ppid=10501 vsize=13999932 CPUtime=0.79 cores=1,3,5,7 /proc/10504/task/10564/stat : 10564 (java) S 10501 10504 3187 0 -1 1077944384 1621 12746 0 0 71 1 5 2 20 0 15 0 7082094 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403209615824 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10565] ppid=10501 vsize=13999932 CPUtime=1.1 cores=1,3,5,7 /proc/10504/task/10565/stat : 10565 (java) S 10501 10504 3187 0 -1 1077944384 3698 12746 0 0 102 1 5 2 20 0 15 0 7082094 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403208571504 140403737365122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10566] ppid=10501 vsize=13999932 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10566/stat : 10566 (java) S 10501 10504 3187 0 -1 1077944384 3 12746 0 0 0 0 5 2 20 0 15 0 7082094 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403207518944 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10567] ppid=10501 vsize=13999932 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10567/stat : 10567 (java) S 10501 10504 3187 0 -1 1077944384 11 12746 0 0 0 0 5 2 20 0 15 0 7082097 14335930368 58559 18446744073709551615 4194304 4196468 140733266957808 140403206466224 140403737365122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 Current children cumulated CPU time (s) 5.52 Current children cumulated vsize (KiB) 13999932 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10504 sig 9 ??? kill -10504 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20084 s] /proc/loadavg: 1.60 1.54 1.57 3/212 10567 /proc/meminfo: memFree=27444636/32770624 swapFree=0/248012 [pid=10504] ppid=10501 vsize=14001980 CPUtime=5.79 cores=1,3,5,7 /proc/10504/stat : 10504 (java) S 10501 10504 3187 0 -1 1077944320 47228 12746 0 0 554 18 5 2 20 0 15 0 7082070 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140733266940352 140403737353975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 /proc/10504/statm: 3500495 59258 3449 1 0 3489117 0 [pid=10504/tid=10554] ppid=10501 vsize=14001980 CPUtime=2.95 cores=1,3,5,7 /proc/10504/task/10554/stat : 10554 (java) R 10501 10504 3187 0 -1 4202560 33481 12746 0 0 277 11 5 2 20 0 15 0 7082089 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403741589344 140403718917513 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10555] ppid=10501 vsize=14001980 CPUtime=0.09 cores=1,3,5,7 /proc/10504/task/10555/stat : 10555 (java) S 10501 10504 3187 0 -1 1077944384 231 12746 0 0 2 0 5 2 20 0 15 0 7082090 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403694320784 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10556] ppid=10501 vsize=14001980 CPUtime=0.09 cores=1,3,5,7 /proc/10504/task/10556/stat : 10556 (java) S 10501 10504 3187 0 -1 1077944384 110 12746 0 0 2 0 5 2 20 0 15 0 7082090 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403693267984 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10557] ppid=10501 vsize=14001980 CPUtime=0.09 cores=1,3,5,7 /proc/10504/task/10557/stat : 10557 (java) S 10501 10504 3187 0 -1 1077944384 70 12746 0 0 2 0 5 2 20 0 15 0 7082090 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403692215184 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10558] ppid=10501 vsize=14001980 CPUtime=0.1 cores=1,3,5,7 /proc/10504/task/10558/stat : 10558 (java) S 10501 10504 3187 0 -1 1077944384 79 12746 0 0 3 0 5 2 20 0 15 0 7082090 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403691162384 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10559] ppid=10501 vsize=14001980 CPUtime=0.1 cores=1,3,5,7 /proc/10504/task/10559/stat : 10559 (java) S 10501 10504 3187 0 -1 1077944384 2665 12746 0 0 3 0 5 2 20 0 15 0 7082091 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403214887280 140403737365122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10560] ppid=10501 vsize=14001980 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10560/stat : 10560 (java) S 10501 10504 3187 0 -1 1077944384 56 12746 0 0 0 0 5 2 20 0 15 0 7082091 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403213833312 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10561] ppid=10501 vsize=14001980 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10561/stat : 10561 (java) S 10501 10504 3187 0 -1 1077944384 43 12746 0 0 0 0 5 2 20 0 15 0 7082092 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403212780416 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10562] ppid=10501 vsize=14001980 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10562/stat : 10562 (java) S 10501 10504 3187 0 -1 1077944384 3 12746 0 0 0 0 5 2 20 0 15 0 7082094 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403211728720 140403737372571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10563] ppid=10501 vsize=14001980 CPUtime=0.83 cores=1,3,5,7 /proc/10504/task/10563/stat : 10563 (java) R 10501 10504 3187 0 -1 4202560 2551 12746 0 0 76 0 5 2 20 0 15 0 7082094 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403210658528 140403720845666 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10564] ppid=10501 vsize=14001980 CPUtime=0.86 cores=1,3,5,7 /proc/10504/task/10564/stat : 10564 (java) R 10501 10504 3187 0 -1 4202560 2002 12746 0 0 78 1 5 2 20 0 15 0 7082094 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403209611136 140403717010384 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10565] ppid=10501 vsize=14001980 CPUtime=1.12 cores=1,3,5,7 /proc/10504/task/10565/stat : 10565 (java) S 10501 10504 3187 0 -1 1077944384 3768 12746 0 0 104 1 5 2 20 0 15 0 7082094 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403208571504 140403737365122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10566] ppid=10501 vsize=14001980 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10566/stat : 10566 (java) S 10501 10504 3187 0 -1 1077944384 3 12746 0 0 0 0 5 2 20 0 15 0 7082094 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403207518944 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10567] ppid=10501 vsize=14001980 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10567/stat : 10567 (java) S 10501 10504 3187 0 -1 1077944384 11 12746 0 0 0 0 5 2 20 0 15 0 7082097 14338027520 59258 18446744073709551615 4194304 4196468 140733266957808 140403206466224 140403737365122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 Current children cumulated CPU time (s) 5.79 Current children cumulated vsize (KiB) 14001980 [startup+4.00201 s] /proc/loadavg: 1.60 1.54 1.57 5/212 10567 /proc/meminfo: memFree=27350624/32770624 swapFree=0/248012 [pid=10504] ppid=10501 vsize=14067516 CPUtime=8.46 cores=1,3,5,7 /proc/10504/stat : 10504 (java) S 10501 10504 3187 0 -1 1077944320 67440 12746 0 0 817 22 5 2 20 0 15 0 7082070 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140733266940352 140403737353975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 /proc/10504/statm: 3516879 76833 3450 1 0 3505501 0 [pid=10504/tid=10554] ppid=10501 vsize=14067516 CPUtime=3.58 cores=1,3,5,7 /proc/10504/task/10554/stat : 10554 (java) R 10501 10504 3187 0 -1 4202560 46801 12746 0 0 337 14 5 2 20 0 15 0 7082089 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403741582592 140403370418144 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10555] ppid=10501 vsize=14067516 CPUtime=0.15 cores=1,3,5,7 /proc/10504/task/10555/stat : 10555 (java) S 10501 10504 3187 0 -1 1077944384 241 12746 0 0 8 0 5 2 20 0 15 0 7082090 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403694320784 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10556] ppid=10501 vsize=14067516 CPUtime=0.19 cores=1,3,5,7 /proc/10504/task/10556/stat : 10556 (java) S 10501 10504 3187 0 -1 1077944384 130 12746 0 0 12 0 5 2 20 0 15 0 7082090 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403693267984 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10557] ppid=10501 vsize=14067516 CPUtime=0.16 cores=1,3,5,7 /proc/10504/task/10557/stat : 10557 (java) S 10501 10504 3187 0 -1 1077944384 73 12746 0 0 9 0 5 2 20 0 15 0 7082090 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403692215184 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10558] ppid=10501 vsize=14067516 CPUtime=0.17 cores=1,3,5,7 /proc/10504/task/10558/stat : 10558 (java) S 10501 10504 3187 0 -1 1077944384 88 12746 0 0 10 0 5 2 20 0 15 0 7082090 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403691162384 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10559] ppid=10501 vsize=14067516 CPUtime=0.17 cores=1,3,5,7 /proc/10504/task/10559/stat : 10559 (java) S 10501 10504 3187 0 -1 1077944384 2678 12746 0 0 10 0 5 2 20 0 15 0 7082091 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403214887280 140403737365122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10560] ppid=10501 vsize=14067516 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10560/stat : 10560 (java) S 10501 10504 3187 0 -1 1077944384 56 12746 0 0 0 0 5 2 20 0 15 0 7082091 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403213833376 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10561] ppid=10501 vsize=14067516 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10561/stat : 10561 (java) S 10501 10504 3187 0 -1 1077944384 44 12746 0 0 0 0 5 2 20 0 15 0 7082092 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403212780416 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10562] ppid=10501 vsize=14067516 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10562/stat : 10562 (java) S 10501 10504 3187 0 -1 1077944384 3 12746 0 0 0 0 5 2 20 0 15 0 7082094 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403211728720 140403737372571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10563] ppid=10501 vsize=14067516 CPUtime=1.64 cores=1,3,5,7 /proc/10504/task/10563/stat : 10563 (java) R 10501 10504 3187 0 -1 4202560 6725 12746 0 0 155 2 5 2 20 0 15 0 7082094 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403210655104 140403721747848 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10564] ppid=10501 vsize=14067516 CPUtime=1.49 cores=1,3,5,7 /proc/10504/task/10564/stat : 10564 (java) R 10501 10504 3187 0 -1 4202560 4022 12746 0 0 141 1 5 2 20 0 15 0 7082094 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403209600176 140403717071111 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10565] ppid=10501 vsize=14067516 CPUtime=1.38 cores=1,3,5,7 /proc/10504/task/10565/stat : 10565 (java) S 10501 10504 3187 0 -1 1077944384 4412 12746 0 0 130 1 5 2 20 0 15 0 7082094 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403208571504 140403737365122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10566] ppid=10501 vsize=14067516 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10566/stat : 10566 (java) S 10501 10504 3187 0 -1 1077944384 3 12746 0 0 0 0 5 2 20 0 15 0 7082094 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403207518944 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10567] ppid=10501 vsize=14067516 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10567/stat : 10567 (java) S 10501 10504 3187 0 -1 1077944384 11 12746 0 0 0 0 5 2 20 0 15 0 7082097 14405136384 76833 18446744073709551615 4194304 4196468 140733266957808 140403206466224 140403737365122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 Current children cumulated CPU time (s) 8.46 Current children cumulated vsize (KiB) 14067516 [startup+4.40061 s] /proc/loadavg: 1.72 1.56 1.58 5/212 10567 /proc/meminfo: memFree=27317076/32770624 swapFree=0/248012 [pid=10504] ppid=10501 vsize=14069564 CPUtime=9.79 cores=1,3,5,7 /proc/10504/stat : 10504 (java) S 10501 10504 3187 0 -1 1077944320 68359 12746 0 0 949 23 5 2 20 0 15 0 7082070 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140733266940352 140403737353975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 /proc/10504/statm: 3517391 77296 3452 1 0 3506013 0 [pid=10504/tid=10554] ppid=10501 vsize=14069564 CPUtime=3.98 cores=1,3,5,7 /proc/10504/task/10554/stat : 10554 (java) R 10501 10504 3187 0 -1 4202560 47353 12746 0 0 377 14 5 2 20 0 15 0 7082089 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403741582784 140403721434462 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10555] ppid=10501 vsize=14069564 CPUtime=0.15 cores=1,3,5,7 /proc/10504/task/10555/stat : 10555 (java) S 10501 10504 3187 0 -1 1077944384 241 12746 0 0 8 0 5 2 20 0 15 0 7082090 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403694320784 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10556] ppid=10501 vsize=14069564 CPUtime=0.19 cores=1,3,5,7 /proc/10504/task/10556/stat : 10556 (java) S 10501 10504 3187 0 -1 1077944384 130 12746 0 0 12 0 5 2 20 0 15 0 7082090 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403693267984 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10557] ppid=10501 vsize=14069564 CPUtime=0.16 cores=1,3,5,7 /proc/10504/task/10557/stat : 10557 (java) S 10501 10504 3187 0 -1 1077944384 73 12746 0 0 9 0 5 2 20 0 15 0 7082090 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403692215184 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10558] ppid=10501 vsize=14069564 CPUtime=0.17 cores=1,3,5,7 /proc/10504/task/10558/stat : 10558 (java) S 10501 10504 3187 0 -1 1077944384 88 12746 0 0 10 0 5 2 20 0 15 0 7082090 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403691162384 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10559] ppid=10501 vsize=14069564 CPUtime=0.18 cores=1,3,5,7 /proc/10504/task/10559/stat : 10559 (java) S 10501 10504 3187 0 -1 1077944384 2678 12746 0 0 11 0 5 2 20 0 15 0 7082091 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403214887280 140403737365122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10560] ppid=10501 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10560/stat : 10560 (java) S 10501 10504 3187 0 -1 1077944384 56 12746 0 0 0 0 5 2 20 0 15 0 7082091 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403213833376 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10561] ppid=10501 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10561/stat : 10561 (java) S 10501 10504 3187 0 -1 1077944384 44 12746 0 0 0 0 5 2 20 0 15 0 7082092 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403212780416 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10562] ppid=10501 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10562/stat : 10562 (java) S 10501 10504 3187 0 -1 1077944384 3 12746 0 0 0 0 5 2 20 0 15 0 7082094 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403211728720 140403737372571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10563] ppid=10501 vsize=14069564 CPUtime=2.04 cores=1,3,5,7 /proc/10504/task/10563/stat : 10563 (java) R 10501 10504 3187 0 -1 4202560 6797 12746 0 0 195 2 5 2 20 0 15 0 7082094 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403210664656 140403720885632 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10564] ppid=10501 vsize=14069564 CPUtime=1.9 cores=1,3,5,7 /proc/10504/task/10564/stat : 10564 (java) R 10501 10504 3187 0 -1 4202560 4143 12746 0 0 182 1 5 2 20 0 15 0 7082094 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403209613920 140403716786480 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10565] ppid=10501 vsize=14069564 CPUtime=1.49 cores=1,3,5,7 /proc/10504/task/10565/stat : 10565 (java) R 10501 10504 3187 0 -1 1077944384 4585 12746 0 0 141 1 5 2 20 0 15 0 7082094 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403208571504 140403737365122 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10566] ppid=10501 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10566/stat : 10566 (java) S 10501 10504 3187 0 -1 1077944384 3 12746 0 0 0 0 5 2 20 0 15 0 7082094 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403207518944 140403737364181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 [pid=10504/tid=10567] ppid=10501 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/10504/task/10567/stat : 10567 (java) S 10501 10504 3187 0 -1 1077944384 12 12746 0 0 0 0 5 2 20 0 15 0 7082097 14407233536 77296 18446744073709551615 4194304 4196468 140733266957808 140403206466224 140403737365122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140733266962382 140733266965167 140733266965167 140733266968527 0 Current children cumulated CPU time (s) 9.79 Current children cumulated vsize (KiB) 14069564 Child status: 0 Real time (s): 4.47966 CPU time (s): 10.0156 CPU user time (s): 9.73637 CPU system time (s): 0.279262 CPU usage (%): 223.58 Max. virtual memory (cumulated for all children) (KiB): 14069620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.73636 system time used= 0.279262 maximum resident set size= 310500 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81289 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= 6815 involuntary context switches= 884 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.032286 second user time and 0.040586 second system time The end
Begin job on node135 at 2017-08-02 07:14:34 IDJOB=4259494 IDBENCH=126236 IDSOLVER=2646 FILE ID=node135/4259494-1501651714 RUNJOBID= node135-1501639717-27967 PBS_JOBID= Free space on /tmp= 61816 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-05-a4.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259494-1501651714/watcher-4259494-1501651714 -o /tmp/evaluation-result-4259494-1501651714/solver-4259494-1501651714 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259494-1501651714.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b250af75cdbd7045c96107bc259ab78e RANDOM SEED=1659909467 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: 27613784 kB MemAvailable: 27888292 kB Buffers: 127332 kB Cached: 424284 kB SwapCached: 0 kB Active: 4475172 kB Inactive: 256500 kB Active(anon): 4180680 kB Inactive(anon): 8592 kB Active(file): 294492 kB Inactive(file): 247908 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24540 kB Writeback: 8 kB AnonPages: 4180116 kB Mapped: 42292 kB Shmem: 8960 kB Slab: 122532 kB SReclaimable: 95884 kB SUnreclaim: 26648 kB KernelStack: 3472 kB PageTables: 12820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4976032 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3975168 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:14:39