(1,29) (2,21) (3,19) (4,15) (5,26) (8,25) (9,20) (10,17) (11,16) (12,30) (13,22) (18,28) (23,24) 
nodes: 2921  conflicts: 68  modelTime: 1766  solveTime: 12216  totalTime: 14003  modelSize: 72262  readTime: 20 size: 13