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