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