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