(1,29) (3,23) (4,26) (5,20) (7,24) (8,19) (9,21) (11,16) (12,22) (14,27) (15,30) 
nodes: 1736  conflicts: 55  modelTime: 659  solveTime: 3106  totalTime: 3772  modelSize: 41292  readTime: 7 size: 11