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