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