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