(1,27) (2,26) (3,16) (4,5) (6,18) (7,30) (8,21) (9,23) (10,13) (11,29) (12,22) (14,28) (15,24) (17,19) (20,25) 
nodes: 241938  conflicts: 44  modelTime: 1098  solveTime: 838077  totalTime: 839194  modelSize: 72263  readTime: 19 size: 15