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