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