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