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