(1,28) (2,17) (3,26) (4,18) (5,25) (6,23) (7,24) (8,19) (9,22) (10,21) (11,29) (12,20) (13,16) (14,27) (15,30) 
nodes: 4194  conflicts: 25  modelTime: 658  solveTime: 7215  totalTime: 7880  modelSize: 41292  readTime: 6 size: 15