(1,29) (2,30) (4,27) (5,28) (6,18) (7,25) (8,26) (9,16) (10,20) (12,21) (14,23) 
nodes: 1841  conflicts: 54  modelTime: 662  solveTime: 2697  totalTime: 3366  modelSize: 41292  readTime: 7 size: 11