(1,24) (3,17) (4,20) (5,30) (6,25) (8,28) (9,21) (10,19) (11,29) (12,22) (13,26) (14,16) 
nodes: 3065  conflicts: 59  modelTime: 665  solveTime: 3872  totalTime: 4543  modelSize: 41292  readTime: 6 size: 12