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