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