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