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