Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wms_crafted-_home_maxsat_benchmarks_wms_crafted_RAMSEY_ram_k5_n20.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k5_n20.ra1.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 10159022
o 6411
o 6409
o 5701
o 5508
o 5239
o 4885
o 4692
o 4690
o 4639
o 4267
o 4154
o 4074
o 4016
o 3823
o 3811
o 3760
o 3753
o 3747
o 3733
o 3717
o 3710
o 3668
o 3661
o 3104
o 3053
o 2969
o 2918
o 2907
o 2891
o 2864
o 2785
o 2724
o 2576
o 2549
o 2348
o 2330
o 2318
o 2245
o 2243
o 2236
o 2218
o 2216
o 2094
o 2009
o 2003
o 1918
o 1855
o 1848
o 1765
o 1647
o 1564
o 1551
o 1544
o 1496
o 1370
o 1360
o 1343
o 1327
o 1283
o 1166
o 1141
o 1101
o 1093
o 1072
o 1053
o 989
o 968
o 797
o 749
o 744
o 699
o 698
o 646
o 615
o 607
o 599
o 550
o 473
o 434
o 357
o 315
o 292
o 239
o 216
o 193
o 169
o 98
o 76
o 0
s OPTIMUM FOUND
c Optimal Solution = 0
v -1 -2 -3 -4 -5 -6 7 8 9 10 11 12 -13 14 -15 -16 17 -18 19 -20 -21 -22 23 -24 25 26 -27 -28 -29 30 31 32 -33 34 35 36 -37 -38 39 40 41 42 -43 -44 45 46 47 -48 -49 50 51 -52 -53 -54 55 -56 -57 -58 -59 -60 -61 -62 -63 -64 65 66 67 68 69 70 -71 -72 -73 -74 75 -76 -77 78 79 -80 81 82 83 -84 -85 86 -87 -88 89 -90 91 -92 -93 -94 -95 96 -97 98 99 100 101 102 103 -104 -105 -106 107 -108 -109 110 -111 112 -113 -114 -115 -116 117 -118 119 120 -121 -122 123 124 -125 126 127 -128 129 130 131 -132 -133 134 -135 136 -137 -138 -139 -140 141 142 143 144 -145 -146 -147 148 -149 -150 151 -152 153 -154 155 156 -157 -158 -159 -160 -161 162 163 -164 -165 -166 167 -168 -169 -170 -171 172 -173 -174 175 176 177 178 -179 -180 -181 -182 183 -184 -185 -186 -187 -188 189 190
c Program terminated in 13.120 seconds.
13.119u 0.017s 0:13.24 99.0%	0+0k 0+0io 0pf+0w