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