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