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