(1,3) (4,24) (5,23) (6,19) (7,26) (8,29) (9,12) (10,11) (13,18) (14,27) (15,20) (16,22) (17,21) (25,30) 
nodes: 133659  conflicts: 41  modelTime: 962  solveTime: 528754  totalTime: 529726  modelSize: 72275  readTime: 10 size: 14