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