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