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