(1,28) (2,19) (3,24) (5,23) (6,26) (7,17) (8,18) (10,22) (11,21) (12,20) (13,30) (15,29) 
nodes: 422  conflicts: 64  modelTime: 674  solveTime: 736  totalTime: 1417  modelSize: 41292  readTime: 7 size: 12