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