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