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