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