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