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