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