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