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