(1,25) (2,4) (3,9) (5,12) (6,11) (7,21) (10,19) (13,22) (14,20) (16,26) (17,24) (18,23) (27,30) (28,29) 
nodes: 17065  conflicts: 58  modelTime: 1710  solveTime: 63389  totalTime: 65118  modelSize: 72271  readTime: 19 size: 14