(1,27) (2,22) (3,25) (4,14) (5,12) (6,18) (7,9) (8,17) (10,16) (11,15) (13,20) (19,28) (21,26) (23,29) (24,30) 
nodes: 341441  conflicts: 46  modelTime: 1527  solveTime: 1585550  totalTime: 1587087  modelSize: 72275  readTime: 10 size: 15