(1,29) (2,24) (5,18) (6,20) (7,28) (8,22) (9,19) (10,16) (11,21) (12,25) (14,26) (15,27) 
nodes: 1000  conflicts: 67  modelTime: 660  solveTime: 900  totalTime: 1566  modelSize: 41292  readTime: 6 size: 12