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