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