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