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