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