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