(1,25) (2,11) (3,17) (5,15) (6,26) (7,19) (8,23) (9,13) (10,29) (14,30) (16,24) (20,22) (27,28) 
nodes: 3433  conflicts: 93  modelTime: 944  solveTime: 11033  totalTime: 11988  modelSize: 72266  readTime: 11 size: 13