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