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