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