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