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