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