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