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