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