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