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