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