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