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