(1,27) (2,19) (3,20) (4,17) (5,16) (8,29) (9,25) (10,24) (11,18) (12,30) (13,21) (14,23) 
nodes: 1863  conflicts: 40  modelTime: 658  solveTime: 2238  totalTime: 2903  modelSize: 41292  readTime: 7 size: 12