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