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