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