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