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