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