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