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