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