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 | 25 | 2.20609 | 1.02613 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml |
| MD5SUM | 7dfd3f139f05fe96cee61268ac0efa79 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.088816002 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 56 |
| Number of constraints | 24 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":21},{"size":501,"count":7}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 8 |
| Distribution of variable degrees | [{"degree":0,"count":28},{"degree":2,"count":21},{"degree":7,"count":5},{"degree":8,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 21 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":21},{"arity":7,"count":1},{"arity":21,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 22 |
| Distribution of constraint types | [{"type":"intension","count":22},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.29/0.26 c version: 2017-07-26 0.29/0.26 c seed: 1855831693 0.29/0.26 c timeout: 2520 0.29/0.26 c memlimit: 11000 0.29/0.26 c nbcore: 4 0.29/0.29 c Parsing instance... 1.16/0.70 c Parsing done, starting first complete search... 1.16/0.76 o 500 1.16/0.77 o 498 1.16/0.78 o 496 1.16/0.78 o 495 1.16/0.79 o 494 1.16/0.79 o 493 1.16/0.79 o 492 1.16/0.79 o 491 1.16/0.79 o 490 1.16/0.79 o 489 1.51/0.80 o 488 1.51/0.80 o 487 1.51/0.80 o 486 1.51/0.80 o 485 1.51/0.80 o 484 1.51/0.80 o 483 1.51/0.80 o 482 1.51/0.81 o 481 1.51/0.81 o 480 1.51/0.81 o 479 1.51/0.81 o 478 1.51/0.81 o 477 1.51/0.81 o 476 1.51/0.81 o 475 1.51/0.81 o 474 1.51/0.81 o 473 1.51/0.81 o 472 1.51/0.81 o 471 1.51/0.81 o 470 1.51/0.81 o 469 1.51/0.81 o 468 1.51/0.81 o 467 1.51/0.81 o 466 1.51/0.81 o 465 1.51/0.82 o 464 1.51/0.82 o 463 1.51/0.82 o 462 1.51/0.82 o 461 1.51/0.82 o 460 1.51/0.82 o 459 1.51/0.82 o 458 1.51/0.82 o 457 1.51/0.82 o 456 1.51/0.82 o 455 1.51/0.82 o 454 1.51/0.82 o 453 1.51/0.82 o 452 1.51/0.82 o 451 1.51/0.82 o 450 1.51/0.82 o 449 1.51/0.82 o 448 1.51/0.82 o 447 1.51/0.82 o 446 1.51/0.82 o 445 1.51/0.83 o 444 1.51/0.83 o 443 1.51/0.83 o 442 1.51/0.83 o 441 1.51/0.83 o 440 1.51/0.83 o 439 1.51/0.83 o 438 1.51/0.83 o 437 1.51/0.83 o 436 1.51/0.83 o 435 1.51/0.83 o 434 1.51/0.83 o 433 1.51/0.83 o 432 1.51/0.83 o 431 1.51/0.83 o 430 1.51/0.83 o 429 1.51/0.83 o 428 1.51/0.84 o 427 1.51/0.84 o 426 1.51/0.84 o 425 1.51/0.84 o 424 1.51/0.84 o 423 1.51/0.84 o 422 1.51/0.84 o 421 1.51/0.84 o 420 1.51/0.84 o 419 1.51/0.84 o 418 1.51/0.84 o 417 1.51/0.84 o 416 1.51/0.84 o 415 1.51/0.84 o 414 1.51/0.84 o 413 1.51/0.84 o 412 1.51/0.84 o 411 1.51/0.84 o 410 1.51/0.84 o 409 1.51/0.84 o 408 1.51/0.84 o 407 1.51/0.84 o 406 1.51/0.84 o 405 1.51/0.84 o 404 1.51/0.84 o 403 1.51/0.84 o 402 1.51/0.84 o 401 1.51/0.84 o 400 1.51/0.84 o 399 1.51/0.84 o 398 1.51/0.84 o 397 1.51/0.84 o 396 1.51/0.84 o 395 1.51/0.85 o 394 1.51/0.85 o 393 1.51/0.85 o 392 1.51/0.85 o 391 1.51/0.85 o 390 1.51/0.85 o 389 1.51/0.85 o 388 1.51/0.85 o 387 1.51/0.85 o 386 1.51/0.85 o 385 1.51/0.85 o 384 1.51/0.85 o 383 1.51/0.85 o 382 1.51/0.85 o 381 1.51/0.85 o 380 1.51/0.85 o 379 1.51/0.85 o 378 1.51/0.85 o 377 1.51/0.85 o 376 1.51/0.85 o 375 1.51/0.86 o 374 1.51/0.86 o 373 1.51/0.86 o 372 1.51/0.86 o 371 1.51/0.86 o 370 1.51/0.86 o 369 1.51/0.86 o 368 1.51/0.86 o 367 1.51/0.86 o 366 1.51/0.86 o 365 1.51/0.86 o 364 1.51/0.86 o 363 1.51/0.86 o 362 1.51/0.86 o 361 1.51/0.86 o 360 1.51/0.86 o 359 1.51/0.86 o 358 1.51/0.86 o 357 1.51/0.86 o 356 1.51/0.86 o 355 1.51/0.86 o 354 1.51/0.86 o 353 1.51/0.86 o 352 1.51/0.86 o 351 1.51/0.86 o 350 1.51/0.86 o 349 1.51/0.86 o 348 1.51/0.86 o 347 1.51/0.86 o 346 1.51/0.86 o 345 1.51/0.87 o 344 1.51/0.87 o 343 1.51/0.87 o 342 1.51/0.87 o 341 1.51/0.87 o 340 1.51/0.87 o 339 1.51/0.87 o 338 1.51/0.87 o 337 1.51/0.87 o 336 1.51/0.87 o 335 1.51/0.87 o 334 1.51/0.87 o 333 1.51/0.87 o 332 1.51/0.87 o 331 1.51/0.87 o 330 1.51/0.87 o 329 1.51/0.87 o 328 1.51/0.87 o 327 1.51/0.87 o 326 1.51/0.87 o 325 1.51/0.87 o 324 1.51/0.87 o 323 1.51/0.87 o 322 1.51/0.87 o 321 1.51/0.87 o 320 1.51/0.87 o 319 1.51/0.87 o 318 1.51/0.87 o 317 1.51/0.87 o 316 1.51/0.87 o 315 1.51/0.87 o 314 1.51/0.88 o 313 1.51/0.88 o 312 1.51/0.88 o 311 1.51/0.88 o 310 1.51/0.88 o 309 1.51/0.88 o 308 1.51/0.88 o 307 1.51/0.88 o 306 1.51/0.88 o 305 1.51/0.88 o 304 1.51/0.88 o 303 1.51/0.88 o 302 1.51/0.88 o 301 1.51/0.88 o 300 1.51/0.88 o 299 1.51/0.88 o 298 1.51/0.88 o 297 1.51/0.88 o 296 1.51/0.88 o 295 1.51/0.88 o 294 1.51/0.88 o 293 1.51/0.88 o 292 1.51/0.88 o 291 1.51/0.88 o 290 1.51/0.88 o 289 1.51/0.88 o 288 1.51/0.88 o 287 1.51/0.88 o 286 1.51/0.88 o 285 1.51/0.88 o 284 1.51/0.88 o 283 1.51/0.89 o 282 1.51/0.89 o 281 1.51/0.89 o 280 1.51/0.89 o 279 1.51/0.89 o 278 1.51/0.89 o 277 1.51/0.89 o 276 1.51/0.89 o 275 1.51/0.89 o 274 1.51/0.89 o 273 1.51/0.89 o 272 1.51/0.89 o 271 1.51/0.89 o 270 1.51/0.89 o 269 1.51/0.89 o 268 1.51/0.89 o 267 1.51/0.89 o 266 1.51/0.89 o 265 1.51/0.89 o 264 1.51/0.89 o 263 1.51/0.89 o 262 1.51/0.89 o 261 1.51/0.89 o 260 1.51/0.89 o 259 1.51/0.89 o 258 1.51/0.89 o 257 1.51/0.89 o 256 1.51/0.89 o 255 1.51/0.89 o 254 1.51/0.89 o 253 1.51/0.90 o 252 1.51/0.90 o 251 1.51/0.90 o 250 1.51/0.90 o 249 1.51/0.90 o 248 1.51/0.90 o 247 1.51/0.90 o 246 1.51/0.90 o 245 1.51/0.90 o 244 1.86/0.90 o 243 1.86/0.90 o 242 1.86/0.90 o 241 1.86/0.90 o 240 1.86/0.90 o 239 1.86/0.90 o 238 1.86/0.90 o 237 1.86/0.90 o 236 1.86/0.90 o 235 1.86/0.90 o 234 1.86/0.90 o 233 1.86/0.90 o 232 1.86/0.90 o 231 1.86/0.90 o 230 1.86/0.90 o 229 1.86/0.90 o 228 1.86/0.90 o 227 1.86/0.90 o 226 1.86/0.90 o 225 1.86/0.90 o 224 1.86/0.90 o 223 1.86/0.90 o 222 1.86/0.90 o 221 1.86/0.90 o 220 1.86/0.91 o 219 1.86/0.91 o 218 1.86/0.91 o 217 1.86/0.91 o 216 1.86/0.91 o 215 1.86/0.91 o 214 1.86/0.91 o 213 1.86/0.91 o 212 1.86/0.91 o 211 1.86/0.91 o 210 1.86/0.91 o 209 1.86/0.91 o 208 1.86/0.91 o 207 1.86/0.91 o 206 1.86/0.91 o 205 1.86/0.91 o 204 1.86/0.91 o 203 1.86/0.91 o 202 1.86/0.91 o 201 1.86/0.91 o 200 1.86/0.91 o 199 1.86/0.92 o 198 1.86/0.92 o 197 1.86/0.92 o 196 1.86/0.92 o 195 1.86/0.92 o 194 1.86/0.92 o 193 1.86/0.92 o 192 1.86/0.92 o 191 1.86/0.92 o 190 1.86/0.92 o 189 1.86/0.92 o 188 1.86/0.92 o 187 1.86/0.92 o 186 1.86/0.92 o 185 1.86/0.92 o 184 1.86/0.92 o 183 1.86/0.92 o 182 1.86/0.92 o 181 1.86/0.92 o 180 1.86/0.92 o 179 1.86/0.92 o 178 1.86/0.92 o 177 1.86/0.92 o 176 1.86/0.92 o 175 1.86/0.92 o 174 1.86/0.92 o 173 1.86/0.92 o 172 1.86/0.92 o 171 1.86/0.92 o 170 1.86/0.92 o 169 1.86/0.92 o 168 1.86/0.92 o 167 1.86/0.92 o 166 1.86/0.92 o 165 1.86/0.92 o 164 1.86/0.92 o 163 1.86/0.92 o 162 1.86/0.92 o 161 1.86/0.92 o 160 1.86/0.92 o 159 1.86/0.92 o 158 1.86/0.92 o 157 1.86/0.92 o 156 1.86/0.92 o 155 1.86/0.92 o 154 1.86/0.92 o 153 1.86/0.93 o 152 1.86/0.93 o 151 1.86/0.93 o 150 1.86/0.93 o 149 1.86/0.93 o 148 1.86/0.93 o 147 1.86/0.93 o 146 1.86/0.93 o 145 1.86/0.93 o 144 1.86/0.93 o 143 1.86/0.93 o 142 1.86/0.93 o 141 1.86/0.93 o 140 1.86/0.93 o 139 1.86/0.93 o 138 1.86/0.93 o 137 1.86/0.93 o 136 1.86/0.93 o 135 1.86/0.93 o 134 1.86/0.93 o 133 1.86/0.93 o 132 1.86/0.93 o 131 1.86/0.93 o 130 1.86/0.93 o 129 1.86/0.93 o 128 1.86/0.94 o 127 1.86/0.94 o 126 1.86/0.94 o 125 1.86/0.94 o 124 1.86/0.94 o 123 1.86/0.94 o 122 1.86/0.94 o 121 1.86/0.94 o 120 1.86/0.94 o 119 1.86/0.94 o 118 1.86/0.94 o 117 1.86/0.94 o 116 1.86/0.94 o 115 1.86/0.94 o 114 1.86/0.94 o 113 1.86/0.94 o 112 1.86/0.94 o 111 1.86/0.94 o 110 1.86/0.94 o 109 1.86/0.94 o 108 1.86/0.94 o 107 1.86/0.94 o 106 1.86/0.94 o 105 1.86/0.94 o 104 1.86/0.94 o 103 1.86/0.94 o 102 1.86/0.94 o 101 1.86/0.94 o 100 1.86/0.94 o 99 1.86/0.94 o 98 1.86/0.94 o 97 1.86/0.94 o 96 1.86/0.94 o 95 1.86/0.94 o 94 1.86/0.94 o 93 1.86/0.94 o 92 1.86/0.94 o 91 1.86/0.94 o 90 1.86/0.94 o 89 1.86/0.94 o 88 1.86/0.94 o 87 1.86/0.94 o 86 1.86/0.94 o 85 1.86/0.94 o 84 1.86/0.94 o 83 1.86/0.94 o 82 1.86/0.95 o 81 1.86/0.95 o 80 1.86/0.95 o 79 1.86/0.95 o 78 1.86/0.95 o 77 1.86/0.95 o 76 1.86/0.95 o 75 1.86/0.95 o 74 1.86/0.95 o 73 1.86/0.95 o 72 1.86/0.95 o 71 1.86/0.95 o 70 1.86/0.95 o 69 1.86/0.95 o 68 1.86/0.95 o 67 1.86/0.95 o 66 1.86/0.95 o 65 1.86/0.95 o 64 1.86/0.95 o 63 1.86/0.95 o 62 1.86/0.95 o 61 1.86/0.95 o 60 1.86/0.95 o 59 1.86/0.95 o 58 1.86/0.95 o 57 1.86/0.95 o 56 1.86/0.95 o 55 1.86/0.95 o 54 1.86/0.95 o 53 1.86/0.95 o 52 1.86/0.95 o 51 1.86/0.95 o 50 1.86/0.95 o 49 1.86/0.95 o 48 1.86/0.95 o 47 1.86/0.96 o 46 1.86/0.96 o 45 1.86/0.96 o 44 1.86/0.96 o 43 1.86/0.96 o 42 1.86/0.96 o 41 1.86/0.96 o 40 1.86/0.96 o 39 1.86/0.96 o 38 1.86/0.96 o 37 1.86/0.96 o 36 1.86/0.96 o 35 1.86/0.96 o 34 1.86/0.96 o 33 1.86/0.96 o 32 1.86/0.96 o 31 1.86/0.96 o 30 1.86/0.96 o 29 1.86/0.96 o 28 1.86/0.96 o 27 1.86/0.97 o 25 1.86/1.00 s OPTIMUM FOUND 1.86/1.00 v <instantiation> 1.86/1.00 v <list> 1.86/1.00 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[2][3] y[2][4] y[2][5] y[2][6] y[3][4] y[3][5] y[3][6] y[4][5] y[4][6] y[5][6] 1.86/1.00 v </list> 1.86/1.00 v <values> 1.86/1.00 v 0 4 9 15 22 23 25 4 9 15 22 23 25 5 11 18 19 21 6 13 14 16 7 8 10 1 3 2 1.86/1.00 v </values> 1.86/1.00 v </instantiation>
OK 25
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 (12757 MiB free)
memory of node 1: 16384 MiB (14629 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274471-1502839243/watcher-4274471-1502839243 -o /tmp/evaluation-result-4274471-1502839243/solver-4274471-1502839243 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502838367-6300 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1855831693 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274471-1502839243.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=6496, runsolver pid=6493
[startup+0.100097 s]*
/proc/loadavg: 6.58 8.19 8.14 3/215 6511
/proc/meminfo: memFree=28024720/32770624 swapFree=67108860/67108860
[pid=6496] ppid=6493 vsize=13980164 memory=32916 CPUtime=0.12 cores=0,2,4,6
/proc/6496/stat : 6496 (java) S 6493 6496 6269 0 -1 1077944320 8136 0 0 0 11 1 0 0 20 0 15 0 117012118 14315687936 8229 33554432000 4194304 4196468 140730953023792 140730953006336 140612779826935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
/proc/6496/statm: 3495041 8229 3410 1 0 3482761 0
[pid=6496/tid=6498] ppid=6493 vsize=13980164 memory=-8537797364488697024 CPUtime=0.08 cores=0,2,4,6
/proc/6496/task/6498/stat : 6498 (java) R 6493 6496 6269 0 -1 4202560 6073 0 0 0 8 0 0 0 20 0 15 0 117012118 14315687936 8229 33554432000 4194304 4196468 140730953023792 140612784041968 140612763870565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6499] ppid=6493 vsize=13980164 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6499/stat : 6499 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14315687936 8229 33554432000 4194304 4196468 140730953023792 140612736380048 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6500] ppid=6493 vsize=13980164 memory=140631415715456 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6500/stat : 6500 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14315687936 8229 33554432000 4194304 4196468 140730953023792 140612735327248 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6501] ppid=6493 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6501/stat : 6501 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14315687936 8229 33554432000 4194304 4196468 140730953023792 140612734274448 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6502] ppid=6493 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6502/stat : 6502 (java) S 6493 6496 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117012119 14315687936 8229 33554432000 4194304 4196468 140730953023792 140612372720400 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6503] ppid=6493 vsize=13980164 memory=140631415715456 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6503/stat : 6503 (java) S 6493 6496 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117012120 14315687936 8229 33554432000 4194304 4196468 140730953023792 140611692231024 140612779838082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6504] ppid=6493 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6504/stat : 6504 (java) S 6493 6496 6269 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117012121 14315687936 8229 33554432000 4194304 4196468 140730953023792 140611691176992 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6505] ppid=6493 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6505/stat : 6505 (java) S 6493 6496 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117012121 14315687936 8229 33554432000 4194304 4196468 140730953023792 140611690124144 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6506] ppid=6493 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6506/stat : 6506 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117012123 14315687936 8229 33554432000 4194304 4196468 140730953023792 140611689072464 140612779845531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6507] ppid=6493 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6507/stat : 6507 (java) S 6493 6496 6269 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 117012123 14315687936 8229 33554432000 4194304 4196468 140730953023792 140611688020848 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6508] ppid=6493 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6508/stat : 6508 (java) S 6493 6496 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117012123 14315687936 8229 33554432000 4194304 4196468 140730953023792 140611686968048 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6509] ppid=6493 vsize=13980164 memory=140631415715456 CPUtime=0.01 cores=0,2,4,6
/proc/6496/task/6509/stat : 6509 (java) S 6493 6496 6269 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 15 0 117012123 14315687936 8229 33554432000 4194304 4196468 140730953023792 140611685915248 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6510] ppid=6493 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6510/stat : 6510 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117012124 14315687936 8229 33554432000 4194304 4196468 140730953023792 140611684862688 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6511] ppid=6493 vsize=13980164 memory=140631415715456 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6511/stat : 6511 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012124 14315687936 8229 33554432000 4194304 4196468 140730953023792 140611683809968 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 32916 KiB
[startup+0.210613 s]*
/proc/loadavg: 6.58 8.19 8.14 3/215 6511
/proc/meminfo: memFree=28015816/32770624 swapFree=67108860/67108860
[pid=6496] ppid=6493 vsize=13980164 memory=42312 CPUtime=0.29 cores=0,2,4,6
/proc/6496/stat : 6496 (java) S 6493 6496 6269 0 -1 1077944320 9194 0 0 0 28 1 0 0 20 0 15 0 117012118 14315687936 10578 33554432000 4194304 4196468 140730953023792 140730953006336 140612779826935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
/proc/6496/statm: 3495041 10578 3611 1 0 3482761 0
[pid=6496/tid=6498] ppid=6493 vsize=13980164 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/6496/task/6498/stat : 6498 (java) R 6493 6496 6269 0 -1 4202560 6725 0 0 0 18 1 0 0 20 0 15 0 117012118 14315687936 10578 33554432000 4194304 4196468 140730953023792 140612784055344 140612779848861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6499] ppid=6493 vsize=13980164 memory=345 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6499/stat : 6499 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14315687936 10578 33554432000 4194304 4196468 140730953023792 140612736380048 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6500] ppid=6493 vsize=13980164 memory=140631415722033 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6500/stat : 6500 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14315687936 10578 33554432000 4194304 4196468 140730953023792 140612735327248 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6501] ppid=6493 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6501/stat : 6501 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14315687936 10578 33554432000 4194304 4196468 140730953023792 140612734274448 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6502] ppid=6493 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6502/stat : 6502 (java) S 6493 6496 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117012119 14315687936 10578 33554432000 4194304 4196468 140730953023792 140612372720400 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6503] ppid=6493 vsize=13980164 memory=140631415715456 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6503/stat : 6503 (java) S 6493 6496 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117012120 14315687936 10578 33554432000 4194304 4196468 140730953023792 140611692231024 140612779838082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6504] ppid=6493 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6504/stat : 6504 (java) S 6493 6496 6269 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117012121 14315687936 10578 33554432000 4194304 4196468 140730953023792 140611691176992 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6505] ppid=6493 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6505/stat : 6505 (java) S 6493 6496 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117012121 14315687936 10578 33554432000 4194304 4196468 140730953023792 140611690124144 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6506] ppid=6493 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6506/stat : 6506 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117012123 14315687936 10578 33554432000 4194304 4196468 140730953023792 140611689072464 140612779845531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6507] ppid=6493 vsize=13980164 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6496/task/6507/stat : 6507 (java) S 6493 6496 6269 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 117012123 14315687936 10578 33554432000 4194304 4196468 140730953023792 140611688020848 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6508] ppid=6493 vsize=13980164 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/6496/task/6508/stat : 6508 (java) R 6493 6496 6269 0 -1 4202560 156 0 0 0 1 0 0 0 20 0 15 0 117012123 14315687936 10578 33554432000 4194304 4196468 140730953023792 140611686961008 140612761346728 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6509] ppid=6493 vsize=13980164 memory=140631415715456 CPUtime=0.05 cores=0,2,4,6
/proc/6496/task/6509/stat : 6509 (java) S 6493 6496 6269 0 -1 1077944384 427 0 0 0 5 0 0 0 20 0 15 0 117012123 14315687936 10578 33554432000 4194304 4196468 140730953023792 140611685915248 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6510] ppid=6493 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6510/stat : 6510 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117012124 14315687936 10578 33554432000 4194304 4196468 140730953023792 140611684862688 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6511] ppid=6493 vsize=13980164 memory=140631415715456 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6511/stat : 6511 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012124 14315687936 10578 33554432000 4194304 4196468 140730953023792 140611683809968 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 42312 KiB
[startup+0.31051 s]*
/proc/loadavg: 6.58 8.19 8.14 3/215 6511
/proc/meminfo: memFree=28008248/32770624 swapFree=67108860/67108860
[pid=6496] ppid=6493 vsize=13980184 memory=50476 CPUtime=0.48 cores=0,2,4,6
/proc/6496/stat : 6496 (java) S 6493 6496 6269 0 -1 1077944320 10367 0 0 0 46 2 0 0 20 0 15 0 117012118 14315708416 12619 33554432000 4194304 4196468 140730953023792 140730953006336 140612779826935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
/proc/6496/statm: 3495046 12619 3719 1 0 3482761 0
[pid=6496/tid=6498] ppid=6493 vsize=13980184 memory=7311146985107750967 CPUtime=0.28 cores=0,2,4,6
/proc/6496/task/6498/stat : 6498 (java) R 6493 6496 6269 0 -1 4202560 7443 0 0 0 27 1 0 0 20 0 15 0 117012118 14315708416 12684 33554432000 4194304 4196468 140730953023792 140612784048560 140612764274032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6499] ppid=6493 vsize=13980184 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6499/stat : 6499 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14315708416 12684 33554432000 4194304 4196468 140730953023792 140612736380048 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6500] ppid=6493 vsize=13980184 memory=13704426805524120 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6500/stat : 6500 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14315708416 12684 33554432000 4194304 4196468 140730953023792 140612735327248 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6501] ppid=6493 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6501/stat : 6501 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14315708416 12684 33554432000 4194304 4196468 140730953023792 140612734274448 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6502] ppid=6493 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6502/stat : 6502 (java) S 6493 6496 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117012119 14315708416 12684 33554432000 4194304 4196468 140730953023792 140612372720400 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6503] ppid=6493 vsize=13980184 memory=140631415715456 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6503/stat : 6503 (java) S 6493 6496 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117012120 14315708416 12684 33554432000 4194304 4196468 140730953023792 140611692231024 140612779838082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6504] ppid=6493 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6504/stat : 6504 (java) S 6493 6496 6269 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117012121 14315708416 12684 33554432000 4194304 4196468 140730953023792 140611691176992 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6505] ppid=6493 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6505/stat : 6505 (java) S 6493 6496 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117012121 14315708416 12684 33554432000 4194304 4196468 140730953023792 140611690124144 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6506] ppid=6493 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6506/stat : 6506 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117012123 14315708416 12684 33554432000 4194304 4196468 140730953023792 140611689072464 140612779845531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6507] ppid=6493 vsize=13980184 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6496/task/6507/stat : 6507 (java) S 6493 6496 6269 0 -1 1077944384 740 0 0 0 6 0 0 0 20 0 15 0 117012123 14315708416 12684 33554432000 4194304 4196468 140730953023792 140611688020848 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6508] ppid=6493 vsize=13980184 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/6496/task/6508/stat : 6508 (java) S 6493 6496 6269 0 -1 1077944384 265 0 0 0 4 0 0 0 20 0 15 0 117012123 14315708416 12684 33554432000 4194304 4196468 140730953023792 140611686968048 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6509] ppid=6493 vsize=13980184 memory=140631415715456 CPUtime=0.08 cores=0,2,4,6
/proc/6496/task/6509/stat : 6509 (java) S 6493 6496 6269 0 -1 1077944384 548 0 0 0 8 0 0 0 20 0 15 0 117012123 14315708416 12684 33554432000 4194304 4196468 140730953023792 140611685915248 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6510] ppid=6493 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6510/stat : 6510 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117012124 14315708416 12684 33554432000 4194304 4196468 140730953023792 140611684862688 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6511] ppid=6493 vsize=13980184 memory=140631415715456 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6511/stat : 6511 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012124 14315708416 12684 33554432000 4194304 4196468 140730953023792 140611683809968 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50476 KiB
[startup+0.702659 s]
/proc/loadavg: 6.58 8.19 8.14 5/215 6511
/proc/meminfo: memFree=27995592/32770624 swapFree=67108860/67108860
[pid=6496] ppid=6493 vsize=13984280 memory=83644 CPUtime=1.16 cores=0,2,4,6
/proc/6496/stat : 6496 (java) S 6493 6496 6269 0 -1 1077944320 13508 0 0 0 111 5 0 0 20 0 15 0 117012118 14319902720 20911 33554432000 4194304 4196468 140730953023792 140730953006336 140612779826935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
/proc/6496/statm: 3496070 20911 3763 1 0 3483785 0
[pid=6496/tid=6498] ppid=6493 vsize=13984280 memory=1728 CPUtime=0.66 cores=0,2,4,6
/proc/6496/task/6498/stat : 6498 (java) R 6493 6496 6269 0 -1 4202560 9218 0 0 0 63 3 0 0 20 0 15 0 117012118 14319902720 20911 33554432000 4194304 4196468 140730953023792 140612784051536 140612763907422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6499] ppid=6493 vsize=13984280 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6499/stat : 6499 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14319902720 20911 33554432000 4194304 4196468 140730953023792 140612736380048 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6500] ppid=6493 vsize=13984280 memory=796 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6500/stat : 6500 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14319902720 20911 33554432000 4194304 4196468 140730953023792 140612735327248 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6501] ppid=6493 vsize=13984280 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6501/stat : 6501 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14319902720 20911 33554432000 4194304 4196468 140730953023792 140612734274448 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6502] ppid=6493 vsize=13984280 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6502/stat : 6502 (java) S 6493 6496 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117012119 14319902720 20911 33554432000 4194304 4196468 140730953023792 140612372720400 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6503] ppid=6493 vsize=13984280 memory=8572 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6503/stat : 6503 (java) S 6493 6496 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117012120 14319902720 20911 33554432000 4194304 4196468 140730953023792 140611692231024 140612779838082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6504] ppid=6493 vsize=13984280 memory=5516 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6504/stat : 6504 (java) S 6493 6496 6269 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117012121 14319902720 20911 33554432000 4194304 4196468 140730953023792 140611691176992 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6505] ppid=6493 vsize=13984280 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6505/stat : 6505 (java) S 6493 6496 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117012121 14319902720 20911 33554432000 4194304 4196468 140730953023792 140611690124144 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6506] ppid=6493 vsize=13984280 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6506/stat : 6506 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117012123 14319902720 20911 33554432000 4194304 4196468 140730953023792 140611689072464 140612779845531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6507] ppid=6493 vsize=13984280 memory=7518026621751088999 CPUtime=0.11 cores=0,2,4,6
/proc/6496/task/6507/stat : 6507 (java) R 6493 6496 6269 0 -1 4202560 1065 0 0 0 11 0 0 0 20 0 15 0 117012123 14319902720 20911 33554432000 4194304 4196468 140730953023792 140611688004888 140612760527232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6508] ppid=6493 vsize=13984280 memory=7589803909226524263 CPUtime=0.14 cores=0,2,4,6
/proc/6496/task/6508/stat : 6508 (java) R 6493 6496 6269 0 -1 4202560 737 0 0 0 14 0 0 0 20 0 15 0 117012123 14319902720 20911 33554432000 4194304 4196468 140730953023792 140611686954072 140612757422096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6509] ppid=6493 vsize=13984280 memory=5787213827080022119 CPUtime=0.2 cores=0,2,4,6
/proc/6496/task/6509/stat : 6509 (java) R 6493 6496 6269 0 -1 1077944384 1111 0 0 0 20 0 0 0 20 0 15 0 117012123 14319902720 20911 33554432000 4194304 4196468 140730953023792 140611685915248 140612779838082 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6510] ppid=6493 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6510/stat : 6510 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117012124 14319902720 20911 33554432000 4194304 4196468 140730953023792 140611684862688 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6511] ppid=6493 vsize=13984280 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6511/stat : 6511 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012124 14319902720 20911 33554432000 4194304 4196468 140730953023792 140611683809968 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 83644 KiB
[startup+1.02606 s]
# the end of solver process 6496 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.12924 s, system=0.076849 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800796 s]
/proc/loadavg: 6.58 8.19 8.14 5/215 6511
/proc/meminfo: memFree=27995592/32770624 swapFree=67108860/67108860
[pid=6496] ppid=6493 vsize=13984280 memory=92012 CPUtime=1.51 cores=0,2,4,6
/proc/6496/stat : 6496 (java) S 6493 6496 6269 0 -1 1077944320 15109 0 0 0 145 6 0 0 20 0 15 0 117012118 14319902720 23003 33554432000 4194304 4196468 140730953023792 140730953006336 140612779826935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
/proc/6496/statm: 3496070 23003 3766 1 0 3483785 0
[pid=6496/tid=6498] ppid=6493 vsize=13984280 memory=8243114992657236055 CPUtime=0.77 cores=0,2,4,6
/proc/6496/task/6498/stat : 6498 (java) R 6493 6496 6269 0 -1 4202560 9989 0 0 0 73 4 0 0 20 0 15 0 117012118 14319902720 23003 33554432000 4194304 4196468 140730953023792 140612784064960 140612779838870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6499] ppid=6493 vsize=13984280 memory=288291094993830772 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6499/stat : 6499 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14319902720 23003 33554432000 4194304 4196468 140730953023792 140612736380048 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6500] ppid=6493 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6500/stat : 6500 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14319902720 23003 33554432000 4194304 4196468 140730953023792 140612735327248 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6501] ppid=6493 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6501/stat : 6501 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012119 14319902720 23003 33554432000 4194304 4196468 140730953023792 140612734274448 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6502] ppid=6493 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6502/stat : 6502 (java) S 6493 6496 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117012119 14319902720 23003 33554432000 4194304 4196468 140730953023792 140612372720400 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6503] ppid=6493 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6503/stat : 6503 (java) S 6493 6496 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117012120 14319902720 23003 33554432000 4194304 4196468 140730953023792 140611692231024 140612779838082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6504] ppid=6493 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6504/stat : 6504 (java) S 6493 6496 6269 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117012121 14319902720 23003 33554432000 4194304 4196468 140730953023792 140611691176992 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6505] ppid=6493 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6505/stat : 6505 (java) S 6493 6496 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117012121 14319902720 23003 33554432000 4194304 4196468 140730953023792 140611690124144 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6506] ppid=6493 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6506/stat : 6506 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117012123 14319902720 23003 33554432000 4194304 4196468 140730953023792 140611689072464 140612779845531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6507] ppid=6493 vsize=13984280 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/6496/task/6507/stat : 6507 (java) R 6493 6496 6269 0 -1 4202560 1472 0 0 0 21 0 0 0 20 0 15 0 117012123 14319902720 23003 33554432000 4194304 4196468 140730953023792 140611688007600 140612759670543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6508] ppid=6493 vsize=13984280 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/6496/task/6508/stat : 6508 (java) R 6493 6496 6269 0 -1 4202560 974 0 0 0 23 0 0 0 20 0 15 0 117012123 14319902720 23003 33554432000 4194304 4196468 140730953023792 140611686958432 140612763732940 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6509] ppid=6493 vsize=13984280 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/6496/task/6509/stat : 6509 (java) R 6493 6496 6269 0 -1 1077944384 1293 0 0 0 27 0 0 0 20 0 15 0 117012123 14319902720 23003 33554432000 4194304 4196468 140730953023792 140611685915248 140612779838082 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6510] ppid=6493 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6510/stat : 6510 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117012124 14319902720 23003 33554432000 4194304 4196468 140730953023792 140611684862688 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6511] ppid=6493 vsize=13984280 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6511/stat : 6511 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117012124 14319902720 23003 33554432000 4194304 4196468 140730953023792 140611683809968 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 92012 KiB
[startup+1.00069 s]*
/proc/loadavg: 6.58 8.19 8.14 5/215 6511
/proc/meminfo: memFree=27950448/32770624 swapFree=67108860/67108860
[pid=6496] ppid=6493 vsize=13985308 memory=113460 CPUtime=2.19 cores=0,2,4,6
/proc/6496/stat : 6496 (java) S 6493 6496 6269 0 -1 1077944320 17898 0 0 0 212 7 0 0 20 0 16 0 117012118 14320955392 28365 33554432000 4194304 4196468 140730953023792 140730953006336 140612779826935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
/proc/6496/statm: 3496327 28365 3770 1 0 3484042 0
[pid=6496/tid=6498] ppid=6493 vsize=13985308 memory=-8253362762721355408 CPUtime=0.97 cores=0,2,4,6
/proc/6496/task/6498/stat : 6498 (java) R 6493 6496 6269 0 -1 1077944384 10008 0 0 0 93 4 0 0 20 0 16 0 117012118 14320955392 28365 33554432000 4194304 4196468 140730953023792 140612784067744 140612779837141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6499] ppid=6493 vsize=13985308 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6499/stat : 6499 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 117012119 14320955392 28365 33554432000 4194304 4196468 140730953023792 140612736380048 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6500] ppid=6493 vsize=13985308 memory=140631415715456 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6500/stat : 6500 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 117012119 14320955392 28365 33554432000 4194304 4196468 140730953023792 140612735327248 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6501] ppid=6493 vsize=13985308 memory=7525347187634426213 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6501/stat : 6501 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 117012119 14320955392 28365 33554432000 4194304 4196468 140730953023792 140612734274448 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6502] ppid=6493 vsize=13985308 memory=4123102840530089266 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6502/stat : 6502 (java) S 6493 6496 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 117012119 14320955392 28365 33554432000 4194304 4196468 140730953023792 140612372720400 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6503] ppid=6493 vsize=13985308 memory=3976876487982131893 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6503/stat : 6503 (java) S 6493 6496 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 117012120 14320955392 28365 33554432000 4194304 4196468 140730953023792 140611692231024 140612779838082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6504] ppid=6493 vsize=13985308 memory=5983648970620232800 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6504/stat : 6504 (java) S 6493 6496 6269 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 117012121 14320955392 28365 33554432000 4194304 4196468 140730953023792 140611691176992 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6505] ppid=6493 vsize=13985308 memory=-7531822216213012384 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6505/stat : 6505 (java) S 6493 6496 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 117012121 14320955392 28365 33554432000 4194304 4196468 140730953023792 140611690124144 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6506] ppid=6493 vsize=13985308 memory=-7965959130280075168 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6506/stat : 6506 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 117012123 14320955392 28365 33554432000 4194304 4196468 140730953023792 140611689072464 140612779845531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6507] ppid=6493 vsize=13985308 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/6496/task/6507/stat : 6507 (java) R 6493 6496 6269 0 -1 4202560 2418 0 0 0 42 0 0 0 20 0 16 0 117012123 14320955392 28365 33554432000 4194304 4196468 140730953023792 140611688008400 140612763289320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6508] ppid=6493 vsize=13985308 memory=3472328296227680303 CPUtime=0.44 cores=0,2,4,6
/proc/6496/task/6508/stat : 6508 (java) R 6493 6496 6269 0 -1 4202560 2382 0 0 0 44 0 0 0 20 0 16 0 117012123 14320955392 28365 33554432000 4194304 4196468 140730953023792 140611686957840 140612765869074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6509] ppid=6493 vsize=13985308 memory=3471343027736553136 CPUtime=0.32 cores=0,2,4,6
/proc/6496/task/6509/stat : 6509 (java) S 6493 6496 6269 0 -1 1077944384 1709 0 0 0 32 0 0 0 20 0 16 0 117012123 14320955392 28365 33554432000 4194304 4196468 140730953023792 140611685915248 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6510] ppid=6493 vsize=13985308 memory=3688501078341464111 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6510/stat : 6510 (java) S 6493 6496 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 117012124 14320955392 28365 33554432000 4194304 4196468 140730953023792 140611684862688 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6511] ppid=6493 vsize=13985308 memory=140631415715456 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6511/stat : 6511 (java) S 6493 6496 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 117012124 14320955392 28365 33554432000 4194304 4196468 140730953023792 140611683809968 140612779838082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
[pid=6496/tid=6512] ppid=6493 vsize=13985308 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6496/task/6512/stat : 6512 (java) S 6493 6496 6269 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 16 0 117012219 14320955392 28365 33554432000 4194304 4196468 140730953023792 140611675622240 140612779837141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7630848 140730953032808 140730953032991 140730953032991 140730953035727 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 13985308 KiB
Current children cumulated memory: 113460 KiB
Child status: 0
Real time (s): 1.02613
CPU time (s): 2.20609
CPU user time (s): 2.12924
CPU system time (s): 0.076849
CPU usage (%): 214.991
Max. virtual memory (cumulated for all children) (KiB): 13985308
Max. memory (cumulated for all children) (KiB): 113460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.12924
system time used= 0.076849
maximum resident set size= 113944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17944
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= 1801
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 6496
# total CPU time (s): 2.20609
# total CPU user time (s): 2.12924
# total CPU system time (s): 0.076849
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03784 second user time and 0.061633 second system time
The end
Begin job on node104 at 2017-08-16 01:06:24 IDJOB=4274471 IDBENCH=126227 IDSOLVER=2667 FILE ID=node104/4274471-1502839243 RUNJOBID= node104-1502838367-6300 PBS_JOBID= 20629849 Free space on /tmp= 61748 MiB SOLVER NAME= OscaR - Hybrid 2017-07-26 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-07-a3.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-4274471-1502839243/watcher-4274471-1502839243 -o /tmp/evaluation-result-4274471-1502839243/solver-4274471-1502839243 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502838367-6300 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1855831693 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274471-1502839243.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7dfd3f139f05fe96cee61268ac0efa79 RANDOM SEED=1855831693 node104.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.43 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.43 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.43 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.43 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: 28044300 kB MemAvailable: 31791988 kB Buffers: 235900 kB Cached: 3788528 kB SwapCached: 0 kB Active: 883060 kB Inactive: 3380096 kB Active(anon): 241520 kB Inactive(anon): 25024 kB Active(file): 641540 kB Inactive(file): 3355072 kB Unevictable: 6532 kB Mlocked: 6532 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42468 kB Writeback: 16 kB AnonPages: 234692 kB Mapped: 60624 kB Shmem: 25228 kB Slab: 160284 kB SReclaimable: 133820 kB SUnreclaim: 26464 kB KernelStack: 3520 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1261192 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 139264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61704 MiB End job on node104 at 2017-08-16 01:06:25