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