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