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