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