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