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