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