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