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