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