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