(1,21) (2,26) (3,17) (4,6) (5,10) (7,29) (8,18) (9,14) (11,16) (12,30) (13,28) (15,25) (19,22) (20,23) (24,27) 
nodes: 13429  conflicts: 40  modelTime: 934  solveTime: 32766  totalTime: 33711  modelSize: 72265  readTime: 11 size: 15