Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2017-07-28 | SAT (TO) | 925 | 251.931 | 252.00999 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml |
| MD5SUM | 7bf94b2c859f2895a81dfe97f17444ea |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 877 |
| Best CPU time to get the best result obtained on this benchmark | 2003.88 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 812 |
| Number of constraints | 381 |
| Number of domains | 2 |
| Minimum domain size | 1000 |
| Maximum domain size | 1001 |
| Distribution of domain sizes | [{"size":1000,"count":378},{"size":1001,"count":28}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 29 |
| Distribution of variable degrees | [{"degree":0,"count":406},{"degree":2,"count":378},{"degree":28,"count":26},{"degree":29,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 378 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":378},{"arity":28,"count":1},{"arity":378,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 379 |
| Distribution of constraint types | [{"type":"intension","count":379},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.09 c 280717 110.10/110.23 o 986 120.91/121.05 o 981 131.51/131.64 o 925 251.92/252.00 s SATISFIABLE 251.92/252.00 v <instantiation type="solution"> 251.92/252.00 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] </list> 251.92/252.00 v <values> 0 6 10 15 26 28 29 53 60 90 125 142 212 233 245 291 333 384 479 515 555 632 673 765 813 821 876 925 * 6 10 15 26 28 29 53 60 90 125 142 212 233 245 291 333 384 479 515 555 632 673 765 813 821 876 925 * * 4 9 20 22 23 47 54 84 119 136 206 227 239 285 327 378 473 509 549 626 667 759 807 815 870 919 * * * 5 16 18 19 43 50 80 115 132 202 223 235 281 323 374 469 505 545 622 663 755 803 811 866 915 * * * * 11 13 14 38 45 75 110 127 197 218 230 276 318 369 464 500 540 617 658 750 798 806 861 910 * * * * * 2 3 27 34 64 99 116 186 207 219 265 307 358 453 489 529 606 647 739 787 795 850 899 * * * * * * 1 25 32 62 97 114 184 205 217 263 305 356 451 487 527 604 645 737 785 793 848 897 * * * * * * * 24 31 61 96 113 183 204 216 262 304 355 450 486 526 603 644 736 784 792 847 896 * * * * * * * * 7 37 72 89 159 180 192 238 280 331 426 462 502 579 620 712 760 768 823 872 * * * * * * * * * 30 65 82 152 173 185 231 273 324 419 455 495 572 613 705 753 761 816 865 * * * * * * * * * * 35 52 122 143 155 201 243 294 389 425 465 542 583 675 723 731 786 835 * * * * * * * * * * * 17 87 108 120 166 208 259 354 390 430 507 548 640 688 696 751 800 * * * * * * * * * * * * 70 91 103 149 191 242 337 373 413 490 531 623 671 679 734 783 * * * * * * * * * * * * * 21 33 79 121 172 267 303 343 420 461 553 601 609 664 713 * * * * * * * * * * * * * * 12 58 100 151 246 282 322 399 440 532 580 588 643 692 * * * * * * * * * * * * * * * 46 88 139 234 270 310 387 428 520 568 576 631 680 * * * * * * * * * * * * * * * * 42 93 188 224 264 341 382 474 522 530 585 634 * * * * * * * * * * * * * * * * * 51 146 182 222 299 340 432 480 488 543 592 * * * * * * * * * * * * * * * * * * 95 131 171 248 289 381 429 437 492 541 * * * * * * * * * * * * * * * * * * * 36 76 153 194 286 334 342 397 446 * * * * * * * * * * * * * * * * * * * * 40 117 158 250 298 306 361 410 * * * * * * * * * * * * * * * * * * * * * 77 118 210 258 266 321 370 * * * * * * * * * * * * * * * * * * * * * * 41 133 181 189 244 293 * * * * * * * * * * * * * * * * * * * * * * * 92 140 148 203 252 * * * * * * * * * * * * * * * * * * * * * * * * 48 56 111 160 * * * * * * * * * * * * * * * * * * * * * * * * * 8 63 112 * * * * * * * * * * * * * * * * * * * * * * * * * * 55 104 * * * * * * * * * * * * * * * * * * * * * * * * * * * 49 * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> 251.92/252.00 v </instantiation>
OK 925
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 (14977 MiB free)
memory of node 1: 16384 MiB (15376 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258996-1502650752/watcher-4258996-1502650752 -o /tmp/evaluation-result-4258996-1502650752/solver-4258996-1502650752 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1657 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1590860933 HOME/instance-4258996-1502650752.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4655, runsolver pid=4652
Current StackSize limit: 8192 KiB
[startup+0.109576 s]*
/proc/loadavg: 2.00 2.02 2.05 3/181 4656
/proc/meminfo: memFree=31080508/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=29784 memory=4428 CPUtime=0.01 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 1321 0 0 0 1 0 0 0 20 0 1 0 67295870 30498816 1107 18446744073709551615 4194304 7396336 140724724157312 140724724150552 6190437 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 7446 1107 661 782 0 462 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 29784 KiB
Current children cumulated memory: 4428 KiB
[startup+0.20911 s]*
/proc/loadavg: 2.00 2.02 2.05 3/181 4656
/proc/meminfo: memFree=31080508/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=29784 memory=4428 CPUtime=0.11 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 1321 0 0 0 11 0 0 0 20 0 1 0 67295870 30498816 1107 18446744073709551615 4194304 7396336 140724724157312 140724724150552 140343629095519 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 7446 1107 661 782 0 462 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 29784 KiB
Current children cumulated memory: 4428 KiB
[startup+0.308632 s]*
/proc/loadavg: 2.00 2.02 2.05 3/181 4656
/proc/meminfo: memFree=31080508/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=29908 memory=4660 CPUtime=0.21 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 1346 0 0 0 21 0 0 0 20 0 1 0 67295870 30625792 1165 18446744073709551615 4194304 7396336 140724724157312 140724724150552 140343629188959 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 7477 1165 713 782 0 493 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29908 KiB
Current children cumulated memory: 4660 KiB
[startup+0.700271 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4656
/proc/meminfo: memFree=31080136/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=30412 memory=5164 CPUtime=0.59 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 1464 0 0 0 59 0 0 0 20 0 1 0 67295870 31141888 1291 18446744073709551615 4194304 7396336 140724724157312 140724724150552 140343635583853 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 7603 1291 714 782 0 619 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 30412 KiB
Current children cumulated memory: 5164 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4656
/proc/meminfo: memFree=31075920/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=34324 memory=9384 CPUtime=1.39 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 2516 0 0 0 139 0 0 0 20 0 1 0 67295870 35147776 2346 18446744073709551615 4194304 7396336 140724724157312 140724724151864 4581738 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 8581 2346 765 782 0 1597 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 34324 KiB
Current children cumulated memory: 9384 KiB
[startup+3.10885 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4656
/proc/meminfo: memFree=31075576/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=34736 memory=9780 CPUtime=3 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 3980 0 0 0 300 0 0 0 20 0 1 0 67295870 35569664 2445 18446744073709551615 4194304 7396336 140724724157312 140724724151864 5685156 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 8684 2445 765 782 0 1700 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 9780 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4656
/proc/meminfo: memFree=31075012/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=35264 memory=10216 CPUtime=6.19 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 5555 0 0 0 619 0 0 0 20 0 1 0 67295870 36110336 2554 18446744073709551615 4194304 7396336 140724724157312 140724724151544 5586528 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 8816 2554 765 782 0 1832 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 35264 KiB
Current children cumulated memory: 10216 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4656
/proc/meminfo: memFree=31074624/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=35396 memory=10280 CPUtime=12.59 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 6120 0 0 0 1259 0 0 0 20 0 1 0 67295870 36245504 2570 18446744073709551615 4194304 7396336 140724724157312 140724724151544 4581698 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 8849 2570 766 782 0 1865 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 35396 KiB
Current children cumulated memory: 10280 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4657
/proc/meminfo: memFree=31074756/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=35396 memory=10384 CPUtime=25.39 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 7155 0 0 0 2539 0 0 0 20 0 1 0 67295870 36245504 2596 18446744073709551615 4194304 7396336 140724724157312 140724724151544 4249511 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 8849 2596 766 782 0 1865 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 35396 KiB
Current children cumulated memory: 10384 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 4657
/proc/meminfo: memFree=31074836/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=35396 memory=10404 CPUtime=51 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 7771 0 0 0 5100 0 0 0 20 0 1 0 67295870 36245504 2601 18446744073709551615 4194304 7396336 140724724157312 140724724151544 5575964 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 8849 2601 766 782 0 1865 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 35396 KiB
Current children cumulated memory: 10404 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4659
/proc/meminfo: memFree=31074340/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=35528 memory=10528 CPUtime=102.2 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 8393 0 0 0 10220 0 0 0 20 0 1 0 67295870 36380672 2632 18446744073709551615 4194304 7396336 140724724157312 140724724151864 4406552 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 8882 2632 766 782 0 1898 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 35528 KiB
Current children cumulated memory: 10528 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4661
/proc/meminfo: memFree=31066612/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=43312 memory=18284 CPUtime=162.21 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 12841 0 0 0 16220 1 0 0 20 0 1 0 67295870 44351488 4571 18446744073709551615 4194304 7396336 140724724157312 140724724152328 5575964 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 10828 4571 766 782 0 3844 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 43312 KiB
Current children cumulated memory: 18284 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4663
/proc/meminfo: memFree=31066256/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=43312 memory=18284 CPUtime=222.21 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 13322 0 0 0 22220 1 0 0 20 0 1 0 67295870 44351488 4571 18446744073709551615 4194304 7396336 140724724157312 140724724152328 4581746 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 10828 4571 766 782 0 3844 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 43312 KiB
Current children cumulated memory: 18284 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.00 2.01 2.05 2/177 4699
/proc/meminfo: memFree=31069948/32770624 swapFree=67108860/67108860
[pid=4655] ppid=4652 vsize=43312 memory=18284 CPUtime=251.92 cores=1,3,5,7
/proc/4655/stat : 4655 (MistralXCSP) R 4652 4655 897 0 -1 4202496 13322 0 0 0 25191 1 0 0 20 0 1 0 67295870 44351488 4571 18446744073709551615 4194304 7396336 140724724157312 140724724152328 4257837 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 19296256 140724724162962 140724724163112 140724724163112 140724724166601 0
/proc/4655/statm: 10828 4571 766 782 0 3844 0
Current children cumulated CPU time: 251.92 s
Current children cumulated vsize: 43312 KiB
Current children cumulated memory: 18284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 4655 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.92 s, system=0.011001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 252.01
CPU time (s): 251.931
CPU user time (s): 251.92
CPU system time (s): 0.011001
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 43312
Max. memory (cumulated for all children) (KiB): 18284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.92
system time used= 0.011001
maximum resident set size= 18304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13360
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= 12
involuntary context switches= 111
# summary of solver processes directly reported to runsolver:
# pid: 4655
# total CPU time (s): 251.931
# total CPU user time (s): 251.92
# total CPU system time (s): 0.011001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04503 second user time and 1.62948 second system time
The end
Begin job on node125 at 2017-08-13 20:45:06 IDJOB=4258996 IDBENCH=126211 IDSOLVER=2645 FILE ID=node125/4258996-1502650752 RUNJOBID= node125-1502644564-1657 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-28-a3.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258996-1502650752/watcher-4258996-1502650752 -o /tmp/evaluation-result-4258996-1502650752/solver-4258996-1502650752 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1657 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1590860933 HOME/instance-4258996-1502650752.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea RANDOM SEED=1590860933 node125.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.07 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.07 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.07 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.07 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: 31082268 kB MemAvailable: 31991336 kB Buffers: 287232 kB Cached: 917164 kB SwapCached: 0 kB Active: 674660 kB Inactive: 584988 kB Active(anon): 56008 kB Inactive(anon): 33100 kB Active(file): 618652 kB Inactive(file): 551888 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 11664 kB Writeback: 0 kB AnonPages: 49736 kB Mapped: 48528 kB Shmem: 33444 kB Slab: 134284 kB SReclaimable: 108724 kB SUnreclaim: 25560 kB KernelStack: 3360 kB PageTables: 4728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 334816 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62020 MiB End job on node125 at 2017-08-13 20:49:18