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