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