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