Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | OPT | 11 | 9.1108599 | 3.18519 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml |
MD5SUM | 52bc390cc6b0904238f0f092c3eebf68 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 11 |
Best CPU time to get the best result obtained on this benchmark | 0.024444001 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 30 |
Number of constraints | 13 |
Number of domains | 2 |
Minimum domain size | 500 |
Maximum domain size | 501 |
Distribution of domain sizes | [{"size":500,"count":10},{"size":501,"count":5}] |
Minimum variable degree | 0 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":0,"count":15},{"degree":2,"count":10},{"degree":5,"count":3},{"degree":6,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":10},{"arity":5,"count":1},{"arity":10,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 11 |
Distribution of constraint types | [{"type":"intension","count":11},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.38/0.40 c version: 2017-07-26 0.38/0.40 c seed: 238742077 0.38/0.40 c timeout: 1920 0.38/0.40 c memlimit: 22000 0.38/0.40 c nbcore: 8 0.38/0.43 c Parsing instance... 0.73/0.68 c Parsing done, starting search... 5.77/2.70 o 500 5.77/2.70 o 499 5.77/2.70 o 498 5.77/2.70 o 497 5.77/2.70 o 496 5.77/2.71 o 495 5.77/2.71 o 494 5.77/2.71 o 493 5.77/2.71 o 492 5.77/2.71 o 491 5.77/2.72 o 490 5.77/2.72 o 489 5.77/2.72 o 488 5.77/2.72 o 487 5.77/2.72 o 486 5.77/2.72 o 485 5.77/2.72 o 484 5.77/2.72 o 483 5.77/2.72 o 482 5.77/2.73 o 481 5.77/2.73 o 480 5.77/2.73 o 479 5.77/2.73 o 478 5.77/2.73 o 477 5.77/2.73 o 476 5.77/2.73 o 475 5.77/2.73 o 474 5.77/2.73 o 473 5.77/2.73 o 472 5.77/2.73 o 471 5.77/2.73 o 470 5.77/2.73 o 469 5.77/2.73 o 468 5.77/2.73 o 467 5.77/2.73 o 466 5.77/2.73 o 465 5.77/2.74 o 464 5.77/2.74 o 463 5.77/2.74 o 462 5.77/2.74 o 461 5.77/2.74 o 460 5.77/2.74 o 459 5.77/2.74 o 458 5.77/2.74 o 457 5.77/2.74 o 456 5.77/2.75 o 455 5.77/2.76 o 454 5.77/2.76 o 453 5.77/2.76 o 452 5.77/2.76 o 451 5.77/2.76 o 450 5.77/2.76 o 449 5.77/2.76 o 448 5.77/2.76 o 447 5.77/2.76 o 446 5.77/2.76 o 445 5.77/2.76 o 444 5.77/2.76 o 443 5.77/2.76 o 442 5.77/2.76 o 441 5.77/2.76 o 440 5.77/2.77 o 439 5.77/2.77 o 438 5.77/2.77 o 437 5.77/2.77 o 436 5.77/2.77 o 435 5.77/2.77 o 434 5.77/2.77 o 433 5.77/2.77 o 432 5.77/2.77 o 431 5.77/2.77 o 430 5.77/2.77 o 429 5.77/2.77 o 428 5.77/2.77 o 427 5.77/2.78 o 426 5.77/2.78 o 425 5.77/2.78 o 424 5.77/2.78 o 423 5.77/2.78 o 422 5.77/2.78 o 421 5.77/2.78 o 420 5.77/2.78 o 419 5.77/2.78 o 418 5.77/2.79 o 417 5.77/2.79 o 416 5.77/2.79 o 415 5.77/2.79 o 414 5.77/2.79 o 413 5.77/2.79 o 412 5.77/2.79 o 411 5.77/2.79 o 410 5.77/2.79 o 409 5.77/2.79 o 408 5.77/2.79 o 407 5.77/2.79 o 406 5.77/2.79 o 405 5.77/2.80 o 404 5.77/2.80 o 403 6.46/2.80 o 402 6.46/2.80 o 401 6.46/2.80 o 400 6.46/2.80 o 399 6.46/2.80 o 398 6.46/2.80 o 397 6.46/2.80 o 396 6.46/2.80 o 395 6.46/2.80 o 394 6.46/2.80 o 393 6.46/2.80 o 392 6.46/2.80 o 391 6.46/2.81 o 390 6.46/2.81 o 389 6.46/2.81 o 388 6.46/2.81 o 387 6.46/2.81 o 386 6.46/2.81 o 385 6.46/2.81 o 384 6.46/2.81 o 383 6.46/2.81 o 382 6.46/2.81 o 381 6.46/2.81 o 380 6.46/2.81 o 379 6.46/2.81 o 378 6.46/2.81 o 377 6.46/2.81 o 376 6.46/2.81 o 375 6.46/2.81 o 374 6.46/2.81 o 373 6.46/2.81 o 372 6.46/2.82 o 371 6.46/2.82 o 370 6.46/2.82 o 369 6.46/2.82 o 368 6.46/2.82 o 367 6.46/2.82 o 366 6.46/2.82 o 365 6.46/2.82 o 364 6.46/2.82 o 363 6.46/2.82 o 362 6.46/2.82 o 361 6.46/2.82 o 360 6.46/2.82 o 359 6.46/2.82 o 358 6.46/2.82 o 357 6.46/2.82 o 356 6.46/2.82 o 355 6.46/2.83 o 354 6.46/2.83 o 353 6.46/2.83 o 352 6.46/2.83 o 351 6.46/2.83 o 350 6.46/2.83 o 349 6.46/2.84 o 348 6.46/2.84 o 347 6.46/2.84 o 346 6.46/2.85 o 345 6.46/2.85 o 344 6.46/2.85 o 343 6.46/2.85 o 342 6.46/2.85 o 341 6.46/2.85 o 340 6.46/2.85 o 339 6.46/2.85 o 338 6.46/2.85 o 337 6.46/2.85 o 336 6.46/2.85 o 335 6.46/2.85 o 334 6.46/2.85 o 333 6.46/2.85 o 332 6.46/2.85 o 331 6.46/2.85 o 330 6.46/2.85 o 329 6.46/2.85 o 328 6.46/2.85 o 327 6.46/2.85 o 326 6.46/2.85 o 325 6.46/2.85 o 324 6.46/2.85 o 323 6.46/2.85 o 322 6.46/2.86 o 321 6.46/2.86 o 320 6.46/2.86 o 319 6.46/2.86 o 318 6.46/2.86 o 317 6.46/2.86 o 316 6.46/2.86 o 315 6.46/2.86 o 314 6.46/2.86 o 313 6.46/2.86 o 312 6.46/2.86 o 311 6.46/2.86 o 310 6.46/2.86 o 309 6.46/2.86 o 308 6.46/2.86 o 307 6.46/2.86 o 306 6.46/2.86 o 305 6.46/2.86 o 304 6.46/2.86 o 303 6.46/2.86 o 302 6.46/2.86 o 301 6.46/2.87 o 300 6.46/2.87 o 299 6.46/2.87 o 298 6.46/2.87 o 297 6.46/2.87 o 296 6.46/2.87 o 295 6.46/2.87 o 294 6.46/2.87 o 293 6.46/2.87 o 292 6.46/2.87 o 291 6.46/2.87 o 290 6.46/2.87 o 289 6.46/2.87 o 288 6.46/2.87 o 287 6.46/2.87 o 286 6.46/2.87 o 285 6.46/2.87 o 284 6.46/2.87 o 283 6.46/2.87 o 282 6.46/2.87 o 281 6.46/2.87 o 280 6.46/2.87 o 279 6.46/2.87 o 278 6.46/2.87 o 277 6.46/2.88 o 276 6.46/2.88 o 275 6.46/2.88 o 274 6.46/2.88 o 273 6.46/2.88 o 272 6.46/2.88 o 271 6.46/2.88 o 270 6.46/2.88 o 269 6.46/2.88 o 268 6.46/2.88 o 267 6.46/2.88 o 266 6.46/2.88 o 265 6.46/2.88 o 264 6.46/2.88 o 263 6.46/2.88 o 262 6.46/2.88 o 261 6.46/2.88 o 260 6.46/2.88 o 259 6.46/2.89 o 258 6.46/2.89 o 257 6.46/2.89 o 256 6.46/2.89 o 255 6.46/2.89 o 254 6.46/2.89 o 253 6.46/2.89 o 252 6.46/2.89 o 251 6.46/2.89 o 250 6.46/2.89 o 249 6.46/2.89 o 248 6.46/2.89 o 247 6.46/2.89 o 246 6.46/2.89 o 245 6.46/2.89 o 244 6.46/2.89 o 243 6.46/2.89 o 242 6.46/2.89 o 241 6.46/2.89 o 240 7.08/2.90 o 239 7.08/2.90 o 238 7.08/2.90 o 237 7.08/2.90 o 236 7.08/2.90 o 235 7.08/2.90 o 234 7.08/2.90 o 233 7.08/2.90 o 232 7.08/2.90 o 231 7.08/2.90 o 230 7.08/2.90 o 229 7.08/2.90 o 228 7.08/2.90 o 227 7.08/2.90 o 226 7.08/2.90 o 225 7.08/2.90 o 224 7.08/2.90 o 223 7.08/2.90 o 222 7.08/2.90 o 221 7.08/2.90 o 220 7.08/2.90 o 219 7.08/2.90 o 218 7.08/2.90 o 217 7.08/2.90 o 216 7.08/2.90 o 215 7.08/2.90 o 214 7.08/2.90 o 213 7.08/2.90 o 212 7.08/2.91 o 211 7.08/2.91 o 210 7.08/2.91 o 209 7.08/2.91 o 208 7.08/2.91 o 207 7.08/2.91 o 206 7.08/2.91 o 205 7.08/2.91 o 204 7.08/2.91 o 203 7.08/2.91 o 202 7.08/2.91 o 201 7.08/2.91 o 200 7.08/2.91 o 199 7.08/2.91 o 198 7.08/2.91 o 197 7.08/2.91 o 196 7.08/2.91 o 195 7.08/2.91 o 194 7.08/2.91 o 193 7.08/2.91 o 192 7.08/2.91 o 191 7.08/2.91 o 190 7.08/2.91 o 189 7.08/2.91 o 188 7.08/2.91 o 187 7.08/2.91 o 186 7.08/2.91 o 185 7.08/2.91 o 184 7.08/2.91 o 183 7.08/2.91 o 182 7.08/2.92 o 181 7.08/2.92 o 180 7.08/2.92 o 179 7.08/2.92 o 178 7.08/2.92 o 177 7.08/2.92 o 176 7.08/2.92 o 175 7.08/2.92 o 174 7.08/2.92 o 173 7.08/2.92 o 172 7.08/2.92 o 171 7.08/2.92 o 170 7.08/2.92 o 169 7.08/2.92 o 168 7.08/2.92 o 167 7.08/2.92 o 166 7.08/2.92 o 165 7.08/2.92 o 164 7.08/2.92 o 163 7.08/2.92 o 162 7.08/2.92 o 161 7.08/2.92 o 160 7.08/2.92 o 159 7.08/2.92 o 158 7.08/2.92 o 157 7.08/2.92 o 156 7.08/2.92 o 155 7.08/2.93 o 154 7.08/2.93 o 153 7.08/2.93 o 152 7.08/2.93 o 151 7.08/2.93 o 150 7.08/2.93 o 149 7.08/2.93 o 148 7.08/2.93 o 147 7.08/2.93 o 146 7.08/2.93 o 145 7.08/2.93 o 144 7.08/2.93 o 143 7.08/2.93 o 142 7.08/2.93 o 141 7.08/2.93 o 140 7.08/2.93 o 139 7.08/2.93 o 138 7.08/2.93 o 137 7.08/2.93 o 136 7.08/2.93 o 135 7.08/2.93 o 134 7.08/2.93 o 133 7.08/2.93 o 132 7.08/2.93 o 131 7.08/2.93 o 130 7.08/2.93 o 129 7.08/2.93 o 128 7.08/2.93 o 127 7.08/2.93 o 126 7.08/2.94 o 125 7.08/2.94 o 124 7.08/2.94 o 123 7.08/2.94 o 122 7.08/2.94 o 121 7.08/2.94 o 120 7.08/2.94 o 119 7.08/2.94 o 118 7.08/2.94 o 117 7.08/2.94 o 116 7.08/2.94 o 115 7.08/2.94 o 114 7.08/2.94 o 113 7.08/2.94 o 112 7.08/2.94 o 111 7.08/2.94 o 110 7.08/2.94 o 109 7.08/2.94 o 108 7.08/2.94 o 107 7.08/2.94 o 106 7.08/2.94 o 105 7.08/2.95 o 104 7.08/2.95 o 103 7.08/2.95 o 102 7.08/2.95 o 101 7.08/2.95 o 100 7.08/2.95 o 99 7.08/2.95 o 98 7.08/2.95 o 97 7.08/2.95 o 96 7.08/2.95 o 95 7.08/2.95 o 94 7.08/2.95 o 93 7.08/2.95 o 92 7.08/2.95 o 91 7.08/2.95 o 90 7.08/2.95 o 89 7.08/2.95 o 88 7.08/2.95 o 87 7.08/2.95 o 86 7.08/2.95 o 85 7.08/2.95 o 84 7.08/2.95 o 83 7.08/2.95 o 82 7.08/2.95 o 81 7.08/2.95 o 80 7.08/2.95 o 79 7.08/2.95 o 78 7.08/2.95 o 77 7.08/2.95 o 76 7.08/2.95 o 75 7.08/2.95 o 74 7.08/2.95 o 73 7.08/2.95 o 72 7.08/2.95 o 71 7.08/2.96 o 70 7.08/2.96 o 69 7.08/2.96 o 68 7.08/2.96 o 67 7.08/2.96 o 66 7.08/2.96 o 65 7.08/2.96 o 64 7.08/2.96 o 63 7.08/2.96 o 62 7.08/2.96 o 61 7.08/2.96 o 60 7.08/2.96 o 59 7.08/2.96 o 58 7.08/2.96 o 57 7.08/2.96 o 56 7.08/2.96 o 55 7.08/2.96 o 54 7.08/2.96 o 53 7.08/2.96 o 52 7.08/2.96 o 51 7.08/2.96 o 50 7.08/2.96 o 49 7.08/2.96 o 48 7.08/2.96 o 47 7.08/2.96 o 46 7.08/2.96 o 45 7.08/2.96 o 44 7.08/2.96 o 43 7.08/2.97 o 42 7.08/2.97 o 41 7.08/2.97 o 40 7.08/2.97 o 39 7.08/2.97 o 38 7.08/2.97 o 37 7.08/2.98 o 36 7.08/2.98 o 35 7.08/2.98 o 34 7.08/2.98 o 33 7.08/2.98 o 32 7.08/2.98 o 31 7.08/2.98 o 30 7.08/2.98 o 29 7.08/2.98 o 28 7.08/2.98 o 27 7.08/2.98 o 26 7.08/2.98 o 25 7.08/2.98 o 24 7.08/2.98 o 23 7.08/2.98 o 22 7.08/2.98 o 21 7.08/2.98 o 20 7.08/2.99 o 19 7.08/2.99 o 18 7.95/3.01 o 17 7.95/3.01 o 16 7.95/3.03 o 15 7.95/3.03 o 14 7.95/3.05 o 13 7.95/3.08 o 12 8.66/3.10 o 11 8.66/3.16 s OPTIMUM FOUND 8.66/3.16 v <instantiation> 8.66/3.16 v <list> 8.66/3.16 v x[0] x[1] x[2] x[3] x[4] y[0][1] y[0][2] y[0][3] y[0][4] y[1][2] y[1][3] y[1][4] y[2][3] y[2][4] y[3][4] 8.66/3.16 v </list> 8.66/3.16 v <values> 8.66/3.16 v 0 2 7 8 11 2 7 8 11 5 6 9 1 4 3 8.66/3.16 v </values> 8.66/3.16 v </instantiation>
OK 11
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256992-1501684668/watcher-4256992-1501684668 -o /tmp/evaluation-result-4256992-1501684668/solver-4256992-1501684668 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 238742077 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4256992-1501684668.xml pid=18519 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.81 8.46 8.16 1/173 18522 /proc/meminfo: memFree=31712340/32770624 swapFree=0/271480 [pid=18522] ppid=18519 vsize=23672 CPUtime=0 cores=0-7 /proc/18522/stat : 18522 (runsolver) D 18519 18522 31142 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 17089843 24240128 106 18446744073709551615 4194304 4338465 140726287308256 140726287305896 139697889948375 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 29876224 140726287315044 140726287315523 140726287315523 140726287318986 0 /proc/18522/statm: 5918 106 53 36 0 2156 0 [startup+0.100087 s] /proc/loadavg: 8.81 8.46 8.16 1/173 18522 /proc/meminfo: memFree=31712340/32770624 swapFree=0/271480 [pid=18522] ppid=18519 vsize=25298128 CPUtime=0 cores=0-7 /proc/18522/stat : 18522 (java) S 18519 18522 31142 0 -1 1077944320 2496 0 0 0 0 0 0 0 20 0 10 0 17089843 25905283072 2169 18446744073709551615 4194304 4196468 140728945851184 140728945833728 139705256959735 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 /proc/18522/statm: 6324532 2169 1200 1 0 6314510 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 25298128 [startup+0.20033 s] /proc/loadavg: 8.81 8.46 8.16 1/173 18522 /proc/meminfo: memFree=31712340/32770624 swapFree=0/271480 [pid=18522] ppid=18519 vsize=25927168 CPUtime=0.06 cores=0-7 /proc/18522/stat : 18522 (java) S 18519 18522 31142 0 -1 1077944320 4877 0 0 0 5 1 0 0 20 0 19 0 17089843 26549420032 5398 18446744073709551615 4194304 4196468 140728945851184 140728945833728 139705256959735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 /proc/18522/statm: 6481792 5398 2568 1 0 6471297 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 25927168 [startup+0.300268 s] /proc/loadavg: 8.81 8.46 8.16 1/173 18522 /proc/meminfo: memFree=31712340/32770624 swapFree=0/271480 [pid=18522] ppid=18519 vsize=25996604 CPUtime=0.21 cores=0-7 /proc/18522/stat : 18522 (java) S 18519 18522 31142 0 -1 1077944320 9944 0 0 0 18 3 0 0 20 0 20 0 17089843 26620522496 8746 18446744073709551615 4194304 4196468 140728945851184 140728945833728 139705256959735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 /proc/18522/statm: 6499151 8746 3505 1 0 6487938 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 25996604 [startup+0.700178 s] /proc/loadavg: 8.81 8.46 8.16 1/173 18522 /proc/meminfo: memFree=31712340/32770624 swapFree=0/271480 [pid=18522] ppid=18519 vsize=25998672 CPUtime=0.91 cores=0-7 /proc/18522/stat : 18522 (java) S 18519 18522 31142 0 -1 1077944320 14142 0 0 0 86 5 0 0 20 0 20 0 17089843 26622640128 16330 18446744073709551615 4194304 4196468 140728945851184 140728945833728 139705256959735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 /proc/18522/statm: 6499668 16330 3712 1 0 6488450 0 Current children cumulated CPU time (s) 0.91 Current children cumulated vsize (KiB) 25998672 [startup+1.50078 s] /proc/loadavg: 8.19 8.33 8.12 4/193 18542 /proc/meminfo: memFree=31582164/32770624 swapFree=0/271496 [pid=18522] ppid=18519 vsize=26002768 CPUtime=3.35 cores=0-7 /proc/18522/stat : 18522 (java) S 18519 18522 31142 0 -1 1077944320 31885 0 0 0 321 14 0 0 20 0 20 0 17089843 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 140728945833728 139705256959735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 /proc/18522/statm: 6500692 57293 3767 1 0 6489474 0 [pid=18522/tid=18524] ppid=18519 vsize=26002768 CPUtime=1.3 cores=0-7 /proc/18522/task/18524/stat : 18524 (java) R 18519 18522 31142 0 -1 4202560 14116 0 0 0 124 6 0 0 20 0 20 0 17089852 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139705261196672 140728946334953 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18525] ppid=18519 vsize=26002768 CPUtime=0 cores=0-7 /proc/18522/task/18525/stat : 18525 (java) S 18519 18522 31142 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 17089853 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139704819796880 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18526] ppid=18519 vsize=26002768 CPUtime=0 cores=0-7 /proc/18522/task/18526/stat : 18526 (java) S 18519 18522 31142 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 17089853 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139704818744080 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18527] ppid=18519 vsize=26002768 CPUtime=0 cores=0-7 /proc/18522/task/18527/stat : 18527 (java) S 18519 18522 31142 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 17089853 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139704817691792 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18528] ppid=18519 vsize=26002768 CPUtime=0.01 cores=0-7 /proc/18522/task/18528/stat : 18528 (java) S 18519 18522 31142 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 17089853 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139704816638992 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18529] ppid=18519 vsize=26002768 CPUtime=0 cores=0-7 /proc/18522/task/18529/stat : 18529 (java) S 18519 18522 31142 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 20 0 17089853 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139704815585680 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18530] ppid=18519 vsize=26002768 CPUtime=0.02 cores=0-7 /proc/18522/task/18530/stat : 18530 (java) S 18519 18522 31142 0 -1 1077944384 72 0 0 0 2 0 0 0 20 0 20 0 17089853 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139704814532880 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18531] ppid=18519 vsize=26002768 CPUtime=0.02 cores=0-7 /proc/18522/task/18531/stat : 18531 (java) S 18519 18522 31142 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 17089853 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139704813480592 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18532] ppid=18519 vsize=26002768 CPUtime=0.02 cores=0-7 /proc/18522/task/18532/stat : 18532 (java) S 18519 18522 31142 0 -1 1077944384 33 0 0 0 2 0 0 0 20 0 20 0 17089853 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139704812427792 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18533] ppid=18519 vsize=26002768 CPUtime=0 cores=0-7 /proc/18522/task/18533/stat : 18533 (java) S 18519 18522 31142 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 17089854 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139703870257776 139705256970882 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18534] ppid=18519 vsize=26002768 CPUtime=0 cores=0-7 /proc/18522/task/18534/stat : 18534 (java) S 18519 18522 31142 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 17089855 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139703869203808 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18535] ppid=18519 vsize=26002768 CPUtime=0 cores=0-7 /proc/18522/task/18535/stat : 18535 (java) S 18519 18522 31142 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 17089855 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139703868151424 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18536] ppid=18519 vsize=26002768 CPUtime=0 cores=0-7 /proc/18522/task/18536/stat : 18536 (java) S 18519 18522 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17089857 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139703867099728 139705256978331 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18537] ppid=18519 vsize=26002768 CPUtime=0.46 cores=0-7 /proc/18522/task/18537/stat : 18537 (java) S 18519 18522 31142 0 -1 1077944384 4151 0 0 0 45 1 0 0 20 0 20 0 17089857 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139703866046576 139705256970882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18538] ppid=18519 vsize=26002768 CPUtime=0.46 cores=0-7 /proc/18522/task/18538/stat : 18538 (java) S 18519 18522 31142 0 -1 1077944384 3151 0 0 0 46 0 0 0 20 0 20 0 17089857 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139703864993776 139705256970882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18539] ppid=18519 vsize=26002768 CPUtime=0.54 cores=0-7 /proc/18522/task/18539/stat : 18539 (java) S 18519 18522 31142 0 -1 1077944384 3244 0 0 0 54 0 0 0 20 0 20 0 17089857 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139703863941488 139705256970882 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18540] ppid=18519 vsize=26002768 CPUtime=0.4 cores=0-7 /proc/18522/task/18540/stat : 18540 (java) S 18519 18522 31142 0 -1 1077944384 5066 0 0 0 38 2 0 0 20 0 20 0 17089857 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139703862888688 139705256970882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18541] ppid=18519 vsize=26002768 CPUtime=0 cores=0-7 /proc/18522/task/18541/stat : 18541 (java) S 18519 18522 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17089857 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139703861836640 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18542] ppid=18519 vsize=26002768 CPUtime=0 cores=0-7 /proc/18522/task/18542/stat : 18542 (java) S 18519 18522 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17089863 26626834432 57293 18446744073709551615 4194304 4196468 140728945851184 139703860783920 139705256970882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 Current children cumulated CPU time (s) 3.35 Current children cumulated vsize (KiB) 26002768 [startup+3.10079 s] /proc/loadavg: 8.19 8.33 8.12 2/194 18543 /proc/meminfo: memFree=31328432/32770624 swapFree=0/271500 [pid=18522] ppid=18519 vsize=27739612 CPUtime=8.66 cores=0-7 /proc/18522/stat : 18522 (java) S 18519 18522 31142 0 -1 1077944320 43979 0 0 0 826 40 0 0 20 0 46 0 17089843 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 140728945833728 139705256959735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 /proc/18522/statm: 6934903 110021 3792 1 0 6923164 0 [pid=18522/tid=18524] ppid=18519 vsize=27739612 CPUtime=2.37 cores=0-7 /proc/18522/task/18524/stat : 18524 (java) S 18519 18522 31142 0 -1 1077944384 17455 0 0 0 229 8 0 0 20 0 46 0 17089852 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139705261197440 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18525] ppid=18519 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/18522/task/18525/stat : 18525 (java) S 18519 18522 31142 0 -1 1077944384 85 0 0 0 5 3 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704819796880 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18526] ppid=18519 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/18522/task/18526/stat : 18526 (java) S 18519 18522 31142 0 -1 1077944384 89 0 0 0 4 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704818744080 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18527] ppid=18519 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/18522/task/18527/stat : 18527 (java) S 18519 18522 31142 0 -1 1077944384 95 0 0 0 4 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704817691792 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18528] ppid=18519 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/18522/task/18528/stat : 18528 (java) S 18519 18522 31142 0 -1 1077944384 90 0 0 0 6 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704816638992 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18529] ppid=18519 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/18522/task/18529/stat : 18529 (java) S 18519 18522 31142 0 -1 1077944384 281 0 0 0 4 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704815585680 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18530] ppid=18519 vsize=27739612 CPUtime=0.09 cores=0-7 /proc/18522/task/18530/stat : 18530 (java) S 18519 18522 31142 0 -1 1077944384 267 0 0 0 7 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704814532880 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18531] ppid=18519 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/18522/task/18531/stat : 18531 (java) S 18519 18522 31142 0 -1 1077944384 163 0 0 0 6 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704813480592 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18532] ppid=18519 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/18522/task/18532/stat : 18532 (java) S 18519 18522 31142 0 -1 1077944384 88 0 0 0 6 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704812427792 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18533] ppid=18519 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/18522/task/18533/stat : 18533 (java) S 18519 18522 31142 0 -1 1077944384 583 0 0 0 1 0 0 0 20 0 46 0 17089854 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703870257776 139705256970882 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18534] ppid=18519 vsize=27739612 CPUtime=0 cores=0-7 /proc/18522/task/18534/stat : 18534 (java) S 18519 18522 31142 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 17089855 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703869203808 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18535] ppid=18519 vsize=27739612 CPUtime=0 cores=0-7 /proc/18522/task/18535/stat : 18535 (java) S 18519 18522 31142 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 17089855 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703868151424 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18536] ppid=18519 vsize=27739612 CPUtime=0 cores=0-7 /proc/18522/task/18536/stat : 18536 (java) S 18519 18522 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703867099728 139705256978331 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18537] ppid=18519 vsize=27739612 CPUtime=0.85 cores=0-7 /proc/18522/task/18537/stat : 18537 (java) R 18519 18522 31142 0 -1 4202560 5408 0 0 0 84 1 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703866032456 139705242076902 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18538] ppid=18519 vsize=27739612 CPUtime=0.93 cores=0-7 /proc/18522/task/18538/stat : 18538 (java) R 18519 18522 31142 0 -1 4202560 4643 0 0 0 92 1 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703864994072 139705241346790 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18539] ppid=18519 vsize=27739612 CPUtime=1.05 cores=0-7 /proc/18522/task/18539/stat : 18539 (java) R 18519 18522 31142 0 -1 4202560 3884 0 0 0 104 1 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703863928928 139705242987909 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18540] ppid=18519 vsize=27739612 CPUtime=0.7 cores=0-7 /proc/18522/task/18540/stat : 18540 (java) S 18519 18522 31142 0 -1 1077944384 8101 0 0 0 68 2 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703862888688 139705256970882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18541] ppid=18519 vsize=27739612 CPUtime=0 cores=0-7 /proc/18522/task/18541/stat : 18541 (java) S 18519 18522 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703861836640 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18542] ppid=18519 vsize=27739612 CPUtime=0 cores=0-7 /proc/18522/task/18542/stat : 18542 (java) S 18519 18522 31142 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 46 0 17089863 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703860783920 139705256970882 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18543] ppid=18519 vsize=27739612 CPUtime=0.03 cores=0-7 /proc/18522/task/18543/stat : 18543 (java) R 18519 18522 31142 0 -1 1077944384 58 0 0 0 3 0 0 0 20 0 46 0 17090082 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703850497328 139705256969941 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 Current children cumulated CPU time (s) 8.66 Current children cumulated vsize (KiB) 27739612 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18522 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.10079 s] /proc/loadavg: 8.19 8.33 8.12 2/194 18543 /proc/meminfo: memFree=31328432/32770624 swapFree=0/271500 [pid=18522] ppid=18519 vsize=27739612 CPUtime=8.66 cores=0-7 /proc/18522/stat : 18522 (java) S 18519 18522 31142 0 -1 1077944320 43979 0 0 0 826 40 0 0 20 0 46 0 17089843 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 140728945833728 139705256959735 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 /proc/18522/statm: 6934903 110021 3792 1 0 6923164 0 [pid=18522/tid=18524] ppid=18519 vsize=27739612 CPUtime=2.37 cores=0-7 /proc/18522/task/18524/stat : 18524 (java) S 18519 18522 31142 0 -1 1077944384 17455 0 0 0 229 8 0 0 20 0 46 0 17089852 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139705261197440 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18525] ppid=18519 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/18522/task/18525/stat : 18525 (java) S 18519 18522 31142 0 -1 1077944384 85 0 0 0 5 3 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704819796880 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18526] ppid=18519 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/18522/task/18526/stat : 18526 (java) S 18519 18522 31142 0 -1 1077944384 89 0 0 0 4 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704818744080 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18527] ppid=18519 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/18522/task/18527/stat : 18527 (java) S 18519 18522 31142 0 -1 1077944384 95 0 0 0 4 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704817691792 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18528] ppid=18519 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/18522/task/18528/stat : 18528 (java) S 18519 18522 31142 0 -1 1077944384 90 0 0 0 6 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704816638992 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18529] ppid=18519 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/18522/task/18529/stat : 18529 (java) S 18519 18522 31142 0 -1 1077944384 281 0 0 0 4 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704815585680 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18530] ppid=18519 vsize=27739612 CPUtime=0.09 cores=0-7 /proc/18522/task/18530/stat : 18530 (java) S 18519 18522 31142 0 -1 1077944384 267 0 0 0 7 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704814532880 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18531] ppid=18519 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/18522/task/18531/stat : 18531 (java) S 18519 18522 31142 0 -1 1077944384 163 0 0 0 6 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704813480592 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18532] ppid=18519 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/18522/task/18532/stat : 18532 (java) S 18519 18522 31142 0 -1 1077944384 88 0 0 0 6 2 0 0 20 0 46 0 17089853 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139704812427792 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18533] ppid=18519 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/18522/task/18533/stat : 18533 (java) S 18519 18522 31142 0 -1 1077944384 583 0 0 0 1 0 0 0 20 0 46 0 17089854 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703870257776 139705256970882 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18534] ppid=18519 vsize=27739612 CPUtime=0 cores=0-7 /proc/18522/task/18534/stat : 18534 (java) S 18519 18522 31142 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 17089855 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703869203808 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18535] ppid=18519 vsize=27739612 CPUtime=0 cores=0-7 /proc/18522/task/18535/stat : 18535 (java) S 18519 18522 31142 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 17089855 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703868151424 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18536] ppid=18519 vsize=27739612 CPUtime=0 cores=0-7 /proc/18522/task/18536/stat : 18536 (java) S 18519 18522 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703867099728 139705256978331 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18537] ppid=18519 vsize=27739612 CPUtime=0.85 cores=0-7 /proc/18522/task/18537/stat : 18537 (java) R 18519 18522 31142 0 -1 4202560 5408 0 0 0 84 1 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703866032456 139705242076902 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18538] ppid=18519 vsize=27739612 CPUtime=0.93 cores=0-7 /proc/18522/task/18538/stat : 18538 (java) R 18519 18522 31142 0 -1 4202560 4643 0 0 0 92 1 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703864994072 139705241346790 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18539] ppid=18519 vsize=27739612 CPUtime=1.05 cores=0-7 /proc/18522/task/18539/stat : 18539 (java) R 18519 18522 31142 0 -1 4202560 3884 0 0 0 104 1 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703863928928 139705242987909 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18540] ppid=18519 vsize=27739612 CPUtime=0.7 cores=0-7 /proc/18522/task/18540/stat : 18540 (java) S 18519 18522 31142 0 -1 1077944384 8101 0 0 0 68 2 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703862888688 139705256970882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18541] ppid=18519 vsize=27739612 CPUtime=0 cores=0-7 /proc/18522/task/18541/stat : 18541 (java) S 18519 18522 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 17089857 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703861836640 139705256969941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18542] ppid=18519 vsize=27739612 CPUtime=0 cores=0-7 /proc/18522/task/18542/stat : 18542 (java) S 18519 18522 31142 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 46 0 17089863 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703860783920 139705256970882 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 [pid=18522/tid=18543] ppid=18519 vsize=27739612 CPUtime=0.03 cores=0-7 /proc/18522/task/18543/stat : 18543 (java) R 18519 18522 31142 0 -1 1077944384 58 0 0 0 3 0 0 0 20 0 46 0 17090082 28405362688 110021 18446744073709551615 4194304 4196468 140728945851184 139703850497328 139705256969941 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15474688 140728945852816 140728945853000 140728945853000 140728945856463 0 Current children cumulated CPU time (s) 8.66 Current children cumulated vsize (KiB) 27739612 Child status: 0 Real time (s): 3.18519 CPU time (s): 9.11086 CPU user time (s): 8.69388 CPU system time (s): 0.416982 CPU usage (%): 286.039 Max. virtual memory (cumulated for all children) (KiB): 27739612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.69388 system time used= 0.416982 maximum resident set size= 443092 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44382 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8917 involuntary context switches= 546 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.015523 second user time and 0.026906 second system time The end
Begin job on node129 at 2017-08-02 16:23:48 IDJOB=4256992 IDBENCH=126209 IDSOLVER=2641 FILE ID=node129/4256992-1501684668 RUNJOBID= node129-1501676508-31199 PBS_JOBID= Free space on /tmp= 61776 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-05-a3.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256992-1501684668/watcher-4256992-1501684668 -o /tmp/evaluation-result-4256992-1501684668/solver-4256992-1501684668 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 238742077 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4256992-1501684668.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 52bc390cc6b0904238f0f092c3eebf68 RANDOM SEED=238742077 node129.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.53 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.57 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.53 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.57 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.53 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.57 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.53 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31712472 kB MemAvailable: 32015160 kB Buffers: 138552 kB Cached: 451828 kB SwapCached: 0 kB Active: 356396 kB Inactive: 288196 kB Active(anon): 54764 kB Inactive(anon): 16716 kB Active(file): 301632 kB Inactive(file): 271480 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42440 kB Writeback: 0 kB AnonPages: 53960 kB Mapped: 30912 kB Shmem: 17064 kB Slab: 115336 kB SReclaimable: 90820 kB SUnreclaim: 24516 kB KernelStack: 3136 kB PageTables: 4340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 286940 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: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61732 MiB End job on node129 at 2017-08-02 16:23:51