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