(1,3) (2,6) (4,26) (5,15) (7,11) (9,17) (10,27) (12,19) (13,24) (14,25) (16,20) (18,22) (21,30) (23,29) 
nodes: 7499  conflicts: 37  modelTime: 1692  solveTime: 32861  totalTime: 34572  modelSize: 72264  readTime: 19 size: 14