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