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