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