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