(1,18) (2,19) (3,17) (4,30) (5,20) (6,22) (7,29) (8,28) (10,24) (11,21) (13,16) (15,26) 
nodes: 3156  conflicts: 79  modelTime: 661  solveTime: 4141  totalTime: 4808  modelSize: 41292  readTime: 6 size: 12