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