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