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