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