(1,29) (2,19) (3,27) (4,22) (5,16) (6,25) (7,21) (8,28) (9,24) (10,26) (11,30) (12,20) (13,23) (15,18) 
nodes: 34121  conflicts: 26  modelTime: 662  solveTime: 66354  totalTime: 67022  modelSize: 41292  readTime: 6 size: 14