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