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