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