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