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