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