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