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