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