(1,28) (2,13) (3,4) (5,18) (6,22) (7,30) (8,19) (9,12) (10,21) (11,17) (14,25) (15,29) (16,26) (20,24) (23,27) 
nodes: 359054  conflicts: 11  modelTime: 1718  solveTime: 1934771  totalTime: 1936506  modelSize: 72264  readTime: 16 size: 15