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