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