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