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