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