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