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