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