(1,11) (2,29) (4,27) (5,20) (6,9) (10,21) (12,15) (16,17) (18,23) (19,28) (24,26) (25,30) 
nodes: 1485  conflicts: 93  modelTime: 929  solveTime: 4779  totalTime: 5720  modelSize: 72262  readTime: 12 size: 12