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