(1,22) (3,19) (4,28) (5,16) (7,17) (8,23) (9,26) (11,25) (12,18) (13,30) (15,24) 
nodes: 1196  conflicts: 58  modelTime: 658  solveTime: 1419  totalTime: 2084  modelSize: 41292  readTime: 7 size: 11