(1,26) (3,30) (4,22) (5,27) (6,28) (7,23) (8,24) (9,18) (11,19) (12,25) (13,29) 
nodes: 1120  conflicts: 68  modelTime: 658  solveTime: 1692  totalTime: 2357  modelSize: 41292  readTime: 7 size: 11