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