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