(1,26) (2,16) (3,14) (4,28) (5,9) (6,10) (7,15) (8,19) (11,29) (12,21) (13,22) (17,25) (18,30) (20,24) (23,27) 
nodes: 90184  conflicts: 41  modelTime: 1713  solveTime: 235745  totalTime: 237477  modelSize: 72264  readTime: 19 size: 15