(1,9) (2,17) (3,27) (4,13) (5,30) (6,25) (7,8) (10,19) (11,26) (12,24) (14,18) (15,16) (20,22) (21,28) (23,29) 
nodes: 83397  conflicts: 35  modelTime: 971  solveTime: 353415  totalTime: 354396  modelSize: 72262  readTime: 10 size: 15