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