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