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