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