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