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