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