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