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