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