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