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