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