(1,17) (2,21) (3,10) (4,26) (5,9) (6,30) (7,22) (8,14) (11,28) (12,13) (15,16) (18,29) (19,27) (20,23) (24,25) 
nodes: 27316  conflicts: 15  modelTime: 1153  solveTime: 144700  totalTime: 145863  modelSize: 72285  readTime: 10 size: 15