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