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