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