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