(1,17) (2,29) (3,30) (4,20) (5,27) (6,25) (7,19) (8,18) (10,28) (12,16) (13,26) (15,22) 
nodes: 1487  conflicts: 55  modelTime: 658  solveTime: 1165  totalTime: 1830  modelSize: 41292  readTime: 7 size: 12