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