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