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