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