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