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