(1,22) (2,16) (3,15) (4,20) (5,19) (7,8) (9,27) (10,18) (11,21) (12,24) (13,14) (17,30) (23,28) (25,26) 
nodes: 43948  conflicts: 71  modelTime: 1484  solveTime: 139320  totalTime: 140824  modelSize: 72266  readTime: 20 size: 14