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