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