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