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