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