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