(2,27) (3,25) (4,23) (8,29) (9,21) (10,24) (11,16) (12,19) (13,22) (14,30) (15,17) 
nodes: 1491  conflicts: 67  modelTime: 797  solveTime: 1600  totalTime: 2404  modelSize: 41292  readTime: 7 size: 11