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