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