(1,27) (2,22) (3,26) (4,24) (5,20) (6,21) (7,30) (8,17) (9,19) (10,29) (11,25) (12,23) (13,16) (14,28) 
nodes: 31424  conflicts: 23  modelTime: 1200  solveTime: 98716  totalTime: 99925  modelSize: 41292  readTime: 9 size: 14