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