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