(1,30) (3,23) (5,22) (7,16) (10,21) (11,25) (12,28) (13,26) (14,24) (15,20) 
nodes: 1153  conflicts: 65  modelTime: 659  solveTime: 1504  totalTime: 2170  modelSize: 41293  readTime: 7 size: 10