(1,14) (2,9) (3,10) (4,7) (5,30) (6,28) (8,22) (11,18) (12,23) (13,29) (15,24) (16,26) (17,21) (19,27) (20,25) 
nodes: 33938  conflicts: 40  modelTime: 969  solveTime: 119623  totalTime: 120603  modelSize: 72275  readTime: 11 size: 15