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