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