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