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