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