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