213.23/207.14 c root propagations : 372
213.23/207.14 c restarts enabled, print stats at every restarts
213.23/207.14 c
213.23/207.14 c
213.23/207.14 c
213.23/207.14 c This is cosoco 2.00 --
213.23/207.14 c
213.23/207.14 c command line: cosoco -model -nbcores=8 HOME/instance-4398046-1568606199.xml
213.23/207.14 c ========================================[ Problem Statistics ]===========================================
213.23/207.14 c |
213.23/207.14 c | Parse time : 203.75 s
213.23/207.14 c |
213.23/207.14 c | Variables: 1024
213.23/207.14 c | Domain Sizes: 2..2
213.23/207.14 c |
213.23/207.14 c | Constraints: 64
213.23/207.14 c | Arity: 32..32
213.23/207.14 c |
213.23/207.14 c | Types:
213.23/207.14 c | Extension: 64 (nb tuples: 1..1307504) -- (shared: 16)
213.23/207.14 c |
213.23/207.14 c =========================================================================================================
213.23/207.14 c Parallel mode: Portfolio
213.23/207.14 c [pFactory][Group N°0] created (threads:8).
213.23/207.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
213.23/207.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
213.23/207.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
213.23/207.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
213.23/207.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
213.23/207.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
213.23/207.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
213.23/207.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
213.23/207.14 c [pFactory][Group N°0] concurrent mode: enabled.
213.23/207.14 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
213.23/207.14 c [pFactory][Group N°0] task 7 launched on thread 0.
213.23/207.14 c [pFactory][Group N°0] task 6 launched on thread 2.
213.23/207.14 c [pFactory][Group N°0] task 5 launched on thread 1.
213.23/207.14 c [pFactory][Group N°0] task 4 launched on thread 7.
213.23/207.14 c [pFactory][Group N°0] task 3 launched on thread 6.
213.23/207.14 c [pFactory][Group N°0] task 2 launched on thread 4.
213.23/207.14 c [pFactory][Group N°0] task 1 launched on thread 5.
213.23/207.14 c [pFactory][Group N°0] task 0 launched on thread 3.
213.23/207.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
213.23/207.15 c root propagations : 372
213.23/207.15 c restarts enabled, print stats at every restarts
213.23/207.15 c
213.23/207.15 c
213.23/207.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
213.23/207.15 c 0 2 265 374 372 0 0 0 0
213.23/207.16 c 0 4 267 376 372 0 0 0 0
213.23/207.16 c 0 10 277 382 372 0 0 0 0
213.23/207.16 c 0 2 266 375 372 0 0 0 0
213.23/207.16 c 0 27 309 399 372 0 0 0 0
213.23/207.16 c 0 30 313 402 372 0 0 0 0
213.23/207.16 c 0 36 323 408 372 0 0 0 0
213.23/207.16 c 0 38 325 410 372 0 0 0 0
213.23/207.16 c root propagations : 372
213.23/207.16 c restarts enabled, print stats at every restarts
213.23/207.16 c
213.23/207.16 c
213.23/207.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
213.23/207.16 c 0 4 274 384 372 0 0 0 0
213.23/207.16 c 0 49 345 421 372 0 0 0 0
213.23/207.16 c 0 55 355 427 372 0 0 0 0
213.23/207.17 c 0 63 369 435 372 0 0 0 0
213.23/207.17 c 0 66 373 438 372 0 0 0 0
213.23/207.17 c 0 6 277 387 372 0 0 0 0
213.23/207.17 c 0 73 385 445 372 0 0 0 0
213.23/207.17 c 0 82 401 454 372 0 0 0 0
213.23/207.17 c 0 85 405 457 372 0 0 0 0
213.23/207.17 c 0 89 411 461 372 0 0 0 0
213.23/207.17 c 0 93 417 465 372 0 0 0 0
213.23/207.17 c 0 98 425 470 372 0 0 0 0
213.23/207.17 c 0 100 427 472 372 0 0 0 0
213.23/207.17 c 0 8 284 396 372 0 0 0 0
213.23/207.17 c 0 109 443 481 372 0 0 0 0
213.23/207.18 c 0 123 469 495 372 0 0 0 0
213.23/207.18 c 0 10 287 399 372 0 0 0 0
213.23/207.18 c 0 135 491 507 372 0 0 0 0
213.23/207.18 c 0 144 507 516 372 0 0 0 0
213.23/207.18 c 0 156 529 528 372 0 0 0 0
213.23/207.18 c 0 157 529 529 372 0 0 0 0
213.23/207.18 c root propagations : 372
213.23/207.18 c restarts enabled, print stats at every restarts
213.23/207.18 c
213.23/207.18 c
213.23/207.18 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
213.23/207.18 c 0 158 531 531 373 0 0 0 0
213.23/207.18 c 0 159 531 532 373 0 0 0 0
213.23/207.18 c 0 28 319 401 373 0 0 0 0
213.23/207.18 c 0 12 296 408 372 0 0 0 0
213.23/207.19 c 0 30 321 403 373 0 0 0 0
213.23/207.19 c 0 31 321 404 373 0 0 0 0
213.23/207.19 c 0 32 321 405 373 0 0 0 0
213.23/207.19 c 0 33 321 406 373 0 0 0 0
213.23/207.19 c 0 42 337 415 373 0 0 0 0
213.23/207.19 c 0 43 337 416 373 0 0 0 0
213.23/207.19 c 0 180 571 553 373 0 0 0 0
213.23/207.19 c 0 45 339 418 373 0 0 0 0
213.23/207.19 c 0 14 301 412 373 0 0 0 0
213.23/207.19 c 0 183 575 556 373 0 0 0 0
213.23/207.19 c 0 194 595 567 373 0 0 0 0
213.23/207.19 c 0 55 357 428 373 0 0 0 0
213.23/207.19 c 0 199 603 572 373 0 0 0 0
213.23/207.19 c 0 59 363 432 373 0 0 0 0
213.23/207.19 c 0 62 367 435 373 0 0 0 0
213.23/207.19 c 0 205 613 578 373 0 0 0 0
213.23/207.19 c 0 16 309 421 373 0 0 0 0
213.23/207.19 c 0 75 391 448 373 0 0 0 0
213.23/207.19 c 0 222 645 595 373 0 0 0 0
213.92/207.20 c 0 240 679 613 373 0 0 0 0
213.92/207.20 c 0 94 427 467 373 0 0 0 0
213.92/207.20 c 0 18 312 424 373 0 0 0 0
213.92/207.20 c 0 97 431 470 373 0 0 0 0
213.92/207.20 c 0 247 691 620 373 0 0 0 0
213.92/207.20 c 0 261 717 634 373 0 0 0 0c
213.92/207.20 0108 451 481 373 0 0 0 0
213.92/207.21 c 0 263 719 636 373 0 0 0 0
213.92/207.21 c 0 264 719 637 373 0 0 0 0
213.92/207.21 c 0 110 453 483 373 0 0 0 0
213.92/207.21 c 0 268 725 641 373 0 0 0 0
213.92/207.21 c 0 115 461 488 373 0 0 0 0
213.92/207.21 c 0 20 319 433 373 0 0 0 0
213.92/207.21 c 0 129 487 502 373 0 0 0 0
213.92/207.21 c 0 287 761 660 373 0 0 0 0
213.92/207.21 c 0 22 322 436 373 0 0 0 0
213.92/207.22 c 0 24 331 445 373 0 0 0 0
213.92/207.22 c 0 309 803 682 373 0 0 0 0
213.92/207.22 c 0 151 529 524 373 0 0 0 0
213.92/207.22 c 0 313 809 686 373 0 0 0 0
213.92/207.22 c 0 153 531 526 373 0 0 0 0
213.92/207.23 c 0 26 334 448 373 0 0 0 0
217.88/207.79 c 32 1018 4330 5929 373 0 375 484 419
218.65/207.84 c 33 1019 4439 6069 373 0 1 1 0
218.65/207.89 c 32 932 4382 6021 373 0 374 478 413
219.43/207.95 c 33 1027 4693 6286 383 0 95 95 47
221.10/208.13 c root propagations : 372
221.10/208.13 c restarts enabled, print stats at every restarts
221.10/208.13 c
221.10/208.13 c
221.10/208.13 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
221.10/208.15 c 0 77 424 460 383 0 0 0 0
221.10/208.16 c root propagations : 372
221.10/208.16 c restarts enabled, print stats at every restarts
221.10/208.16 c
221.10/208.16 c
221.10/208.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
221.10/208.16 c root propagations : 372
221.10/208.16 c restarts enabled, print stats at every restarts
221.10/208.16 c
221.10/208.16 c
221.10/208.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
221.10/208.16 c 0 1 272 384 383 0 0 0 0
221.10/208.17 c 0 19 306 402 383 0 0 0 0
221.10/208.17 c 0 19 308 402 383 0 0 0 0
221.10/208.17 c 0 39 344 422 383 0 0 0 0
221.10/208.17 c 0 40 344 423 383 0 0 0 0
221.10/208.17 c 0 42 346 425 383 0 0 0 0
221.10/208.17 c 0 48 356 431 383 0 0 0 0
221.10/208.17 c 0 79 426 462 383 0 0 0 0
221.10/208.19 c 0 82 430 465 383 0 0 0 0
221.10/208.19 c 0 21 310 404 383 0 0 0 0
221.78/208.21 c 0 70 398 453 383 0 0 0 0
221.78/208.22 c 0 183 630 566 383 0 0 0 0
221.78/208.22 c 0 98 452 481 383 0 0 0 0
221.78/208.22 c 0 100 466 483 383 0 0 0 0
221.78/208.22 c 0 101 456 484 383 0 0 0 0
221.78/208.22 c 0 188 638 571 383 0 0 0 0
221.78/208.22 c 0 105 462 488 383 0 0 0 0
221.78/208.22 c 0 104 472 487 383 0 0 0 0
221.78/208.23 c 0 110 470 493 383 0 0 0 0
221.78/208.23 c 0 194 648 577 383 0 0 0 0
221.78/208.23 c 0 109 480 492 383 0 0 0 0
221.78/208.25 c root propagations : 372
221.78/208.25 c restarts enabled, print stats at every restarts
221.78/208.25 c
221.78/208.25 c
221.78/208.25 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
221.78/208.25 c 0 196 652 579 383 0 0 0 0
221.78/208.25 c 0 304 866 687 383 0 0 0 0
221.78/208.25 c 0 224 696 607 383 0 0 0 0
224.24/208.56 c 64 1731 10795 15923 383 0 61 161 125
224.24/208.58 c 64 1646 8792 12541 383 0 63 190 101
224.97/208.60 c 65 1711 8958 12655 386 0 65 65 32
224.97/208.62 c 65 1845 11283 16583 386 0 114 114 57
224.97/208.63 c 66 1785 9130 12768 386 0 74 74 37
224.97/208.66 c 66 1964 11685 16931 386 0 119 119 59
224.97/208.68 c 67 1965 11697 16944 386 0 1 1 0
224.97/208.69 c 32 1091 6214 10400 383 0 538 583 542
225.78/208.73 c 33 1140 6366 10530 387 0 49 49 24
225.78/208.73 c 67 1923 9851 13736 386 0 138 138 69
225.78/208.75 c 101 1726 11570 18851 373 0 1 360 230
225.78/208.79 c First solution is found
227.36/208.91 c First solution is found
227.36/208.92 c 32 803 5949 9663 383 0 514 568 521
227.36/208.97 c 33 879 6278 10009 388 0 76 76 38
228.23/209.02 c 101 1844 11290 17415 386 0 1 532 341
228.81/209.22 c [pFactory][Group N°0] concurent mode: thread 3 has won with the task 0.
228.81/209.22 c [pFactory][Group N°0] Thread N°0 is joined.
228.81/209.22 c [pFactory][Group N°0] Thread N°1 is joined.
228.81/209.22 c [pFactory][Group N°0] Thread N°2 is joined.
228.81/209.22 c [pFactory][Group N°0] Thread N°3 is joined.
228.81/209.22 c [pFactory][Group N°0] Thread N°4 is joined.
228.81/209.22 c [pFactory][Group N°0] Thread N°5 is joined.
228.81/209.22 c [pFactory][Group N°0] Thread N°6 is joined.
228.81/209.22 c [pFactory][Group N°0] Thread N°7 is joined.
228.81/209.22 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°3)
228.81/209.22 s SATISFIABLE
228.81/209.22 c restarts : 26
228.81/209.22 c conflicts : 98 (0 /sec)
228.81/209.22 c decisions : 3345 (15 /sec)
228.81/209.22 c propagations : 18859 (85 /sec)
228.81/209.22 c root propagations : 372
228.81/209.22 c filter calls : 14376 (65 /sec)
228.81/209.22 c useless filter calls : 9985 (69 %)
228.81/209.22 c Memory used : 9124.49 MB
228.81/209.22 c CPU time : 221.445 s
228.81/209.22 c real time : 209.214 s
228.81/209.22
228.81/209.22 c solution 1
228.81/209.22
228.81/209.22 v <instantiation type='solution'>
228.81/209.22 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] </list>
228.81/209.22 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
228.81/209.22 v </instantiation>
228.81/209.22
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 (12833 MiB free)
memory of node 1: 16384 MiB (15814 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398046-1568606199/watcher-4398046-1568606199 -o /tmp/evaluation-result-4398046-1568606199/solver-4398046-1568606199 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568598287-9694 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398046-1568606199.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10702, runsolver pid=10699
[startup+0.100152 s]*
/proc/loadavg: 8.13 8.23 8.24 2/192 10704
/proc/meminfo: memFree=29330596/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=32532 memory=8704 CPUtime=0.1 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 2379 0 0 0 10 0 0 0 20 0 1 0 436533988 33312768 2176 33554432000 4194304 6211092 140721792440176 140721792436712 5816696 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 8133 2176 811 493 0 1438 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32532 KiB
Current children cumulated memory: 8704 KiB
[startup+0.209278 s]*
/proc/loadavg: 8.13 8.23 8.24 2/192 10704
/proc/meminfo: memFree=29329852/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=33256 memory=9496 CPUtime=0.21 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 2553 0 0 0 21 0 0 0 20 0 1 0 436533988 34054144 2374 33554432000 4194304 6211092 140721792440176 140721792437448 140093658123237 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 8314 2374 811 493 0 1619 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33256 KiB
Current children cumulated memory: 9496 KiB
[startup+0.308571 s]*
/proc/loadavg: 8.13 8.23 8.24 2/192 10704
/proc/meminfo: memFree=29329108/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=33976 memory=10140 CPUtime=0.3 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 2760 0 0 0 30 0 0 0 20 0 1 0 436533988 34791424 2535 33554432000 4194304 6211092 140721792440176 140721792437448 140093658123237 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 8494 2535 811 493 0 1799 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 10140 KiB
[startup+0.700327 s]
/proc/loadavg: 8.13 8.23 8.24 2/192 10704
/proc/meminfo: memFree=29327992/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=36472 memory=12540 CPUtime=0.68 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 3475 0 0 0 68 0 0 0 20 0 1 0 436533988 37347328 3135 33554432000 4194304 6211092 140721792440176 140721792437448 5743366 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 9118 3135 811 493 0 2423 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36472 KiB
Current children cumulated memory: 12540 KiB
[startup+1.50033 s]
/proc/loadavg: 8.13 8.23 8.24 2/192 10704
/proc/meminfo: memFree=29324532/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=41596 memory=17604 CPUtime=1.49 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 4952 0 0 0 148 1 0 0 20 0 1 0 436533988 42594304 4401 33554432000 4194304 6211092 140721792440176 140721792437448 5818619 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 10399 4401 811 493 0 3704 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 17604 KiB
[startup+3.10926 s]
/proc/loadavg: 8.13 8.23 8.24 2/192 10704
/proc/meminfo: memFree=29267272/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=51976 memory=27876 CPUtime=3.1 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 7951 0 0 0 309 1 0 0 20 0 1 0 436533988 53223424 6969 33554432000 4194304 6211092 140721792440176 140721792437448 140093658123237 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 12994 6969 811 493 0 6299 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 51976 KiB
Current children cumulated memory: 27876 KiB
[startup+6.30032 s]
/proc/loadavg: 7.64 8.13 8.21 2/192 10704
/proc/meminfo: memFree=29291832/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=72604 memory=48448 CPUtime=6.29 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 13309 0 0 0 627 2 0 0 20 0 1 0 436533988 74346496 12112 33554432000 4194304 6211092 140721792440176 140721792437448 140093658123237 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 18151 12112 811 493 0 11456 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 72604 KiB
Current children cumulated memory: 48448 KiB
[startup+12.7003 s]
/proc/loadavg: 7.19 8.02 8.17 2/192 10704
/proc/meminfo: memFree=29252888/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=113992 memory=89920 CPUtime=12.69 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 23088 0 0 0 1266 3 0 0 20 0 1 0 436533988 116727808 22480 33554432000 4194304 6211092 140721792440176 140721792437448 140093658123237 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 28498 22480 811 493 0 21803 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 113992 KiB
Current children cumulated memory: 89920 KiB
[startup+25.5003 s]
/proc/loadavg: 5.96 7.71 8.07 2/192 10707
/proc/meminfo: memFree=28298172/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=1088604 memory=1038108 CPUtime=25.49 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 229323 0 0 0 2521 28 0 0 20 0 1 0 436533988 1114730496 259527 33554432000 4194304 6211092 140721792440176 140721792437448 5743389 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 272151 259527 811 493 0 265456 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1088604 KiB
Current children cumulated memory: 1038108 KiB
[startup+51.1085 s]
/proc/loadavg: 4.27 7.17 7.88 2/192 10707
/proc/meminfo: memFree=27398400/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=1997292 memory=1936880 CPUtime=51.09 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 468935 0 0 0 5054 55 0 0 20 0 1 0 436533988 2045227008 484220 33554432000 4194304 6211092 140721792440176 140721792437448 5818648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 499323 484220 811 493 0 492628 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1997292 KiB
Current children cumulated memory: 1936880 KiB
[startup+102.3 s]
/proc/loadavg: 2.42 6.22 7.52 2/192 10710
/proc/meminfo: memFree=25127752/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=4311692 memory=4202452 CPUtime=102.29 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 946406 0 0 0 10109 120 0 0 20 0 1 0 436533988 4415172608 1050613 33554432000 4194304 6211092 140721792440176 140721792437448 5817894 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 1077923 1050613 816 493 0 1071228 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 4311692 KiB
Current children cumulated memory: 4202452 KiB
[startup+162.3 s]
/proc/loadavg: 1.52 5.27 7.11 2/192 10716
/proc/meminfo: memFree=22750400/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=6691536 memory=6575212 CPUtime=162.28 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 1426784 0 0 0 16043 185 0 0 20 0 1 0 436533988 6852132864 1643803 33554432000 4194304 6211092 140721792440176 140721792437448 5814061 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 1672884 1643803 816 493 0 1666189 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 6691536 KiB
Current children cumulated memory: 6575212 KiB
[startup+209.638 s]
# the end of solver process 10702 was just reported to runsolver
# cumulated CPU time of all completed processes: user=221.446 s, system=7.81421 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 1.37 4.99 6.98 2/192 10716
/proc/meminfo: memFree=22270976/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=7178568 memory=7054408 CPUtime=179.18 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 1537587 0 0 0 17718 200 0 0 20 0 1 0 436533988 7350853632 1763602 33554432000 4194304 6211092 140721792440176 140721792437448 140093658118974 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 1794642 1763602 816 493 0 1787947 0
Current children cumulated CPU time: 179.18 s
Current children cumulated vsize: 7178568 KiB
Current children cumulated memory: 7054408 KiB
[startup+192 s]*
/proc/loadavg: 1.32 4.86 6.92 2/192 10716
/proc/meminfo: memFree=21613008/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=7839396 memory=7710436 CPUtime=191.98 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 1691521 0 0 0 18980 218 0 0 20 0 1 0 436533988 8027541504 1927609 33554432000 4194304 6211092 140721792440176 140721792435960 5814061 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 1959849 1927609 816 493 0 1953154 0
Current children cumulated CPU time: 191.98 s
Current children cumulated vsize: 7839396 KiB
Current children cumulated memory: 7710436 KiB
[startup+198.4 s]
/proc/loadavg: 1.29 4.80 6.89 2/191 10718
/proc/meminfo: memFree=21397140/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=8073864 memory=7943016 CPUtime=198.38 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 1749699 0 0 0 19613 225 0 0 20 0 1 0 436533988 8267636736 1985754 33554432000 4194304 6211092 140721792440176 140721792435960 5816132 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 2018466 1985754 816 493 0 2011771 0
Current children cumulated CPU time: 198.38 s
Current children cumulated vsize: 8073864 KiB
Current children cumulated memory: 7943016 KiB
[startup+204.8 s]
/proc/loadavg: 1.25 4.67 6.82 2/191 10719
/proc/meminfo: memFree=21183656/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=8273292 memory=8140300 CPUtime=204.77 cores=0-7
/proc/10702/stat : 10702 (cosoco) R 10699 10702 9667 0 -1 4202496 1798519 0 0 0 20247 230 0 0 20 0 1 0 436533988 8471851008 2035075 33554432000 4194304 6211092 140721792440176 140721792437448 5814058 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 2068323 2035075 816 493 0 2061628 0
Current children cumulated CPU time: 204.77 s
Current children cumulated vsize: 8273292 KiB
Current children cumulated memory: 8140300 KiB
[startup+208.001 s]*
/proc/loadavg: 1.25 4.67 6.82 9/199 10727
/proc/meminfo: memFree=20660200/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=9376256 memory=8660732 CPUtime=220.29 cores=0-7
/proc/10702/stat : 10702 (cosoco) S 10699 10702 9667 0 -1 1077944320 2901694 0 0 0 21386 643 0 0 20 0 9 0 436533988 9601286144 2165183 33554432000 4194304 6211092 140721792440176 140721792438432 140093674163959 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 2344064 2165183 850 493 0 2337369 0
[pid=10702/tid=10720] ppid=10699 vsize=9376256 memory=6935054825532540783 CPUtime=1.75 cores=0-7
/proc/10702/task/10720/stat : 10720 (cosoco) R 10699 10702 9667 0 -1 12591168 109919 0 0 0 86 89 0 0 20 0 9 0 436554611 9601286144 2165183 33554432000 4194304 6211092 140721792440176 140093636086936 5038995 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10721] ppid=10699 vsize=9376256 memory=4872558044660077418 CPUtime=1.76 cores=0-7
/proc/10702/task/10721/stat : 10721 (cosoco) R 10699 10702 9667 0 -1 4202560 123802 0 0 0 167 9 0 0 20 0 9 0 436554611 9601286144 2165183 33554432000 4194304 6211092 140721792440176 140093627693672 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10722] ppid=10699 vsize=9376256 memory=7379241887706345303 CPUtime=1.75 cores=0-7
/proc/10702/task/10722/stat : 10722 (cosoco) R 10699 10702 9667 0 -1 12591168 115616 0 0 0 87 88 0 0 20 0 9 0 436554611 9601286144 2165183 33554432000 4194304 6211092 140721792440176 140093619301528 5038995 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10723] ppid=10699 vsize=9376256 memory=7007708035361821270 CPUtime=1.76 cores=0-7
/proc/10702/task/10723/stat : 10723 (cosoco) R 10699 10702 9667 0 -1 4202560 135788 0 0 0 166 10 0 0 20 0 9 0 436554611 9601286144 2165183 33554432000 4194304 6211092 140721792440176 140093610908264 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10724] ppid=10699 vsize=9376256 memory=6083610289210742118 CPUtime=1.73 cores=0-7
/proc/10702/task/10724/stat : 10724 (cosoco) R 10699 10702 9667 0 -1 12591168 115739 0 0 0 83 90 0 0 20 0 9 0 436554611 9601286144 2165183 33554432000 4194304 6211092 140721792440176 140093497703536 5038995 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10725] ppid=10699 vsize=9376256 memory=4638778398332834916 CPUtime=1.76 cores=0-7
/proc/10702/task/10725/stat : 10725 (cosoco) R 10699 10702 9667 0 -1 4202560 109462 0 0 0 168 8 0 0 20 0 9 0 436554611 9601286144 2165183 33554432000 4194304 6211092 140721792440176 140093489310816 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10726] ppid=10699 vsize=9376256 memory=-3472574513799858011 CPUtime=1.74 cores=0-7
/proc/10702/task/10726/stat : 10726 (cosoco) R 10699 10702 9667 0 -1 4202560 118037 0 0 0 83 91 0 0 20 0 9 0 436554611 9601286144 2165183 33554432000 4194304 6211092 140721792440176 140093480918168 5038995 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10727] ppid=10699 vsize=9376256 memory=6944656592455097440 CPUtime=1.76 cores=0-7
/proc/10702/task/10727/stat : 10727 (cosoco) R 10699 10702 9667 0 -1 4202560 124054 0 0 0 169 7 0 0 20 0 9 0 436554611 9601286144 2165183 33554432000 4194304 6211092 140721792440176 140093472524984 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
Current children cumulated CPU time: 220.29 s
Current children cumulated vsize: 9376256 KiB
Current children cumulated memory: 8660732 KiB
[startup+208.808 s]
/proc/loadavg: 1.25 4.67 6.82 9/199 10727
/proc/meminfo: memFree=20660200/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=9376256 memory=8672628 CPUtime=226.63 cores=0-7
/proc/10702/stat : 10702 (cosoco) S 10699 10702 9667 0 -1 1077944320 3001233 0 0 0 21958 705 0 0 20 0 9 0 436533988 9601286144 2168157 33554432000 4194304 6211092 140721792440176 140721792438432 140093674163959 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 2344064 2168157 850 493 0 2337369 0
[pid=10702/tid=10720] ppid=10699 vsize=9376256 memory=6935054825532540783 CPUtime=2.54 cores=0-7
/proc/10702/task/10720/stat : 10720 (cosoco) R 10699 10702 9667 0 -1 4202560 128411 0 0 0 151 103 0 0 20 0 9 0 436554611 9601286144 2168157 33554432000 4194304 6211092 140721792440176 140093636086376 5186224 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10721] ppid=10699 vsize=9376256 memory=1560 CPUtime=2.56 cores=0-7
/proc/10702/task/10721/stat : 10721 (cosoco) R 10699 10702 9667 0 -1 4202560 128455 0 0 0 246 10 0 0 20 0 9 0 436554611 9601286144 2168157 33554432000 4194304 6211092 140721792440176 140093627694176 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10722] ppid=10699 vsize=9376256 memory=932 CPUtime=2.53 cores=0-7
/proc/10702/task/10722/stat : 10722 (cosoco) R 10699 10702 9667 0 -1 4202560 132309 0 0 0 154 99 0 0 20 0 9 0 436554611 9601286144 2168157 33554432000 4194304 6211092 140721792440176 140093619300968 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10723] ppid=10699 vsize=9376256 memory=1768 CPUtime=2.56 cores=0-7
/proc/10702/task/10723/stat : 10723 (cosoco) R 10699 10702 9667 0 -1 4202560 140472 0 0 0 245 11 0 0 20 0 9 0 436554611 9601286144 2168157 33554432000 4194304 6211092 140721792440176 140093610908768 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10724] ppid=10699 vsize=9376256 memory=3512 CPUtime=2.52 cores=0-7
/proc/10702/task/10724/stat : 10724 (cosoco) R 10699 10702 9667 0 -1 4202560 134356 0 0 0 147 105 0 0 20 0 9 0 436554611 9601286144 2168157 33554432000 4194304 6211092 140721792440176 140093497703208 5034872 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10725] ppid=10699 vsize=9376256 memory=46028 CPUtime=2.55 cores=0-7
/proc/10702/task/10725/stat : 10725 (cosoco) R 10699 10702 9667 0 -1 4202560 114329 0 0 0 247 8 0 0 20 0 9 0 436554611 9601286144 2168157 33554432000 4194304 6211092 140721792440176 140093489310816 5039323 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10726] ppid=10699 vsize=9376256 memory=2020 CPUtime=2.53 cores=0-7
/proc/10702/task/10726/stat : 10726 (cosoco) R 10699 10702 9667 0 -1 4202560 145215 0 0 0 141 112 0 0 20 0 9 0 436554611 9601286144 2168157 33554432000 4194304 6211092 140721792440176 140093480917608 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
[pid=10702/tid=10727] ppid=10699 vsize=9376256 memory=988 CPUtime=2.56 cores=0-7
/proc/10702/task/10727/stat : 10727 (cosoco) R 10699 10702 9667 0 -1 4202560 128265 0 0 0 248 8 0 0 20 0 9 0 436554611 9601286144 2168157 33554432000 4194304 6211092 140721792440176 140093472524904 5186224 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
Current children cumulated CPU time: 226.63 s
Current children cumulated vsize: 9376256 KiB
Current children cumulated memory: 8672628 KiB
[startup+209.2 s]
/proc/loadavg: 1.79 4.73 6.83 9/199 10727
/proc/meminfo: memFree=20645820/32770624 swapFree=66957020/67108860
[pid=10702] ppid=10699 vsize=9376256 memory=8674080 CPUtime=228.81 cores=0-7
/proc/10702/stat : 10702 (cosoco) S 10699 10702 9667 0 -1 1077944320 3109500 0 0 0 22144 737 0 0 20 0 2 0 436533988 9601286144 2168520 33554432000 4194304 6211092 140721792440176 140721792438432 140093674163959 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
/proc/10702/statm: 2344064 2168520 851 493 0 2337369 0
[pid=10702/tid=10724] ppid=10699 vsize=9376256 memory=7815263158104752195 CPUtime=2.91 cores=0-7
/proc/10702/task/10724/stat : 10724 (cosoco) R 10699 10702 9667 0 -1 12591168 192221 0 0 0 158 133 0 0 20 0 2 0 436554611 9601286144 2168520 33554432000 4194304 6211092 140721792440176 140093497693504 5034869 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12365824 140721792447505 140721792447597 140721792447597 140721792450510 0
Current children cumulated CPU time: 228.81 s
Current children cumulated vsize: 9376256 KiB
Current children cumulated memory: 8674080 KiB
[startup+209.6 s]
/proc/loadavg: 1.79 4.73 6.83 2/191 10727
/proc/meminfo: memFree=22367600/32770624 swapFree=66957020/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 209.638
CPU time (s): 229.26
CPU user time (s): 221.446
CPU system time (s): 7.81421
CPU usage (%): 109.36
Max. virtual memory (cumulated for all children) (KiB): 9376256
Max. memory (cumulated for all children) (KiB): 8674080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.446
system time used= 7.81421
maximum resident set size= 8674228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3115316
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8236
involuntary context switches= 471
# summary of solver processes directly reported to runsolver:
# pid: 10702
# total CPU time (s): 229.26
# total CPU user time (s): 221.446
# total CPU system time (s): 7.81421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.813684 second user time and 1.35388 second system time
The end
Begin job on node147 at 2019-09-16 05:55:58
IDJOB=4398046
IDBENCH=134105
IDSOLVER=2851
FILE ID=node147/4398046-1568606199
RUNJOBID= node147-1568598287-9694
PBS_JOBID= 21703424
Free space on /tmp= 58476 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Nonogram/Nonogram-table-s1/Nonogram-122-table.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398046-1568606199/watcher-4398046-1568606199 -o /tmp/evaluation-result-4398046-1568606199/solver-4398046-1568606199 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568598287-9694 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398046-1568606199.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 1ecda127feec841a205962b399f2051f
RANDOM SEED=506832161
node147.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.52
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.52
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.52
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.52
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: 29336192 kB
MemAvailable: 31831608 kB
Buffers: 114104 kB
Cached: 2658984 kB
SwapCached: 48484 kB
Active: 1729084 kB
Inactive: 1094136 kB
Active(anon): 3364 kB
Inactive(anon): 96472 kB
Active(file): 1725720 kB
Inactive(file): 997664 kB
Unevictable: 108996 kB
Mlocked: 108996 kB
SwapTotal: 67108860 kB
SwapFree: 66957020 kB
Dirty: 417220 kB
Writeback: 0 kB
AnonPages: 112732 kB
Mapped: 47332 kB
Shmem: 40960 kB
Slab: 204460 kB
SReclaimable: 175736 kB
SUnreclaim: 28724 kB
KernelStack: 3360 kB
PageTables: 5192 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 58472 MiB
End job on node147 at 2019-09-16 05:59:28