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