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