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