(1,30) (2,25) (3,23) (4,16) (5,17) (6,19) (7,27) (8,21) (9,18) (10,22) (11,28) (12,20) (15,26) 
nodes: 2215  conflicts: 38  modelTime: 665  solveTime: 3746  totalTime: 4418  modelSize: 41292  readTime: 7 size: 13