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