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