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