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