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