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