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