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