Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2017-07-26 | OPT | 17 | 1.9793299 | 0.96719599 |
| Name | GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml |
| MD5SUM | 3be13f028e00a9c301b8790857e4d16d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 0.214339 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6 |
| Number of constraints | 87 |
| Number of domains | 1 |
| Minimum domain size | 501 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":501,"count":6}] |
| Minimum variable degree | 51 |
| Maximum variable degree | 52 |
| Distribution of variable degrees | [{"degree":51,"count":4},{"degree":52,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":40},{"arity":4,"count":45},{"arity":6,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 86 |
| Distribution of constraint types | [{"type":"intension","count":86},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.30/0.25 c version: 2017-07-26 0.30/0.25 c seed: 462775197 0.30/0.25 c timeout: 2520 0.30/0.25 c memlimit: 11000 0.30/0.25 c nbcore: 4 0.30/0.27 c Parsing instance... 1.02/0.67 c Parsing done, starting first complete search... 1.02/0.69 o 500 1.15/0.70 o 499 1.15/0.71 o 498 1.15/0.71 o 497 1.15/0.71 o 496 1.15/0.71 o 495 1.15/0.71 o 494 1.15/0.71 o 493 1.15/0.71 o 492 1.15/0.71 o 491 1.15/0.71 o 490 1.15/0.72 o 489 1.15/0.72 o 488 1.15/0.72 o 487 1.15/0.72 o 486 1.15/0.72 o 485 1.15/0.73 o 484 1.15/0.73 o 483 1.15/0.73 o 482 1.15/0.73 o 481 1.15/0.73 o 480 1.15/0.73 o 479 1.15/0.73 o 478 1.15/0.73 o 477 1.15/0.74 o 476 1.15/0.74 o 475 1.15/0.74 o 474 1.15/0.74 o 473 1.15/0.74 o 472 1.15/0.74 o 471 1.15/0.74 o 470 1.15/0.74 o 469 1.15/0.74 o 468 1.15/0.74 o 467 1.15/0.74 o 466 1.15/0.75 o 465 1.15/0.75 o 464 1.15/0.75 o 463 1.15/0.75 o 462 1.15/0.75 o 461 1.15/0.75 o 460 1.15/0.75 o 459 1.15/0.75 o 458 1.15/0.75 o 457 1.15/0.75 o 456 1.15/0.75 o 455 1.15/0.75 o 454 1.15/0.75 o 453 1.15/0.75 o 452 1.15/0.75 o 451 1.15/0.75 o 450 1.15/0.75 o 449 1.15/0.75 o 448 1.15/0.76 o 447 1.15/0.76 o 446 1.15/0.77 o 445 1.15/0.77 o 444 1.15/0.77 o 443 1.15/0.77 o 442 1.15/0.77 o 441 1.15/0.77 o 440 1.15/0.77 o 439 1.15/0.77 o 438 1.15/0.77 o 437 1.15/0.77 o 436 1.15/0.77 o 435 1.15/0.77 o 434 1.15/0.77 o 433 1.15/0.77 o 432 1.15/0.77 o 431 1.15/0.77 o 430 1.15/0.77 o 429 1.15/0.77 o 428 1.15/0.77 o 427 1.15/0.77 o 426 1.15/0.77 o 425 1.15/0.77 o 424 1.15/0.77 o 423 1.15/0.77 o 422 1.15/0.77 o 421 1.15/0.77 o 420 1.15/0.77 o 419 1.15/0.77 o 418 1.15/0.77 o 417 1.15/0.77 o 416 1.15/0.77 o 415 1.15/0.77 o 414 1.15/0.77 o 413 1.15/0.77 o 412 1.15/0.77 o 411 1.15/0.77 o 410 1.15/0.77 o 409 1.15/0.77 o 408 1.15/0.78 o 407 1.15/0.78 o 406 1.15/0.78 o 405 1.15/0.78 o 404 1.15/0.78 o 403 1.15/0.78 o 402 1.15/0.78 o 401 1.15/0.78 o 400 1.15/0.78 o 399 1.15/0.78 o 398 1.15/0.78 o 397 1.15/0.78 o 396 1.15/0.78 o 395 1.15/0.78 o 394 1.15/0.78 o 393 1.15/0.78 o 392 1.15/0.78 o 391 1.15/0.78 o 390 1.15/0.78 o 389 1.15/0.78 o 388 1.15/0.78 o 387 1.15/0.78 o 386 1.15/0.78 o 385 1.15/0.78 o 384 1.15/0.79 o 383 1.15/0.79 o 382 1.15/0.79 o 381 1.15/0.79 o 380 1.15/0.79 o 379 1.15/0.79 o 378 1.15/0.79 o 377 1.15/0.79 o 376 1.15/0.79 o 375 1.15/0.79 o 374 1.15/0.79 o 373 1.15/0.79 o 372 1.15/0.79 o 371 1.15/0.79 o 370 1.15/0.79 o 369 1.15/0.79 o 368 1.15/0.79 o 367 1.15/0.79 o 366 1.15/0.79 o 365 1.15/0.79 o 364 1.15/0.79 o 363 1.15/0.79 o 362 1.15/0.79 o 361 1.15/0.79 o 360 1.15/0.79 o 359 1.15/0.80 o 358 1.15/0.80 o 357 1.15/0.80 o 356 1.15/0.80 o 355 1.15/0.80 o 354 1.15/0.80 o 353 1.15/0.80 o 352 1.15/0.80 o 351 1.15/0.80 o 350 1.15/0.80 o 349 1.15/0.80 o 348 1.15/0.80 o 347 1.49/0.80 o 346 1.49/0.80 o 345 1.49/0.80 o 344 1.49/0.80 o 343 1.49/0.80 o 342 1.49/0.80 o 341 1.49/0.80 o 340 1.49/0.80 o 339 1.49/0.80 o 338 1.49/0.80 o 337 1.49/0.80 o 336 1.49/0.80 o 335 1.49/0.80 o 334 1.49/0.81 o 333 1.49/0.81 o 332 1.49/0.81 o 331 1.49/0.81 o 330 1.49/0.81 o 329 1.49/0.81 o 328 1.49/0.81 o 327 1.49/0.81 o 326 1.49/0.81 o 325 1.49/0.81 o 324 1.49/0.81 o 323 1.49/0.81 o 322 1.49/0.81 o 321 1.49/0.81 o 320 1.49/0.81 o 319 1.49/0.81 o 318 1.49/0.81 o 317 1.49/0.81 o 316 1.49/0.81 o 315 1.49/0.81 o 314 1.49/0.81 o 313 1.49/0.81 o 312 1.49/0.81 o 311 1.49/0.81 o 310 1.49/0.81 o 309 1.49/0.81 o 308 1.49/0.81 o 307 1.49/0.81 o 306 1.49/0.81 o 305 1.49/0.82 o 304 1.49/0.82 o 303 1.49/0.82 o 302 1.49/0.82 o 301 1.49/0.82 o 300 1.49/0.82 o 299 1.49/0.82 o 298 1.49/0.82 o 297 1.49/0.82 o 296 1.49/0.82 o 295 1.49/0.82 o 294 1.49/0.82 o 293 1.49/0.82 o 292 1.49/0.82 o 291 1.49/0.82 o 290 1.49/0.82 o 289 1.49/0.82 o 288 1.49/0.82 o 287 1.49/0.82 o 286 1.49/0.82 o 285 1.49/0.82 o 284 1.49/0.82 o 283 1.49/0.82 o 282 1.49/0.82 o 281 1.49/0.82 o 280 1.49/0.82 o 279 1.49/0.82 o 278 1.49/0.82 o 277 1.49/0.83 o 276 1.49/0.83 o 275 1.49/0.83 o 274 1.49/0.83 o 273 1.49/0.83 o 272 1.49/0.83 o 271 1.49/0.83 o 270 1.49/0.83 o 269 1.49/0.83 o 268 1.49/0.83 o 267 1.49/0.83 o 266 1.49/0.83 o 265 1.49/0.83 o 264 1.49/0.83 o 263 1.49/0.83 o 262 1.49/0.83 o 261 1.49/0.83 o 260 1.49/0.83 o 259 1.49/0.83 o 258 1.49/0.83 o 257 1.49/0.83 o 256 1.49/0.83 o 255 1.49/0.83 o 254 1.49/0.83 o 253 1.49/0.84 o 252 1.49/0.84 o 251 1.49/0.84 o 250 1.49/0.84 o 249 1.49/0.84 o 248 1.49/0.84 o 247 1.49/0.84 o 246 1.49/0.84 o 245 1.49/0.84 o 244 1.49/0.84 o 243 1.49/0.84 o 242 1.49/0.84 o 241 1.49/0.84 o 240 1.49/0.84 o 239 1.49/0.84 o 238 1.49/0.84 o 237 1.49/0.84 o 236 1.49/0.84 o 235 1.49/0.84 o 234 1.49/0.84 o 233 1.49/0.84 o 232 1.49/0.84 o 231 1.49/0.84 o 230 1.49/0.84 o 229 1.49/0.84 o 228 1.49/0.84 o 227 1.49/0.84 o 226 1.49/0.84 o 225 1.49/0.84 o 224 1.49/0.84 o 223 1.49/0.84 o 222 1.49/0.84 o 221 1.49/0.84 o 220 1.49/0.84 o 219 1.49/0.84 o 218 1.49/0.84 o 217 1.49/0.84 o 216 1.49/0.84 o 215 1.49/0.84 o 214 1.49/0.84 o 213 1.49/0.84 o 212 1.49/0.85 o 211 1.49/0.85 o 210 1.49/0.85 o 209 1.49/0.85 o 208 1.49/0.85 o 207 1.49/0.85 o 206 1.49/0.85 o 205 1.49/0.85 o 204 1.49/0.85 o 203 1.49/0.85 o 202 1.49/0.85 o 201 1.49/0.85 o 200 1.49/0.85 o 199 1.49/0.85 o 198 1.49/0.85 o 197 1.49/0.85 o 196 1.49/0.85 o 195 1.49/0.85 o 194 1.49/0.85 o 193 1.49/0.85 o 192 1.49/0.85 o 191 1.49/0.85 o 190 1.49/0.85 o 189 1.49/0.85 o 188 1.49/0.85 o 187 1.49/0.85 o 186 1.49/0.85 o 185 1.49/0.85 o 184 1.49/0.85 o 183 1.49/0.85 o 182 1.49/0.85 o 181 1.49/0.85 o 180 1.49/0.85 o 179 1.49/0.86 o 178 1.49/0.86 o 177 1.49/0.86 o 176 1.49/0.86 o 175 1.49/0.86 o 174 1.49/0.86 o 173 1.49/0.86 o 172 1.49/0.86 o 171 1.49/0.86 o 170 1.49/0.86 o 169 1.49/0.86 o 168 1.49/0.86 o 167 1.49/0.86 o 166 1.49/0.86 o 165 1.49/0.86 o 164 1.49/0.86 o 163 1.49/0.86 o 162 1.49/0.86 o 161 1.49/0.86 o 160 1.49/0.86 o 159 1.49/0.86 o 158 1.49/0.86 o 157 1.49/0.86 o 156 1.49/0.86 o 155 1.49/0.86 o 154 1.49/0.86 o 153 1.49/0.86 o 152 1.49/0.86 o 151 1.49/0.86 o 150 1.49/0.86 o 149 1.49/0.86 o 148 1.49/0.86 o 147 1.49/0.86 o 146 1.49/0.86 o 145 1.49/0.86 o 144 1.49/0.87 o 143 1.49/0.87 o 142 1.49/0.87 o 141 1.49/0.87 o 140 1.49/0.87 o 139 1.49/0.87 o 138 1.49/0.87 o 137 1.49/0.87 o 136 1.49/0.87 o 135 1.49/0.87 o 134 1.49/0.87 o 133 1.49/0.87 o 132 1.49/0.87 o 131 1.49/0.87 o 130 1.49/0.87 o 129 1.49/0.87 o 128 1.49/0.87 o 127 1.49/0.87 o 126 1.49/0.87 o 125 1.49/0.87 o 124 1.49/0.87 o 123 1.49/0.87 o 122 1.49/0.87 o 121 1.49/0.88 o 120 1.49/0.88 o 119 1.49/0.88 o 118 1.49/0.88 o 117 1.49/0.88 o 116 1.49/0.88 o 115 1.49/0.88 o 114 1.49/0.88 o 113 1.49/0.88 o 112 1.49/0.88 o 111 1.49/0.88 o 110 1.49/0.88 o 109 1.49/0.88 o 108 1.49/0.88 o 107 1.49/0.88 o 106 1.49/0.88 o 105 1.49/0.88 o 104 1.49/0.88 o 103 1.49/0.88 o 102 1.49/0.88 o 101 1.49/0.88 o 100 1.49/0.88 o 99 1.49/0.88 o 98 1.49/0.88 o 97 1.49/0.88 o 96 1.49/0.88 o 95 1.49/0.88 o 94 1.49/0.88 o 93 1.49/0.88 o 92 1.49/0.88 o 91 1.49/0.88 o 90 1.49/0.88 o 89 1.49/0.88 o 88 1.49/0.88 o 87 1.49/0.88 o 86 1.49/0.88 o 85 1.49/0.88 o 84 1.49/0.88 o 83 1.49/0.88 o 82 1.49/0.88 o 81 1.49/0.88 o 80 1.49/0.88 o 79 1.49/0.88 o 78 1.49/0.88 o 77 1.49/0.88 o 76 1.49/0.88 o 75 1.49/0.88 o 74 1.49/0.88 o 73 1.49/0.88 o 72 1.49/0.88 o 71 1.49/0.89 o 70 1.49/0.89 o 69 1.49/0.89 o 68 1.49/0.89 o 67 1.49/0.89 o 66 1.49/0.89 o 65 1.49/0.89 o 64 1.49/0.89 o 63 1.49/0.89 o 62 1.49/0.89 o 61 1.49/0.89 o 60 1.49/0.89 o 59 1.49/0.89 o 58 1.49/0.89 o 57 1.49/0.89 o 56 1.49/0.89 o 55 1.49/0.89 o 54 1.49/0.89 o 53 1.49/0.89 o 52 1.49/0.89 o 51 1.49/0.89 o 50 1.49/0.89 o 49 1.49/0.89 o 48 1.49/0.89 o 47 1.49/0.89 o 46 1.49/0.89 o 45 1.49/0.89 o 44 1.49/0.89 o 43 1.49/0.89 o 42 1.49/0.89 o 41 1.49/0.89 o 40 1.49/0.89 o 39 1.49/0.89 o 38 1.49/0.89 o 37 1.49/0.89 o 36 1.49/0.89 o 35 1.49/0.89 o 34 1.49/0.90 o 33 1.49/0.90 o 32 1.49/0.90 o 31 1.49/0.90 o 30 1.49/0.90 o 29 1.49/0.90 o 28 1.49/0.90 o 27 1.80/0.90 o 26 1.80/0.90 o 25 1.80/0.90 o 24 1.80/0.90 o 23 1.80/0.90 o 22 1.80/0.90 o 21 1.80/0.90 o 20 1.80/0.90 o 19 1.80/0.90 o 18 1.80/0.90 o 17 1.80/0.95 s OPTIMUM FOUND 1.80/0.95 v <instantiation> 1.80/0.95 v <list> 1.80/0.95 v x[0] x[1] x[2] x[3] x[4] x[5] 1.80/0.95 v </list> 1.80/0.95 v <values> 1.80/0.95 v 0 5 7 13 16 17 1.80/0.95 v </values> 1.80/0.95 v </instantiation>
OK 17
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11554 MiB free)
memory of node 1: 16384 MiB (14747 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274487-1502842955/watcher-4274487-1502842955 -o /tmp/evaluation-result-4274487-1502842955/solver-4274487-1502842955 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502842096-17481 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 462775197 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274487-1502842955.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17507, runsolver pid=17503
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 8.63 8.77 8.36 5/216 17540
/proc/meminfo: memFree=26892360/32770624 swapFree=67108860/67108860
[pid=17507] ppid=17503 vsize=13980164 memory=33936 CPUtime=0.13 cores=1,3,5,7
/proc/17507/stat : 17507 (java) S 17503 17507 17449 0 -1 1077944320 8404 0 0 0 11 2 0 0 20 0 15 0 117376664 14315687936 8484 33554432000 4194304 4196468 140730788654320 140730788636864 139777277615863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
/proc/17507/statm: 3495041 8484 3410 1 0 3482761 0
[pid=17507/tid=17513] ppid=17503 vsize=13980164 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/17507/task/17513/stat : 17513 (java) R 17503 17507 17449 0 -1 4202560 6351 0 0 0 8 1 0 0 20 0 15 0 117376664 14315687936 8484 33554432000 4194304 4196468 140730788654320 139777281821856 139777261696350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17515] ppid=17503 vsize=13980164 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17515/stat : 17515 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14315687936 8484 33554432000 4194304 4196468 140730788654320 139777230236432 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17516] ppid=17503 vsize=13980164 memory=140218861889152 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17516/stat : 17516 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14315687936 8484 33554432000 4194304 4196468 140730788654320 139777229183888 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17517] ppid=17503 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17517/stat : 17517 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14315687936 8484 33554432000 4194304 4196468 140730788654320 139776871296016 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17518] ppid=17503 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17518/stat : 17518 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14315687936 8484 33554432000 4194304 4196468 140730788654320 139776870243472 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17523] ppid=17503 vsize=13980164 memory=140218861889152 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17523/stat : 17523 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376666 14315687936 8484 33554432000 4194304 4196468 140730788654320 139776752588784 139777277627010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17525] ppid=17503 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17525/stat : 17525 (java) S 17503 17507 17449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117376667 14315687936 8484 33554432000 4194304 4196468 140730788654320 139776751535008 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17527] ppid=17503 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17527/stat : 17527 (java) S 17503 17507 17449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117376667 14315687936 8484 33554432000 4194304 4196468 140730788654320 139776750482416 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17529] ppid=17503 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17529/stat : 17529 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376669 14315687936 8484 33554432000 4194304 4196468 140730788654320 139776749430992 139777277634459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17530] ppid=17503 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17530/stat : 17530 (java) S 17503 17507 17449 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 117376669 14315687936 8484 33554432000 4194304 4196468 140730788654320 139776748378608 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17532] ppid=17503 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17532/stat : 17532 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376669 14315687936 8484 33554432000 4194304 4196468 140730788654320 139776747326064 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17534] ppid=17503 vsize=13980164 memory=140218861889152 CPUtime=0.02 cores=1,3,5,7
/proc/17507/task/17534/stat : 17534 (java) S 17503 17507 17449 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 117376669 14315687936 8484 33554432000 4194304 4196468 140730788654320 139776746273520 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17537] ppid=17503 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17537/stat : 17537 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376670 14315687936 8484 33554432000 4194304 4196468 140730788654320 139776745221216 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17539] ppid=17503 vsize=13980164 memory=140218861889152 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17539/stat : 17539 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376670 14315687936 8484 33554432000 4194304 4196468 140730788654320 139776744167728 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 33936 KiB
[startup+0.210718 s]*
/proc/loadavg: 8.63 8.77 8.36 3/216 17540
/proc/meminfo: memFree=26875840/32770624 swapFree=67108860/67108860
[pid=17507] ppid=17503 vsize=13980196 memory=43316 CPUtime=0.3 cores=1,3,5,7
/proc/17507/stat : 17507 (java) S 17503 17507 17449 0 -1 1077944320 9489 0 0 0 28 2 0 0 20 0 15 0 117376664 14315720704 10829 33554432000 4194304 4196468 140730788654320 140730788636864 139777277615863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
/proc/17507/statm: 3495041 10829 3612 1 0 3482761 0
[pid=17507/tid=17513] ppid=17503 vsize=13980164 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/17507/task/17513/stat : 17513 (java) R 17503 17507 17449 0 -1 4202560 7079 0 0 0 18 2 0 0 20 0 15 0 117376664 14315687936 10829 33554432000 4194304 4196468 140730788654320 139777281831808 139777270295085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17515] ppid=17503 vsize=13980164 memory=366 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17515/stat : 17515 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14315687936 10829 33554432000 4194304 4196468 140730788654320 139777230236432 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17516] ppid=17503 vsize=13980164 memory=140218861906760 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17516/stat : 17516 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14315687936 10829 33554432000 4194304 4196468 140730788654320 139777229183888 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17517] ppid=17503 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17517/stat : 17517 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14315687936 10829 33554432000 4194304 4196468 140730788654320 139776871296016 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17518] ppid=17503 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17518/stat : 17518 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14315687936 10829 33554432000 4194304 4196468 140730788654320 139776870243472 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17523] ppid=17503 vsize=13980196 memory=140218861889152 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17523/stat : 17523 (java) S 17503 17507 17449 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 117376666 14315720704 10829 33554432000 4194304 4196468 140730788654320 139776752588784 139777277627010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17525] ppid=17503 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17525/stat : 17525 (java) S 17503 17507 17449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117376667 14315687936 10829 33554432000 4194304 4196468 140730788654320 139776751535008 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17527] ppid=17503 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17527/stat : 17527 (java) S 17503 17507 17449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117376667 14315687936 10829 33554432000 4194304 4196468 140730788654320 139776750482416 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17529] ppid=17503 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17529/stat : 17529 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376669 14315687936 10829 33554432000 4194304 4196468 140730788654320 139776749430992 139777277634459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17530] ppid=17503 vsize=13980164 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17507/task/17530/stat : 17530 (java) S 17503 17507 17449 0 -1 1077944384 575 0 0 0 2 0 0 0 20 0 15 0 117376669 14315687936 10829 33554432000 4194304 4196468 140730788654320 139776748378608 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17532] ppid=17503 vsize=13980164 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/17507/task/17532/stat : 17532 (java) S 17503 17507 17449 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 15 0 117376669 14315687936 10829 33554432000 4194304 4196468 140730788654320 139776747326064 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17534] ppid=17503 vsize=13980196 memory=140218861889152 CPUtime=0.05 cores=1,3,5,7
/proc/17507/task/17534/stat : 17534 (java) S 17503 17507 17449 0 -1 1077944384 408 0 0 0 5 0 0 0 20 0 15 0 117376669 14315720704 10829 33554432000 4194304 4196468 140730788654320 139776746273520 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17537] ppid=17503 vsize=13980196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17537/stat : 17537 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376670 14315720704 10829 33554432000 4194304 4196468 140730788654320 139776745221216 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17539] ppid=17503 vsize=13980164 memory=140218861889152 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17539/stat : 17539 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376670 14315687936 10829 33554432000 4194304 4196468 140730788654320 139776744167728 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980196 KiB
Current children cumulated memory: 43316 KiB
[startup+0.310466 s]*
/proc/loadavg: 8.63 8.77 8.36 6/216 17540
/proc/meminfo: memFree=26861804/32770624 swapFree=67108860/67108860
[pid=17507] ppid=17503 vsize=13980184 memory=50584 CPUtime=0.49 cores=1,3,5,7
/proc/17507/stat : 17507 (java) S 17503 17507 17449 0 -1 1077944320 10422 0 0 0 46 3 0 0 20 0 15 0 117376664 14315708416 12646 33554432000 4194304 4196468 140730788654320 140730788636864 139777277615863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
/proc/17507/statm: 3495046 12646 3725 1 0 3482761 0
[pid=17507/tid=17513] ppid=17503 vsize=13980184 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/17507/task/17513/stat : 17513 (java) R 17503 17507 17449 0 -1 4202560 7590 0 0 0 27 3 0 0 20 0 15 0 117376664 14315708416 12646 33554432000 4194304 4196468 140730788654320 139777281845200 139777277627798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17515] ppid=17503 vsize=13980184 memory=304556157668950039 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17515/stat : 17515 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14315708416 12646 33554432000 4194304 4196468 140730788654320 139777230236432 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17516] ppid=17503 vsize=13980184 memory=140218861906207 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17516/stat : 17516 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14315708416 12646 33554432000 4194304 4196468 140730788654320 139777229183888 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17517] ppid=17503 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17517/stat : 17517 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14315708416 12646 33554432000 4194304 4196468 140730788654320 139776871296016 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17518] ppid=17503 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17518/stat : 17518 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14315708416 12646 33554432000 4194304 4196468 140730788654320 139776870243472 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17523] ppid=17503 vsize=13980184 memory=140218861889152 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17523/stat : 17523 (java) S 17503 17507 17449 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 117376666 14315708416 12646 33554432000 4194304 4196468 140730788654320 139776752588784 139777277627010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17525] ppid=17503 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17525/stat : 17525 (java) S 17503 17507 17449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117376667 14315708416 12646 33554432000 4194304 4196468 140730788654320 139776751535008 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17527] ppid=17503 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17527/stat : 17527 (java) S 17503 17507 17449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117376667 14315708416 12646 33554432000 4194304 4196468 140730788654320 139776750482416 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17529] ppid=17503 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17529/stat : 17529 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376669 14315708416 12646 33554432000 4194304 4196468 140730788654320 139776749430992 139777277634459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17530] ppid=17503 vsize=13980184 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/17507/task/17530/stat : 17530 (java) S 17503 17507 17449 0 -1 1077944384 751 0 0 0 5 0 0 0 20 0 15 0 117376669 14315708416 12646 33554432000 4194304 4196468 140730788654320 139776748378608 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17532] ppid=17503 vsize=13980184 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/17507/task/17532/stat : 17532 (java) S 17503 17507 17449 0 -1 1077944384 196 0 0 0 3 0 0 0 20 0 15 0 117376669 14315708416 12646 33554432000 4194304 4196468 140730788654320 139776747326064 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17534] ppid=17503 vsize=13980184 memory=140218861889152 CPUtime=0.09 cores=1,3,5,7
/proc/17507/task/17534/stat : 17534 (java) R 17503 17507 17449 0 -1 4202560 503 0 0 0 9 0 0 0 20 0 15 0 117376669 14315708416 12646 33554432000 4194304 4196468 140730788654320 139776746273520 139777261696350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17537] ppid=17503 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17537/stat : 17537 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376670 14315708416 12646 33554432000 4194304 4196468 140730788654320 139776745221216 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17539] ppid=17503 vsize=13980184 memory=140218861889152 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17539/stat : 17539 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376670 14315708416 12646 33554432000 4194304 4196468 140730788654320 139776744167728 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50584 KiB
[startup+0.700675 s]
/proc/loadavg: 8.63 8.77 8.36 6/216 17540
/proc/meminfo: memFree=26825244/32770624 swapFree=67108860/67108860
[pid=17507] ppid=17503 vsize=13984280 memory=80600 CPUtime=1.15 cores=1,3,5,7
/proc/17507/stat : 17507 (java) S 17503 17507 17449 0 -1 1077944320 12749 0 0 0 110 5 0 0 20 0 15 0 117376664 14319902720 20150 33554432000 4194304 4196468 140730788654320 140730788636864 139777277615863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
/proc/17507/statm: 3496070 20150 3762 1 0 3483785 0
[pid=17507/tid=17513] ppid=17503 vsize=13984280 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/17507/task/17513/stat : 17513 (java) R 17503 17507 17449 0 -1 4202560 9300 0 0 0 63 4 0 0 20 0 15 0 117376664 14319902720 20150 33554432000 4194304 4196468 140730788654320 139777281850816 139777277627798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17515] ppid=17503 vsize=13984280 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17515/stat : 17515 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 20150 33554432000 4194304 4196468 140730788654320 139777230236432 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17516] ppid=17503 vsize=13984280 memory=11040 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17516/stat : 17516 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 20150 33554432000 4194304 4196468 140730788654320 139777229183888 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17517] ppid=17503 vsize=13984280 memory=5700 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17517/stat : 17517 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 20150 33554432000 4194304 4196468 140730788654320 139776871296016 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17518] ppid=17503 vsize=13984280 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17518/stat : 17518 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 20150 33554432000 4194304 4196468 140730788654320 139776870243472 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17523] ppid=17503 vsize=13984280 memory=792 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17523/stat : 17523 (java) S 17503 17507 17449 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 117376666 14319902720 20150 33554432000 4194304 4196468 140730788654320 139776752588784 139777277627010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17525] ppid=17503 vsize=13984280 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17525/stat : 17525 (java) S 17503 17507 17449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117376667 14319902720 20150 33554432000 4194304 4196468 140730788654320 139776751535008 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17527] ppid=17503 vsize=13984280 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17527/stat : 17527 (java) S 17503 17507 17449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117376667 14319902720 20150 33554432000 4194304 4196468 140730788654320 139776750482416 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17529] ppid=17503 vsize=13984280 memory=7014751519700506193 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17529/stat : 17529 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376669 14319902720 20150 33554432000 4194304 4196468 140730788654320 139776749430992 139777277634459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17530] ppid=17503 vsize=13984280 memory=7883949533517342546 CPUtime=0.1 cores=1,3,5,7
/proc/17507/task/17530/stat : 17530 (java) S 17503 17507 17449 0 -1 1077944384 788 0 0 0 10 0 0 0 20 0 15 0 117376669 14319902720 20150 33554432000 4194304 4196468 140730788654320 139776748378608 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17532] ppid=17503 vsize=13984280 memory=7236547281622689387 CPUtime=0.12 cores=1,3,5,7
/proc/17507/task/17532/stat : 17532 (java) R 17503 17507 17449 0 -1 1077944384 428 0 0 0 12 0 0 0 20 0 15 0 117376669 14319902720 20150 33554432000 4194304 4196468 140730788654320 139776747326064 139777277627010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17534] ppid=17503 vsize=13984280 memory=-8412654363917126771 CPUtime=0.22 cores=1,3,5,7
/proc/17507/task/17534/stat : 17534 (java) S 17503 17507 17449 0 -1 1077944384 850 0 0 0 22 0 0 0 20 0 15 0 117376669 14319902720 20150 33554432000 4194304 4196468 140730788654320 139776746273520 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17537] ppid=17503 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17537/stat : 17537 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376670 14319902720 20150 33554432000 4194304 4196468 140730788654320 139776745221216 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17539] ppid=17503 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17539/stat : 17539 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376670 14319902720 20150 33554432000 4194304 4196468 140730788654320 139776744167728 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 80600 KiB
[startup+0.96716 s]
# the end of solver process 17507 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.90495 s, system=0.074379 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.804397 s]
/proc/loadavg: 8.63 8.77 8.36 6/216 17540
/proc/meminfo: memFree=26825244/32770624 swapFree=67108860/67108860
[pid=17507] ppid=17503 vsize=13984280 memory=92792 CPUtime=1.49 cores=1,3,5,7
/proc/17507/stat : 17507 (java) S 17503 17507 17449 0 -1 1077944320 15309 0 0 0 143 6 0 0 20 0 15 0 117376664 14319902720 23198 33554432000 4194304 4196468 140730788654320 140730788636864 139777277615863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
/proc/17507/statm: 3496070 23198 3763 1 0 3483785 0
[pid=17507/tid=17513] ppid=17503 vsize=13984280 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/17507/task/17513/stat : 17513 (java) R 17503 17507 17449 0 -1 4202560 9995 0 0 0 72 4 0 0 20 0 15 0 117376664 14319902720 23198 33554432000 4194304 4196468 140730788654320 139777281845600 139776909989364 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17515] ppid=17503 vsize=13984280 memory=8174723239089013032 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17515/stat : 17515 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 23198 33554432000 4194304 4196468 140730788654320 139777230236432 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17516] ppid=17503 vsize=13984280 memory=288293276904326379 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17516/stat : 17516 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 23198 33554432000 4194304 4196468 140730788654320 139777229183888 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17517] ppid=17503 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17517/stat : 17517 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 23198 33554432000 4194304 4196468 140730788654320 139776871296016 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17518] ppid=17503 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17518/stat : 17518 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 23198 33554432000 4194304 4196468 140730788654320 139776870243472 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17523] ppid=17503 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17523/stat : 17523 (java) S 17503 17507 17449 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 117376666 14319902720 23198 33554432000 4194304 4196468 140730788654320 139776752588784 139777277627010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17525] ppid=17503 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17525/stat : 17525 (java) S 17503 17507 17449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117376667 14319902720 23198 33554432000 4194304 4196468 140730788654320 139776751535008 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17527] ppid=17503 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17527/stat : 17527 (java) S 17503 17507 17449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117376667 14319902720 23198 33554432000 4194304 4196468 140730788654320 139776750482416 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17529] ppid=17503 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17529/stat : 17529 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376669 14319902720 23198 33554432000 4194304 4196468 140730788654320 139776749430992 139777277634459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17530] ppid=17503 vsize=13984280 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/17507/task/17530/stat : 17530 (java) R 17503 17507 17449 0 -1 4202560 1451 0 0 0 18 0 0 0 20 0 15 0 117376669 14319902720 23198 33554432000 4194304 4196468 140730788654320 139776748359624 139777262725429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17532] ppid=17503 vsize=13984280 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/17507/task/17532/stat : 17532 (java) R 17503 17507 17449 0 -1 4202560 944 0 0 0 20 0 0 0 20 0 15 0 117376669 14319902720 23198 33554432000 4194304 4196468 140730788654320 139776747315944 139777257459481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17534] ppid=17503 vsize=13984280 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/17507/task/17534/stat : 17534 (java) S 17503 17507 17449 0 -1 1077944384 1536 0 0 0 30 0 0 0 20 0 15 0 117376669 14319902720 23198 33554432000 4194304 4196468 140730788654320 139776746273520 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17537] ppid=17503 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17537/stat : 17537 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376670 14319902720 23198 33554432000 4194304 4196468 140730788654320 139776745221216 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17539] ppid=17503 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17539/stat : 17539 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376670 14319902720 23198 33554432000 4194304 4196468 140730788654320 139776744167728 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 92792 KiB
[startup+0.901397 s]
/proc/loadavg: 8.63 8.77 8.36 6/216 17540
/proc/meminfo: memFree=26825244/32770624 swapFree=67108860/67108860
[pid=17507] ppid=17503 vsize=13984280 memory=101672 CPUtime=1.8 cores=1,3,5,7
/proc/17507/stat : 17507 (java) S 17503 17507 17449 0 -1 1077944320 15972 0 0 0 174 6 0 0 20 0 15 0 117376664 14319902720 25418 33554432000 4194304 4196468 140730788654320 140730788636864 139777277615863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
/proc/17507/statm: 3496070 25418 3763 1 0 3483785 0
[pid=17507/tid=17513] ppid=17503 vsize=13984280 memory=1728 CPUtime=0.87 cores=1,3,5,7
/proc/17507/task/17513/stat : 17513 (java) R 17503 17507 17449 0 -1 4202560 9998 0 0 0 82 5 0 0 20 0 15 0 117376664 14319902720 25418 33554432000 4194304 4196468 140730788654320 139777281845872 139777277637693 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17515] ppid=17503 vsize=13984280 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17515/stat : 17515 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 25418 33554432000 4194304 4196468 140730788654320 139777230236432 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17516] ppid=17503 vsize=13984280 memory=11040 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17516/stat : 17516 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 25418 33554432000 4194304 4196468 140730788654320 139777229183888 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17517] ppid=17503 vsize=13984280 memory=5700 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17517/stat : 17517 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 25418 33554432000 4194304 4196468 140730788654320 139776871296016 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17518] ppid=17503 vsize=13984280 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17518/stat : 17518 (java) S 17503 17507 17449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117376665 14319902720 25418 33554432000 4194304 4196468 140730788654320 139776870243472 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17523] ppid=17503 vsize=13984280 memory=792 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17523/stat : 17523 (java) S 17503 17507 17449 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 117376666 14319902720 25418 33554432000 4194304 4196468 140730788654320 139776752588784 139777277627010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17525] ppid=17503 vsize=13984280 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17525/stat : 17525 (java) S 17503 17507 17449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117376667 14319902720 25418 33554432000 4194304 4196468 140730788654320 139776751535008 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17527] ppid=17503 vsize=13984280 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17527/stat : 17527 (java) S 17503 17507 17449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117376667 14319902720 25418 33554432000 4194304 4196468 140730788654320 139776750482416 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17529] ppid=17503 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17529/stat : 17529 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376669 14319902720 25418 33554432000 4194304 4196468 140730788654320 139776749430992 139777277634459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17530] ppid=17503 vsize=13984280 memory=280437473989088 CPUtime=0.28 cores=1,3,5,7
/proc/17507/task/17530/stat : 17530 (java) R 17503 17507 17449 0 -1 4202560 1489 0 0 0 28 0 0 0 20 0 15 0 117376669 14319902720 25418 33554432000 4194304 4196468 140730788654320 139776748370064 139777258931112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17532] ppid=17503 vsize=13984280 memory=140218737015692 CPUtime=0.3 cores=1,3,5,7
/proc/17507/task/17532/stat : 17532 (java) R 17503 17507 17449 0 -1 4202560 1492 0 0 0 30 0 0 0 20 0 15 0 117376669 14319902720 25418 33554432000 4194304 4196468 140730788654320 139776747312088 139777257459440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17534] ppid=17503 vsize=13984280 memory=1200 CPUtime=0.32 cores=1,3,5,7
/proc/17507/task/17534/stat : 17534 (java) S 17503 17507 17449 0 -1 1077944384 1610 0 0 0 32 0 0 0 20 0 15 0 117376669 14319902720 25418 33554432000 4194304 4196468 140730788654320 139776746273520 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17537] ppid=17503 vsize=13984280 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17537/stat : 17537 (java) S 17503 17507 17449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117376670 14319902720 25418 33554432000 4194304 4196468 140730788654320 139776745221216 139777277626069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
[pid=17507/tid=17539] ppid=17503 vsize=13984280 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/17507/task/17539/stat : 17539 (java) S 17503 17507 17449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117376670 14319902720 25418 33554432000 4194304 4196468 140730788654320 139776744167728 139777277627010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140730788660329 140730788660511 140730788660511 140730788663247 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 101672 KiB
Child status: 0
Real time (s): 0.967196
CPU time (s): 1.97933
CPU user time (s): 1.90495
CPU system time (s): 0.074379
CPU usage (%): 204.646
Max. virtual memory (cumulated for all children) (KiB): 13984280
Max. memory (cumulated for all children) (KiB): 101672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.90495
system time used= 0.074379
maximum resident set size= 130676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16467
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1912
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 17507
# total CPU time (s): 1.97933
# total CPU user time (s): 1.90495
# total CPU system time (s): 0.074379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026826 second user time and 0.063555 second system time
The end
Begin job on node150 at 2017-08-16 02:08:16 IDJOB=4274487 IDBENCH=126251 IDSOLVER=2667 FILE ID=node150/4274487-1502842955 RUNJOBID= node150-1502842096-17481 PBS_JOBID= 20629856 Free space on /tmp= 61652 MiB SOLVER NAME= OscaR - Hybrid 2017-07-26 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-06-a4.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274487-1502842955/watcher-4274487-1502842955 -o /tmp/evaluation-result-4274487-1502842955/solver-4274487-1502842955 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502842096-17481 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 462775197 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274487-1502842955.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3be13f028e00a9c301b8790857e4d16d RANDOM SEED=462775197 node150.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 : 5332.89 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 : 5332.89 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 : 5332.89 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 : 5332.89 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: 26933116 kB MemAvailable: 31970456 kB Buffers: 309568 kB Cached: 5002096 kB SwapCached: 0 kB Active: 877680 kB Inactive: 4487612 kB Active(anon): 56552 kB Inactive(anon): 25068 kB Active(file): 821128 kB Inactive(file): 4462544 kB Unevictable: 6228 kB Mlocked: 6228 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 84520 kB Writeback: 0 kB AnonPages: 59688 kB Mapped: 46308 kB Shmem: 25224 kB Slab: 165512 kB SReclaimable: 139008 kB SUnreclaim: 26504 kB KernelStack: 3088 kB PageTables: 4820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324956 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61568 MiB End job on node150 at 2017-08-16 02:08:18