| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.12 | 3611.83 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb |
| MD5SUM | 3f10ffbf957f8216a1934b9362956d36 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 32 |
| Best CPU time to get the best result obtained on this benchmark | 1.65179 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 11744 |
| Total number of constraints | 798 |
| Number of constraints which are clauses | 366 |
| Number of constraints which are cardinality constraints (but not clauses) | 366 |
| Number of constraints which are nor clauses,nor cardinality constraints | 66 |
| Minimum length of a constraint | 32 |
| Maximum length of a constraint | 367 |
| Number of terms in the objective function | 32 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 32 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 133314 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 283127 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.02 c #variables 11744 #constraints 797 1.18/1.20 c bounds - >= 32 @ 0.0196 1.18/1.20 c #Conflicts: 1000 | #Constraints: 1796 1.18/1.20 c #Conflicts: 2000 | #Constraints: 2796 1.18/1.20 c INPROCESSING 1.18/1.20 c GARBAGE COLLECT 1.18/1.20 c rational objective 32 5.47/5.52 c #Conflicts: 3000 | #Constraints: 2820 5.47/5.52 c #Conflicts: 4000 | #Constraints: 3824 5.47/5.52 c INPROCESSING 5.47/5.52 c GARBAGE COLLECT 5.47/5.52 c rational objective 32 13.55/13.66 c #Conflicts: 5000 | #Constraints: 3233 13.55/13.66 c #Conflicts: 6000 | #Constraints: 4241 13.55/13.66 c INPROCESSING 13.55/13.66 c GARBAGE COLLECT 13.55/13.66 c rational objective 32 25.61/25.76 c #Conflicts: 7000 | #Constraints: 3245 25.61/25.76 c #Conflicts: 8000 | #Constraints: 4265 25.61/25.76 c #Conflicts: 9000 | #Constraints: 5270 25.61/25.76 c INPROCESSING 25.61/25.76 c GARBAGE COLLECT 25.61/25.76 c #Conflicts: 10000 | #Constraints: 3942 25.61/25.76 c #Conflicts: 11000 | #Constraints: 4942 25.61/25.76 c #Conflicts: 12000 | #Constraints: 5942 25.61/25.76 c INPROCESSING 25.61/25.76 c GARBAGE COLLECT 25.61/25.76 c rational objective 32 30.49/30.66 c #Conflicts: 13000 | #Constraints: 4388 30.49/30.66 c #Conflicts: 14000 | #Constraints: 5388 30.49/30.66 c #Conflicts: 15000 | #Constraints: 6389 30.49/30.66 c INPROCESSING 30.49/30.66 c GARBAGE COLLECT 30.49/30.66 c rational objective 32 38.76/38.90 c #Conflicts: 16000 | #Constraints: 4612 38.76/38.90 c #Conflicts: 17000 | #Constraints: 5629 38.76/38.90 c #Conflicts: 18000 | #Constraints: 6637 38.76/38.90 c INPROCESSING 38.76/38.90 c GARBAGE COLLECT 38.76/38.90 c rational objective 32 45.24/45.46 c #Conflicts: 19000 | #Constraints: 4649 45.24/45.46 c #Conflicts: 20000 | #Constraints: 5667 45.24/45.46 c #Conflicts: 21000 | #Constraints: 6676 45.24/45.46 c INPROCESSING 45.24/45.46 c GARBAGE COLLECT 45.24/45.46 c rational objective 32 56.61/56.90 c #Conflicts: 22000 | #Constraints: 4463 56.61/56.90 c #Conflicts: 23000 | #Constraints: 5472 56.61/56.90 c #Conflicts: 24000 | #Constraints: 6479 56.61/56.90 c #Conflicts: 25000 | #Constraints: 7489 56.61/56.90 c INPROCESSING 56.61/56.90 c GARBAGE COLLECT 56.61/56.90 c rational objective 32 63.89/64.14 c #Conflicts: 26000 | #Constraints: 5066 63.89/64.14 c #Conflicts: 27000 | #Constraints: 6069 63.89/64.14 c #Conflicts: 28000 | #Constraints: 7074 63.89/64.14 c #Conflicts: 29000 | #Constraints: 8075 63.89/64.14 c INPROCESSING 63.89/64.14 c GARBAGE COLLECT 63.89/64.14 c rational objective 32 72.26/72.59 c #Conflicts: 30000 | #Constraints: 5470 72.26/72.59 c #Conflicts: 31000 | #Constraints: 6485 72.26/72.59 c #Conflicts: 32000 | #Constraints: 7501 72.26/72.59 c #Conflicts: 33000 | #Constraints: 8508 72.26/72.59 c INPROCESSING 72.26/72.59 c GARBAGE COLLECT 72.26/72.59 c rational objective 32 84.42/84.73 c #Conflicts: 34000 | #Constraints: 5690 84.42/84.73 c #Conflicts: 35000 | #Constraints: 6690 84.42/84.73 c #Conflicts: 36000 | #Constraints: 7690 84.42/84.73 c #Conflicts: 37000 | #Constraints: 8690 84.42/84.73 c INPROCESSING 84.42/84.73 c GARBAGE COLLECT 84.42/84.73 c rational objective 32 88.31/88.63 c #Conflicts: 38000 | #Constraints: 5661 88.31/88.63 c #Conflicts: 39000 | #Constraints: 6661 88.31/88.63 c #Conflicts: 40000 | #Constraints: 7661 88.31/88.63 c #Conflicts: 41000 | #Constraints: 8661 88.31/88.63 c INPROCESSING 88.31/88.63 c GARBAGE COLLECT 88.31/88.63 c rational objective 32 98.28/98.60 c #Conflicts: 42000 | #Constraints: 5451 98.28/98.60 c #Conflicts: 43000 | #Constraints: 6503 98.28/98.60 c #Conflicts: 44000 | #Constraints: 7876 98.28/98.60 c #Conflicts: 45000 | #Constraints: 9607 98.28/98.60 c #Conflicts: 46000 | #Constraints: 10607 98.28/98.60 c INPROCESSING 98.28/98.60 c GARBAGE COLLECT 98.28/98.60 c rational objective 32 103.06/103.42 c #Conflicts: 47000 | #Constraints: 6618 103.06/103.42 c #Conflicts: 48000 | #Constraints: 7618 103.06/103.42 c #Conflicts: 49000 | #Constraints: 8618 103.06/103.42 c #Conflicts: 50000 | #Constraints: 9618 103.06/103.42 c #Conflicts: 51000 | #Constraints: 10618 103.06/103.42 c INPROCESSING 103.06/103.42 c GARBAGE COLLECT 103.06/103.42 c rational objective 32 108.75/109.14 c #Conflicts: 52000 | #Constraints: 6724 108.75/109.14 c #Conflicts: 53000 | #Constraints: 7724 108.75/109.14 c #Conflicts: 54000 | #Constraints: 8724 108.75/109.14 c #Conflicts: 55000 | #Constraints: 9724 108.75/109.14 c #Conflicts: 56000 | #Constraints: 10725 108.75/109.14 c INPROCESSING 108.75/109.14 c GARBAGE COLLECT 108.75/109.14 c rational objective 32 125.60/126.08 c #Conflicts: 57000 | #Constraints: 6774 125.60/126.08 c #Conflicts: 58000 | #Constraints: 7776 125.60/126.08 c #Conflicts: 59000 | #Constraints: 8778 125.60/126.08 c #Conflicts: 60000 | #Constraints: 9778 125.60/126.08 c #Conflicts: 61000 | #Constraints: 10778 125.60/126.08 c INPROCESSING 125.60/126.08 c GARBAGE COLLECT 125.60/126.08 c rational objective 32 133.67/134.11 c #Conflicts: 62000 | #Constraints: 6707 133.67/134.11 c #Conflicts: 63000 | #Constraints: 7709 133.67/134.11 c #Conflicts: 64000 | #Constraints: 8711 133.67/134.11 c #Conflicts: 65000 | #Constraints: 9712 133.67/134.11 c #Conflicts: 66000 | #Constraints: 10717 133.67/134.11 c INPROCESSING 133.67/134.11 c GARBAGE COLLECT 133.67/134.11 c rational objective 32 143.24/143.75 c #Conflicts: 67000 | #Constraints: 6473 143.24/143.75 c #Conflicts: 68000 | #Constraints: 7474 143.24/143.75 c #Conflicts: 69000 | #Constraints: 8477 143.24/143.75 c #Conflicts: 70000 | #Constraints: 9480 143.24/143.75 c #Conflicts: 71000 | #Constraints: 10485 143.24/143.75 c #Conflicts: 72000 | #Constraints: 11498 143.24/143.75 c INPROCESSING 143.24/143.75 c GARBAGE COLLECT 143.24/143.75 c rational objective 32 160.69/161.28 c #Conflicts: 73000 | #Constraints: 7069 160.69/161.28 c #Conflicts: 74000 | #Constraints: 8092 160.69/161.28 c #Conflicts: 75000 | #Constraints: 9114 160.69/161.28 c #Conflicts: 76000 | #Constraints: 10140 160.69/161.28 c #Conflicts: 77000 | #Constraints: 11158 160.69/161.28 c #Conflicts: 78000 | #Constraints: 12169 160.69/161.28 c INPROCESSING 160.69/161.28 c GARBAGE COLLECT 160.69/161.28 c rational objective 32 187.30/187.95 c #Conflicts: 79000 | #Constraints: 7511 187.30/187.95 c #Conflicts: 80000 | #Constraints: 8511 187.30/187.95 c #Conflicts: 81000 | #Constraints: 9511 187.30/187.95 c #Conflicts: 82000 | #Constraints: 10515 187.30/187.95 c #Conflicts: 83000 | #Constraints: 11515 187.30/187.95 c #Conflicts: 84000 | #Constraints: 12515 187.30/187.95 c INPROCESSING 187.30/187.95 c GARBAGE COLLECT 187.30/187.95 c rational objective 32 225.87/226.64 c #Conflicts: 85000 | #Constraints: 7678 225.87/226.64 c #Conflicts: 86000 | #Constraints: 8679 225.87/226.64 c #Conflicts: 87000 | #Constraints: 9685 225.87/226.64 c #Conflicts: 88000 | #Constraints: 10693 225.87/226.64 c #Conflicts: 89000 | #Constraints: 11695 225.87/226.64 c #Conflicts: 90000 | #Constraints: 12728 225.87/226.64 c INPROCESSING 225.87/226.64 c GARBAGE COLLECT 225.87/226.64 c rational objective 32 320.09/321.19 c #Conflicts: 91000 | #Constraints: 7706 320.09/321.19 c #Conflicts: 92000 | #Constraints: 9451 320.09/321.19 c #Conflicts: 93000 | #Constraints: 11428 320.09/321.19 c #Conflicts: 94000 | #Constraints: 13393 320.09/321.19 c #Conflicts: 95000 | #Constraints: 15369 320.09/321.19 c #Conflicts: 96000 | #Constraints: 17310 320.09/321.19 c INPROCESSING 320.09/321.19 c GARBAGE COLLECT 320.09/321.19 c rational objective 32 329.85/330.91 c #Conflicts: 97000 | #Constraints: 10050 329.85/330.91 c #Conflicts: 98000 | #Constraints: 11052 329.85/330.91 c #Conflicts: 99000 | #Constraints: 12052 329.85/330.91 c #Conflicts: 100000 | #Constraints: 13052 329.85/330.91 c #Conflicts: 101000 | #Constraints: 14052 329.85/330.91 c #Conflicts: 102000 | #Constraints: 15052 329.85/330.91 c #Conflicts: 103000 | #Constraints: 16052 329.85/330.91 c INPROCESSING 329.85/330.91 c GARBAGE COLLECT 329.85/330.91 c rational objective 32 344.70/345.80 c #Conflicts: 104000 | #Constraints: 9340 344.70/345.80 c #Conflicts: 105000 | #Constraints: 10340 344.70/345.80 c #Conflicts: 106000 | #Constraints: 11341 344.70/345.80 c #Conflicts: 107000 | #Constraints: 12552 344.70/345.80 c #Conflicts: 108000 | #Constraints: 13552 344.70/345.80 c #Conflicts: 109000 | #Constraints: 14880 344.70/345.80 c #Conflicts: 110000 | #Constraints: 16732 344.70/345.80 c INPROCESSING 344.70/345.80 c GARBAGE COLLECT 344.70/345.80 c rational objective 32 358.76/359.92 c #Conflicts: 111000 | #Constraints: 9780 358.76/359.92 c #Conflicts: 112000 | #Constraints: 10780 358.76/359.92 c #Conflicts: 113000 | #Constraints: 11780 358.76/359.92 c #Conflicts: 114000 | #Constraints: 12780 358.76/359.92 c #Conflicts: 115000 | #Constraints: 13780 358.76/359.92 c #Conflicts: 116000 | #Constraints: 14786 358.76/359.92 c #Conflicts: 117000 | #Constraints: 15786 358.76/359.92 c INPROCESSING 358.76/359.92 c GARBAGE COLLECT 358.76/359.92 c rational objective 32 370.93/372.16 c #Conflicts: 118000 | #Constraints: 9305 370.93/372.16 c #Conflicts: 119000 | #Constraints: 10305 370.93/372.16 c #Conflicts: 120000 | #Constraints: 11305 370.93/372.16 c #Conflicts: 121000 | #Constraints: 12305 370.93/372.16 c #Conflicts: 122000 | #Constraints: 13305 370.93/372.16 c #Conflicts: 123000 | #Constraints: 14305 370.93/372.16 c #Conflicts: 124000 | #Constraints: 15305 370.93/372.16 c INPROCESSING 370.93/372.16 c GARBAGE COLLECT 370.93/372.16 c rational objective 32 391.55/392.80 c #Conflicts: 125000 | #Constraints: 8967 391.55/392.80 c #Conflicts: 126000 | #Constraints: 9967 391.55/392.80 c #Conflicts: 127000 | #Constraints: 10969 391.55/392.80 c #Conflicts: 128000 | #Constraints: 11974 391.55/392.80 c #Conflicts: 129000 | #Constraints: 12981 391.55/392.80 c #Conflicts: 130000 | #Constraints: 13982 391.55/392.80 c #Conflicts: 131000 | #Constraints: 14985 391.55/392.80 c INPROCESSING 391.55/392.80 c GARBAGE COLLECT 391.55/392.80 c rational objective 32 415.78/417.14 c #Conflicts: 132000 | #Constraints: 8609 415.78/417.14 c #Conflicts: 133000 | #Constraints: 9629 415.78/417.14 c #Conflicts: 134000 | #Constraints: 10636 415.78/417.14 c #Conflicts: 135000 | #Constraints: 11643 415.78/417.14 c #Conflicts: 136000 | #Constraints: 12668 415.78/417.14 c #Conflicts: 137000 | #Constraints: 13692 415.78/417.14 c #Conflicts: 138000 | #Constraints: 14709 415.78/417.14 c #Conflicts: 139000 | #Constraints: 15723 415.78/417.14 c INPROCESSING 415.78/417.14 c GARBAGE COLLECT 415.78/417.14 c rational objective 32 433.02/434.48 c #Conflicts: 140000 | #Constraints: 9193 433.02/434.48 c #Conflicts: 141000 | #Constraints: 10193 433.02/434.48 c #Conflicts: 142000 | #Constraints: 11193 433.02/434.48 c #Conflicts: 143000 | #Constraints: 12193 433.02/434.48 c #Conflicts: 144000 | #Constraints: 13194 433.02/434.48 c #Conflicts: 145000 | #Constraints: 14241 433.02/434.48 c #Conflicts: 146000 | #Constraints: 15250 433.02/434.48 c #Conflicts: 147000 | #Constraints: 16252 433.02/434.48 c INPROCESSING 433.02/434.48 c GARBAGE COLLECT 433.02/434.48 c rational objective 32 445.49/446.90 c #Conflicts: 148000 | #Constraints: 9542 445.49/446.90 c #Conflicts: 149000 | #Constraints: 10542 445.49/446.90 c #Conflicts: 150000 | #Constraints: 11542 445.49/446.90 c #Conflicts: 151000 | #Constraints: 12542 445.49/446.90 c #Conflicts: 152000 | #Constraints: 13542 445.49/446.90 c #Conflicts: 153000 | #Constraints: 14542 445.49/446.90 c #Conflicts: 154000 | #Constraints: 15542 445.49/446.90 c #Conflicts: 155000 | #Constraints: 16542 445.49/446.90 c INPROCESSING 445.49/446.90 c GARBAGE COLLECT 445.49/446.90 c rational objective 32 460.44/461.91 c #Conflicts: 156000 | #Constraints: 9691 460.44/461.91 c #Conflicts: 157000 | #Constraints: 10713 460.44/461.91 c #Conflicts: 158000 | #Constraints: 11714 460.44/461.91 c #Conflicts: 159000 | #Constraints: 12714 460.44/461.91 c #Conflicts: 160000 | #Constraints: 13714 460.44/461.91 c #Conflicts: 161000 | #Constraints: 14714 460.44/461.91 c #Conflicts: 162000 | #Constraints: 15719 460.44/461.91 c #Conflicts: 163000 | #Constraints: 16734 460.44/461.91 c INPROCESSING 460.44/461.91 c GARBAGE COLLECT 460.44/461.91 c rational objective 32 518.45/520.15 c #Conflicts: 164000 | #Constraints: 10375 518.45/520.15 c #Conflicts: 165000 | #Constraints: 12268 518.45/520.15 c #Conflicts: 166000 | #Constraints: 14242 518.45/520.15 c #Conflicts: 167000 | #Constraints: 15619 518.45/520.15 c #Conflicts: 168000 | #Constraints: 16665 518.45/520.15 c #Conflicts: 169000 | #Constraints: 17668 518.45/520.15 c #Conflicts: 170000 | #Constraints: 18939 518.45/520.15 c #Conflicts: 171000 | #Constraints: 20174 518.45/520.15 c INPROCESSING 518.45/520.15 c GARBAGE COLLECT 518.45/520.15 c rational objective 32 536.69/538.43 c #Conflicts: 172000 | #Constraints: 11207 536.69/538.43 c #Conflicts: 173000 | #Constraints: 12207 536.69/538.43 c #Conflicts: 174000 | #Constraints: 13207 536.69/538.43 c #Conflicts: 175000 | #Constraints: 14211 536.69/538.43 c #Conflicts: 176000 | #Constraints: 15213 536.69/538.43 c #Conflicts: 177000 | #Constraints: 16224 536.69/538.43 c #Conflicts: 178000 | #Constraints: 17238 536.69/538.43 c #Conflicts: 179000 | #Constraints: 18263 536.69/538.43 c #Conflicts: 180000 | #Constraints: 19275 536.69/538.43 c INPROCESSING 536.69/538.43 c GARBAGE COLLECT 536.69/538.43 c rational objective 32 567.99/569.83 c #Conflicts: 181000 | #Constraints: 10954 567.99/569.83 c #Conflicts: 182000 | #Constraints: 11968 567.99/569.83 c #Conflicts: 183000 | #Constraints: 13000 567.99/569.83 c #Conflicts: 184000 | #Constraints: 14016 567.99/569.83 c #Conflicts: 185000 | #Constraints: 15034 567.99/569.83 c #Conflicts: 186000 | #Constraints: 16036 567.99/569.83 c #Conflicts: 187000 | #Constraints: 17036 567.99/569.83 c #Conflicts: 188000 | #Constraints: 18038 567.99/569.83 c #Conflicts: 189000 | #Constraints: 19041 567.99/569.83 c INPROCESSING 567.99/569.83 c GARBAGE COLLECT 567.99/569.83 c rational objective 32 639.86/641.96 c #Conflicts: 190000 | #Constraints: 10959 639.86/641.96 c #Conflicts: 191000 | #Constraints: 11974 639.86/641.96 c #Conflicts: 192000 | #Constraints: 12989 639.86/641.96 c #Conflicts: 193000 | #Constraints: 14009 639.86/641.96 c #Conflicts: 194000 | #Constraints: 15014 639.86/641.96 c #Conflicts: 195000 | #Constraints: 16018 639.86/641.96 c #Conflicts: 196000 | #Constraints: 17019 639.86/641.96 c #Conflicts: 197000 | #Constraints: 18024 639.86/641.96 c #Conflicts: 198000 | #Constraints: 19027 639.86/641.96 c INPROCESSING 639.86/641.96 c GARBAGE COLLECT 639.86/641.96 c rational objective 32 698.37/700.66 c #Conflicts: 199000 | #Constraints: 10951 698.37/700.66 c #Conflicts: 200000 | #Constraints: 11956 698.37/700.66 c #Conflicts: 201000 | #Constraints: 12964 698.37/700.66 c #Conflicts: 202000 | #Constraints: 13992 698.37/700.66 c #Conflicts: 203000 | #Constraints: 14999 698.37/700.66 c #Conflicts: 204000 | #Constraints: 16000 698.37/700.66 c #Conflicts: 205000 | #Constraints: 17030 698.37/700.66 c #Conflicts: 206000 | #Constraints: 18046 698.37/700.66 c #Conflicts: 207000 | #Constraints: 19062 698.37/700.66 c INPROCESSING 698.37/700.66 c GARBAGE COLLECT 698.37/700.66 c rational objective 32 781.90/784.46 c #Conflicts: 208000 | #Constraints: 10857 781.90/784.46 c #Conflicts: 209000 | #Constraints: 11870 781.90/784.46 c #Conflicts: 210000 | #Constraints: 12885 781.90/784.46 c #Conflicts: 211000 | #Constraints: 13887 781.90/784.46 c #Conflicts: 212000 | #Constraints: 14893 781.90/784.46 c #Conflicts: 213000 | #Constraints: 15893 781.90/784.46 c #Conflicts: 214000 | #Constraints: 16897 781.90/784.46 c #Conflicts: 215000 | #Constraints: 17897 781.90/784.46 c #Conflicts: 216000 | #Constraints: 18897 781.90/784.46 c INPROCESSING 781.90/784.46 c GARBAGE COLLECT 781.90/784.46 c rational objective 32 848.10/850.87 c #Conflicts: 217000 | #Constraints: 10583 848.10/850.87 c #Conflicts: 218000 | #Constraints: 11585 848.10/850.87 c #Conflicts: 219000 | #Constraints: 12585 848.10/850.87 c #Conflicts: 220000 | #Constraints: 13585 848.10/850.87 c #Conflicts: 221000 | #Constraints: 14588 848.10/850.87 c #Conflicts: 222000 | #Constraints: 15589 848.10/850.87 c #Conflicts: 223000 | #Constraints: 16589 848.10/850.87 c #Conflicts: 224000 | #Constraints: 17590 848.10/850.87 c #Conflicts: 225000 | #Constraints: 18590 848.10/850.87 c #Conflicts: 226000 | #Constraints: 19590 848.10/850.87 c INPROCESSING 848.10/850.87 c GARBAGE COLLECT 848.10/850.87 c rational objective 32 882.09/884.95 c #Conflicts: 227000 | #Constraints: 11139 882.09/884.95 c #Conflicts: 228000 | #Constraints: 12139 882.09/884.95 c #Conflicts: 229000 | #Constraints: 13139 882.09/884.95 c #Conflicts: 230000 | #Constraints: 14139 882.09/884.95 c #Conflicts: 231000 | #Constraints: 15139 882.09/884.95 c #Conflicts: 232000 | #Constraints: 16139 882.09/884.95 c #Conflicts: 233000 | #Constraints: 17139 882.09/884.95 c #Conflicts: 234000 | #Constraints: 18140 882.09/884.95 c #Conflicts: 235000 | #Constraints: 19143 882.09/884.95 c #Conflicts: 236000 | #Constraints: 20153 882.09/884.95 c INPROCESSING 882.09/884.95 c GARBAGE COLLECT 882.09/884.95 c rational objective 32 915.57/918.56 c #Conflicts: 237000 | #Constraints: 11495 915.57/918.56 c #Conflicts: 238000 | #Constraints: 12503 915.57/918.56 c #Conflicts: 239000 | #Constraints: 13516 915.57/918.56 c #Conflicts: 240000 | #Constraints: 14538 915.57/918.56 c #Conflicts: 241000 | #Constraints: 15567 915.57/918.56 c #Conflicts: 242000 | #Constraints: 16588 915.57/918.56 c #Conflicts: 243000 | #Constraints: 17610 915.57/918.56 c #Conflicts: 244000 | #Constraints: 18625 915.57/918.56 c #Conflicts: 245000 | #Constraints: 19653 915.57/918.56 c #Conflicts: 246000 | #Constraints: 20659 915.57/918.56 c INPROCESSING 915.57/918.56 c GARBAGE COLLECT 915.57/918.56 c rational objective 32 950.44/953.52 c #Conflicts: 247000 | #Constraints: 11751 950.44/953.52 c #Conflicts: 248000 | #Constraints: 12751 950.44/953.52 c #Conflicts: 249000 | #Constraints: 13873 950.44/953.52 c #Conflicts: 250000 | #Constraints: 14926 950.44/953.52 c #Conflicts: 251000 | #Constraints: 16065 950.44/953.52 c #Conflicts: 252000 | #Constraints: 17102 950.44/953.52 c #Conflicts: 253000 | #Constraints: 18288 950.44/953.52 c #Conflicts: 254000 | #Constraints: 19307 950.44/953.52 c #Conflicts: 255000 | #Constraints: 20307 950.44/953.52 c #Conflicts: 256000 | #Constraints: 21307 950.44/953.52 c INPROCESSING 950.44/953.52 c GARBAGE COLLECT 950.44/953.52 c rational objective 32 983.52/986.71 c #Conflicts: 257000 | #Constraints: 11962 983.52/986.71 c #Conflicts: 258000 | #Constraints: 12966 983.52/986.71 c #Conflicts: 259000 | #Constraints: 13971 983.52/986.71 c #Conflicts: 260000 | #Constraints: 14977 983.52/986.71 c #Conflicts: 261000 | #Constraints: 15981 983.52/986.71 c #Conflicts: 262000 | #Constraints: 16994 983.52/986.71 c #Conflicts: 263000 | #Constraints: 18002 983.52/986.71 c #Conflicts: 264000 | #Constraints: 19026 983.52/986.71 c #Conflicts: 265000 | #Constraints: 20040 983.52/986.71 c #Conflicts: 266000 | #Constraints: 21056 983.52/986.71 c INPROCESSING 983.52/986.71 c GARBAGE COLLECT 983.52/986.71 c rational objective 32 1109.77/1113.46 c #Conflicts: 267000 | #Constraints: 11671 1109.77/1113.46 c #Conflicts: 268000 | #Constraints: 12682 1109.77/1113.46 c #Conflicts: 269000 | #Constraints: 13699 1109.77/1113.46 c #Conflicts: 270000 | #Constraints: 14704 1109.77/1113.46 c #Conflicts: 271000 | #Constraints: 15704 1109.77/1113.46 c #Conflicts: 272000 | #Constraints: 16706 1109.77/1113.46 c #Conflicts: 273000 | #Constraints: 17706 1109.77/1113.46 c #Conflicts: 274000 | #Constraints: 18706 1109.77/1113.46 c #Conflicts: 275000 | #Constraints: 19706 1109.77/1113.46 c #Conflicts: 276000 | #Constraints: 20774 1109.77/1113.46 c #Conflicts: 277000 | #Constraints: 21798 1109.77/1113.46 c INPROCESSING 1109.77/1113.46 c GARBAGE COLLECT 1109.77/1113.46 c rational objective 32 1137.37/1141.16 c #Conflicts: 278000 | #Constraints: 12235 1137.37/1141.16 c #Conflicts: 279000 | #Constraints: 13250 1137.37/1141.16 c #Conflicts: 280000 | #Constraints: 14274 1137.37/1141.16 c #Conflicts: 281000 | #Constraints: 15292 1137.37/1141.16 c #Conflicts: 282000 | #Constraints: 16301 1137.37/1141.16 c #Conflicts: 283000 | #Constraints: 17317 1137.37/1141.16 c #Conflicts: 284000 | #Constraints: 18333 1137.37/1141.16 c #Conflicts: 285000 | #Constraints: 19339 1137.37/1141.16 c #Conflicts: 286000 | #Constraints: 20351 1137.37/1141.16 c #Conflicts: 287000 | #Constraints: 21364 1137.37/1141.16 c #Conflicts: 288000 | #Constraints: 22368 1137.37/1141.16 c INPROCESSING 1137.37/1141.16 c GARBAGE COLLECT 1137.37/1141.16 c rational objective 32 1168.85/1172.76 c #Conflicts: 289000 | #Constraints: 12602 1168.85/1172.76 c #Conflicts: 290000 | #Constraints: 13602 1168.85/1172.76 c #Conflicts: 291000 | #Constraints: 14603 1168.85/1172.76 c #Conflicts: 292000 | #Constraints: 15606 1168.85/1172.76 c #Conflicts: 293000 | #Constraints: 16627 1168.85/1172.76 c #Conflicts: 294000 | #Constraints: 17647 1168.85/1172.76 c #Conflicts: 295000 | #Constraints: 18664 1168.85/1172.76 c #Conflicts: 296000 | #Constraints: 19670 1168.85/1172.76 c #Conflicts: 297000 | #Constraints: 20676 1168.85/1172.76 c #Conflicts: 298000 | #Constraints: 21680 1168.85/1172.76 c #Conflicts: 299000 | #Constraints: 22682 1168.85/1172.76 c INPROCESSING 1168.85/1172.76 c GARBAGE COLLECT 1168.85/1172.76 c rational objective 32 1209.19/1213.21 c #Conflicts: 300000 | #Constraints: 12772 1209.19/1213.21 c #Conflicts: 301000 | #Constraints: 13777 1209.19/1213.21 c #Conflicts: 302000 | #Constraints: 14792 1209.19/1213.21 c #Conflicts: 303000 | #Constraints: 15809 1209.19/1213.21 c #Conflicts: 304000 | #Constraints: 16827 1209.19/1213.21 c #Conflicts: 305000 | #Constraints: 17846 1209.19/1213.21 c #Conflicts: 306000 | #Constraints: 18870 1209.19/1213.21 c #Conflicts: 307000 | #Constraints: 19888 1209.19/1213.21 c #Conflicts: 308000 | #Constraints: 20910 1209.19/1213.21 c #Conflicts: 309000 | #Constraints: 21942 1209.19/1213.21 c #Conflicts: 310000 | #Constraints: 22956 1209.19/1213.21 c INPROCESSING 1209.19/1213.21 c GARBAGE COLLECT 1209.19/1213.21 c rational objective 32 1292.70/1297.03 c #Conflicts: 311000 | #Constraints: 12797 1292.70/1297.03 c #Conflicts: 312000 | #Constraints: 13801 1292.70/1297.03 c #Conflicts: 313000 | #Constraints: 14822 1292.70/1297.03 c #Conflicts: 314000 | #Constraints: 15836 1292.70/1297.03 c #Conflicts: 315000 | #Constraints: 16865 1292.70/1297.03 c #Conflicts: 316000 | #Constraints: 17879 1292.70/1297.03 c #Conflicts: 317000 | #Constraints: 18884 1292.70/1297.03 c #Conflicts: 318000 | #Constraints: 19892 1292.70/1297.03 c #Conflicts: 319000 | #Constraints: 20893 1292.70/1297.03 c #Conflicts: 320000 | #Constraints: 21893 1292.70/1297.03 c #Conflicts: 321000 | #Constraints: 22902 1292.70/1297.03 c INPROCESSING 1292.70/1297.03 c GARBAGE COLLECT 1292.70/1297.03 c rational objective 32 1386.89/1391.54 c #Conflicts: 322000 | #Constraints: 12615 1386.89/1391.54 c #Conflicts: 323000 | #Constraints: 13616 1386.89/1391.54 c #Conflicts: 324000 | #Constraints: 14618 1386.89/1391.54 c #Conflicts: 325000 | #Constraints: 15628 1386.89/1391.54 c #Conflicts: 326000 | #Constraints: 16641 1386.89/1391.54 c #Conflicts: 327000 | #Constraints: 17646 1386.89/1391.54 c #Conflicts: 328000 | #Constraints: 18646 1386.89/1391.54 c #Conflicts: 329000 | #Constraints: 19646 1386.89/1391.54 c #Conflicts: 330000 | #Constraints: 20646 1386.89/1391.54 c #Conflicts: 331000 | #Constraints: 21646 1386.89/1391.54 c #Conflicts: 332000 | #Constraints: 22646 1386.89/1391.54 c #Conflicts: 333000 | #Constraints: 23678 1386.89/1391.54 c INPROCESSING 1386.89/1391.54 c GARBAGE COLLECT 1386.89/1391.54 c rational objective 32 1418.29/1423.09 c #Conflicts: 334000 | #Constraints: 13251 1418.29/1423.09 c #Conflicts: 335000 | #Constraints: 14255 1418.29/1423.09 c #Conflicts: 336000 | #Constraints: 15255 1418.29/1423.09 c #Conflicts: 337000 | #Constraints: 16257 1418.29/1423.09 c #Conflicts: 338000 | #Constraints: 17267 1418.29/1423.09 c #Conflicts: 339000 | #Constraints: 18278 1418.29/1423.09 c #Conflicts: 340000 | #Constraints: 19297 1418.29/1423.09 c #Conflicts: 341000 | #Constraints: 20317 1418.29/1423.09 c #Conflicts: 342000 | #Constraints: 21328 1418.29/1423.09 c #Conflicts: 343000 | #Constraints: 22329 1418.29/1423.09 c #Conflicts: 344000 | #Constraints: 23329 1418.29/1423.09 c #Conflicts: 345000 | #Constraints: 24329 1418.29/1423.09 c INPROCESSING 1418.29/1423.09 c GARBAGE COLLECT 1418.29/1423.09 c rational objective 32 1489.85/1494.83 c #Conflicts: 346000 | #Constraints: 13585 1489.85/1494.83 c #Conflicts: 347000 | #Constraints: 14591 1489.85/1494.83 c #Conflicts: 348000 | #Constraints: 15608 1489.85/1494.83 c #Conflicts: 349000 | #Constraints: 16621 1489.85/1494.83 c #Conflicts: 350000 | #Constraints: 17629 1489.85/1494.83 c #Conflicts: 351000 | #Constraints: 18632 1489.85/1494.83 c #Conflicts: 352000 | #Constraints: 19632 1489.85/1494.83 c #Conflicts: 353000 | #Constraints: 20663 1489.85/1494.83 c #Conflicts: 354000 | #Constraints: 21675 1489.85/1494.83 c #Conflicts: 355000 | #Constraints: 22697 1489.85/1494.83 c #Conflicts: 356000 | #Constraints: 23718 1489.85/1494.83 c #Conflicts: 357000 | #Constraints: 24732 1489.85/1494.83 c INPROCESSING 1489.85/1494.83 c GARBAGE COLLECT 1489.85/1494.83 c rational objective 32 1524.44/1529.50 c #Conflicts: 358000 | #Constraints: 13783 1524.44/1529.50 c #Conflicts: 359000 | #Constraints: 14784 1524.44/1529.50 c #Conflicts: 360000 | #Constraints: 15784 1524.44/1529.50 c #Conflicts: 361000 | #Constraints: 16784 1524.44/1529.50 c #Conflicts: 362000 | #Constraints: 17784 1524.44/1529.50 c #Conflicts: 363000 | #Constraints: 18784 1524.44/1529.50 c #Conflicts: 364000 | #Constraints: 19784 1524.44/1529.50 c #Conflicts: 365000 | #Constraints: 20784 1524.44/1529.50 c #Conflicts: 366000 | #Constraints: 21784 1524.44/1529.50 c #Conflicts: 367000 | #Constraints: 22855 1524.44/1529.50 c #Conflicts: 368000 | #Constraints: 23856 1524.44/1529.50 c #Conflicts: 369000 | #Constraints: 24872 1524.44/1529.50 c INPROCESSING 1524.44/1529.50 c GARBAGE COLLECT 1524.44/1529.50 c rational objective 32 1575.77/1581.07 c #Conflicts: 370000 | #Constraints: 13755 1575.77/1581.07 c #Conflicts: 371000 | #Constraints: 14760 1575.77/1581.07 c #Conflicts: 372000 | #Constraints: 15765 1575.77/1581.07 c #Conflicts: 373000 | #Constraints: 16775 1575.77/1581.07 c #Conflicts: 374000 | #Constraints: 17784 1575.77/1581.07 c #Conflicts: 375000 | #Constraints: 18787 1575.77/1581.07 c #Conflicts: 376000 | #Constraints: 19789 1575.77/1581.07 c #Conflicts: 377000 | #Constraints: 20815 1575.77/1581.07 c #Conflicts: 378000 | #Constraints: 21841 1575.77/1581.07 c #Conflicts: 379000 | #Constraints: 22853 1575.77/1581.07 c #Conflicts: 380000 | #Constraints: 23854 1575.77/1581.07 c #Conflicts: 381000 | #Constraints: 24858 1575.77/1581.07 c INPROCESSING 1575.77/1581.07 c GARBAGE COLLECT 1575.77/1581.07 c rational objective 32 1629.28/1634.73 c #Conflicts: 382000 | #Constraints: 13569 1629.28/1634.73 c #Conflicts: 383000 | #Constraints: 14592 1629.28/1634.73 c #Conflicts: 384000 | #Constraints: 15607 1629.28/1634.73 c #Conflicts: 385000 | #Constraints: 16614 1629.28/1634.73 c #Conflicts: 386000 | #Constraints: 17632 1629.28/1634.73 c #Conflicts: 387000 | #Constraints: 18651 1629.28/1634.73 c #Conflicts: 388000 | #Constraints: 19680 1629.28/1634.73 c #Conflicts: 389000 | #Constraints: 20698 1629.28/1634.73 c #Conflicts: 390000 | #Constraints: 21718 1629.28/1634.73 c #Conflicts: 391000 | #Constraints: 22736 1629.28/1634.73 c #Conflicts: 392000 | #Constraints: 23773 1629.28/1634.73 c #Conflicts: 393000 | #Constraints: 24783 1629.28/1634.73 c #Conflicts: 394000 | #Constraints: 25805 1629.28/1634.73 c INPROCESSING 1629.28/1634.73 c GARBAGE COLLECT 1629.28/1634.73 c rational objective 32 1679.53/1685.16 c #Conflicts: 395000 | #Constraints: 14236 1679.53/1685.16 c #Conflicts: 396000 | #Constraints: 15238 1679.53/1685.16 c #Conflicts: 397000 | #Constraints: 16245 1679.53/1685.16 c #Conflicts: 398000 | #Constraints: 17257 1679.53/1685.16 c #Conflicts: 399000 | #Constraints: 18273 1679.53/1685.16 c #Conflicts: 400000 | #Constraints: 19282 1679.53/1685.16 c #Conflicts: 401000 | #Constraints: 20310 1679.53/1685.16 c #Conflicts: 402000 | #Constraints: 21339 1679.53/1685.16 c #Conflicts: 403000 | #Constraints: 22352 1679.53/1685.16 c #Conflicts: 404000 | #Constraints: 23369 1679.53/1685.16 c #Conflicts: 405000 | #Constraints: 24377 1679.53/1685.16 c #Conflicts: 406000 | #Constraints: 25401 1679.53/1685.16 c #Conflicts: 407000 | #Constraints: 26424 1679.53/1685.16 c INPROCESSING 1679.53/1685.16 c GARBAGE COLLECT 1679.53/1685.16 c rational objective 32 1783.87/1789.85 c #Conflicts: 408000 | #Constraints: 14649 1783.87/1789.85 c #Conflicts: 409000 | #Constraints: 15677 1783.87/1789.85 c #Conflicts: 410000 | #Constraints: 16690 1783.87/1789.85 c #Conflicts: 411000 | #Constraints: 17705 1783.87/1789.85 c #Conflicts: 412000 | #Constraints: 18722 1783.87/1789.85 c #Conflicts: 413000 | #Constraints: 19730 1783.87/1789.85 c #Conflicts: 414000 | #Constraints: 20745 1783.87/1789.85 c #Conflicts: 415000 | #Constraints: 21745 1783.87/1789.85 c #Conflicts: 416000 | #Constraints: 22745 1783.87/1789.85 c #Conflicts: 417000 | #Constraints: 23757 1783.87/1789.85 c #Conflicts: 418000 | #Constraints: 24763 1783.87/1789.85 c #Conflicts: 419000 | #Constraints: 25769 1783.87/1789.85 c #Conflicts: 420000 | #Constraints: 26775 1783.87/1789.85 c INPROCESSING 1783.87/1789.85 c GARBAGE COLLECT 1783.87/1789.85 c rational objective 32 2079.80/2086.78 c #Conflicts: 421000 | #Constraints: 14824 2079.80/2086.78 c #Conflicts: 422000 | #Constraints: 15825 2079.80/2086.78 c #Conflicts: 423000 | #Constraints: 16836 2079.80/2086.78 c #Conflicts: 424000 | #Constraints: 17840 2079.80/2086.78 c #Conflicts: 425000 | #Constraints: 18840 2079.80/2086.78 c #Conflicts: 426000 | #Constraints: 19841 2079.80/2086.78 c #Conflicts: 427000 | #Constraints: 20841 2079.80/2086.78 c #Conflicts: 428000 | #Constraints: 21841 2079.80/2086.78 c #Conflicts: 429000 | #Constraints: 22841 2079.80/2086.78 c #Conflicts: 430000 | #Constraints: 23841 2079.80/2086.78 c #Conflicts: 431000 | #Constraints: 24841 2079.80/2086.78 c #Conflicts: 432000 | #Constraints: 25841 2079.80/2086.78 c #Conflicts: 433000 | #Constraints: 26841 2079.80/2086.78 c INPROCESSING 2079.80/2086.78 c GARBAGE COLLECT 2079.80/2086.78 c rational objective 32 2381.14/2389.04 c #Conflicts: 434000 | #Constraints: 14880 2381.14/2389.04 c #Conflicts: 435000 | #Constraints: 15881 2381.14/2389.04 c #Conflicts: 436000 | #Constraints: 16883 2381.14/2389.04 c #Conflicts: 437000 | #Constraints: 17883 2381.14/2389.04 c #Conflicts: 438000 | #Constraints: 19094 2381.14/2389.04 c #Conflicts: 439000 | #Constraints: 21094 2381.14/2389.04 c #Conflicts: 440000 | #Constraints: 23094 2381.14/2389.04 c #Conflicts: 441000 | #Constraints: 25094 2381.14/2389.04 c #Conflicts: 442000 | #Constraints: 27094 2381.14/2389.04 c #Conflicts: 443000 | #Constraints: 29094 2381.14/2389.04 c #Conflicts: 444000 | #Constraints: 31094 2381.14/2389.04 c #Conflicts: 445000 | #Constraints: 33094 2381.14/2389.04 c #Conflicts: 446000 | #Constraints: 35094 2381.14/2389.04 c INPROCESSING 2381.14/2389.04 c GARBAGE COLLECT 2381.14/2389.04 c rational objective 32 2576.73/2585.24 c #Conflicts: 447000 | #Constraints: 18969 2576.73/2585.24 c #Conflicts: 448000 | #Constraints: 19970 2576.73/2585.24 c #Conflicts: 449000 | #Constraints: 20978 2576.73/2585.24 c #Conflicts: 450000 | #Constraints: 21978 2576.73/2585.24 c #Conflicts: 451000 | #Constraints: 22979 2576.73/2585.24 c #Conflicts: 452000 | #Constraints: 23979 2576.73/2585.24 c #Conflicts: 453000 | #Constraints: 24979 2576.73/2585.24 c #Conflicts: 454000 | #Constraints: 25979 2576.73/2585.24 c #Conflicts: 455000 | #Constraints: 26979 2576.73/2585.24 c #Conflicts: 456000 | #Constraints: 27979 2576.73/2585.24 c #Conflicts: 457000 | #Constraints: 28980 2576.73/2585.24 c #Conflicts: 458000 | #Constraints: 29980 2576.73/2585.24 c #Conflicts: 459000 | #Constraints: 30992 2576.73/2585.24 c #Conflicts: 460000 | #Constraints: 32008 2576.73/2585.24 c INPROCESSING 2576.73/2585.24 c GARBAGE COLLECT 2576.73/2585.24 c rational objective 32 2649.89/2658.62 c #Conflicts: 461000 | #Constraints: 17341 2649.89/2658.62 c #Conflicts: 462000 | #Constraints: 18341 2649.89/2658.62 c #Conflicts: 463000 | #Constraints: 19342 2649.89/2658.62 c #Conflicts: 464000 | #Constraints: 20342 2649.89/2658.62 c #Conflicts: 465000 | #Constraints: 21343 2649.89/2658.62 c #Conflicts: 466000 | #Constraints: 22343 2649.89/2658.62 c #Conflicts: 467000 | #Constraints: 23347 2649.89/2658.62 c #Conflicts: 468000 | #Constraints: 24361 2649.89/2658.62 c #Conflicts: 469000 | #Constraints: 25368 2649.89/2658.62 c #Conflicts: 470000 | #Constraints: 26371 2649.89/2658.62 c #Conflicts: 471000 | #Constraints: 27376 2649.89/2658.62 c #Conflicts: 472000 | #Constraints: 28376 2649.89/2658.62 c #Conflicts: 473000 | #Constraints: 29382 2649.89/2658.62 c #Conflicts: 474000 | #Constraints: 30382 2649.89/2658.62 c INPROCESSING 2649.89/2658.62 c GARBAGE COLLECT 2649.89/2658.62 c rational objective 32 3039.97/3049.99 c #Conflicts: 475000 | #Constraints: 16637 3039.97/3049.99 c #Conflicts: 476000 | #Constraints: 17653 3039.97/3049.99 c #Conflicts: 477000 | #Constraints: 18659 3039.97/3049.99 c #Conflicts: 478000 | #Constraints: 19663 3039.97/3049.99 c #Conflicts: 479000 | #Constraints: 20664 3039.97/3049.99 c #Conflicts: 480000 | #Constraints: 21667 3039.97/3049.99 c #Conflicts: 481000 | #Constraints: 22667 3039.97/3049.99 c #Conflicts: 482000 | #Constraints: 23667 3039.97/3049.99 c #Conflicts: 483000 | #Constraints: 24668 3039.97/3049.99 c #Conflicts: 484000 | #Constraints: 25668 3039.97/3049.99 c #Conflicts: 485000 | #Constraints: 26668 3039.97/3049.99 c #Conflicts: 486000 | #Constraints: 27668 3039.97/3049.99 c #Conflicts: 487000 | #Constraints: 28966 3039.97/3049.99 c #Conflicts: 488000 | #Constraints: 30966 3039.97/3049.99 c INPROCESSING 3039.97/3049.99 c GARBAGE COLLECT 3039.97/3049.99 c rational objective 32 3075.07/3085.13 c #Conflicts: 489000 | #Constraints: 16914 3075.07/3085.13 c #Conflicts: 490000 | #Constraints: 17915 3075.07/3085.13 c #Conflicts: 491000 | #Constraints: 18918 3075.07/3085.13 c #Conflicts: 492000 | #Constraints: 19918 3075.07/3085.13 c #Conflicts: 493000 | #Constraints: 20918 3075.07/3085.13 c #Conflicts: 494000 | #Constraints: 21918 3075.07/3085.13 c #Conflicts: 495000 | #Constraints: 22924 3075.07/3085.13 c #Conflicts: 496000 | #Constraints: 23924 3075.07/3085.13 c #Conflicts: 497000 | #Constraints: 24938 3075.07/3085.13 c #Conflicts: 498000 | #Constraints: 25939 3075.07/3085.13 c #Conflicts: 499000 | #Constraints: 26941 3075.07/3085.13 c #Conflicts: 500000 | #Constraints: 27944 3075.07/3085.13 c #Conflicts: 501000 | #Constraints: 28944 3075.07/3085.13 c #Conflicts: 502000 | #Constraints: 29945 3075.07/3085.13 c INPROCESSING 3075.07/3085.13 c GARBAGE COLLECT 3075.07/3085.13 c rational objective 32 3123.81/3134.03 c #Conflicts: 503000 | #Constraints: 16291 3123.81/3134.03 c #Conflicts: 504000 | #Constraints: 17291 3123.81/3134.03 c #Conflicts: 505000 | #Constraints: 18292 3123.81/3134.03 c #Conflicts: 506000 | #Constraints: 19294 3123.81/3134.03 c #Conflicts: 507000 | #Constraints: 20303 3123.81/3134.03 c #Conflicts: 508000 | #Constraints: 21308 3123.81/3134.03 c #Conflicts: 509000 | #Constraints: 22315 3123.81/3134.03 c #Conflicts: 510000 | #Constraints: 23319 3123.81/3134.03 c #Conflicts: 511000 | #Constraints: 24332 3123.81/3134.03 c #Conflicts: 512000 | #Constraints: 25334 3123.81/3134.03 c #Conflicts: 513000 | #Constraints: 26363 3123.81/3134.03 c #Conflicts: 514000 | #Constraints: 27380 3123.81/3134.03 c #Conflicts: 515000 | #Constraints: 28384 3123.81/3134.03 c #Conflicts: 516000 | #Constraints: 29391 3123.81/3134.03 c INPROCESSING 3123.81/3134.03 c GARBAGE COLLECT 3123.81/3134.03 c rational objective 32 3177.93/3188.33 c #Conflicts: 517000 | #Constraints: 15817 3177.93/3188.33 c #Conflicts: 518000 | #Constraints: 16826 3177.93/3188.33 c #Conflicts: 519000 | #Constraints: 17846 3177.93/3188.33 c #Conflicts: 520000 | #Constraints: 18871 3177.93/3188.33 c #Conflicts: 521000 | #Constraints: 19894 3177.93/3188.33 c #Conflicts: 522000 | #Constraints: 20907 3177.93/3188.33 c #Conflicts: 523000 | #Constraints: 21920 3177.93/3188.33 c #Conflicts: 524000 | #Constraints: 22943 3177.93/3188.33 c #Conflicts: 525000 | #Constraints: 23963 3177.93/3188.33 c #Conflicts: 526000 | #Constraints: 24987 3177.93/3188.33 c #Conflicts: 527000 | #Constraints: 26019 3177.93/3188.33 c #Conflicts: 528000 | #Constraints: 27033 3177.93/3188.33 c #Conflicts: 529000 | #Constraints: 28059 3177.93/3188.33 c #Conflicts: 530000 | #Constraints: 29071 3177.93/3188.33 c #Conflicts: 531000 | #Constraints: 30103 3177.93/3188.33 c INPROCESSING 3177.93/3188.33 c GARBAGE COLLECT 3177.93/3188.33 c rational objective 32 3253.89/3264.59 c #Conflicts: 532000 | #Constraints: 16481 3253.89/3264.59 c #Conflicts: 533000 | #Constraints: 17481 3253.89/3264.59 c #Conflicts: 534000 | #Constraints: 18484 3253.89/3264.59 c #Conflicts: 535000 | #Constraints: 19485 3253.89/3264.59 c #Conflicts: 536000 | #Constraints: 20485 3253.89/3264.59 c #Conflicts: 537000 | #Constraints: 21485 3253.89/3264.59 c #Conflicts: 538000 | #Constraints: 22485 3253.89/3264.59 c #Conflicts: 539000 | #Constraints: 23485 3253.89/3264.59 c #Conflicts: 540000 | #Constraints: 24485 3253.89/3264.59 c #Conflicts: 541000 | #Constraints: 25485 3253.89/3264.59 c #Conflicts: 542000 | #Constraints: 26485 3253.89/3264.59 c #Conflicts: 543000 | #Constraints: 27485 3253.89/3264.59 c #Conflicts: 544000 | #Constraints: 28485 3253.89/3264.59 c #Conflicts: 545000 | #Constraints: 29485 3253.89/3264.59 c #Conflicts: 546000 | #Constraints: 30712 3253.89/3264.59 c INPROCESSING 3253.89/3264.59 c GARBAGE COLLECT 3253.89/3264.59 c rational objective 32 3325.57/3336.49 c #Conflicts: 547000 | #Constraints: 16785 3325.57/3336.49 c #Conflicts: 548000 | #Constraints: 17785 3325.57/3336.49 c #Conflicts: 549000 | #Constraints: 18785 3325.57/3336.49 c #Conflicts: 550000 | #Constraints: 19785 3325.57/3336.49 c #Conflicts: 551000 | #Constraints: 20786 3325.57/3336.49 c #Conflicts: 552000 | #Constraints: 21786 3325.57/3336.49 c #Conflicts: 553000 | #Constraints: 22788 3325.57/3336.49 c #Conflicts: 554000 | #Constraints: 23788 3325.57/3336.49 c #Conflicts: 555000 | #Constraints: 24789 3325.57/3336.49 c #Conflicts: 556000 | #Constraints: 25789 3325.57/3336.49 c #Conflicts: 557000 | #Constraints: 26790 3325.57/3336.49 c #Conflicts: 558000 | #Constraints: 27794 3325.57/3336.49 c #Conflicts: 559000 | #Constraints: 28798 3325.57/3336.49 c #Conflicts: 560000 | #Constraints: 29798 3325.57/3336.49 c #Conflicts: 561000 | #Constraints: 30798 3325.57/3336.49 c INPROCESSING 3325.57/3336.49 c GARBAGE COLLECT 3325.57/3336.49 c rational objective 32 3366.05/3377.10 c #Conflicts: 562000 | #Constraints: 16815 3366.05/3377.10 c #Conflicts: 563000 | #Constraints: 17815 3366.05/3377.10 c #Conflicts: 564000 | #Constraints: 18815 3366.05/3377.10 c #Conflicts: 565000 | #Constraints: 19815 3366.05/3377.10 c #Conflicts: 566000 | #Constraints: 20815 3366.05/3377.10 c #Conflicts: 567000 | #Constraints: 21815 3366.05/3377.10 c #Conflicts: 568000 | #Constraints: 22815 3366.05/3377.10 c #Conflicts: 569000 | #Constraints: 23815 3366.05/3377.10 c #Conflicts: 570000 | #Constraints: 24817 3366.05/3377.10 c #Conflicts: 571000 | #Constraints: 25819 3366.05/3377.10 c #Conflicts: 572000 | #Constraints: 26827 3366.05/3377.10 c #Conflicts: 573000 | #Constraints: 27834 3366.05/3377.10 c #Conflicts: 574000 | #Constraints: 28842 3366.05/3377.10 c #Conflicts: 575000 | #Constraints: 29865 3366.05/3377.10 c #Conflicts: 576000 | #Constraints: 30875 3366.05/3377.10 c INPROCESSING 3366.05/3377.10 c GARBAGE COLLECT 3366.05/3377.10 c rational objective 32 3410.30/3421.43 c #Conflicts: 577000 | #Constraints: 16776 3410.30/3421.43 c #Conflicts: 578000 | #Constraints: 17786 3410.30/3421.43 c #Conflicts: 579000 | #Constraints: 18806 3410.30/3421.43 c #Conflicts: 580000 | #Constraints: 19827 3410.30/3421.43 c #Conflicts: 581000 | #Constraints: 20832 3410.30/3421.43 c #Conflicts: 582000 | #Constraints: 21846 3410.30/3421.43 c #Conflicts: 583000 | #Constraints: 22862 3410.30/3421.43 c #Conflicts: 584000 | #Constraints: 23874 3410.30/3421.43 c #Conflicts: 585000 | #Constraints: 24885 3410.30/3421.43 c #Conflicts: 586000 | #Constraints: 25904 3410.30/3421.43 c #Conflicts: 587000 | #Constraints: 26923 3410.30/3421.43 c #Conflicts: 588000 | #Constraints: 27945 3410.30/3421.43 c #Conflicts: 589000 | #Constraints: 28967 3410.30/3421.43 c #Conflicts: 590000 | #Constraints: 29978 3410.30/3421.43 c #Conflicts: 591000 | #Constraints: 30991 3410.30/3421.43 c INPROCESSING 3410.30/3421.43 c GARBAGE COLLECT 3410.30/3421.43 c rational objective 32 3499.11/3510.52 c #Conflicts: 592000 | #Constraints: 16630 3499.11/3510.52 c #Conflicts: 593000 | #Constraints: 17646 3499.11/3510.52 c #Conflicts: 594000 | #Constraints: 18656 3499.11/3510.52 c #Conflicts: 595000 | #Constraints: 19661 3499.11/3510.52 c #Conflicts: 596000 | #Constraints: 20690 3499.11/3510.52 c #Conflicts: 597000 | #Constraints: 21719 3499.11/3510.52 c #Conflicts: 598000 | #Constraints: 22727 3499.11/3510.52 c #Conflicts: 599000 | #Constraints: 23731 3499.11/3510.52 c #Conflicts: 600000 | #Constraints: 24734 3499.11/3510.52 c #Conflicts: 601000 | #Constraints: 25739 3499.11/3510.52 c #Conflicts: 602000 | #Constraints: 26749 3499.11/3510.52 c #Conflicts: 603000 | #Constraints: 27760 3499.11/3510.52 c #Conflicts: 604000 | #Constraints: 28761 3499.11/3510.52 c #Conflicts: 605000 | #Constraints: 29762 3499.11/3510.52 c #Conflicts: 606000 | #Constraints: 30772 3499.11/3510.52 c #Conflicts: 607000 | #Constraints: 31780 3499.11/3510.52 c INPROCESSING 3499.11/3510.52 c GARBAGE COLLECT 3499.11/3510.52 c rational objective 32 3572.78/3584.44 c #Conflicts: 608000 | #Constraints: 17233 3572.78/3584.44 c #Conflicts: 609000 | #Constraints: 18241 3572.78/3584.44 c #Conflicts: 610000 | #Constraints: 19253 3572.78/3584.44 c #Conflicts: 611000 | #Constraints: 20255 3572.78/3584.44 c #Conflicts: 612000 | #Constraints: 21257 3572.78/3584.44 c #Conflicts: 613000 | #Constraints: 22257 3572.78/3584.44 c #Conflicts: 614000 | #Constraints: 23259 3572.78/3584.44 c #Conflicts: 615000 | #Constraints: 24271 3572.78/3584.44 c #Conflicts: 616000 | #Constraints: 25298 3572.78/3584.44 c #Conflicts: 617000 | #Constraints: 26308 3572.78/3584.44 c #Conflicts: 618000 | #Constraints: 27310 3572.78/3584.44 c #Conflicts: 619000 | #Constraints: 28319 3572.78/3584.44 c #Conflicts: 620000 | #Constraints: 29331 3572.78/3584.44 c #Conflicts: 621000 | #Constraints: 30343 3572.78/3584.44 c #Conflicts: 622000 | #Constraints: 31346 3572.78/3584.44 c #Conflicts: 623000 | #Constraints: 32351 3572.78/3584.44 c INPROCESSING 3572.78/3584.44 c GARBAGE COLLECT 3572.78/3584.44 c rational objective 32 3600.09/3611.80 c #Conflicts: 624000 | #Constraints: 17599 3600.09/3611.80 c #Conflicts: 625000 | #Constraints: 18609 3600.09/3611.80 c #Conflicts: 626000 | #Constraints: 19632 3600.09/3611.80 c #Conflicts: 627000 | #Constraints: 20646 3600.09/3611.80 c #Conflicts: 628000 | #Constraints: 21649 3600.09/3611.80 c #Conflicts: 629000 | #Constraints: 22649 3600.09/3611.80 c #Conflicts: 630000 | #Constraints: 23649 3600.09/3611.80 c #Conflicts: 631000 | #Constraints: 24650 3600.09/3611.80 c Program interrupted by user. 3600.09/3611.82 c cpu time 3562.54 s 3600.09/3611.82 c deterministic time 1119882665996 1.12e+12 3600.09/3611.82 c optimization time 26.0736 s 3600.09/3611.82 c total solve time 3536.44 s 3600.09/3611.82 c core-guided solve time 0 s 3600.09/3611.82 c propagation time 3015.17 s 3600.09/3611.82 c conflict analysis time 348.174 s 3600.09/3611.82 c propagations 105538631 3600.09/3611.82 c resolve steps 1997860 3600.09/3611.82 c decisions 26149573 3600.09/3611.82 c conflicts 631226 3600.09/3611.82 c restarts 1340 3600.09/3611.82 c inprocessing phases 70 3600.09/3611.82 c input clauses 366 3600.09/3611.82 c input cardinalities 367 3600.09/3611.82 c input general constraints 64 3600.09/3611.82 c input average constraint length 58.82 3600.09/3611.82 c input average constraint degree 11723.44 3600.09/3611.82 c learned clauses 28801 3600.09/3611.82 c learned cardinalities 1151 3600.09/3611.82 c learned general constraints 628855 3600.09/3611.82 c learned average constraint length 3216.42 3600.09/3611.82 c learned average constraint degree 24443646129.21 3600.09/3611.82 c watched constraints 512805 3600.09/3611.82 c counting constraints 116114 3600.09/3611.82 c gcd simplifications 10491 3600.09/3611.82 c detected cardinalities 66 3600.09/3611.82 c weakened non-implied lits 88373633 3600.09/3611.82 c weakened non-implying lits 216468 3600.09/3611.82 c original variables 11744 3600.09/3611.82 c clausal propagations 1598303 3600.09/3611.82 c cardinality propagations 35774207 3600.09/3611.82 c watched propagations 43749316 3600.09/3611.82 c counting propagations 23902002 3600.09/3611.82 c watch lookups 14698612011 3600.09/3611.82 c watch backjump lookups 14240782287 3600.09/3611.82 c watch checks 683151210362 3600.09/3611.82 c propagation checks 403331653709 3600.09/3611.82 c constraint additions 4195645699 3600.09/3611.82 c trail pops 132309970 3600.09/3611.82 c formula constraints 797 3600.09/3611.82 c learned constraints 626871 3600.09/3611.82 c bound constraints 0 3600.09/3611.82 c core-guided constraints 0 3600.09/3611.82 c encountered formula constraints 1453620 3600.09/3611.82 c encountered learned constraints 924905 3600.09/3611.82 c encountered bound constraints 0 3600.09/3611.82 c encountered core-guided constraints 0 3600.09/3611.82 c LP total time 481.308 s 3600.09/3611.82 c LP solve time 360.57 s 3600.09/3611.82 c LP constraints added 1409 3600.09/3611.82 c LP constraints removed 598 3600.09/3611.82 c LP pivots internal 633400 3600.09/3611.82 c LP pivots root 130353 3600.09/3611.82 c LP calls 173817 3600.09/3611.82 c LP optimalities 146804 3600.09/3611.82 c LP no pivot count 123088 3600.09/3611.82 c LP infeasibilities 26993 3600.09/3611.82 c LP valid Farkas constraints 26977 3600.09/3611.82 c LP learned Farkas constraints 4355 3600.09/3611.82 c LP basis resets 30 3600.09/3611.82 c LP cycling count 0 3600.09/3611.82 c LP singular count 16 3600.09/3611.82 c LP no primal count 0 3600.09/3611.82 c LP no farkas count 14 3600.09/3611.82 c LP other issue count 0 3600.09/3611.82 c LP Gomory cuts 604 3600.09/3611.82 c LP learned cuts 8 3600.09/3611.82 c LP deleted cuts 598 3600.09/3611.82 c LP encountered Gomory constraints 38 3600.09/3611.82 c LP encountered Farkas constraints 197281 3600.09/3611.82 c LP encountered learned Farkas constraints 48887 3600.09/3611.82 c CG auxiliary variables introduced 0 3600.09/3611.82 c CG solutions found 0 3600.09/3611.82 c CG cores constructed 0 3600.09/3611.82 c CG core cardinality constraints returned 0 3600.09/3611.82 c CG unit cores 0 3600.09/3611.82 c CG single cores 0 3600.09/3611.82 c CG blocks removed during cardinality reduction 0 3600.09/3611.82 c CG first core best 0 3600.09/3611.82 c CG decision core best 0 3600.09/3611.82 c CG core reduction tie 0 3600.09/3611.82 c CG core degree average 0.00 3600.09/3611.82 c CG core slack average 0.00 3600.09/3611.82 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) 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: 63931 MiB (61516 MiB free)
memory of node 1: 64510 MiB (62029 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455430-1721465618/watcher-4455430-1721465618 -o /tmp/evaluation-result-4455430-1721465618/solver-4455430-1721465618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721458405-1068406 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455430-1721465618.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1072501, runsolver pid=1072498
[startup+0.100092 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 1072502
/proc/meminfo: memFree=126498512/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=48664 memory=18552 CPUtime=0.09 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 3941 0 0 0 9 0 0 0 20 0 1 0 198729238 49831936 4638 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 12166 4638 1741 922 0 4118 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48664 KiB
Current children cumulated memory: 18552 KiB
[startup+0.205492 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 1072502
/proc/meminfo: memFree=126497960/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=48908 memory=18816 CPUtime=0.19 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 3962 0 0 0 19 0 0 0 20 0 1 0 198729238 50081792 4704 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 12227 4704 1741 922 0 4179 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48908 KiB
Current children cumulated memory: 18816 KiB
[startup+0.305109 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 1072502
/proc/meminfo: memFree=126494736/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=49264 memory=19720 CPUtime=0.3 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 4199 0 0 0 28 2 0 0 20 0 1 0 198729238 50446336 4930 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 12316 4930 1771 922 0 4268 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49264 KiB
Current children cumulated memory: 19720 KiB
[startup+0.700188 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1072502
/proc/meminfo: memFree=126487424/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=61596 memory=32312 CPUtime=0.68 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 6305 0 0 0 62 6 0 0 20 0 1 0 198729238 63074304 8078 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 15399 8078 1771 922 0 7351 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61596 KiB
Current children cumulated memory: 32312 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1072502
/proc/meminfo: memFree=126460980/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=79380 memory=49428 CPUtime=1.49 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 9513 0 0 0 139 10 0 0 20 0 1 0 198729238 81285120 12357 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 19845 12357 1828 922 0 11797 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79380 KiB
Current children cumulated memory: 49428 KiB
[startup+3.10542 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1072504
/proc/meminfo: memFree=126352504/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=126024 memory=83932 CPUtime=3.09 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 14557 0 0 0 294 15 0 0 20 0 1 0 198729238 129048576 20983 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 31506 20983 1828 922 0 23458 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 126024 KiB
Current children cumulated memory: 83932 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1072504
/proc/meminfo: memFree=126238968/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=188740 memory=150488 CPUtime=6.27 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 23009 0 0 0 603 24 0 0 20 0 1 0 198729238 193269760 37622 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 47185 37622 1844 922 0 39137 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 188740 KiB
Current children cumulated memory: 150488 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 1072504
/proc/meminfo: memFree=126040456/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=265292 memory=200448 CPUtime=12.65 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 30410 0 0 0 1216 49 0 0 20 0 1 0 198729238 271659008 50112 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 66323 50112 1844 922 0 58275 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 265292 KiB
Current children cumulated memory: 200448 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1072508
/proc/meminfo: memFree=125890140/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=281716 memory=228524 CPUtime=25.4 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 34361 0 0 0 2461 79 0 0 20 0 1 0 198729238 288477184 57131 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 70429 57131 1844 922 0 62381 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 281716 KiB
Current children cumulated memory: 228524 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1072511
/proc/meminfo: memFree=125582028/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=321528 memory=282488 CPUtime=50.94 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 45685 0 0 0 4949 145 0 0 20 0 1 0 198729238 329244672 70622 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 80382 70622 1844 922 0 72334 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 321528 KiB
Current children cumulated memory: 282488 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.19 4.12 5/256 1072565
/proc/meminfo: memFree=125421172/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=513052 memory=413092 CPUtime=101.97 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 76417 0 0 0 9914 283 0 0 20 0 1 0 198729238 525365248 103273 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 128263 103273 1964 922 0 120215 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 513052 KiB
Current children cumulated memory: 413092 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/257 1072959
/proc/meminfo: memFree=125189080/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=571288 memory=505316 CPUtime=161.78 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 95051 0 0 0 15748 430 0 0 20 0 1 0 198729238 584998912 126329 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 142822 126329 1964 922 0 134774 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 571288 KiB
Current children cumulated memory: 505316 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/257 1072970
/proc/meminfo: memFree=124572520/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=815276 memory=638332 CPUtime=221.59 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 121188 0 0 0 21674 485 0 0 20 0 1 0 198729238 834842624 159583 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 203819 159583 1964 922 0 195771 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 815276 KiB
Current children cumulated memory: 638332 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.15 4.10 5/257 1073148
/proc/meminfo: memFree=124482544/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=827284 memory=674408 CPUtime=281.4 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 123598 0 0 0 27469 671 0 0 20 0 1 0 198729238 847138816 168602 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 206821 168602 1964 922 0 198773 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 827284 KiB
Current children cumulated memory: 674408 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/256 1073158
/proc/meminfo: memFree=124326312/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=846708 memory=691204 CPUtime=341.21 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 133737 0 0 0 33344 777 0 0 20 0 1 0 198729238 867028992 172801 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 211677 172801 1964 922 0 203629 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 846708 KiB
Current children cumulated memory: 691204 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/258 1073172
/proc/meminfo: memFree=124220852/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=904700 memory=742120 CPUtime=401.02 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 149449 0 0 0 39198 904 0 0 20 0 1 0 198729238 926412800 185530 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 226175 185530 1964 922 0 218127 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 904700 KiB
Current children cumulated memory: 742120 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 1073194
/proc/meminfo: memFree=124089880/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=955152 memory=819596 CPUtime=460.84 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 160912 0 0 0 45050 1034 0 0 20 0 1 0 198729238 978075648 204899 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 238788 204899 1964 922 0 230740 0
################
# More data... #
################
Current children cumulated memory: 2255624 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 1074337
/proc/meminfo: memFree=121533028/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2597756 memory=2268700 CPUtime=2852.96 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 397739 0 0 0 282238 3058 0 0 20 0 1 0 198729238 2660102144 567175 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 649439 567175 1964 922 0 641391 0
Current children cumulated CPU time: 2852.96 s
Current children cumulated vsize: 2597756 KiB
Current children cumulated memory: 2268700 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/257 1074347
/proc/meminfo: memFree=121433152/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2628860 memory=2290284 CPUtime=2912.77 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 403781 0 0 0 288208 3069 0 0 20 0 1 0 198729238 2691952640 572571 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 657215 572571 1964 922 0 649167 0
Current children cumulated CPU time: 2912.77 s
Current children cumulated vsize: 2628860 KiB
Current children cumulated memory: 2290284 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1074358
/proc/meminfo: memFree=121400844/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2640896 memory=2303112 CPUtime=2972.59 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 407657 0 0 0 294179 3080 0 0 20 0 1 0 198729238 2704277504 575778 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 660224 575778 1964 922 0 652176 0
Current children cumulated CPU time: 2972.59 s
Current children cumulated vsize: 2640896 KiB
Current children cumulated memory: 2303112 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 1074369
/proc/meminfo: memFree=121381456/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2647808 memory=2312936 CPUtime=3032.4 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 410839 0 0 0 300152 3088 0 0 20 0 1 0 198729238 2711355392 578234 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 661952 578234 1964 922 0 653904 0
Current children cumulated CPU time: 3032.4 s
Current children cumulated vsize: 2647808 KiB
Current children cumulated memory: 2312936 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1074379
/proc/meminfo: memFree=121336760/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2659988 memory=2324688 CPUtime=3092.21 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 414525 0 0 0 306076 3145 0 0 20 0 1 0 198729238 2723827712 581172 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 664997 581172 1964 922 0 656949 0
Current children cumulated CPU time: 3092.21 s
Current children cumulated vsize: 2659988 KiB
Current children cumulated memory: 2324688 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1074389
/proc/meminfo: memFree=121293232/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2650368 memory=2315196 CPUtime=3152.02 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 415386 0 0 0 311946 3256 0 0 20 0 1 0 198729238 2713976832 578799 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 662592 578799 1964 922 0 654544 0
Current children cumulated CPU time: 3152.02 s
Current children cumulated vsize: 2650368 KiB
Current children cumulated memory: 2315196 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 1074400
/proc/meminfo: memFree=121280144/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2650368 memory=2315196 CPUtime=3211.82 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 416173 0 0 0 317859 3323 0 0 20 0 1 0 198729238 2713976832 578799 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 662592 578799 1964 922 0 654544 0
Current children cumulated CPU time: 3211.82 s
Current children cumulated vsize: 2650368 KiB
Current children cumulated memory: 2315196 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 1074410
/proc/meminfo: memFree=121265472/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2660048 memory=2324748 CPUtime=3271.64 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 419282 0 0 0 323788 3376 0 0 20 0 1 0 198729238 2723889152 581187 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 665012 581187 1964 922 0 656964 0
Current children cumulated CPU time: 3271.64 s
Current children cumulated vsize: 2660048 KiB
Current children cumulated memory: 2324748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 1074420
/proc/meminfo: memFree=121255824/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2660048 memory=2324748 CPUtime=3331.45 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 420279 0 0 0 329708 3437 0 0 20 0 1 0 198729238 2723889152 581187 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 665012 581187 1964 922 0 656964 0
Current children cumulated CPU time: 3331.45 s
Current children cumulated vsize: 2660048 KiB
Current children cumulated memory: 2324748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 1074435
/proc/meminfo: memFree=121243312/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2659452 memory=2324152 CPUtime=3391.26 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 421399 0 0 0 335571 3555 0 0 20 0 1 0 198729238 2723278848 581038 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 664863 581038 1964 922 0 656815 0
Current children cumulated CPU time: 3391.26 s
Current children cumulated vsize: 2659452 KiB
Current children cumulated memory: 2324152 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1074446
/proc/meminfo: memFree=121238836/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2659452 memory=2324152 CPUtime=3451.07 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 422172 0 0 0 341481 3626 0 0 20 0 1 0 198729238 2723278848 581038 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 664863 581038 1964 922 0 656815 0
Current children cumulated CPU time: 3451.07 s
Current children cumulated vsize: 2659452 KiB
Current children cumulated memory: 2324152 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1074456
/proc/meminfo: memFree=121173708/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2664224 memory=2327180 CPUtime=3510.87 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 423745 0 0 0 347437 3650 0 0 20 0 1 0 198729238 2728165376 581795 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 666056 581795 1964 922 0 658008 0
Current children cumulated CPU time: 3510.87 s
Current children cumulated vsize: 2664224 KiB
Current children cumulated memory: 2327180 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/257 1074467
/proc/meminfo: memFree=121143724/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2664224 memory=2327180 CPUtime=3570.68 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 424508 0 0 0 353358 3710 0 0 20 0 1 0 198729238 2728165376 581795 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 666056 581795 1964 922 0 658008 0
Current children cumulated CPU time: 3570.68 s
Current children cumulated vsize: 2664224 KiB
Current children cumulated memory: 2327180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 3.93 4.10 4.08 3/243 1074535
/proc/meminfo: memFree=126267688/131524600 swapFree=131071996/131071996
[pid=1072501] ppid=1072498 vsize=2667928 memory=2330864 CPUtime=3600.09 cores=0,2
/proc/1072501/stat : 1072501 (roundingsat) R 1072498 1072501 1068396 0 -1 4194304 425576 0 0 0 356253 3756 0 0 20 0 1 0 198729238 2731958272 582716 134679101440 4194304 7968373 140720843804864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9003008 140720843813820 140720843813984 140720843813984 140720843821001 0
/proc/1072501/statm: 666982 582716 1964 922 0 658934 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2667928 KiB
Current children cumulated memory: 2330864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.83 s]
# the end of solver process 1072501 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.54 s, system=37.5828 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.83
CPU time (s): 3600.12
CPU user time (s): 3562.54
CPU system time (s): 37.5828
CPU usage (%): 99.676
Max. virtual memory (cumulated for all children) (KiB): 2667928
Max. memory (cumulated for all children) (KiB): 2330864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.54
system time used= 37.5828
maximum resident set size= 2330864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425585
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= 165
involuntary context switches= 25187
# summary of solver processes directly reported to runsolver:
# pid: 1072501
# total CPU time (s): 3600.12
# total CPU user time (s): 3562.54
# total CPU system time (s): 37.5828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8832 second user time and 16.2221 second system time
The end
Begin job on nodeC029 at 2024-07-20 10:53:51 IDJOB=4455430 IDBENCH=158625 IDSOLVER=3084 FILE ID=nodeC029/4455430-1721465618 RUNJOBID= nodeC029-1721458405-1068406 SLURM_JOB_ID= 7545702 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455430-1721465618/watcher-4455430-1721465618 -o /tmp/evaluation-result-4455430-1721465618/solver-4455430-1721465618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721458405-1068406 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455430-1721465618.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36 RANDOM SEED=866969884 nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.091 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.326 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.474 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.487 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.490 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.454 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3607.590 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.177 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126511452 kB MemAvailable: 129383840 kB Buffers: 552152 kB Cached: 3135032 kB SwapCached: 0 kB Active: 1071760 kB Inactive: 3255804 kB Active(anon): 1464 kB Inactive(anon): 684804 kB Active(file): 1070296 kB Inactive(file): 2571000 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 24308 kB Writeback: 0 kB AnonPages: 640432 kB Mapped: 116804 kB Shmem: 45912 kB KReclaimable: 141476 kB Slab: 260264 kB SReclaimable: 141476 kB SUnreclaim: 118788 kB KernelStack: 4160 kB PageTables: 10756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 924924 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72416 kB HardwareCorrupted: 0 kB AnonHugePages: 256000 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 281300 kB DirectMap2M: 36192256 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890056 MiB End job on nodeC029 at 2024-07-20 11:54:03