(1,13) (2,17) (3,8) (4,9) (5,24) (6,25) (10,11) (12,23) (14,21) (15,20) (16,18) (19,26) (22,30) (27,28) 
nodes: 197902  conflicts: 63  modelTime: 987  solveTime: 802632  totalTime: 803630  modelSize: 72262  readTime: 11 size: 14