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