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