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