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