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