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