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