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