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