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