(1,19) (4,18) (5,22) (6,27) (8,28) (9,29) (10,26) (12,21) (13,16) (14,17) (15,25) 
nodes: 4023  conflicts: 65  modelTime: 663  solveTime: 6103  totalTime: 6789  modelSize: 41293  readTime: 22 size: 11