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