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