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