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