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