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) | 868 | 251.961 | 252.00999 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml |
| MD5SUM | d2b2d316f8a3db7e4daa8c5fb45f5c4a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 817 |
| Best CPU time to get the best result obtained on this benchmark | 1993.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 756 |
| Number of constraints | 354 |
| Number of domains | 2 |
| Minimum domain size | 1000 |
| Maximum domain size | 1001 |
| Distribution of domain sizes | [{"size":1000,"count":351},{"size":1001,"count":27}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 28 |
| Distribution of variable degrees | [{"degree":0,"count":378},{"degree":2,"count":351},{"degree":27,"count":25},{"degree":28,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 351 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":351},{"arity":27,"count":1},{"arity":351,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 352 |
| Distribution of constraint types | [{"type":"intension","count":352},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.07 c 280717 28.32/28.40 o 974 28.32/28.46 o 948 29.03/29.13 o 926 30.32/30.40 o 919 30.32/30.40 o 910 36.12/36.26 o 891 184.04/184.16 o 883 203.84/203.98 o 873 204.74/204.80 o 872 214.84/214.97 o 868 251.95/252.00 s SATISFIABLE 251.95/252.00 v <instantiation type="solution"> 251.95/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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list> 251.95/252.00 v <values> 0 2 5 6 13 22 36 46 61 73 99 118 161 208 237 272 341 406 424 516 548 590 697 767 819 847 868 * 2 5 6 13 22 36 46 61 73 99 118 161 208 237 272 341 406 424 516 548 590 697 767 819 847 868 * * 3 4 11 20 34 44 59 71 97 116 159 206 235 270 339 404 422 514 546 588 695 765 817 845 866 * * * 1 8 17 31 41 56 68 94 113 156 203 232 267 336 401 419 511 543 585 692 762 814 842 863 * * * * 7 16 30 40 55 67 93 112 155 202 231 266 335 400 418 510 542 584 691 761 813 841 862 * * * * * 9 23 33 48 60 86 105 148 195 224 259 328 393 411 503 535 577 684 754 806 834 855 * * * * * * 14 24 39 51 77 96 139 186 215 250 319 384 402 494 526 568 675 745 797 825 846 * * * * * * * 10 25 37 63 82 125 172 201 236 305 370 388 480 512 554 661 731 783 811 832 * * * * * * * * 15 27 53 72 115 162 191 226 295 360 378 470 502 544 651 721 773 801 822 * * * * * * * * * 12 38 57 100 147 176 211 280 345 363 455 487 529 636 706 758 786 807 * * * * * * * * * * 26 45 88 135 164 199 268 333 351 443 475 517 624 694 746 774 795 * * * * * * * * * * * 19 62 109 138 173 242 307 325 417 449 491 598 668 720 748 769 * * * * * * * * * * * * 43 90 119 154 223 288 306 398 430 472 579 649 701 729 750 * * * * * * * * * * * * * 47 76 111 180 245 263 355 387 429 536 606 658 686 707 * * * * * * * * * * * * * * 29 64 133 198 216 308 340 382 489 559 611 639 660 * * * * * * * * * * * * * * * 35 104 169 187 279 311 353 460 530 582 610 631 * * * * * * * * * * * * * * * * 69 134 152 244 276 318 425 495 547 575 596 * * * * * * * * * * * * * * * * * 65 83 175 207 249 356 426 478 506 527 * * * * * * * * * * * * * * * * * * 18 110 142 184 291 361 413 441 462 * * * * * * * * * * * * * * * * * * * 92 124 166 273 343 395 423 444 * * * * * * * * * * * * * * * * * * * * 32 74 181 251 303 331 352 * * * * * * * * * * * * * * * * * * * * * 42 149 219 271 299 320 * * * * * * * * * * * * * * * * * * * * * * 107 177 229 257 278 * * * * * * * * * * * * * * * * * * * * * * * 70 122 150 171 * * * * * * * * * * * * * * * * * * * * * * * * 52 80 101 * * * * * * * * * * * * * * * * * * * * * * * * * 28 49 * * * * * * * * * * * * * * * * * * * * * * * * * * 21 * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> 251.95/252.00 v </instantiation>
OK 868
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 (14980 MiB free)
memory of node 1: 16384 MiB (15344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258995-1502651005/watcher-4258995-1502651005 -o /tmp/evaluation-result-4258995-1502651005/solver-4258995-1502651005 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1656 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2090305292 HOME/instance-4258995-1502651005.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=4753, runsolver pid=4750
[startup+0.100196 s]*
/proc/loadavg: 2.00 2.01 2.05 5/194 4754
/proc/meminfo: memFree=31042476/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=29812 memory=4432 CPUtime=0.03 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 1319 0 0 0 3 0 0 0 20 0 1 0 67321149 30527488 1108 18446744073709551615 4194304 7396336 140735059867008 140735059864008 6195608 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 7453 1108 665 782 0 469 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 29812 KiB
Current children cumulated memory: 4432 KiB
[startup+0.209274 s]*
/proc/loadavg: 2.00 2.01 2.05 2/178 4754
/proc/meminfo: memFree=31082864/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=29812 memory=4432 CPUtime=0.14 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 1319 0 0 0 14 0 0 0 20 0 1 0 67321149 30527488 1108 18446744073709551615 4194304 7396336 140735059867008 140735059856784 6189976 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 7453 1108 665 782 0 469 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 29812 KiB
Current children cumulated memory: 4432 KiB
[startup+0.308847 s]*
/proc/loadavg: 2.00 2.01 2.05 2/178 4757
/proc/meminfo: memFree=31082808/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=29936 memory=4688 CPUtime=0.24 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 1344 0 0 0 24 0 0 0 20 0 1 0 67321149 30654464 1172 18446744073709551615 4194304 7396336 140735059867008 140735059856784 6013052 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 7484 1172 713 782 0 500 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 4688 KiB
[startup+0.700327 s]
/proc/loadavg: 2.00 2.01 2.05 2/177 4766
/proc/meminfo: memFree=31083196/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=30308 memory=5064 CPUtime=0.63 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 1453 0 0 0 63 0 0 0 20 0 1 0 67321149 31035392 1266 18446744073709551615 4194304 7396336 140735059867008 140735059857704 6190399 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 7577 1266 714 782 0 593 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 30308 KiB
Current children cumulated memory: 5064 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4786
/proc/meminfo: memFree=31078372/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=33792 memory=8756 CPUtime=1.42 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 2382 0 0 0 142 0 0 0 20 0 1 0 67321149 34603008 2189 18446744073709551615 4194304 7396336 140735059867008 140735059861528 140284107675338 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 8448 2189 765 782 0 1464 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 8756 KiB
[startup+3.10885 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4786
/proc/meminfo: memFree=31075928/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=34468 memory=9452 CPUtime=3.03 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 3765 0 0 0 303 0 0 0 20 0 1 0 67321149 35295232 2363 18446744073709551615 4194304 7396336 140735059867008 140735059861528 5603489 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 8617 2363 765 782 0 1633 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 34468 KiB
Current children cumulated memory: 9452 KiB
[startup+6.30032 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 4786
/proc/meminfo: memFree=31073540/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=34996 memory=9960 CPUtime=6.23 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 5377 0 0 0 623 0 0 0 20 0 1 0 67321149 35835904 2490 18446744073709551615 4194304 7396336 140735059867008 140735059861240 4320608 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 8749 2490 766 782 0 1765 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 34996 KiB
Current children cumulated memory: 9960 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 4787
/proc/meminfo: memFree=31073388/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=35128 memory=10080 CPUtime=12.62 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 6847 0 0 0 1262 0 0 0 20 0 1 0 67321149 35971072 2520 18446744073709551615 4194304 7396336 140735059867008 140735059861240 4399632 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 8782 2520 766 782 0 1798 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 35128 KiB
Current children cumulated memory: 10080 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 4787
/proc/meminfo: memFree=31072712/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=35128 memory=10212 CPUtime=25.42 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 8859 0 0 0 2542 0 0 0 20 0 1 0 67321149 35971072 2553 18446744073709551615 4194304 7396336 140735059867008 140735059861240 4581738 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 8782 2553 766 782 0 1798 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 35128 KiB
Current children cumulated memory: 10212 KiB
[startup+51.1094 s]
/proc/loadavg: 1.96 2.00 2.04 3/184 4801
/proc/meminfo: memFree=31061000/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=42256 memory=17324 CPUtime=51.03 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 12919 0 0 0 5103 0 0 0 20 0 1 0 67321149 43270144 4331 18446744073709551615 4194304 7396336 140735059867008 140735059862024 4407048 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 10564 4331 766 782 0 3580 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 17324 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/184 4803
/proc/meminfo: memFree=31060948/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=42256 memory=17356 CPUtime=102.23 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 15171 0 0 0 10223 0 0 0 20 0 1 0 67321149 43270144 4339 18446744073709551615 4194304 7396336 140735059867008 140735059862024 4320832 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 10564 4339 766 782 0 3580 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 17356 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 4805
/proc/meminfo: memFree=31064472/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=42256 memory=17356 CPUtime=162.23 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 15461 0 0 0 16223 0 0 0 20 0 1 0 67321149 43270144 4339 18446744073709551615 4194304 7396336 140735059867008 140735059862024 4407464 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 10564 4339 766 782 0 3580 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 17356 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 4807
/proc/meminfo: memFree=31064956/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=42384 memory=17360 CPUtime=222.24 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 15763 0 0 0 22224 0 0 0 20 0 1 0 67321149 43401216 4340 18446744073709551615 4194304 7396336 140735059867008 140735059862024 140284107675325 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 10596 4340 766 782 0 3612 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 42384 KiB
Current children cumulated memory: 17360 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.00 2.00 2.04 3/181 4809
/proc/meminfo: memFree=31064576/32770624 swapFree=67108860/67108860
[pid=4753] ppid=4750 vsize=42384 memory=17360 CPUtime=251.95 cores=0,2,4,6
/proc/4753/stat : 4753 (MistralXCSP) R 4750 4753 897 0 -1 4202496 15768 0 0 0 25195 0 0 0 20 0 1 0 67321149 43401216 4340 18446744073709551615 4194304 7396336 140735059867008 140735059862024 4581710 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 9777152 140735059874194 140735059874344 140735059874344 140735059877833 0
/proc/4753/statm: 10596 4340 766 782 0 3612 0
Current children cumulated CPU time: 251.95 s
Current children cumulated vsize: 42384 KiB
Current children cumulated memory: 17360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 4753 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.954 s, system=0.007 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.961
CPU user time (s): 251.954
CPU system time (s): 0.007
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 42384
Max. memory (cumulated for all children) (KiB): 17360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.954
system time used= 0.007
maximum resident set size= 17380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15793
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= 14
involuntary context switches= 221
# summary of solver processes directly reported to runsolver:
# pid: 4753
# total CPU time (s): 251.961
# total CPU user time (s): 251.954
# total CPU system time (s): 0.007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.961497 second user time and 1.74902 second system time
The end
Begin job on node125 at 2017-08-13 20:49:19 IDJOB=4258995 IDBENCH=126216 IDSOLVER=2645 FILE ID=node125/4258995-1502651005 RUNJOBID= node125-1502644564-1656 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-27-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-4258995-1502651005/watcher-4258995-1502651005 -o /tmp/evaluation-result-4258995-1502651005/solver-4258995-1502651005 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1656 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2090305292 HOME/instance-4258995-1502651005.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d2b2d316f8a3db7e4daa8c5fb45f5c4a RANDOM SEED=2090305292 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: 31054896 kB MemAvailable: 31964424 kB Buffers: 287240 kB Cached: 917160 kB SwapCached: 0 kB Active: 703540 kB Inactive: 585028 kB Active(anon): 84504 kB Inactive(anon): 33100 kB Active(file): 619036 kB Inactive(file): 551928 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5608 kB Writeback: 4 kB AnonPages: 72436 kB Mapped: 57032 kB Shmem: 33444 kB Slab: 134116 kB SReclaimable: 108800 kB SUnreclaim: 25316 kB KernelStack: 3136 kB PageTables: 5768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1258148 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: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62020 MiB End job on node125 at 2017-08-13 20:53:31