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