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