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