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