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