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