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