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