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