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